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