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