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