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