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