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