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