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