Graph forms
for C4 [ 448, 74 ] = UG(ATD[448,92])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 448, 74 ] =
UG(ATD[448,92]).
(I) Following is a form readable by MAGMA:
g:=Graph<448|{ {68, 69}, {322, 323}, {172, 173}, {177, 179}, {1, 2}, {168, 171},
{72, 75}, {45, 46}, {201, 205}, {328, 332}, {202, 206}, {203, 207}, {257, 261},
{152, 157}, {1, 7}, {19, 20}, {387, 388}, {375, 383}, {404, 412}, {151, 158},
{194, 203}, {211, 218}, {308, 317}, {2, 8}, {373, 383}, {353, 363}, {131, 137},
{53, 63}, {6, 12}, {3, 9}, {148, 159}, {326, 333}, {231, 236}, {132, 136}, {241,
253}, {71, 74}, {400, 413}, {162, 175}, {212, 217}, {4, 10}, {384, 398}, {5,
11}, {70, 73}, {198, 201}, {46, 62}, {138, 155}, {110, 124}, {391, 405}, {204,
222}, {419, 432}, {232, 252}, {303, 314}, {396, 409}, {104, 126}, {66, 85},
{268, 283}, {2, 26}, {108, 116}, {7, 31}, {6, 30}, {5, 29}, {4, 28}, {3, 27},
{192, 217}, {363, 370}, {199, 220}, {299, 304}, {204, 208}, {425, 437}, {362,
374}, {231, 251}, {238, 242}, {175, 178}, {228, 249}, {298, 308}, {229, 250},
{327, 344}, {150, 182}, {341, 373}, {275, 307}, {257, 288}, {154, 184}, {388,
423}, {399, 426}, {199, 225}, {8, 32}, {25, 49}, {24, 48}, {15, 39}, {14, 38},
{13, 37}, {12, 36}, {11, 35}, {10, 34}, {9, 33}, {261, 301}, {144, 185}, {395,
418}, {193, 232}, {329, 355}, {410, 433}, {27, 55}, {335, 355}, {286, 307},
{397, 416}, {30, 48}, {406, 440}, {346, 372}, {153, 183}, {82, 124}, {145, 190},
{209, 254}, {129, 177}, {284, 300}, {143, 190}, {146, 160}, {202, 249}, {274,
289}, {137, 189}, {90, 111}, {71, 113}, {350, 360}, {147, 165}, {135, 176},
{394, 445}, {16, 40}, {23, 47}, {22, 46}, {21, 45}, {20, 44}, {19, 43}, {18,
42}, {17, 41}, {262, 318}, {269, 308}, {94, 100}, {194, 248}, {15, 52}, {392,
435}, {265, 309}, {72, 117}, {77, 112}, {270, 307}, {193, 254}, {31, 91}, {316,
376}, {264, 333}, {292, 354}, {294, 352}, {170, 237}, {315, 380}, {268, 331},
{258, 330}, {274, 346}, {154, 209}, {13, 64}, {153, 215}, {311, 377}, {48, 127},
{318, 369}, {57, 118}, {297, 358}, {34, 115}, {135, 214}, {47, 126}, {44, 125},
{42, 123}, {40, 121}, {38, 119}, {36, 117}, {295, 374}, {299, 378}, {134, 212},
{33, 114}, {41, 122}, {37, 118}, {165, 240}, {174, 251}, {285, 328}, {256, 342},
{8, 95}, {56, 111}, {43, 124}, {35, 116}, {319, 359}, {7, 94}, {21, 76}, {158,
196}, {313, 355}, {266, 336}, {302, 372}, {266, 342}, {271, 339}, {62, 99},
{190, 227}, {266, 343}, {157, 195}, {271, 337}, {39, 120}, {19, 115}, {54, 86},
{259, 355}, {21, 116}, {178, 211}, {181, 212}, {177, 213}, {168, 206}, {189,
219}, {32, 71}, {59, 92}, {144, 248}, {173, 197}, {9, 96}, {11, 98}, {14, 100},
{15, 101}, {10, 97}, {315, 336}, {35, 79}, {182, 218}, {29, 112}, {31, 113},
{12, 99}, {191, 208}, {306, 349}, {189, 205}, {268, 380}, {186, 203}, {187,
202}, {51, 65}, {129, 243}, {28, 111}, {149, 230}, {24, 108}, {26, 110}, {25,
109}, {188, 201}, {16, 102}, {17, 103}, {50, 74}, {4, 125}, {305, 328}, {18,
104}, {187, 192}, {22, 106}, {36, 88}, {23, 107}, {20, 105}, {312, 325}, {276,
361}, {293, 344}, {185, 199}, {262, 377}, {317, 444}, {319, 445}, {60, 191},
{287, 412}, {288, 419}, {277, 401}, {296, 429}, {313, 444}, {276, 402}, {61,
186}, {265, 385}, {273, 408}, {310, 443}, {282, 404}, {84, 219}, {292, 427},
{295, 424}, {297, 441}, {298, 442}, {261, 407}, {33, 181}, {312, 428}, {55,
163}, {50, 167}, {60, 169}, {282, 399}, {279, 385}, {301, 443}, {61, 170}, {260,
403}, {305, 422}, {93, 197}, {18, 139}, {302, 439}, {83, 200}, {44, 176}, {260,
409}, {280, 389}, {67, 221}, {256, 414}, {127, 224}, {267, 427}, {278, 438},
{98, 195}, {277, 436}, {309, 407}, {258, 417}, {279, 436}, {38, 130}, {122,
222}, {257, 421}, {97, 196}, {285, 440}, {1, 167}, {271, 425}, {286, 441}, {120,
210}, {299, 385}, {63, 148}, {119, 220}, {263, 428}, {31, 179}, {76, 224}, {66,
238}, {57, 149}, {283, 439}, {366, 448}, {6, 183}, {55, 134}, {53, 132}, {51,
130}, {49, 128}, {58, 136}, {370, 448}, {63, 141}, {62, 140}, {59, 137}, {50,
129}, {77, 254}, {54, 133}, {264, 444}, {318, 394}, {94, 235}, {311, 386}, {60,
138}, {61, 139}, {52, 131}, {114, 202}, {289, 409}, {290, 410}, {291, 411}, {95,
230}, {123, 194}, {259, 442}, {265, 432}, {82, 233}, {5, 184}, {87, 234}, {270,
435}, {65, 255}, {303, 401}, {56, 135}, {72, 247}, {269, 434}, {275, 428}, {280,
423}, {281, 422}, {61, 253}, {351, 415}, {62, 254}, {58, 251}, {56, 250}, {112,
180}, {340, 400}, {353, 420}, {48, 247}, {322, 389}, {75, 140}, {59, 252}, {36,
236}, {39, 239}, {38, 238}, {37, 237}, {32, 233}, {109, 164}, {102, 175}, {100,
173}, {49, 248}, {34, 235}, {340, 414}, {341, 415}, {33, 234}, {322, 393}, {101,
174}, {73, 133}, {365, 417}, {337, 413}, {83, 159}, {80, 157}, {357, 424}, {44,
226}, {369, 447}, {65, 143}, {64, 142}, {55, 249}, {81, 158}, {70, 150}, {367,
447}, {72, 152}, {71, 151}, {14, 223}, {379, 426}, {378, 427}, {119, 166}, {54,
228}, {78, 156}, {75, 153}, {67, 145}, {66, 144}, {82, 135}, {330, 415}, {68,
146}, {77, 155}, {76, 154}, {69, 147}, {40, 240}, {43, 243}, {42, 242}, {41,
241}, {45, 244}, {354, 443}, {47, 246}, {57, 227}, {105, 179}, {46, 245}, {8,
213}, {106, 183}, {81, 177}, {335, 431}, {334, 430}, {332, 429}, {35, 193},
{323, 417}, {356, 391}, {362, 393}, {78, 170}, {360, 396}, {347, 446}, {352,
390}, {382, 408}, {103, 128}, {361, 398}, {123, 156}, {58, 210}, {343, 446},
{23, 253}, {68, 174}, {50, 216}, {64, 172}, {359, 395}, {346, 438}, {367, 386},
{117, 155}, {371, 413}, {368, 414}, {358, 392}, {5, 245}, {381, 397}, {89, 169},
{29, 239}, {352, 402}, {34, 214}, {326, 434}, {87, 163}, {86, 162}, {85, 161},
{84, 160}, {338, 423}, {339, 422}, {30, 232}, {364, 411}, {2, 250}, {92, 165},
{321, 440}, {28, 230}, {350, 420}, {320, 442}, {29, 231}, {93, 166}, {382, 389},
{329, 434}, {87, 171}, {348, 416}, {342, 426}, {89, 164}, {366, 403}, {344,
421}, {331, 438}, {26, 228}, {27, 229}, {349, 418}, {21, 277}, {53, 309}, {106,
363}, {51, 305}, {90, 345}, {96, 357}, {109, 360}, {98, 359}, {186, 447}, {181,
435}, {19, 276}, {171, 428}, {119, 368}, {97, 358}, {63, 310}, {123, 370}, {87,
348}, {163, 424}, {122, 369}, {99, 360}, {84, 344}, {170, 422}, {107, 359},
{103, 363}, {100, 361}, {101, 362}, {114, 381}, {52, 292}, {151, 390}, {106,
376}, {107, 377}, {109, 376}, {187, 430}, {151, 384}, {86, 334}, {139, 403},
{152, 385}, {116, 366}, {143, 405}, {117, 367}, {91, 320}, {132, 408}, {159,
387}, {142, 402}, {141, 401}, {113, 364}, {4, 282}, {156, 386}, {127, 353}, {81,
335}, {114, 365}, {126, 350}, {166, 390}, {68, 357}, {156, 445}, {67, 352},
{131, 416}, {160, 388}, {17, 311}, {163, 389}, {22, 304}, {144, 439}, {175,
392}, {16, 312}, {20, 317}, {166, 399}, {173, 391}, {6, 301}, {102, 333}, {105,
325}, {32, 269}, {101, 330}, {64, 368}, {176, 384}, {121, 329}, {190, 398},
{161, 400}, {178, 387}, {188, 397}, {96, 338}, {184, 396}, {92, 362}, {16, 295},
{159, 424}, {130, 437}, {121, 334}, {110, 345}, {17, 296}, {150, 431}, {3, 313},
{56, 259}, {178, 393}, {120, 323}, {95, 356}, {115, 335}, {183, 395}, {125,
320}, {162, 415}, {80, 366}, {180, 394}, {155, 420}, {199, 391}, {25, 347},
{224, 418}, {67, 256}, {238, 429}, {69, 257}, {88, 284}, {234, 431}, {245, 432},
{214, 400}, {215, 401}, {247, 433}, {86, 273}, {233, 430}, {18, 346}, {252,
436}, {253, 437}, {74, 259}, {223, 406}, {236, 421}, {250, 435}, {79, 261},
{216, 402}, {251, 433}, {73, 258}, {91, 272}, {232, 419}, {249, 434}, {10, 326},
{80, 284}, {216, 404}, {206, 387}, {222, 403}, {43, 356}, {95, 272}, {75, 260},
{248, 425}, {69, 279}, {93, 271}, {88, 267}, {201, 410}, {1, 340}, {91, 270},
{89, 268}, {78, 283}, {3, 341}, {104, 318}, {81, 263}, {80, 262}, {206, 408},
{90, 269}, {74, 275}, {82, 264}, {213, 399}, {13, 337}, {24, 324}, {84, 265},
{70, 280}, {108, 306}, {40, 375}, {85, 266}, {39, 327}, {118, 278}, {121, 280},
{225, 384}, {224, 386}, {122, 281}, {127, 284}, {30, 378}, {66, 294}, {23, 370},
{126, 283}, {112, 277}, {51, 342}, {124, 282}, {215, 432}, {25, 369}, {243,
411}, {118, 287}, {255, 406}, {11, 353}, {209, 443}, {235, 390}, {244, 410},
{28, 371}, {120, 279}, {78, 289}, {76, 316}, {13, 380}, {96, 273}, {207, 446},
{83, 288}, {90, 297}, {221, 425}, {225, 404}, {226, 405}, {239, 407}, {22, 367},
{107, 274}, {125, 263}, {222, 420}, {111, 276}, {237, 406}, {7, 379}, {226,
414}, {110, 275}, {115, 270}, {92, 290}, {217, 423}, {79, 304}, {9, 393}, {210,
338}, {174, 303}, {47, 429}, {172, 302}, {168, 298}, {160, 290}, {134, 258},
{180, 304}, {197, 321}, {198, 322}, {12, 394}, {49, 438}, {195, 324}, {207,
328}, {45, 421}, {185, 305}, {186, 306}, {187, 307}, {191, 311}, {188, 309},
{54, 444}, {189, 310}, {200, 323}, {220, 343}, {164, 296}, {167, 297}, {182,
312}, {223, 336}, {58, 427}, {204, 349}, {219, 330}, {221, 332}, {42, 440}, {14,
413}, {57, 426}, {215, 324}, {24, 396}, {53, 417}, {203, 350}, {169, 319}, {209,
327}, {230, 368}, {244, 354}, {220, 331}, {198, 351}, {185, 291}, {211, 329},
{37, 446}, {133, 286}, {192, 348}, {128, 285}, {41, 439}, {241, 336}, {242,
339}, {246, 343}, {27, 441}, {152, 314}, {150, 308}, {133, 295}, {99, 448},
{208, 372}, {228, 320}, {219, 382}, {182, 273}, {234, 333}, {136, 288}, {236,
324}, {242, 347}, {200, 354}, {138, 289}, {229, 334}, {15, 419}, {59, 407},
{233, 325}, {240, 348}, {142, 291}, {210, 383}, {141, 290}, {167, 264}, {217,
374}, {218, 373}, {240, 351}, {52, 388}, {180, 260}, {169, 281}, {157, 301},
{225, 337}, {227, 339}, {247, 327}, {148, 293}, {154, 299}, {235, 345}, {149,
294}, {255, 331}, {26, 431}, {153, 300}, {138, 316}, {147, 292}, {218, 365},
{246, 321}, {214, 364}, {226, 345}, {213, 361}, {140, 306}, {161, 287}, {184,
262}, {128, 319}, {94, 412}, {221, 287}, {239, 300}, {161, 356}, {237, 296},
{77, 395}, {93, 411}, {205, 267}, {165, 365}, {216, 272}, {104, 418}, {158,
340}, {176, 379}, {171, 358}, {211, 286}, {227, 302}, {70, 392}, {97, 430},
{105, 441}, {145, 321}, {108, 445}, {204, 285}, {231, 310}, {197, 278}, {196,
272}, {136, 351}, {244, 300}, {252, 293}, {255, 294}, {85, 398}, {102, 442},
{65, 412}, {98, 447}, {207, 274}, {83, 397}, {162, 381}, {172, 332}, {229, 263},
{198, 293}, {113, 405}, {191, 347}, {146, 375}, {200, 303}, {241, 278}, {73,
416}, {148, 383}, {208, 315}, {88, 436}, {137, 357}, {89, 437}, {145, 380},
{147, 382}, {188, 338}, {146, 381}, {246, 281}, {181, 325}, {134, 375}, {129,
371}, {132, 374}, {139, 376}, {243, 256}, {140, 377}, {179, 326}, {142, 379},
{130, 372}, {131, 373}, {141, 378}, {205, 314}, {149, 364}, {164, 349}, {192,
313}, {194, 315}, {196, 317}, {193, 314}, {60, 448}, {143, 371}, {223, 291},
{168, 341}, {79, 433}, {103, 409}, {212, 298}, {245, 267}, {195, 316} }>;
(II) A more general form is to represent the graph as the orbit of {68, 69}
under the group generated by the following permutations:
a: (2, 7)(3, 13)(4, 19)(5, 21)(8, 31)(9, 37)(10, 43)(11, 45)(12, 30)(14, 54)(15,
60)(16, 66)(17, 68)(18, 53)(20, 28)(22, 79)(23, 83)(24, 88)(25, 92)(26, 94)(27,
64)(29, 76)(32, 113)(33, 118)(34, 124)(35, 46)(36, 48)(38, 133)(39, 138)(40,
144)(41, 146)(42, 132)(44, 111)(47, 159)(49, 165)(50, 158)(51, 70)(52, 169)(55,
172)(56, 176)(57, 181)(58, 156)(59, 109)(61, 188)(62, 193)(63, 104)(65, 150)(67,
171)(69, 103)(73, 130)(74, 151)(75, 152)(77, 209)(78, 210)(80, 215)(81, 216)(82,
214)(84, 222)(85, 102)(86, 223)(87, 221)(89, 131)(90, 226)(91, 213)(93, 187)(95,
179)(96, 237)(97, 243)(98, 244)(99, 232)(100, 228)(101, 191)(105, 230)(106,
261)(107, 200)(108, 267)(110, 235)(112, 154)(114, 278)(115, 282)(116, 245)(117,
247)(119, 286)(120, 289)(121, 185)(122, 160)(123, 136)(125, 276)(126, 148)(127,
236)(128, 147)(129, 196)(134, 302)(137, 164)(139, 309)(140, 314)(141, 318)(142,
229)(143, 308)(145, 168)(149, 325)(153, 157)(155, 327)(161, 333)(162, 336)(163,
332)(166, 307)(167, 340)(170, 338)(173, 249)(174, 311)(175, 266)(177, 272)(178,
343)(180, 299)(182, 255)(183, 301)(184, 277)(186, 201)(189, 349)(190, 298)(192,
271)(194, 351)(195, 300)(197, 202)(198, 203)(199, 329)(204, 219)(205, 306)(206,
321)(207, 322)(208, 330)(211, 220)(212, 227)(217, 339)(218, 331)(224, 231)(225,
355)(233, 364)(234, 287)(238, 295)(239, 316)(240, 248)(241, 381)(242, 374)(246,
387)(250, 379)(251, 386)(252, 360)(253, 397)(256, 358)(257, 363)(258, 372)(259,
384)(260, 385)(262, 401)(263, 402)(264, 400)(265, 403)(268, 373)(269, 405)(270,
399)(273, 406)(274, 323)(275, 390)(279, 409)(280, 305)(281, 388)(283, 383)(284,
324)(285, 382)(288, 370)(290, 369)(291, 334)(292, 319)(293, 350)(294, 312)(296,
357)(297, 414)(303, 377)(310, 418)(313, 337)(315, 415)(317, 371)(320, 361)(326,
356)(328, 389)(335, 404)(341, 380)(342, 392)(344, 420)(346, 417)(347, 362)(348,
425)(352, 428)(353, 421)(354, 359)(365, 438)(366, 432)(367, 433)(368, 441)(375,
439)(376, 407)(378, 394)(391, 434)(393, 446)(395, 443)(396, 436)(398, 442)(408,
440)(410, 447)(411, 430)(412, 431)(413, 444)(416, 437)(419, 448)(422, 423)(424,
429)(426, 435)(427, 445) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (2, 167)(3, 55)(4, 19)(5, 324)(6, 304)(7, 340)(8, 50)(9, 163)(10, 115)(11,
195)(12, 180)(13, 172)(15, 84)(16, 182)(17, 164)(18, 123)(20, 125)(21, 284)(22,
183)(23, 61)(24, 184)(25, 128)(26, 264)(28, 276)(29, 236)(30, 299)(31, 158)(32,
74)(33, 87)(35, 157)(36, 112)(37, 332)(38, 223)(39, 344)(40, 218)(41, 89)(43,
282)(45, 300)(46, 153)(47, 170)(48, 154)(51, 266)(52, 160)(53, 136)(56, 90)(57,
67)(58, 63)(59, 69)(60, 222)(62, 75)(65, 85)(66, 255)(68, 137)(70, 175)(72,
254)(73, 162)(76, 127)(77, 117)(78, 126)(79, 301)(80, 116)(81, 179)(82, 110)(83,
188)(86, 133)(88, 277)(91, 196)(92, 147)(94, 400)(95, 216)(96, 424)(97, 270)(99,
260)(100, 413)(101, 219)(102, 150)(103, 109)(104, 156)(105, 263)(107, 186)(108,
262)(113, 151)(114, 348)(118, 221)(119, 291)(120, 293)(121, 211)(122, 169)(129,
213)(130, 336)(131, 146)(134, 341)(135, 345)(138, 420)(139, 370)(141, 427)(142,
368)(143, 398)(144, 331)(145, 227)(148, 210)(149, 352)(152, 193)(159, 338)(161,
412)(166, 411)(168, 212)(171, 181)(173, 337)(174, 189)(176, 226)(178, 280)(185,
220)(191, 204)(192, 202)(194, 346)(197, 271)(198, 323)(200, 201)(203, 274)(205,
303)(206, 217)(209, 247)(214, 235)(215, 245)(225, 391)(228, 444)(229, 441)(230,
402)(232, 385)(233, 275)(237, 429)(238, 406)(239, 421)(240, 365)(241, 437)(242,
440)(243, 399)(246, 422)(248, 438)(249, 313)(250, 297)(251, 310)(252, 279)(256,
426)(257, 407)(258, 415)(259, 269)(265, 419)(267, 401)(268, 439)(273, 295)(278,
425)(285, 347)(286, 334)(288, 309)(289, 350)(290, 292)(302, 380)(305, 343)(306,
377)(307, 430)(308, 442)(311, 349)(315, 372)(316, 353)(317, 320)(318, 445)(319,
369)(321, 339)(325, 428)(326, 335)(328, 446)(333, 431)(351, 417)(354, 410)(355,
434)(356, 404)(358, 435)(359, 447)(360, 409)(361, 371)(362, 382)(363, 376)(364,
390)(367, 395)(373, 375)(374, 408)(379, 414)(381, 416)(384, 405)(386, 418)(387,
423)(389, 393)(403, 448)(433, 443)
c: (1, 2, 26, 228, 249, 202, 206, 387, 388, 52, 15, 39, 239, 29, 112, 180, 394,
445, 156, 123, 194, 315, 336, 266, 342, 426, 399, 282, 4, 10, 97, 358, 392, 70,
73, 258, 417, 53, 63, 141, 378, 30, 48, 127, 353, 420, 222, 122, 281, 422, 339,
271, 337, 413, 400, 340)(3, 9, 96, 357, 68, 69, 257, 421, 45, 46, 62, 140, 377,
107, 274, 346, 438, 331, 255, 294, 352, 402, 276, 19, 20, 105, 325, 312, 16, 40,
240, 351, 198, 201, 205, 314, 152, 157, 195, 316, 376, 109, 164, 296, 429, 332,
172, 173, 391, 405, 113, 71, 74, 259, 355, 313)(5, 77, 260, 318, 319, 78, 42,
248, 380, 223, 85, 256, 379, 213, 124, 125, 326, 430, 171, 175, 280, 416, 330,
323, 309, 310, 401, 299, 6, 24, 224, 363, 350, 204, 41, 246, 305, 227, 93, 225,
371, 214, 158, 167, 250, 431, 54, 55, 114, 408, 159, 160, 292, 419, 327, 300)(7,
8, 110, 320, 434, 187, 168, 178, 423, 131, 101, 120, 407, 231, 277, 304, 12,
108, 386, 370, 203, 208, 241, 343, 51, 57, 166, 404, 28, 34, 196, 297, 435, 150,
133, 134, 365, 132, 148, 290, 427, 232, 247, 284, 11, 155, 403, 369, 169, 170,
242, 425, 13, 14, 161, 414)(17, 47, 328, 302, 197, 199, 143, 364, 151, 50, 56,
335, 444, 27, 33, 273, 424, 146, 147, 288, 344, 244, 245, 254, 75, 262, 359,
289, 18, 49, 268, 406, 66, 67, 142, 361, 43, 44, 179, 233, 428, 102, 121, 348,
415, 322, 188, 189, 303, 385, 301, 324, 76, 106, 360, 349)(21, 22, 99, 306, 311,
23, 207, 372, 278, 220, 65, 149, 390, 216, 111, 115, 317, 441, 181, 182, 295,
375, 165, 136, 293, 410, 267, 193, 72, 80, 98, 138, 139, 25, 89, 237, 238, 221,
64, 100, 356, 226, 31, 32, 275, 442, 329, 192, 341, 393, 338, 137, 174, 279,
261, 236)(35, 117, 366, 447, 60, 61, 347, 437, 37, 38, 287, 368, 94, 95, 345,
91, 269, 307, 298, 211, 217, 373, 362, 210, 59, 251, 436, 79, 36, 116, 367, 448,
186, 191, 253, 446, 130, 118, 119, 412, 230, 235, 272, 90, 270, 308, 286, 212,
218, 374, 383, 92, 58, 252, 433, 88)(81, 264, 229, 234, 86, 163, 381, 382, 83,
84, 354, 432, 209, 153, 184, 395, 409, 104, 128, 283, 440, 144, 145, 291, 398,
243, 176, 177, 82, 263, 333, 334, 87, 162, 389, 397, 219, 200, 265, 443, 215,
154, 183, 396, 418, 103, 126, 285, 439, 321, 185, 190, 411, 384, 129, 135)
C4[ 448, 74 ]
448
-1 2 167 7 340
-2 1 26 8 250
-3 341 27 313 9
-4 125 28 282 10
-5 11 245 29 184
-6 12 301 183 30
-7 1 379 94 31
-8 2 213 95 32
-9 33 3 96 393
-10 34 4 326 97
-11 353 35 5 98
-12 99 36 6 394
-13 37 380 337 64
-14 100 223 38 413
-15 419 101 39 52
-16 102 312 40 295
-17 311 103 41 296
-18 104 346 139 42
-19 276 115 20 43
-20 44 105 19 317
-21 45 277 116 76
-22 46 367 106 304
-23 253 47 370 107
-24 396 48 324 108
-25 49 347 369 109
-26 110 2 431 228
-27 55 441 3 229
-28 111 4 371 230
-29 231 112 5 239
-30 232 48 378 6
-31 91 113 179 7
-32 233 71 269 8
-33 234 114 181 9
-34 235 115 214 10
-35 11 79 116 193
-36 88 12 236 117
-37 13 237 446 118
-38 14 238 119 130
-39 15 239 327 120
-40 121 375 16 240
-41 122 17 241 439
-42 242 440 123 18
-43 243 124 356 19
-44 176 125 226 20
-45 46 244 421 21
-46 22 45 245 62
-47 429 23 246 126
-48 24 247 127 30
-49 25 248 128 438
-50 167 216 74 129
-51 342 305 130 65
-52 388 15 292 131
-53 132 309 63 417
-54 133 444 228 86
-55 134 27 249 163
-56 111 135 259 250
-57 149 227 118 426
-58 210 136 251 427
-59 407 92 137 252
-60 169 191 138 448
-61 253 170 139 186
-62 99 254 46 140
-63 310 148 53 141
-64 13 368 172 142
-65 143 255 412 51
-66 144 238 85 294
-67 352 221 145 256
-68 69 146 357 174
-69 68 147 257 279
-70 280 73 150 392
-71 113 74 151 32
-72 247 117 75 152
-73 133 70 258 416
-74 275 71 50 259
-75 72 260 140 153
-76 154 224 316 21
-77 155 254 112 395
-78 156 289 170 283
-79 35 433 304 261
-80 157 366 262 284
-81 177 158 335 263
-82 264 233 124 135
-83 397 200 288 159
-84 265 344 160 219
-85 66 266 398 161
-86 334 162 273 54
-87 234 171 348 163
-88 36 267 436 284
-89 169 268 437 164
-90 297 111 345 269
-91 320 270 272 31
-92 165 59 290 362
-93 166 411 271 197
-94 100 235 412 7
-95 356 8 272 230
-96 357 338 9 273
-97 430 358 196 10
-98 11 359 447 195
-99 12 62 360 448
-100 14 94 173 361
-101 330 15 174 362
-102 442 333 16 175
-103 363 409 17 128
-104 418 126 18 318
-105 441 179 325 20
-106 22 363 376 183
-107 23 377 359 274
-108 24 445 116 306
-109 376 25 360 164
-110 275 124 26 345
-111 56 276 90 28
-112 77 277 180 29
-113 364 71 31 405
-114 33 365 202 381
-115 34 335 270 19
-116 35 366 108 21
-117 155 36 367 72
-118 287 57 278 37
-119 220 166 38 368
-120 210 279 323 39
-121 334 280 40 329
-122 222 281 369 41
-123 156 194 370 42
-124 110 82 282 43
-125 44 320 4 263
-126 47 104 283 350
-127 353 48 224 284
-128 319 103 49 285
-129 177 243 50 371
-130 38 51 437 372
-131 137 52 416 373
-132 374 408 136 53
-133 286 73 295 54
-134 55 375 212 258
-135 176 56 82 214
-136 132 288 58 351
-137 189 59 357 131
-138 155 289 60 316
-139 376 61 18 403
-140 377 62 75 306
-141 290 378 401 63
-142 291 379 402 64
-143 190 371 405 65
-144 66 248 185 439
-145 67 321 190 380
-146 375 68 160 381
-147 165 69 292 382
-148 159 293 63 383
-149 364 57 294 230
-150 308 431 70 182
-151 158 71 390 384
-152 385 157 72 314
-153 300 215 183 75
-154 209 299 184 76
-155 77 420 138 117
-156 78 386 123 445
-157 80 301 195 152
-158 81 151 196 340
-159 387 148 83 424
-160 146 388 290 84
-161 287 356 400 85
-162 381 415 86 175
-163 55 389 424 87
-164 89 349 109 296
-165 365 92 147 240
-166 399 93 390 119
-167 264 297 1 50
-168 341 298 171 206
-169 319 89 60 281
-170 78 422 61 237
-171 168 358 87 428
-172 332 302 173 64
-173 100 391 172 197
-174 68 101 303 251
-175 178 102 392 162
-176 44 135 379 384
-177 179 81 213 129
-178 211 387 393 175
-179 177 105 326 31
-180 112 260 304 394
-181 33 212 325 435
-182 312 150 218 273
-183 6 106 153 395
-184 154 396 5 262
-185 144 199 291 305
-186 203 61 447 306
-187 430 202 192 307
-188 309 397 201 338
-189 310 137 205 219
-190 143 145 398 227
-191 311 60 347 208
-192 187 313 348 217
-193 232 254 35 314
-194 123 203 248 315
-195 157 324 316 98
-196 158 272 97 317
-197 321 278 93 173
-198 201 322 293 351
-199 220 225 391 185
-200 354 323 83 303
-201 198 188 410 205
-202 187 114 249 206
-203 194 207 350 186
-204 222 349 208 285
-205 189 201 267 314
-206 408 387 168 202
-207 203 446 328 274
-208 191 204 315 372
-209 154 254 443 327
-210 58 338 383 120
-211 286 178 218 329
-212 298 134 181 217
-213 177 399 8 361
-214 34 364 135 400
-215 432 324 401 153
-216 50 402 272 404
-217 374 212 192 423
-218 211 365 182 373
-219 330 189 84 382
-220 199 331 343 119
-221 67 287 332 425
-222 122 420 204 403
-223 14 291 336 406
-224 418 386 127 76
-225 199 337 404 384
-226 44 345 414 405
-227 57 190 302 339
-228 320 26 249 54
-229 334 27 250 263
-230 368 28 149 95
-231 310 236 29 251
-232 419 193 30 252
-233 430 82 325 32
-234 33 431 333 87
-235 34 345 390 94
-236 231 36 421 324
-237 37 170 296 406
-238 66 242 429 38
-239 407 300 39 29
-240 165 40 348 351
-241 253 278 336 41
-242 347 238 42 339
-243 256 411 129 43
-244 45 354 300 410
-245 46 267 432 5
-246 321 343 47 281
-247 48 433 72 327
-248 144 49 194 425
-249 55 202 434 228
-250 56 2 435 229
-251 231 58 433 174
-252 232 59 293 436
-253 23 61 437 241
-254 77 209 193 62
-255 331 294 65 406
-256 67 243 342 414
-257 288 69 421 261
-258 330 134 73 417
-259 56 442 355 74
-260 409 180 403 75
-261 407 79 257 301
-262 80 377 184 318
-263 81 125 229 428
-264 167 333 444 82
-265 385 309 432 84
-266 342 343 336 85
-267 88 245 205 427
-268 89 331 380 283
-269 308 90 434 32
-270 91 115 435 307
-271 93 337 425 339
-272 91 95 216 196
-273 408 182 96 86
-274 289 346 107 207
-275 110 74 307 428
-276 111 402 19 361
-277 112 401 436 21
-278 118 438 197 241
-279 385 69 436 120
-280 121 70 389 423
-281 122 169 246 422
-282 124 399 4 404
-283 78 268 126 439
-284 88 80 300 127
-285 440 204 128 328
-286 133 441 211 307
-287 221 412 161 118
-288 419 136 257 83
-289 78 409 138 274
-290 410 92 160 141
-291 223 411 185 142
-292 354 147 52 427
-293 198 344 148 252
-294 66 352 255 149
-295 374 133 16 424
-296 429 17 237 164
-297 441 90 167 358
-298 308 442 168 212
-299 154 385 378 304
-300 244 239 284 153
-301 157 443 6 261
-302 172 227 372 439
-303 200 401 314 174
-304 22 79 299 180
-305 422 51 185 328
-306 140 349 108 186
-307 187 275 286 270
-308 298 269 150 317
-309 407 188 265 53
-310 231 189 443 63
-311 386 377 191 17
-312 16 182 325 428
-313 3 355 444 192
-314 193 303 205 152
-315 336 380 194 208
-316 376 138 195 76
-317 308 444 20 196
-318 104 369 262 394
-319 169 445 128 359
-320 442 91 125 228
-321 440 145 246 197
-322 198 323 389 393
-323 200 322 120 417
-324 24 236 215 195
-325 233 312 181 105
-326 179 333 434 10
-327 209 344 247 39
-328 332 305 207 285
-329 121 211 355 434
-330 101 258 415 219
-331 220 255 268 438
-332 429 221 172 328
-333 264 102 234 326
-334 121 430 86 229
-335 431 355 81 115
-336 266 223 315 241
-337 13 225 413 271
-338 188 210 423 96
-339 242 422 227 271
-340 1 158 400 414
-341 3 168 415 373
-342 266 256 51 426
-343 220 266 246 446
-344 421 84 293 327
-345 110 90 235 226
-346 18 372 438 274
-347 242 25 191 446
-348 192 240 416 87
-349 418 204 306 164
-350 420 126 203 360
-351 198 136 415 240
-352 67 390 402 294
-353 11 363 420 127
-354 200 244 443 292
-355 313 335 259 329
-356 391 95 161 43
-357 68 137 424 96
-358 297 171 392 97
-359 319 107 98 395
-360 99 396 350 109
-361 100 276 398 213
-362 374 101 92 393
-363 353 103 106 370
-364 113 411 214 149
-365 165 114 218 417
-366 80 116 403 448
-367 22 386 117 447
-368 414 64 119 230
-369 122 25 447 318
-370 363 23 123 448
-371 143 28 413 129
-372 302 346 130 208
-373 341 218 383 131
-374 132 217 295 362
-375 134 146 40 383
-376 106 139 316 109
-377 311 107 140 262
-378 299 30 141 427
-379 176 7 426 142
-380 13 145 268 315
-381 397 146 114 162
-382 408 147 389 219
-383 210 375 148 373
-384 176 398 225 151
-385 265 299 279 152
-386 156 311 224 367
-387 178 388 159 206
-388 387 423 160 52
-389 322 280 382 163
-390 352 166 235 151
-391 199 356 173 405
-392 70 358 435 175
-393 178 322 9 362
-394 12 180 445 318
-395 77 418 183 359
-396 24 409 184 360
-397 188 83 381 416
-398 190 85 361 384
-399 166 213 282 426
-400 214 413 161 340
-401 277 215 303 141
-402 352 276 216 142
-403 222 366 139 260
-404 225 412 216 282
-405 143 113 226 391
-406 440 255 223 237
-407 309 59 239 261
-408 132 206 382 273
-409 396 289 103 260
-410 244 201 290 433
-411 243 364 93 291
-412 287 94 404 65
-413 14 400 337 371
-414 256 368 226 340
-415 330 341 162 351
-416 397 73 348 131
-417 365 323 258 53
-418 224 104 349 395
-419 232 288 432 15
-420 155 353 222 350
-421 45 344 257 236
-422 170 281 305 339
-423 388 280 217 338
-424 159 357 163 295
-425 221 248 271 437
-426 342 57 399 379
-427 58 267 378 292
-428 275 312 171 263
-429 332 47 238 296
-430 187 233 334 97
-431 234 26 335 150
-432 265 419 245 215
-433 79 410 247 251
-434 269 249 326 329
-435 181 270 392 250
-436 88 277 279 252
-437 253 89 425 130
-438 331 278 49 346
-439 144 302 41 283
-440 321 42 285 406
-441 286 297 27 105
-442 298 320 102 259
-443 209 310 354 301
-444 264 313 317 54
-445 319 156 108 394
-446 343 37 347 207
-447 367 369 98 186
-448 99 366 60 370
0