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