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