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