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