1 |
6 |
marta |
|
2 |
|
|
-- description generated by Pat driver v107
|
3 |
|
|
-- date : Sat Sep 8 03:12:55 2001
|
4 |
|
|
|
5 |
|
|
|
6 |
|
|
-- sequence : heart_ctrl_str
|
7 |
|
|
|
8 |
|
|
-- input / output list :
|
9 |
|
|
in vdd B;;
|
10 |
|
|
in vss B;;
|
11 |
|
|
in ck B;;
|
12 |
|
|
in reset B;;
|
13 |
|
|
in start B;;
|
14 |
|
|
in key_ready B;;;
|
15 |
|
|
out round (2 downto 0) B;;;
|
16 |
|
|
out en1 B;;
|
17 |
|
|
out en2 B;;
|
18 |
|
|
out en3 B;;
|
19 |
|
|
out en4 B;;
|
20 |
|
|
out en5 B;;
|
21 |
|
|
out en6 B;;
|
22 |
|
|
out en7 B;;
|
23 |
|
|
out en_out B;;
|
24 |
|
|
out en_key_out B;;
|
25 |
|
|
out sel_in B;;
|
26 |
|
|
out finish B;;
|
27 |
|
|
|
28 |
|
|
begin
|
29 |
|
|
|
30 |
|
|
-- Pattern description :
|
31 |
|
|
|
32 |
|
|
-- v v c r s k r e e e e e e e e e s f
|
33 |
|
|
-- d s k e t e o n n n n n n n n n e i
|
34 |
|
|
-- d s s a y u 1 2 3 4 5 6 7 _ _ l n
|
35 |
|
|
-- e r _ n o k _ i
|
36 |
|
|
-- t t r d u e i s
|
37 |
|
|
-- e t y n h
|
38 |
|
|
-- a _
|
39 |
|
|
-- d o
|
40 |
|
|
-- y u
|
41 |
|
|
-- t
|
42 |
|
|
|
43 |
|
|
init : 1 0 0 1 0 0 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
44 |
|
|
s1 : 1 0 1 1 0 0 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
45 |
|
|
s1 : 1 0 0 0 0 0 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
46 |
|
|
s1 : 1 0 1 0 0 0 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
47 |
|
|
s1 : 1 0 0 0 0 0 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
48 |
|
|
s1 : 1 0 1 0 1 1 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ;
|
49 |
|
|
s1 : 1 0 0 0 1 1 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ;
|
50 |
|
|
s2 : 1 0 1 0 1 1 ?000 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
51 |
|
|
s2 : 1 0 0 0 1 1 ?000 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
52 |
|
|
s3 : 1 0 1 0 1 1 ?000 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
53 |
|
|
s3 : 1 0 0 0 1 1 ?000 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
54 |
|
|
s4 : 1 0 1 0 1 1 ?000 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
55 |
|
|
s4 : 1 0 0 0 1 1 ?000 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
56 |
|
|
s5 : 1 0 1 0 1 1 ?000 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
57 |
|
|
s5 : 1 0 0 0 1 1 ?000 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
58 |
|
|
s6 : 1 0 1 0 1 1 ?000 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
59 |
|
|
s6 : 1 0 0 0 1 1 ?000 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ;
|
60 |
|
|
s7 : 1 0 1 0 1 1 ?000 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ;
|
61 |
|
|
s7 : 1 0 0 0 1 1 ?000 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ;
|
62 |
|
|
s8 : 1 0 1 0 1 1 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ;
|
63 |
|
|
s8 : 1 0 0 0 1 1 ?000 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ;
|
64 |
|
|
s9 : 1 0 1 0 1 1 ?001 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
65 |
|
|
s9 : 1 0 0 0 1 1 ?001 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
66 |
|
|
s10 : 1 0 1 0 1 1 ?001 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
67 |
|
|
s10 : 1 0 0 0 1 1 ?001 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
68 |
|
|
s11 : 1 0 1 0 1 1 ?001 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
69 |
|
|
s11 : 1 0 0 0 1 1 ?001 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
70 |
|
|
s12 : 1 0 1 0 1 1 ?001 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
71 |
|
|
s12 : 1 0 0 0 1 1 ?001 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
72 |
|
|
s13 : 1 0 1 0 1 1 ?001 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
73 |
|
|
s13 : 1 0 0 0 1 1 ?001 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
74 |
|
|
s14 : 1 0 1 0 1 1 ?001 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
75 |
|
|
s14 : 1 0 0 0 1 1 ?001 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
76 |
|
|
s15 : 1 0 1 0 1 1 ?001 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
77 |
|
|
s15 : 1 0 0 0 1 1 ?001 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
78 |
|
|
s16 : 1 0 1 0 1 1 ?001 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
79 |
|
|
s16 : 1 0 0 0 1 1 ?001 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
80 |
|
|
s17 : 1 0 1 0 1 1 ?010 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
81 |
|
|
s17 : 1 0 0 0 1 1 ?010 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
82 |
|
|
s18 : 1 0 1 0 1 1 ?010 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
83 |
|
|
s18 : 1 0 0 0 1 1 ?010 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
84 |
|
|
s19 : 1 0 1 0 1 1 ?010 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
85 |
|
|
s19 : 1 0 0 0 1 1 ?010 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
86 |
|
|
s20 : 1 0 1 0 1 1 ?010 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
87 |
|
|
s20 : 1 0 0 0 1 1 ?010 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
88 |
|
|
s21 : 1 0 1 0 1 1 ?010 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
89 |
|
|
s21 : 1 0 0 0 1 1 ?010 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
90 |
|
|
s22 : 1 0 1 0 1 1 ?010 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
91 |
|
|
s22 : 1 0 0 0 1 1 ?010 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
92 |
|
|
s23 : 1 0 1 0 1 1 ?010 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
93 |
|
|
s23 : 1 0 0 0 1 1 ?010 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
94 |
|
|
s24 : 1 0 1 0 1 1 ?010 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
95 |
|
|
s24 : 1 0 0 0 1 1 ?010 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
96 |
|
|
s25 : 1 0 1 0 1 1 ?011 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
97 |
|
|
s25 : 1 0 0 0 1 1 ?011 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
98 |
|
|
s26 : 1 0 1 0 1 1 ?011 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
99 |
|
|
s26 : 1 0 0 0 1 1 ?011 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
100 |
|
|
s27 : 1 0 1 0 1 1 ?011 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
101 |
|
|
s27 : 1 0 0 0 1 1 ?011 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
102 |
|
|
s28 : 1 0 1 0 1 1 ?011 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
103 |
|
|
s28 : 1 0 0 0 1 1 ?011 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
104 |
|
|
s29 : 1 0 1 0 1 1 ?011 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
105 |
|
|
s29 : 1 0 0 0 1 1 ?011 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
106 |
|
|
s30 : 1 0 1 0 1 1 ?011 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
107 |
|
|
s30 : 1 0 0 0 1 1 ?011 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
108 |
|
|
s31 : 1 0 1 0 1 1 ?011 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
109 |
|
|
s31 : 1 0 0 0 1 1 ?011 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
110 |
|
|
s32 : 1 0 1 0 1 1 ?011 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
111 |
|
|
s32 : 1 0 0 0 1 1 ?011 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
112 |
|
|
s33 : 1 0 1 0 1 1 ?100 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
113 |
|
|
s33 : 1 0 0 0 1 1 ?100 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
114 |
|
|
s34 : 1 0 1 0 1 1 ?100 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
115 |
|
|
s34 : 1 0 0 0 1 1 ?100 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
116 |
|
|
s35 : 1 0 1 0 1 1 ?100 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
117 |
|
|
s35 : 1 0 0 0 1 1 ?100 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
118 |
|
|
s36 : 1 0 1 0 1 1 ?100 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
119 |
|
|
s36 : 1 0 0 0 1 1 ?100 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
120 |
|
|
s37 : 1 0 1 0 1 1 ?100 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
121 |
|
|
s37 : 1 0 0 0 1 1 ?100 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
122 |
|
|
s38 : 1 0 1 0 1 1 ?100 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
123 |
|
|
s38 : 1 0 0 0 1 1 ?100 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
124 |
|
|
s39 : 1 0 1 0 1 1 ?100 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
125 |
|
|
s39 : 1 0 0 0 1 1 ?100 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
126 |
|
|
s40 : 1 0 1 0 1 1 ?100 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
127 |
|
|
s40 : 1 0 0 0 1 1 ?100 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
128 |
|
|
s41 : 1 0 1 0 1 1 ?101 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
129 |
|
|
s41 : 1 0 0 0 1 1 ?101 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
130 |
|
|
s42 : 1 0 1 0 1 1 ?101 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
131 |
|
|
s42 : 1 0 0 0 1 1 ?101 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
132 |
|
|
s43 : 1 0 1 0 1 1 ?101 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
133 |
|
|
s43 : 1 0 0 0 1 1 ?101 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
134 |
|
|
s44 : 1 0 1 0 1 1 ?101 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
135 |
|
|
s44 : 1 0 0 0 1 1 ?101 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
136 |
|
|
s45 : 1 0 1 0 1 1 ?101 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
137 |
|
|
s45 : 1 0 0 0 1 1 ?101 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
138 |
|
|
s46 : 1 0 1 0 1 1 ?101 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
139 |
|
|
s46 : 1 0 0 0 1 1 ?101 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
140 |
|
|
s47 : 1 0 1 0 1 1 ?101 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
141 |
|
|
s47 : 1 0 0 0 1 1 ?101 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
142 |
|
|
s48 : 1 0 1 0 1 1 ?101 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
143 |
|
|
s48 : 1 0 0 0 1 1 ?101 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
144 |
|
|
s49 : 1 0 1 0 1 1 ?110 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
145 |
|
|
s49 : 1 0 0 0 1 1 ?110 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
146 |
|
|
s50 : 1 0 1 0 1 1 ?110 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
147 |
|
|
s50 : 1 0 0 0 1 1 ?110 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
148 |
|
|
s51 : 1 0 1 0 1 1 ?110 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
149 |
|
|
s51 : 1 0 0 0 1 1 ?110 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
150 |
|
|
s52 : 1 0 1 0 1 1 ?110 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
151 |
|
|
s52 : 1 0 0 0 1 1 ?110 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
152 |
|
|
s53 : 1 0 1 0 1 1 ?110 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
153 |
|
|
s53 : 1 0 0 0 1 1 ?110 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
154 |
|
|
s54 : 1 0 1 0 1 1 ?110 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
155 |
|
|
s54 : 1 0 0 0 1 1 ?110 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
156 |
|
|
s55 : 1 0 1 0 1 1 ?110 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
157 |
|
|
s55 : 1 0 0 0 1 1 ?110 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
158 |
|
|
s56 : 1 0 1 0 1 1 ?110 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
159 |
|
|
s56 : 1 0 0 0 1 1 ?110 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
160 |
|
|
s57 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
161 |
|
|
s57 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?1 ?0 ;
|
162 |
|
|
s58 : 1 0 1 0 1 1 ?111 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
163 |
|
|
s58 : 1 0 0 0 1 1 ?111 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
164 |
|
|
s59 : 1 0 1 0 1 1 ?111 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
165 |
|
|
s59 : 1 0 0 0 1 1 ?111 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
166 |
|
|
s60 : 1 0 1 0 1 1 ?111 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
167 |
|
|
s60 : 1 0 0 0 1 1 ?111 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
168 |
|
|
s61 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
169 |
|
|
s61 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
170 |
|
|
s62 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
171 |
|
|
s62 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?0 ?1 ?0 ;
|
172 |
|
|
s63 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
173 |
|
|
s63 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ?1 ?0 ;
|
174 |
|
|
s64 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
175 |
|
|
s64 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?1 ?0 ;
|
176 |
|
|
s65 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ;
|
177 |
|
|
s65 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ;
|
178 |
|
|
s66 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ;
|
179 |
|
|
s66 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ?0 ?0 ?0 ;
|
180 |
|
|
s67 : 1 0 1 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ;
|
181 |
|
|
s67 : 1 0 0 0 1 1 ?111 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?0 ?1 ;
|
182 |
|
|
|
183 |
|
|
end;
|