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