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