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