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