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