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