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