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