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