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