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