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