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