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