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