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