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