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