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