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