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