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