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