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