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