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