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