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