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