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