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