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