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