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