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