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