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