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