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