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