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