1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
network(NO_NAME_1).
arc(NO_NAME_1, 0, 6, "f").
arc(NO_NAME_1, 0, 3, "q").
arc(NO_NAME_1, 0, 1, "b").
arc(NO_NAME_1, 1, 2, "a").
arc(NO_NAME_1, 2, 12, "z").
arc(NO_NAME_1, 2, 12, "r").
arc(NO_NAME_1, 3, 4, "u").
arc(NO_NAME_1, 4, 5, "u").
arc(NO_NAME_1, 5, 12, "x").
arc(NO_NAME_1, 6, 8, "i":"o").
arc(NO_NAME_1, 6, 7, "o").
arc(NO_NAME_1, 7, 12, "o").
arc(NO_NAME_1, 8, 9, "0":"u").
arc(NO_NAME_1, 9, 10, "g").
arc(NO_NAME_1, 10, 11, "h").
arc(NO_NAME_1, 11, 12, "t").
final(NO_NAME_1, 12).
|
