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