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