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