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