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