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