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