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