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