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