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