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