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