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