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