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