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