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