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