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