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