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