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