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