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