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