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