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