Commit 7c0849e1 authored by Christoph Reichenbach's avatar Christoph Reichenbach
Browse files

Updated and relaxed specification after last lecture

parent dc25542a
...@@ -4,36 +4,39 @@ N 4 6 -> obj 22 4 ...@@ -4,36 +4,39 @@ N 4 6 -> obj 22 4
N 4 6 -> obj 23 4 N 4 6 -> obj 23 4
N 4 6 -> obj 24 4 N 4 6 -> obj 24 4
N 4 6 -> obj 25 4 N 4 6 -> obj 25 4
NI 9 9 -> obj 6 11 maybe: NI 9 9 -> obj 6 11
NI 9 9 -> obj 13 21 maybe: NI 9 9 -> obj 13 21
NI 9 9 -> obj 13 33 maybe: NI 9 9 -> obj 13 33
NI 9 9 -> obj 14 21 maybe: NI 9 9 -> obj 14 21
NI 9 9 -> obj 14 25 maybe: NI 9 9 -> obj 14 25
NI 9 9 -> obj 16 21 maybe: NI 9 9 -> obj 16 21
NI 9 9 -> null 16 25 NI 9 9 -> null 16 25
NI 9 9 -> obj 22 5 maybe: NI 9 9 -> obj 22 5
NI 9 9 -> obj 22 8 maybe: NI 9 9 -> obj 22 8
NI 9 9 -> obj 23 5 maybe: NI 9 9 -> obj 23 5
NI 9 9 -> obj 23 8 maybe: NI 9 9 -> obj 23 8
NI 9 9 -> obj 24 5 maybe: NI 9 9 -> obj 24 5
NI 9 9 -> obj 24 8 maybe: NI 9 9 -> obj 24 8
NI 9 9 -> obj 25 5 maybe: NI 9 9 -> obj 25 5
NI 9 9 -> obj 25 8 maybe: NI 9 9 -> obj 25 8
NI 9 9 -> obj 34 9 maybe: NI 9 9 -> obj 34 9
N 15 2 -> obj 13 15 N 15 2 -> obj 13 15
N 15 2 -> obj 14 15 N 15 2 -> obj 14 15
N 15 2 -> null 18 7 N 15 2 -> null 18 7
NO 23 12 -> obj 13 15 maybe: NO 23 12 -> obj 13 15
NO 23 12 -> obj 14 15 maybe: NO 23 12 -> obj 14 15
NO 23 12 -> null 18 7 maybe: NO 23 12 -> null 18 7
NO 25 12 -> obj 13 15 maybe: NO 24 12 -> obj 13 15
NO 25 12 -> obj 14 15 maybe: NO 24 12 -> obj 14 15
NO 25 12 -> obj 16 15 maybe: NO 24 12 -> null 18 7
maybe: NO 25 12 -> obj 13 15
maybe: NO 25 12 -> obj 14 15
maybe: NO 25 12 -> obj 16 15
NO 25 12 -> null 18 7 NO 25 12 -> null 18 7
NO 31 2 -> obj 27 12 maybe: NO 31 2 -> obj 27 12
NO 31 2 -> null 29 10 NO 31 2 -> null 29 10
NA 32 12 -> obj 27 12 maybe: NA 32 12 -> obj 27 12
NA 32 12 -> null 29 10 NA 32 12 -> null 29 10
NO 35 9 -> obj 13 15 maybe: NO 35 9 -> obj 13 15
NO 35 9 -> obj 14 15 maybe: NO 35 9 -> obj 14 15
NO 35 9 -> null 18 7 maybe: NO 35 9 -> null 18 7
merge: 1 7 19 merge: 1 7 19
NI 5 9 -> obj 9 21 maybe: NI 5 9 -> obj 9 21
NI 5 9 -> null 9 25 NI 5 9 -> null 9 25
N 10 2 -> obj 9 15 N 10 2 -> obj 9 15
N 10 2 -> null 12 7 N 10 2 -> null 12 7
NO 16 9 -> obj 9 15 maybe: NO 16 9 -> obj 9 15
NO 16 9 -> null 12 7 NO 16 9 -> null 12 7
maybe: NO 14 12 -> obj 9 15
maybe: NO 14 12 -> null 12 7
...@@ -6,3 +6,25 @@ N 8 2 -> null 4 31 ...@@ -6,3 +6,25 @@ N 8 2 -> null 4 31
N 8 2 -> obj 5 7 N 8 2 -> obj 5 7
N 8 2 -> obj 5 15 N 8 2 -> obj 5 15
N 8 2 -> obj 5 18 N 8 2 -> obj 5 18
maybe: NO 10 10 -> obj 4 17
maybe: NO 10 10 -> obj 4 25
maybe: NO 10 10 -> obj 4 28
maybe: NO 10 10 -> null 4 31
maybe: NO 10 10 -> obj 5 7
maybe: NO 10 10 -> obj 5 15
maybe: NO 10 10 -> obj 5 18
maybe: NO 11 17 -> obj 4 17
maybe: NO 11 17 -> obj 4 25
maybe: NO 11 17 -> obj 4 28
maybe: NO 11 17 -> null 4 31
maybe: NO 11 17 -> obj 5 7
maybe: NO 11 17 -> obj 5 15
maybe: NO 11 17 -> obj 5 18
maybe: NO 12 10 -> obj 4 17
maybe: NO 12 10 -> obj 4 25
maybe: NO 12 10 -> obj 4 28
maybe: NO 12 10 -> null 4 31
maybe: NO 12 10 -> obj 5 7
maybe: NO 12 10 -> obj 5 15
maybe: NO 12 10 -> obj 5 18
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment