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