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