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