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