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