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