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