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