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