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