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