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