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