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