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