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