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