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