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