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