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