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