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