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