# Specification 1
00: and	a0	a1
# Specification 2
01: and	a2	a2
02: and	a3	a3
03: until	s1	s2	0	30
04: not	s3
05: and	s4	i1
06: not	a2
07: and	s6	i1
08: not	s7
09: boxdot	s8	0	30
10: and	s9	i1
# Specification 3
11: and	a5	a5
12: diamonddiamond	s11	100
13: and	s12	i1
14: and	a4	a4
15: diamonddiamond	s14	30
16: and	s15	s13
17: not	s16
18: and	s17	i1
# Specification 4
19: impl	a9	a13
20: impl	a8	a12
21: and	s19	s20
22: impl	a7	a11
23: impl	a6	a10
24: and	s22	s23
25: not	s24
26: and	s24	i1
27: not	s21
28: and	s21	s26
29: not	s28
30: and	s29	i1
# Specification 5
31: not a15
32: and s31 i1
33: not a16
34: and s33 i1
35: and s32 s34
36: not a17
37: and s35 s36
38: not a18
39: and s38 i1
40: not a19
41: and s40 i1
42: and s39 s41
43: not a20
44: and s42 s43
45: impl	s37  s44
46: diamonddot s45	2	100
47: and s45 s46
48: diamonddot s47 	2	100
49: and s45 s48
50: not s49
51: and s50 i1
# Specification 6
52: and	a20	a20