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