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