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