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