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