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