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