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