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