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