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