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