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