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