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