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