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