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