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