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