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