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