-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.groups
executable file
·72 lines (72 loc) · 1.28 KB
/
test.groups
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
var0:
0: Atom at(p3-1)
1: Atom at(p2-3)
2: Atom at(p4-2)
3: Atom at(p1-1)
4: Atom at(p2-1)
5: Atom at(p3-2)
6: Atom at(p4-1)
7: Atom at(p4-3)
8: Atom at(p1-3)
9: Atom at(p1-2)
10: Atom at(p4-4)
11: Atom at(p2-4)
12: Atom at(p3-3)
13: Atom at(p3-4)
14: Atom at(p1-4)
15: Atom at(p2-2)
16: <none of those>
var1:
0: Atom obj-at(o1, p3-4)
1: <none of those>
var2:
0: Atom handempty()
1: <none of those>
var3:
0: Atom obj-at(o1, p2-3)
1: <none of those>
var4:
0: Atom holding(o1)
1: <none of those>
var5:
0: Atom obj-at(o1, p2-2)
1: <none of those>
var6:
0: Atom obj-at(o1, p2-4)
1: <none of those>
var7:
0: Atom obj-at(o1, p2-1)
1: <none of those>
var8:
0: Atom obj-at(o1, p4-4)
1: <none of those>
var9:
0: Atom obj-at(o1, p4-1)
1: <none of those>
var10:
0: Atom obj-at(o1, p1-4)
1: <none of those>
var11:
0: Atom obj-at(o1, p4-3)
1: <none of those>
var12:
0: Atom obj-at(o1, p1-3)
1: <none of those>
var13:
0: Atom obj-at(o1, p4-2)
1: <none of those>
var14:
0: Atom obj-at(o1, p1-1)
1: <none of those>
var15:
0: Atom obj-at(o1, p3-2)
1: <none of those>
var16:
0: Atom obj-at(o1, p3-1)
1: <none of those>
var17:
0: Atom obj-at(o1, p1-2)
1: <none of those>
var18:
0: Atom obj-at(o1, p3-3)
1: <none of those>