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