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