1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
network(NO_NAME_1).
arc(NO_NAME_1, 0, 13, ":").
arc(NO_NAME_1, 0, 11, "L").
arc(NO_NAME_1, 0, 8, "C").
arc(NO_NAME_1, 0, 4, "0":"r").
arc(NO_NAME_1, 0, 1, "l":"0").
arc(NO_NAME_1, 0, 15, "0":"R").
arc(NO_NAME_1, 0, 15, "L":"0").
arc(NO_NAME_1, 1, 2, "e":"0").
arc(NO_NAME_1, 2, 3, "f":"0").
arc(NO_NAME_1, 3, 15, "t":"0").
arc(NO_NAME_1, 4, 5, "0":"i").
arc(NO_NAME_1, 5, 6, "0":"g").
arc(NO_NAME_1, 6, 7, "0":"h").
arc(NO_NAME_1, 7, 15, "0":"t").
arc(NO_NAME_1, 8, 9, "p").
arc(NO_NAME_1, 9, 10, ":").
arc(NO_NAME_1, 10, 14, "C").
arc(NO_NAME_1, 11, 12, "p").
arc(NO_NAME_1, 12, 15, ":").
arc(NO_NAME_1, 13, 14, "R").
arc(NO_NAME_1, 14, 15, "p").
final(NO_NAME_1, 0).
final(NO_NAME_1, 8).
final(NO_NAME_1, 15).
|
