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