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