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