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