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