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