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