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