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