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