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