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