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