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