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