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