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