Showing
1 changed file
with
78 additions
and
0 deletions
Ex1/Prism/Ex1.props
0 → 100644
1 | +E [ F E [ G sS1=3 ] ] | ||
2 | + | ||
3 | +E [ F A [ G sS1=3 ] ] | ||
4 | + | ||
5 | +E [ F E [ G sS1=3&E [ F sS1!=3 ] ] ] | ||
6 | + | ||
7 | +E [ F E [ G sS2=3 ] ] | ||
8 | + | ||
9 | +E [ F A [ G sS2=3 ] ] | ||
10 | + | ||
11 | +E [ F E [ G sS2=3&E [ F sS2!=3 ] ] ] | ||
12 | + | ||
13 | +E [ F E [ G sS2=5 ] ] | ||
14 | + | ||
15 | +E [ F A [ G sS2=5 ] ] | ||
16 | + | ||
17 | +E [ F E [ G sS2=5&E [ F sS2!=5 ] ] ] | ||
18 | + | ||
19 | +E [ F E [ G sS3=3 ] ] | ||
20 | + | ||
21 | +E [ F A [ G sS3=3 ] ] | ||
22 | + | ||
23 | +E [ F E [ G sS3=3&E [ F sS3!=3 ] ] ] | ||
24 | + | ||
25 | +E [ F E [ G sS3=5 ] ] | ||
26 | + | ||
27 | +E [ F A [ G sS3=5 ] ] | ||
28 | + | ||
29 | +E [ F E [ G sS3=5&E [ F sS3!=5 ] ] ] | ||
30 | + | ||
31 | +E [ F E [ G sF1=1 ] ] | ||
32 | + | ||
33 | +E [ F A [ G sF1=1 ] ] | ||
34 | + | ||
35 | +E [ F E [ G sF1=1&E [ F sF1!=1 ] ] ] | ||
36 | + | ||
37 | +E [ F E [ G sF1=4 ] ] | ||
38 | + | ||
39 | +E [ F A [ G sF1=4 ] ] | ||
40 | + | ||
41 | +E [ F E [ G sF1=4&E [ F sF1!=4 ] ] ] | ||
42 | + | ||
43 | +E [ F E [ G sF2=1 ] ] | ||
44 | + | ||
45 | +E [ F A [ G sF2=1 ] ] | ||
46 | + | ||
47 | +E [ F E [ G sF2=1&E [ F sF2!=1 ] ] ] | ||
48 | + | ||
49 | +E [ F E [ G sF2=4 ] ] | ||
50 | + | ||
51 | +E [ F A [ G sF2=4 ] ] | ||
52 | + | ||
53 | +E [ F E [ G sF2=4&E [ F sF2!=4 ] ] ] | ||
54 | + | ||
55 | +E [ F E [ G sB=1 ] ] | ||
56 | + | ||
57 | +E [ F A [ G sB=1 ] ] | ||
58 | + | ||
59 | +E [ F E [ G sB=1&E [ F sB!=1 ] ] ] | ||
60 | + | ||
61 | +E [ F E [ G sB=5 ] ] | ||
62 | + | ||
63 | +E [ F A [ G sB=5 ] ] | ||
64 | + | ||
65 | +E [ F E [ G sB=5&E [ F sB!=5 ] ] ] | ||
66 | + | ||
67 | +E [ F E [ G sB=3 ] ] | ||
68 | + | ||
69 | +E [ F A [ G sB=3 ] ] | ||
70 | + | ||
71 | +E [ F E [ G sB=3&E [ F sB!=3 ] ] ] | ||
72 | + | ||
73 | +E [ F E [ G sB=8 ] ] | ||
74 | + | ||
75 | +E [ F A [ G sB=8 ] ] | ||
76 | + | ||
77 | +E [ F E [ G sB=8&E [ F sB!=8 ] ] ] | ||
78 | + |
-
Please register or login to post a comment