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