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