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