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