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