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