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