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