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