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