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