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