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