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