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