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