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