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