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