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