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