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