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