disaproc1.log revision 12855:588919e0e4aa
1SystemC Simulation
2d is (a * b)
3c is (a + b)
4  a =  1  b =  1  c =  1  d =  1
5d is (a / b)
6c is (a - b)
7  a =  0  b =  1  c =  1  d =  0
8d is (a * b)
9p1 is exiting.
10  a =  0  b =  0  c =  1  d =  0
11d is (a / b)
12  a =  0  b =  1  c =  1  d =  0
13  a =  0  b =  1  c =  1  d =  0
14d is (a * b)
15  a =  1  b =  1  c =  1  d =  1
16d is (a / (b + 1))
17  a =  0  b =  0  c =  1  d =  0
18d is (a * b)
19  a =  1  b =  0  c =  1  d =  0
20  a =  1  b =  0  c =  1  d =  0
21d is (a / b)
22  a =  1  b =  1  c =  1  d =  1
23d is (a * b)
24  a =  0  b =  1  c =  1  d =  0
25d is (a / (b + 1))
26  a =  1  b =  0  c =  1  d =  1
27d is (a * b)
28  a =  0  b =  1  c =  1  d =  0
29d is (a / (b + 1))
30  a =  1  b =  0  c =  1  d =  1
31  a =  1  b =  0  c =  1  d =  1
32  a =  1  b =  0  c =  1  d =  1
33  a =  1  b =  0  c =  1  d =  1
34d is (a * b)
35  a =  1  b =  1  c =  1  d =  1
36d is (a / b)
37  a =  0  b =  1  c =  1  d =  0
38  a =  0  b =  1  c =  1  d =  0
39  a =  0  b =  1  c =  1  d =  0
40d is (a * b)
41  a =  0  b =  0  c =  1  d =  0
42d is (a / b)
43  a =  1  b =  1  c =  1  d =  1
44d is (a * b)
45  a =  0  b =  1  c =  1  d =  0
46d is (a / b)
47  a =  1  b =  1  c =  1  d =  1
48d is (a * b)
49  a =  1  b =  0  c =  1  d =  0
50  a =  1  b =  0  c =  1  d =  0
51d is (a / (b + 1))
52  a =  0  b =  0  c =  1  d =  0
53d is (a * b)
54  a =  1  b =  1  c =  1  d =  1
55d is (a / b)
56  a =  0  b =  1  c =  1  d =  0
57d is (a * b)
58  a =  1  b =  0  c =  1  d =  0
59d is (a / b)
60  a =  1  b =  1  c =  1  d =  1
61d is (a * b)
62  a =  1  b =  0  c =  1  d =  0
63  a =  1  b =  0  c =  1  d =  0
64  a =  1  b =  0  c =  1  d =  0
65d is (a / (b + 1))
66  a =  0  b =  0  c =  1  d =  0
67d is (a * b)
68  a =  0  b =  1  c =  1  d =  0
69  a =  0  b =  1  c =  1  d =  0
70  a =  0  b =  1  c =  1  d =  0
71d is (a / b)
72  a =  1  b =  1  c =  1  d =  1
73d is (a * b)
74  a =  0  b =  0  c =  1  d =  0
75d is (a / b)
76  a =  1  b =  1  c =  1  d =  1
77  a =  1  b =  1  c =  1  d =  1
78  a =  1  b =  1  c =  1  d =  1
79d is (a * b)
80  a =  0  b =  0  c =  1  d =  0
81d is (a / (b + 1))
82  a =  1  b =  0  c =  1  d =  1
83d is (a * b)
84  a =  0  b =  0  c =  1  d =  0
85d is (a / b)
86  a =  1  b =  1  c =  1  d =  1
87  a =  1  b =  1  c =  1  d =  1
88d is (a * b)
89  a =  1  b =  0  c =  1  d =  0
90d is (a / b)
91  a =  1  b =  1  c =  1  d =  1
92d is (a * b)
93  a =  1  b =  0  c =  1  d =  0
94d is (a / (b + 1))
95  a =  0  b =  0  c =  1  d =  0
96  a =  0  b =  0  c =  1  d =  0
97  a =  0  b =  0  c =  1  d =  0
98d is (a * b)
99  a =  0  b =  1  c =  1  d =  0
100d is (a / b)
101  a =  1  b =  1  c =  1  d =  1
102d is (a * b)
103  a =  0  b =  1  c =  1  d =  0
104d is (a / b)
105  a =  1  b =  1  c =  1  d =  1
106d is (a * b)
107  a =  1  b =  0  c =  1  d =  0
108d is (a / b)
109  a =  1  b =  1  c =  1  d =  1
110d is (a * b)
111  a =  0  b =  1  c =  1  d =  0
112d is (a / b)
113  a =  1  b =  1  c =  1  d =  1
114d is (a * b)
115  a =  0  b =  0  c =  1  d =  0
116d is (a / (b + 1))
117  a =  1  b =  0  c =  1  d =  1
118  a =  1  b =  0  c =  1  d =  1
119d is (a * b)
120  a =  1  b =  1  c =  1  d =  1
121  a =  1  b =  1  c =  1  d =  1
122d is (a / (b + 1))
123  a =  1  b =  0  c =  1  d =  1
124d is (a * b)
125  a =  0  b =  1  c =  1  d =  0
126d is (a / (b + 1))
127  a =  0  b =  0  c =  1  d =  0
128  a =  0  b =  0  c =  1  d =  0
129  a =  0  b =  0  c =  1  d =  0
130d is (a * b)
131  a =  1  b =  0  c =  1  d =  0
132d is (a / b)
133  a =  0  b =  1  c =  1  d =  0
134d is (a * b)
135  a =  1  b =  1  c =  1  d =  1
136  a =  1  b =  1  c =  1  d =  1
137  a =  1  b =  1  c =  1  d =  1
138d is (a / (b + 1))
139  a =  0  b =  0  c =  1  d =  0
140d is (a * b)
141  a =  1  b =  1  c =  1  d =  1
142d is (a / b)
143  a =  0  b =  1  c =  1  d =  0
144d is (a * b)
145  a =  1  b =  1  c =  1  d =  1
146d is (a / (b + 1))
147  a =  1  b =  0  c =  1  d =  1
148  a =  1  b =  0  c =  1  d =  1
149  a =  1  b =  0  c =  1  d =  1
150d is (a * b)
151  a =  1  b =  1  c =  1  d =  1
152d is (a / b)
153  a =  0  b =  1  c =  1  d =  0
154d is (a * b)
155  a =  0  b =  0  c =  1  d =  0
156d is (a / b)
157  a =  0  b =  1  c =  1  d =  0
158d is (a * b)
159  a =  0  b =  0  c =  1  d =  0
160d is (a / (b + 1))
161  a =  1  b =  0  c =  1  d =  1
162d is (a * b)
163  a =  0  b =  0  c =  1  d =  0
164d is (a / (b + 1))
165  a =  1  b =  0  c =  1  d =  1
166d is (a * b)
167  a =  1  b =  1  c =  1  d =  1
168  a =  1  b =  1  c =  1  d =  1
169d is (a / b)
170  a =  0  b =  1  c =  1  d =  0
171d is (a * b)
172  a =  1  b =  1  c =  1  d =  1
173d is (a / (b + 1))
174  a =  0  b =  0  c =  1  d =  0
175d is (a * b)
176  a =  1  b =  1  c =  1  d =  1
177  a =  1  b =  1  c =  1  d =  1
178  a =  1  b =  1  c =  1  d =  1
179d is (a / (b + 1))
180  a =  1  b =  0  c =  1  d =  1
181  a =  1  b =  0  c =  1  d =  1
182d is (a * b)
183  a =  0  b =  0  c =  1  d =  0
184d is (a / b)
185  a =  0  b =  1  c =  1  d =  0
186  a =  0  b =  1  c =  1  d =  0
187d is (a * b)
188  a =  0  b =  0  c =  1  d =  0
189d is (a / b)
190  a =  1  b =  1  c =  1  d =  1
191d is (a * b)
192  a =  0  b =  0  c =  1  d =  0
193d is (a / (b + 1))
194  a =  1  b =  0  c =  1  d =  1
195  a =  1  b =  0  c =  1  d =  1
196  a =  1  b =  0  c =  1  d =  1
197d is (a * b)
198  a =  0  b =  1  c =  1  d =  0
199d is (a / b)
200  a =  1  b =  1  c =  1  d =  1
201d is (a * b)
202  a =  0  b =  1  c =  1  d =  0
203d is (a / b)
204  a =  1  b =  1  c =  1  d =  1
205d is (a * b)
206  a =  1  b =  0  c =  1  d =  0
207d is (a / b)
208  a =  1  b =  1  c =  1  d =  1
209  a =  1  b =  1  c =  1  d =  1
210  a =  1  b =  1  c =  1  d =  1
211d is (a * b)
212  a =  0  b =  0  c =  1  d =  0
213  a =  0  b =  0  c =  1  d =  0
214  a =  0  b =  0  c =  1  d =  0
215d is (a / b)
216  a =  0  b =  1  c =  1  d =  0
217d is (a * b)
218  a =  1  b =  1  c =  1  d =  1
219d is (a / (b + 1))
220  a =  0  b =  0  c =  1  d =  0
221d is (a * b)
222  a =  1  b =  1  c =  1  d =  1
223d is (a / (b + 1))
224  a =  1  b =  0  c =  1  d =  1
225  a =  1  b =  0  c =  1  d =  1
226d is (a * b)
227  a =  0  b =  0  c =  1  d =  0
228d is (a / (b + 1))
229  a =  1  b =  0  c =  1  d =  1
230d is (a * b)
231  a =  0  b =  1  c =  1  d =  0
232d is (a / b)
233  a =  1  b =  1  c =  1  d =  1
234  a =  1  b =  1  c =  1  d =  1
235  a =  1  b =  1  c =  1  d =  1
236d is (a * b)
237  a =  1  b =  0  c =  1  d =  0
238d is (a / b)
239  a =  1  b =  1  c =  1  d =  1
240d is (a * b)
241  a =  0  b =  1  c =  1  d =  0
242  a =  0  b =  1  c =  1  d =  0
243d is (a / (b + 1))
244  a =  0  b =  0  c =  1  d =  0
245  a =  0  b =  0  c =  1  d =  0
246d is (a * b)
247  a =  1  b =  0  c =  1  d =  0
248d is (a / b)
249  a =  0  b =  1  c =  1  d =  0
250d is (a * b)
251  a =  1  b =  1  c =  1  d =  1
252d is (a / (b + 1))
253  a =  1  b =  0  c =  1  d =  1
254d is (a * b)
255  a =  1  b =  1  c =  1  d =  1
256d is (a / (b + 1))
257  a =  0  b =  0  c =  1  d =  0
258d is (a * b)
259  a =  1  b =  0  c =  1  d =  0
260d is (a / (b + 1))
261  a =  0  b =  0  c =  1  d =  0
262d is (a * b)
263  a =  1  b =  0  c =  1  d =  0
264d is (a / b)
265  a =  1  b =  1  c =  1  d =  1
266  a =  1  b =  1  c =  1  d =  1
267  a =  1  b =  1  c =  1  d =  1
268  a =  1  b =  1  c =  1  d =  1
269d is (a * b)
270  a =  0  b =  0  c =  1  d =  0
271d is (a / b)
272  a =  0  b =  1  c =  1  d =  0
273  a =  0  b =  1  c =  1  d =  0
274  a =  0  b =  1  c =  1  d =  0
275d is (a * b)
276  a =  1  b =  0  c =  1  d =  0
277d is (a / (b + 1))
278  a =  0  b =  0  c =  1  d =  0
279d is (a * b)
280  a =  1  b =  0  c =  1  d =  0
281d is (a / b)
282  a =  1  b =  1  c =  1  d =  1
283  a =  1  b =  1  c =  1  d =  1
284d is (a * b)
285  a =  0  b =  0  c =  1  d =  0
286d is (a / b)
287  a =  1  b =  1  c =  1  d =  1
288d is (a * b)
289  a =  0  b =  0  c =  1  d =  0
290d is (a / (b + 1))
291  a =  1  b =  0  c =  1  d =  1
292  a =  1  b =  0  c =  1  d =  1
293  a =  1  b =  0  c =  1  d =  1
294d is (a * b)
295  a =  1  b =  1  c =  1  d =  1
296  a =  1  b =  1  c =  1  d =  1
297d is (a / b)
298  a =  0  b =  1  c =  1  d =  0
299  a =  0  b =  1  c =  1  d =  0
300d is (a * b)
301  a =  0  b =  0  c =  1  d =  0
302d is (a / b)
303  a =  0  b =  1  c =  1  d =  0
304d is (a * b)
305  a =  1  b =  1  c =  1  d =  1
306d is (a / b)
307  a =  0  b =  1  c =  1  d =  0
308d is (a * b)
309  a =  1  b =  0  c =  1  d =  0
310  a =  1  b =  0  c =  1  d =  0
311  a =  1  b =  0  c =  1  d =  0
312d is (a / b)
313  a =  0  b =  1  c =  1  d =  0
314d is (a * b)
315  a =  1  b =  1  c =  1  d =  1
316d is (a / (b + 1))
317  a =  0  b =  0  c =  1  d =  0
318d is (a * b)
319  a =  1  b =  1  c =  1  d =  1
320d is (a / (b + 1))
321  a =  1  b =  0  c =  1  d =  1
322  a =  1  b =  0  c =  1  d =  1
323  a =  1  b =  0  c =  1  d =  1
324  a =  1  b =  0  c =  1  d =  1
325d is (a * b)
326  a =  0  b =  1  c =  1  d =  0
327  a =  0  b =  1  c =  1  d =  0
328  a =  0  b =  1  c =  1  d =  0
329  a =  0  b =  1  c =  1  d =  0
330d is (a / (b + 1))
331  a =  1  b =  0  c =  1  d =  1
332d is (a * b)
333  a =  0  b =  1  c =  1  d =  0
334d is (a / b)
335  a =  1  b =  1  c =  1  d =  1
336  a =  1  b =  1  c =  1  d =  1
337d is (a * b)
338  a =  1  b =  0  c =  1  d =  0
339d is (a / (b + 1))
340  a =  0  b =  0  c =  1  d =  0
341d is (a * b)
342  a =  1  b =  0  c =  1  d =  0
343d is (a / b)
344  a =  0  b =  1  c =  1  d =  0
345d is (a * b)
346  a =  1  b =  1  c =  1  d =  1
347d is (a / (b + 1))
348  a =  1  b =  0  c =  1  d =  1
349d is (a * b)
350  a =  1  b =  1  c =  1  d =  1
351d is (a / (b + 1))
352  a =  1  b =  0  c =  1  d =  1
353  a =  1  b =  0  c =  1  d =  1
354d is (a * b)
355  a =  0  b =  0  c =  1  d =  0
356  a =  0  b =  0  c =  1  d =  0
357d is (a / b)
358  a =  0  b =  1  c =  1  d =  0
359  a =  0  b =  1  c =  1  d =  0
360d is (a * b)
361  a =  1  b =  1  c =  1  d =  1
362d is (a / b)
363  a =  0  b =  1  c =  1  d =  0
364d is (a * b)
365  a =  1  b =  0  c =  1  d =  0
366d is (a / b)
367  a =  1  b =  1  c =  1  d =  1
368  a =  1  b =  1  c =  1  d =  1
369d is (a * b)
370  a =  0  b =  1  c =  1  d =  0
371d is (a / (b + 1))
372  a =  1  b =  0  c =  1  d =  1
373d is (a * b)
374  a =  0  b =  0  c =  1  d =  0
375d is (a / (b + 1))
376  a =  1  b =  0  c =  1  d =  1
377d is (a * b)
378  a =  1  b =  1  c =  1  d =  1
379  a =  1  b =  1  c =  1  d =  1
380d is (a / (b + 1))
381  a =  1  b =  0  c =  1  d =  1
382d is (a * b)
383  a =  1  b =  1  c =  1  d =  1
384d is (a / (b + 1))
385  a =  0  b =  0  c =  1  d =  0
386  a =  0  b =  0  c =  1  d =  0
387  a =  0  b =  0  c =  1  d =  0
388  a =  0  b =  0  c =  1  d =  0
389d is (a * b)
390  a =  1  b =  1  c =  1  d =  1
391d is (a / b)
392  a =  0  b =  1  c =  1  d =  0
393d is (a * b)
394  a =  1  b =  1  c =  1  d =  1
395  a =  1  b =  1  c =  1  d =  1
396d is (a / (b + 1))
397  a =  1  b =  0  c =  1  d =  1
398d is (a * b)
399  a =  0  b =  1  c =  1  d =  0
400d is (a / b)
401  a =  1  b =  1  c =  1  d =  1
402d is (a * b)
403  a =  0  b =  1  c =  1  d =  0
404d is (a / (b + 1))
405  a =  1  b =  0  c =  1  d =  1
406  a =  1  b =  0  c =  1  d =  1
407  a =  1  b =  0  c =  1  d =  1
408d is (a * b)
409  a =  1  b =  1  c =  1  d =  1
410  a =  1  b =  1  c =  1  d =  1
411d is (a / (b + 1))
412  a =  0  b =  0  c =  1  d =  0
413d is (a * b)
414  a =  0  b =  1  c =  1  d =  0
415d is (a / (b + 1))
416  a =  0  b =  0  c =  1  d =  0
417  a =  0  b =  0  c =  1  d =  0
418d is (a * b)
419  a =  1  b =  0  c =  1  d =  0
420d is (a / (b + 1))
421  a =  0  b =  0  c =  1  d =  0
422d is (a * b)
423  a =  1  b =  1  c =  1  d =  1
424  a =  1  b =  1  c =  1  d =  1
425  a =  1  b =  1  c =  1  d =  1
426d is (a / b)
427  a =  0  b =  1  c =  1  d =  0
428d is (a * b)
429  a =  1  b =  0  c =  1  d =  0
430d is (a / b)
431  a =  0  b =  1  c =  1  d =  0
432d is (a * b)
433  a =  1  b =  1  c =  1  d =  1
434  a =  1  b =  1  c =  1  d =  1
435d is (a / (b + 1))
436  a =  1  b =  0  c =  1  d =  1
437  a =  1  b =  0  c =  1  d =  1
438  a =  1  b =  0  c =  1  d =  1
439d is (a * b)
440  a =  0  b =  1  c =  1  d =  0
441  a =  0  b =  1  c =  1  d =  0
442d is (a / (b + 1))
443  a =  0  b =  0  c =  1  d =  0
444d is (a * b)
445  a =  0  b =  1  c =  1  d =  0
446d is (a / (b + 1))
447  a =  1  b =  0  c =  1  d =  1
448d is (a * b)
449  a =  0  b =  0  c =  1  d =  0
450d is (a / (b + 1))
451  a =  1  b =  0  c =  1  d =  1
452  a =  1  b =  0  c =  1  d =  1
453d is (a * b)
454  a =  1  b =  1  c =  1  d =  1
455d is (a / b)
456  a =  0  b =  1  c =  1  d =  0
457d is (a * b)
458  a =  1  b =  1  c =  1  d =  1
459d is (a / b)
460  a =  0  b =  1  c =  1  d =  0
461d is (a * b)
462  a =  1  b =  0  c =  1  d =  0
463d is (a / b)
464  a =  1  b =  1  c =  1  d =  1
465  a =  1  b =  1  c =  1  d =  1
466  a =  1  b =  1  c =  1  d =  1
467d is (a * b)
468  a =  1  b =  0  c =  1  d =  0
469d is (a / (b + 1))
470  a =  0  b =  0  c =  1  d =  0
471  a =  0  b =  0  c =  1  d =  0
472d is (a * b)
473  a =  0  b =  1  c =  1  d =  0
474  a =  0  b =  1  c =  1  d =  0
475d is (a / (b + 1))
476  a =  1  b =  0  c =  1  d =  1
477d is (a * b)
478  a =  0  b =  1  c =  1  d =  0
479d is (a / (b + 1))
480  a =  1  b =  0  c =  1  d =  1
481  a =  1  b =  0  c =  1  d =  1
482  a =  1  b =  0  c =  1  d =  1
483d is (a * b)
484  a =  0  b =  0  c =  1  d =  0
485d is (a / b)
486  a =  1  b =  1  c =  1  d =  1
487d is (a * b)
488  a =  0  b =  1  c =  1  d =  0
489d is (a / b)
490  a =  1  b =  1  c =  1  d =  1
491  a =  1  b =  1  c =  1  d =  1
492d is (a * b)
493  a =  1  b =  0  c =  1  d =  0
494d is (a / b)
495  a =  1  b =  1  c =  1  d =  1
496  a =  1  b =  1  c =  1  d =  1
497d is (a * b)
498  a =  0  b =  1  c =  1  d =  0
499d is (a / (b + 1))
500  a =  0  b =  0  c =  1  d =  0
501  a =  0  b =  0  c =  1  d =  0
502  a =  0  b =  0  c =  1  d =  0
503d is (a * b)
504  a =  1  b =  1  c =  1  d =  1
505d is (a / b)
506  a =  0  b =  1  c =  1  d =  0
507d is (a * b)
508  a =  1  b =  0  c =  1  d =  0
509d is (a / b)
510  a =  1  b =  1  c =  1  d =  1
511d is (a * b)
512  a =  1  b =  0  c =  1  d =  0
513d is (a / (b + 1))
514  a =  0  b =  0  c =  1  d =  0
515d is (a * b)
516  a =  1  b =  0  c =  1  d =  0
517d is (a / (b + 1))
518  a =  0  b =  0  c =  1  d =  0
519d is (a * b)
520  a =  1  b =  1  c =  1  d =  1
521  a =  1  b =  1  c =  1  d =  1
522  a =  1  b =  1  c =  1  d =  1
523  a =  1  b =  1  c =  1  d =  1
524d is (a / (b + 1))
525  a =  1  b =  0  c =  1  d =  1
526d is (a * b)
527  a =  0  b =  1  c =  1  d =  0
528  a =  0  b =  1  c =  1  d =  0
529  a =  0  b =  1  c =  1  d =  0
530d is (a / (b + 1))
531  a =  0  b =  0  c =  1  d =  0
532d is (a * b)
533  a =  1  b =  0  c =  1  d =  0
534d is (a / (b + 1))
535  a =  0  b =  0  c =  1  d =  0
536d is (a * b)
537  a =  1  b =  1  c =  1  d =  1
538  a =  1  b =  1  c =  1  d =  1
539d is (a / (b + 1))
540  a =  1  b =  0  c =  1  d =  1
541d is (a * b)
542  a =  0  b =  1  c =  1  d =  0
543d is (a / (b + 1))
544  a =  1  b =  0  c =  1  d =  1
545d is (a * b)
546  a =  0  b =  0  c =  1  d =  0
547d is (a / (b + 1))
548  a =  1  b =  0  c =  1  d =  1
549  a =  1  b =  0  c =  1  d =  1
550d is (a * b)
551  a =  1  b =  1  c =  1  d =  1
552  a =  1  b =  1  c =  1  d =  1
553  a =  1  b =  1  c =  1  d =  1
554d is (a / b)
555  a =  0  b =  1  c =  1  d =  0
556d is (a * b)
557  a =  0  b =  0  c =  1  d =  0
558d is (a / b)
559  a =  0  b =  1  c =  1  d =  0
560  a =  0  b =  1  c =  1  d =  0
561d is (a * b)
562  a =  1  b =  1  c =  1  d =  1
563d is (a / (b + 1))
564  a =  0  b =  0  c =  1  d =  0
565d is (a * b)
566  a =  1  b =  0  c =  1  d =  0
567  a =  1  b =  0  c =  1  d =  0
568d is (a / b)
569  a =  1  b =  1  c =  1  d =  1
570d is (a * b)
571  a =  0  b =  1  c =  1  d =  0
572d is (a / (b + 1))
573  a =  1  b =  0  c =  1  d =  1
574d is (a * b)
575  a =  0  b =  1  c =  1  d =  0
576d is (a / (b + 1))
577  a =  1  b =  0  c =  1  d =  1
578  a =  1  b =  0  c =  1  d =  1
579  a =  1  b =  0  c =  1  d =  1
580  a =  1  b =  0  c =  1  d =  1
581d is (a * b)
582  a =  1  b =  1  c =  1  d =  1
583d is (a / b)
584  a =  0  b =  1  c =  1  d =  0
585  a =  0  b =  1  c =  1  d =  0
586  a =  0  b =  1  c =  1  d =  0
587d is (a * b)
588  a =  0  b =  0  c =  1  d =  0
589d is (a / b)
590  a =  1  b =  1  c =  1  d =  1
591d is (a * b)
592  a =  0  b =  1  c =  1  d =  0
593d is (a / b)
594  a =  1  b =  1  c =  1  d =  1
595d is (a * b)
596  a =  1  b =  0  c =  1  d =  0
597  a =  1  b =  0  c =  1  d =  0
598d is (a / (b + 1))
599  a =  0  b =  0  c =  1  d =  0
600d is (a * b)
601  a =  1  b =  1  c =  1  d =  1
602d is (a / b)
603  a =  0  b =  1  c =  1  d =  0
604d is (a * b)
605  a =  1  b =  0  c =  1  d =  0
606d is (a / b)
607  a =  1  b =  1  c =  1  d =  1
608d is (a * b)
609  a =  1  b =  0  c =  1  d =  0
610  a =  1  b =  0  c =  1  d =  0
611  a =  1  b =  0  c =  1  d =  0
612d is (a / (b + 1))
613  a =  0  b =  0  c =  1  d =  0
614d is (a * b)
615  a =  0  b =  1  c =  1  d =  0
616  a =  0  b =  1  c =  1  d =  0
617  a =  0  b =  1  c =  1  d =  0
618d is (a / b)
619  a =  1  b =  1  c =  1  d =  1
620d is (a * b)
621  a =  0  b =  0  c =  1  d =  0
622d is (a / b)
623  a =  1  b =  1  c =  1  d =  1
624  a =  1  b =  1  c =  1  d =  1
625  a =  1  b =  1  c =  1  d =  1
626d is (a * b)
627  a =  0  b =  0  c =  1  d =  0
628d is (a / (b + 1))
629  a =  1  b =  0  c =  1  d =  1
630d is (a * b)
631  a =  0  b =  0  c =  1  d =  0
632d is (a / b)
633  a =  1  b =  1  c =  1  d =  1
634  a =  1  b =  1  c =  1  d =  1
635d is (a * b)
636  a =  1  b =  0  c =  1  d =  0
637d is (a / b)
638  a =  1  b =  1  c =  1  d =  1
639d is (a * b)
640  a =  1  b =  0  c =  1  d =  0
641d is (a / (b + 1))
642  a =  0  b =  0  c =  1  d =  0
643  a =  0  b =  0  c =  1  d =  0
644  a =  0  b =  0  c =  1  d =  0
645d is (a * b)
646  a =  0  b =  1  c =  1  d =  0
647d is (a / b)
648  a =  1  b =  1  c =  1  d =  1
649d is (a * b)
650  a =  0  b =  1  c =  1  d =  0
651d is (a / b)
652  a =  1  b =  1  c =  1  d =  1
653d is (a * b)
654  a =  1  b =  0  c =  1  d =  0
655d is (a / b)
656  a =  1  b =  1  c =  1  d =  1
657d is (a * b)
658  a =  0  b =  1  c =  1  d =  0
659d is (a / b)
660  a =  1  b =  1  c =  1  d =  1
661d is (a * b)
662  a =  0  b =  0  c =  1  d =  0
663d is (a / (b + 1))
664  a =  1  b =  0  c =  1  d =  1
665  a =  1  b =  0  c =  1  d =  1
666d is (a * b)
667  a =  1  b =  1  c =  1  d =  1
668  a =  1  b =  1  c =  1  d =  1
669d is (a / (b + 1))
670  a =  1  b =  0  c =  1  d =  1
671d is (a * b)
672  a =  0  b =  1  c =  1  d =  0
673d is (a / (b + 1))
674  a =  0  b =  0  c =  1  d =  0
675  a =  0  b =  0  c =  1  d =  0
676  a =  0  b =  0  c =  1  d =  0
677d is (a * b)
678  a =  1  b =  0  c =  1  d =  0
679d is (a / b)
680  a =  0  b =  1  c =  1  d =  0
681d is (a * b)
682  a =  1  b =  1  c =  1  d =  1
683  a =  1  b =  1  c =  1  d =  1
684  a =  1  b =  1  c =  1  d =  1
685d is (a / (b + 1))
686  a =  0  b =  0  c =  1  d =  0
687d is (a * b)
688  a =  1  b =  1  c =  1  d =  1
689d is (a / b)
690  a =  0  b =  1  c =  1  d =  0
691d is (a * b)
692  a =  1  b =  1  c =  1  d =  1
693d is (a / (b + 1))
694  a =  1  b =  0  c =  1  d =  1
695  a =  1  b =  0  c =  1  d =  1
696  a =  1  b =  0  c =  1  d =  1
697d is (a * b)
698  a =  1  b =  1  c =  1  d =  1
699d is (a / b)
700  a =  0  b =  1  c =  1  d =  0
701d is (a * b)
702  a =  0  b =  0  c =  1  d =  0
703d is (a / b)
704  a =  0  b =  1  c =  1  d =  0
705d is (a * b)
706  a =  0  b =  0  c =  1  d =  0
707d is (a / (b + 1))
708  a =  1  b =  0  c =  1  d =  1
709d is (a * b)
710  a =  0  b =  0  c =  1  d =  0
711d is (a / (b + 1))
712  a =  1  b =  0  c =  1  d =  1
713d is (a * b)
714  a =  1  b =  1  c =  1  d =  1
715  a =  1  b =  1  c =  1  d =  1
716d is (a / b)
717  a =  0  b =  1  c =  1  d =  0
718d is (a * b)
719  a =  1  b =  1  c =  1  d =  1
720d is (a / (b + 1))
721  a =  0  b =  0  c =  1  d =  0
722d is (a * b)
723  a =  1  b =  1  c =  1  d =  1
724  a =  1  b =  1  c =  1  d =  1
725  a =  1  b =  1  c =  1  d =  1
726d is (a / (b + 1))
727  a =  1  b =  0  c =  1  d =  1
728  a =  1  b =  0  c =  1  d =  1
729d is (a * b)
730  a =  0  b =  0  c =  1  d =  0
731d is (a / b)
732  a =  0  b =  1  c =  1  d =  0
733  a =  0  b =  1  c =  1  d =  0
734d is (a * b)
735  a =  0  b =  0  c =  1  d =  0
736d is (a / b)
737  a =  1  b =  1  c =  1  d =  1
738d is (a * b)
739  a =  0  b =  0  c =  1  d =  0
740d is (a / (b + 1))
741  a =  1  b =  0  c =  1  d =  1
742  a =  1  b =  0  c =  1  d =  1
743  a =  1  b =  0  c =  1  d =  1
744d is (a * b)
745  a =  0  b =  1  c =  1  d =  0
746d is (a / b)
747  a =  1  b =  1  c =  1  d =  1
748d is (a * b)
749  a =  0  b =  1  c =  1  d =  0
750d is (a / b)
751  a =  1  b =  1  c =  1  d =  1
752d is (a * b)
753  a =  1  b =  0  c =  1  d =  0
754d is (a / b)
755  a =  1  b =  1  c =  1  d =  1
756  a =  1  b =  1  c =  1  d =  1
757  a =  1  b =  1  c =  1  d =  1
758d is (a * b)
759  a =  0  b =  0  c =  1  d =  0
760  a =  0  b =  0  c =  1  d =  0
761  a =  0  b =  0  c =  1  d =  0
762d is (a / b)
763  a =  0  b =  1  c =  1  d =  0
764d is (a * b)
765  a =  1  b =  1  c =  1  d =  1
766d is (a / (b + 1))
767  a =  0  b =  0  c =  1  d =  0
768d is (a * b)
769  a =  1  b =  1  c =  1  d =  1
770d is (a / (b + 1))
771  a =  1  b =  0  c =  1  d =  1
772  a =  1  b =  0  c =  1  d =  1
773d is (a * b)
774  a =  0  b =  0  c =  1  d =  0
775d is (a / (b + 1))
776  a =  1  b =  0  c =  1  d =  1
777d is (a * b)
778  a =  0  b =  1  c =  1  d =  0
779d is (a / b)
780  a =  1  b =  1  c =  1  d =  1
781  a =  1  b =  1  c =  1  d =  1
782  a =  1  b =  1  c =  1  d =  1
783d is (a * b)
784  a =  1  b =  0  c =  1  d =  0
785d is (a / b)
786  a =  1  b =  1  c =  1  d =  1
787d is (a * b)
788  a =  0  b =  1  c =  1  d =  0
789  a =  0  b =  1  c =  1  d =  0
790d is (a / (b + 1))
791  a =  0  b =  0  c =  1  d =  0
792  a =  0  b =  0  c =  1  d =  0
793d is (a * b)
794  a =  1  b =  0  c =  1  d =  0
795d is (a / b)
796  a =  0  b =  1  c =  1  d =  0
797d is (a * b)
798  a =  1  b =  1  c =  1  d =  1
799d is (a / (b + 1))
800  a =  1  b =  0  c =  1  d =  1
801d is (a * b)
802  a =  1  b =  1  c =  1  d =  1
803d is (a / (b + 1))
804  a =  0  b =  0  c =  1  d =  0
805d is (a * b)
806  a =  1  b =  0  c =  1  d =  0
807d is (a / (b + 1))
808  a =  0  b =  0  c =  1  d =  0
809d is (a * b)
810  a =  1  b =  0  c =  1  d =  0
811d is (a / b)
812  a =  1  b =  1  c =  1  d =  1
813  a =  1  b =  1  c =  1  d =  1
814  a =  1  b =  1  c =  1  d =  1
815  a =  1  b =  1  c =  1  d =  1
816d is (a * b)
817  a =  0  b =  0  c =  1  d =  0
818d is (a / b)
819  a =  0  b =  1  c =  1  d =  0
820  a =  0  b =  1  c =  1  d =  0
821  a =  0  b =  1  c =  1  d =  0
822d is (a * b)
823  a =  1  b =  0  c =  1  d =  0
824d is (a / (b + 1))
825  a =  0  b =  0  c =  1  d =  0
826d is (a * b)
827  a =  1  b =  0  c =  1  d =  0
828d is (a / b)
829  a =  1  b =  1  c =  1  d =  1
830  a =  1  b =  1  c =  1  d =  1
831d is (a * b)
832  a =  0  b =  0  c =  1  d =  0
833d is (a / b)
834  a =  1  b =  1  c =  1  d =  1
835d is (a * b)
836  a =  0  b =  0  c =  1  d =  0
837d is (a / (b + 1))
838  a =  1  b =  0  c =  1  d =  1
839  a =  1  b =  0  c =  1  d =  1
840  a =  1  b =  0  c =  1  d =  1
841d is (a * b)
842  a =  1  b =  1  c =  1  d =  1
843  a =  1  b =  1  c =  1  d =  1
844d is (a / b)
845  a =  0  b =  1  c =  1  d =  0
846  a =  0  b =  1  c =  1  d =  0
847d is (a * b)
848  a =  0  b =  0  c =  1  d =  0
849d is (a / b)
850  a =  0  b =  1  c =  1  d =  0
851d is (a * b)
852  a =  1  b =  1  c =  1  d =  1
853d is (a / b)
854  a =  0  b =  1  c =  1  d =  0
855d is (a * b)
856  a =  1  b =  0  c =  1  d =  0
857  a =  1  b =  0  c =  1  d =  0
858  a =  1  b =  0  c =  1  d =  0
859d is (a / b)
860  a =  0  b =  1  c =  1  d =  0
861d is (a * b)
862  a =  1  b =  1  c =  1  d =  1
863d is (a / (b + 1))
864  a =  0  b =  0  c =  1  d =  0
865d is (a * b)
866  a =  1  b =  1  c =  1  d =  1
867d is (a / (b + 1))
868  a =  1  b =  0  c =  1  d =  1
869  a =  1  b =  0  c =  1  d =  1
870  a =  1  b =  0  c =  1  d =  1
871  a =  1  b =  0  c =  1  d =  1
872d is (a * b)
873  a =  0  b =  1  c =  1  d =  0
874  a =  0  b =  1  c =  1  d =  0
875  a =  0  b =  1  c =  1  d =  0
876  a =  0  b =  1  c =  1  d =  0
877d is (a / (b + 1))
878  a =  1  b =  0  c =  1  d =  1
879d is (a * b)
880  a =  0  b =  1  c =  1  d =  0
881d is (a / b)
882  a =  1  b =  1  c =  1  d =  1
883  a =  1  b =  1  c =  1  d =  1
884d is (a * b)
885  a =  1  b =  0  c =  1  d =  0
886d is (a / (b + 1))
887  a =  0  b =  0  c =  1  d =  0
888d is (a * b)
889  a =  1  b =  0  c =  1  d =  0
890d is (a / b)
891  a =  0  b =  1  c =  1  d =  0
892d is (a * b)
893  a =  1  b =  1  c =  1  d =  1
894d is (a / (b + 1))
895  a =  1  b =  0  c =  1  d =  1
896d is (a * b)
897  a =  1  b =  1  c =  1  d =  1
898d is (a / (b + 1))
899  a =  1  b =  0  c =  1  d =  1
900  a =  1  b =  0  c =  1  d =  1
901d is (a * b)
902  a =  0  b =  0  c =  1  d =  0
903  a =  0  b =  0  c =  1  d =  0
904d is (a / b)
905  a =  0  b =  1  c =  1  d =  0
906  a =  0  b =  1  c =  1  d =  0
907d is (a * b)
908  a =  1  b =  1  c =  1  d =  1
909d is (a / b)
910  a =  0  b =  1  c =  1  d =  0
911d is (a * b)
912  a =  1  b =  0  c =  1  d =  0
913d is (a / b)
914  a =  1  b =  1  c =  1  d =  1
915  a =  1  b =  1  c =  1  d =  1
916d is (a * b)
917  a =  0  b =  1  c =  1  d =  0
918d is (a / (b + 1))
919  a =  1  b =  0  c =  1  d =  1
920d is (a * b)
921  a =  0  b =  0  c =  1  d =  0
922d is (a / (b + 1))
923  a =  1  b =  0  c =  1  d =  1
924d is (a * b)
925  a =  1  b =  1  c =  1  d =  1
926  a =  1  b =  1  c =  1  d =  1
927d is (a / (b + 1))
928  a =  1  b =  0  c =  1  d =  1
929d is (a * b)
930  a =  1  b =  1  c =  1  d =  1
931d is (a / (b + 1))
932  a =  0  b =  0  c =  1  d =  0
933  a =  0  b =  0  c =  1  d =  0
934  a =  0  b =  0  c =  1  d =  0
935  a =  0  b =  0  c =  1  d =  0
936d is (a * b)
937  a =  1  b =  1  c =  1  d =  1
938d is (a / b)
939  a =  0  b =  1  c =  1  d =  0
940d is (a * b)
941  a =  1  b =  1  c =  1  d =  1
942  a =  1  b =  1  c =  1  d =  1
943d is (a / (b + 1))
944  a =  1  b =  0  c =  1  d =  1
945d is (a * b)
946  a =  0  b =  1  c =  1  d =  0
947d is (a / b)
948  a =  1  b =  1  c =  1  d =  1
949d is (a * b)
950  a =  0  b =  1  c =  1  d =  0
951d is (a / (b + 1))
952  a =  1  b =  0  c =  1  d =  1
953  a =  1  b =  0  c =  1  d =  1
954  a =  1  b =  0  c =  1  d =  1
955d is (a * b)
956  a =  1  b =  1  c =  1  d =  1
957  a =  1  b =  1  c =  1  d =  1
958d is (a / (b + 1))
959  a =  0  b =  0  c =  1  d =  0
960d is (a * b)
961  a =  0  b =  1  c =  1  d =  0
962d is (a / (b + 1))
963  a =  0  b =  0  c =  1  d =  0
964  a =  0  b =  0  c =  1  d =  0
965d is (a * b)
966  a =  1  b =  0  c =  1  d =  0
967d is (a / (b + 1))
968  a =  0  b =  0  c =  1  d =  0
969d is (a * b)
970  a =  1  b =  1  c =  1  d =  1
971  a =  1  b =  1  c =  1  d =  1
972  a =  1  b =  1  c =  1  d =  1
973d is (a / b)
974  a =  0  b =  1  c =  1  d =  0
975d is (a * b)
976  a =  1  b =  0  c =  1  d =  0
977d is (a / b)
978  a =  0  b =  1  c =  1  d =  0
979d is (a * b)
980  a =  1  b =  1  c =  1  d =  1
981  a =  1  b =  1  c =  1  d =  1
982d is (a / (b + 1))
983  a =  1  b =  0  c =  1  d =  1
984  a =  1  b =  0  c =  1  d =  1
985  a =  1  b =  0  c =  1  d =  1
986d is (a * b)
987  a =  0  b =  1  c =  1  d =  0
988  a =  0  b =  1  c =  1  d =  0
989d is (a / (b + 1))
990  a =  0  b =  0  c =  1  d =  0
991d is (a * b)
992  a =  0  b =  1  c =  1  d =  0
993d is (a / (b + 1))
994  a =  1  b =  0  c =  1  d =  1
995d is (a * b)
996  a =  0  b =  0  c =  1  d =  0
997d is (a / (b + 1))
998  a =  1  b =  0  c =  1  d =  1
999  a =  1  b =  0  c =  1  d =  1
1000d is (a * b)
1001  a =  1  b =  1  c =  1  d =  1
1002d is (a / b)
1003  a =  0  b =  1  c =  1  d =  0
1004d is (a * b)
1005  a =  1  b =  1  c =  1  d =  1
1006d is (a / b)
1007  a =  0  b =  1  c =  1  d =  0
1008d is (a * b)
1009  a =  1  b =  0  c =  1  d =  0
1010d is (a / b)
1011  a =  1  b =  1  c =  1  d =  1
1012  a =  1  b =  1  c =  1  d =  1
1013  a =  1  b =  1  c =  1  d =  1
1014d is (a * b)
1015  a =  1  b =  0  c =  1  d =  0
1016d is (a / (b + 1))
1017  a =  0  b =  0  c =  1  d =  0
1018  a =  0  b =  0  c =  1  d =  0
1019d is (a * b)
1020  a =  0  b =  1  c =  1  d =  0
1021  a =  0  b =  1  c =  1  d =  0
1022d is (a / (b + 1))
1023  a =  1  b =  0  c =  1  d =  1
1024d is (a * b)
1025  a =  0  b =  1  c =  1  d =  0
1026d is (a / (b + 1))
1027  a =  1  b =  0  c =  1  d =  1
1028  a =  1  b =  0  c =  1  d =  1
1029  a =  1  b =  0  c =  1  d =  1
1030d is (a * b)
1031  a =  0  b =  0  c =  1  d =  0
1032d is (a / b)
1033  a =  1  b =  1  c =  1  d =  1
1034d is (a * b)
1035  a =  0  b =  1  c =  1  d =  0
1036d is (a / b)
1037  a =  1  b =  1  c =  1  d =  1
1038  a =  1  b =  1  c =  1  d =  1
1039d is (a * b)
1040  a =  1  b =  0  c =  1  d =  0
1041d is (a / b)
1042  a =  1  b =  1  c =  1  d =  1
1043  a =  1  b =  1  c =  1  d =  1
1044d is (a * b)
1045  a =  0  b =  1  c =  1  d =  0
1046d is (a / (b + 1))
1047  a =  0  b =  0  c =  1  d =  0
1048  a =  0  b =  0  c =  1  d =  0
1049  a =  0  b =  0  c =  1  d =  0
1050d is (a * b)
1051  a =  1  b =  1  c =  1  d =  1
1052d is (a / b)
1053  a =  0  b =  1  c =  1  d =  0
1054d is (a * b)
1055  a =  1  b =  0  c =  1  d =  0
1056d is (a / b)
1057  a =  1  b =  1  c =  1  d =  1
1058d is (a * b)
1059  a =  1  b =  0  c =  1  d =  0
1060d is (a / (b + 1))
1061  a =  0  b =  0  c =  1  d =  0
1062d is (a * b)
1063  a =  1  b =  0  c =  1  d =  0
1064d is (a / (b + 1))
1065  a =  0  b =  0  c =  1  d =  0
1066d is (a * b)
1067  a =  1  b =  1  c =  1  d =  1
1068  a =  1  b =  1  c =  1  d =  1
1069  a =  1  b =  1  c =  1  d =  1
1070  a =  1  b =  1  c =  1  d =  1
1071d is (a / (b + 1))
1072  a =  1  b =  0  c =  1  d =  1
1073d is (a * b)
1074  a =  0  b =  1  c =  1  d =  0
1075  a =  0  b =  1  c =  1  d =  0
1076  a =  0  b =  1  c =  1  d =  0
1077d is (a / (b + 1))
1078  a =  0  b =  0  c =  1  d =  0
1079d is (a * b)
1080  a =  1  b =  0  c =  1  d =  0
1081d is (a / (b + 1))
1082  a =  0  b =  0  c =  1  d =  0
1083d is (a * b)
1084  a =  1  b =  1  c =  1  d =  1
1085  a =  1  b =  1  c =  1  d =  1
1086d is (a / (b + 1))
1087  a =  1  b =  0  c =  1  d =  1
1088d is (a * b)
1089  a =  0  b =  1  c =  1  d =  0
1090d is (a / (b + 1))
1091  a =  1  b =  0  c =  1  d =  1
1092d is (a * b)
1093  a =  0  b =  0  c =  1  d =  0
1094d is (a / (b + 1))
1095  a =  1  b =  0  c =  1  d =  1
1096  a =  1  b =  0  c =  1  d =  1
1097d is (a * b)
1098  a =  1  b =  1  c =  1  d =  1
1099  a =  1  b =  1  c =  1  d =  1
1100  a =  1  b =  1  c =  1  d =  1
1101d is (a / b)
1102  a =  0  b =  1  c =  1  d =  0
1103d is (a * b)
1104  a =  0  b =  0  c =  1  d =  0
1105d is (a / b)
1106  a =  0  b =  1  c =  1  d =  0
1107  a =  0  b =  1  c =  1  d =  0
1108d is (a * b)
1109  a =  1  b =  1  c =  1  d =  1
1110d is (a / (b + 1))
1111  a =  0  b =  0  c =  1  d =  0
1112d is (a * b)
1113  a =  1  b =  0  c =  1  d =  0
1114  a =  1  b =  0  c =  1  d =  0
1115d is (a / b)
1116  a =  1  b =  1  c =  1  d =  1
1117d is (a * b)
1118  a =  0  b =  1  c =  1  d =  0
1119d is (a / (b + 1))
1120  a =  1  b =  0  c =  1  d =  1
1121d is (a * b)
1122  a =  0  b =  1  c =  1  d =  0
1123d is (a / (b + 1))
1124  a =  1  b =  0  c =  1  d =  1
1125  a =  1  b =  0  c =  1  d =  1
1126  a =  1  b =  0  c =  1  d =  1
1127  a =  1  b =  0  c =  1  d =  1
1128d is (a * b)
1129  a =  1  b =  1  c =  1  d =  1
1130d is (a / b)
1131  a =  0  b =  1  c =  1  d =  0
1132  a =  0  b =  1  c =  1  d =  0
1133  a =  0  b =  1  c =  1  d =  0
1134d is (a * b)
1135  a =  0  b =  0  c =  1  d =  0
1136d is (a / b)
1137  a =  1  b =  1  c =  1  d =  1
1138d is (a * b)
1139  a =  0  b =  1  c =  1  d =  0
1140d is (a / b)
1141  a =  1  b =  1  c =  1  d =  1
1142d is (a * b)
1143  a =  1  b =  0  c =  1  d =  0
1144  a =  1  b =  0  c =  1  d =  0
1145d is (a / (b + 1))
1146  a =  0  b =  0  c =  1  d =  0
1147d is (a * b)
1148  a =  1  b =  1  c =  1  d =  1
1149d is (a / b)
1150  a =  0  b =  1  c =  1  d =  0
1151d is (a * b)
1152  a =  1  b =  0  c =  1  d =  0
1153d is (a / b)
1154  a =  1  b =  1  c =  1  d =  1
1155d is (a * b)
1156  a =  1  b =  0  c =  1  d =  0
1157  a =  1  b =  0  c =  1  d =  0
1158  a =  1  b =  0  c =  1  d =  0
1159d is (a / (b + 1))
1160  a =  0  b =  0  c =  1  d =  0
1161d is (a * b)
1162  a =  0  b =  1  c =  1  d =  0
1163  a =  0  b =  1  c =  1  d =  0
1164  a =  0  b =  1  c =  1  d =  0
1165d is (a / b)
1166  a =  1  b =  1  c =  1  d =  1
1167d is (a * b)
1168  a =  0  b =  0  c =  1  d =  0
1169d is (a / b)
1170  a =  1  b =  1  c =  1  d =  1
1171  a =  1  b =  1  c =  1  d =  1
1172  a =  1  b =  1  c =  1  d =  1
1173d is (a * b)
1174  a =  0  b =  0  c =  1  d =  0
1175d is (a / (b + 1))
1176  a =  1  b =  0  c =  1  d =  1
1177d is (a * b)
1178  a =  0  b =  0  c =  1  d =  0
1179d is (a / b)
1180  a =  1  b =  1  c =  1  d =  1
1181  a =  1  b =  1  c =  1  d =  1
1182d is (a * b)
1183  a =  1  b =  0  c =  1  d =  0
1184d is (a / b)
1185  a =  1  b =  1  c =  1  d =  1
1186d is (a * b)
1187  a =  1  b =  0  c =  1  d =  0
1188d is (a / (b + 1))
1189  a =  0  b =  0  c =  1  d =  0
1190  a =  0  b =  0  c =  1  d =  0
1191  a =  0  b =  0  c =  1  d =  0
1192d is (a * b)
1193  a =  0  b =  1  c =  1  d =  0
1194d is (a / b)
1195  a =  1  b =  1  c =  1  d =  1
1196d is (a * b)
1197  a =  0  b =  1  c =  1  d =  0
1198d is (a / b)
1199  a =  1  b =  1  c =  1  d =  1
1200d is (a * b)
1201  a =  1  b =  0  c =  1  d =  0
1202d is (a / b)
1203  a =  1  b =  1  c =  1  d =  1
1204d is (a * b)
1205  a =  0  b =  1  c =  1  d =  0
1206d is (a / b)
1207  a =  1  b =  1  c =  1  d =  1
1208d is (a * b)
1209  a =  0  b =  0  c =  1  d =  0
1210d is (a / (b + 1))
1211  a =  1  b =  0  c =  1  d =  1
1212  a =  1  b =  0  c =  1  d =  1
1213d is (a * b)
1214  a =  1  b =  1  c =  1  d =  1
1215  a =  1  b =  1  c =  1  d =  1
1216d is (a / (b + 1))
1217  a =  1  b =  0  c =  1  d =  1
1218d is (a * b)
1219  a =  0  b =  1  c =  1  d =  0
1220d is (a / (b + 1))
1221  a =  0  b =  0  c =  1  d =  0
1222  a =  0  b =  0  c =  1  d =  0
1223  a =  0  b =  0  c =  1  d =  0
1224d is (a * b)
1225  a =  1  b =  0  c =  1  d =  0
1226d is (a / b)
1227  a =  0  b =  1  c =  1  d =  0
1228d is (a * b)
1229  a =  1  b =  1  c =  1  d =  1
1230  a =  1  b =  1  c =  1  d =  1
1231  a =  1  b =  1  c =  1  d =  1
1232d is (a / (b + 1))
1233  a =  0  b =  0  c =  1  d =  0
1234d is (a * b)
1235  a =  1  b =  1  c =  1  d =  1
1236d is (a / b)
1237  a =  0  b =  1  c =  1  d =  0
1238d is (a * b)
1239  a =  1  b =  1  c =  1  d =  1
1240d is (a / (b + 1))
1241  a =  1  b =  0  c =  1  d =  1
1242  a =  1  b =  0  c =  1  d =  1
1243  a =  1  b =  0  c =  1  d =  1
1244d is (a * b)
1245  a =  1  b =  1  c =  1  d =  1
1246d is (a / b)
1247  a =  0  b =  1  c =  1  d =  0
1248d is (a * b)
1249  a =  0  b =  0  c =  1  d =  0
1250d is (a / b)
1251  a =  0  b =  1  c =  1  d =  0
1252d is (a * b)
1253  a =  0  b =  0  c =  1  d =  0
1254d is (a / (b + 1))
1255  a =  1  b =  0  c =  1  d =  1
1256d is (a * b)
1257  a =  0  b =  0  c =  1  d =  0
1258d is (a / (b + 1))
1259  a =  1  b =  0  c =  1  d =  1
1260d is (a * b)
1261  a =  1  b =  1  c =  1  d =  1
1262  a =  1  b =  1  c =  1  d =  1
1263d is (a / b)
1264  a =  0  b =  1  c =  1  d =  0
1265d is (a * b)
1266  a =  1  b =  1  c =  1  d =  1
1267d is (a / (b + 1))
1268  a =  0  b =  0  c =  1  d =  0
1269d is (a * b)
1270  a =  1  b =  1  c =  1  d =  1
1271  a =  1  b =  1  c =  1  d =  1
1272  a =  1  b =  1  c =  1  d =  1
1273d is (a / (b + 1))
1274  a =  1  b =  0  c =  1  d =  1
1275  a =  1  b =  0  c =  1  d =  1
1276d is (a * b)
1277  a =  0  b =  0  c =  1  d =  0
1278d is (a / b)
1279  a =  0  b =  1  c =  1  d =  0
1280  a =  0  b =  1  c =  1  d =  0
1281d is (a * b)
1282  a =  0  b =  0  c =  1  d =  0
1283d is (a / b)
1284  a =  1  b =  1  c =  1  d =  1
1285d is (a * b)
1286  a =  0  b =  0  c =  1  d =  0
1287d is (a / (b + 1))
1288  a =  1  b =  0  c =  1  d =  1
1289  a =  1  b =  0  c =  1  d =  1
1290  a =  1  b =  0  c =  1  d =  1
1291d is (a * b)
1292  a =  0  b =  1  c =  1  d =  0
1293d is (a / b)
1294  a =  1  b =  1  c =  1  d =  1
1295d is (a * b)
1296  a =  0  b =  1  c =  1  d =  0
1297d is (a / b)
1298  a =  1  b =  1  c =  1  d =  1
1299d is (a * b)
1300  a =  1  b =  0  c =  1  d =  0
1301d is (a / b)
1302  a =  1  b =  1  c =  1  d =  1
1303  a =  1  b =  1  c =  1  d =  1
1304  a =  1  b =  1  c =  1  d =  1
1305d is (a * b)
1306  a =  0  b =  0  c =  1  d =  0
1307  a =  0  b =  0  c =  1  d =  0
1308  a =  0  b =  0  c =  1  d =  0
1309d is (a / b)
1310  a =  0  b =  1  c =  1  d =  0
1311d is (a * b)
1312  a =  1  b =  1  c =  1  d =  1
1313d is (a / (b + 1))
1314  a =  0  b =  0  c =  1  d =  0
1315d is (a * b)
1316  a =  1  b =  1  c =  1  d =  1
1317d is (a / (b + 1))
1318  a =  1  b =  0  c =  1  d =  1
1319  a =  1  b =  0  c =  1  d =  1
1320d is (a * b)
1321  a =  0  b =  0  c =  1  d =  0
1322d is (a / (b + 1))
1323  a =  1  b =  0  c =  1  d =  1
1324d is (a * b)
1325  a =  0  b =  1  c =  1  d =  0
1326d is (a / b)
1327  a =  1  b =  1  c =  1  d =  1
1328  a =  1  b =  1  c =  1  d =  1
1329  a =  1  b =  1  c =  1  d =  1
1330d is (a * b)
1331  a =  1  b =  0  c =  1  d =  0
1332d is (a / b)
1333  a =  1  b =  1  c =  1  d =  1
1334d is (a * b)
1335  a =  0  b =  1  c =  1  d =  0
1336  a =  0  b =  1  c =  1  d =  0
1337d is (a / (b + 1))
1338  a =  0  b =  0  c =  1  d =  0
1339  a =  0  b =  0  c =  1  d =  0
1340d is (a * b)
1341  a =  1  b =  0  c =  1  d =  0
1342d is (a / b)
1343  a =  0  b =  1  c =  1  d =  0
1344d is (a * b)
1345  a =  1  b =  1  c =  1  d =  1
1346d is (a / (b + 1))
1347  a =  1  b =  0  c =  1  d =  1
1348d is (a * b)
1349  a =  1  b =  1  c =  1  d =  1
1350d is (a / (b + 1))
1351  a =  0  b =  0  c =  1  d =  0
1352d is (a * b)
1353  a =  1  b =  0  c =  1  d =  0
1354d is (a / (b + 1))
1355  a =  0  b =  0  c =  1  d =  0
1356d is (a * b)
1357  a =  1  b =  0  c =  1  d =  0
1358d is (a / b)
1359  a =  1  b =  1  c =  1  d =  1
1360  a =  1  b =  1  c =  1  d =  1
1361  a =  1  b =  1  c =  1  d =  1
1362  a =  1  b =  1  c =  1  d =  1
1363d is (a * b)
1364  a =  0  b =  0  c =  1  d =  0
1365d is (a / b)
1366  a =  0  b =  1  c =  1  d =  0
1367  a =  0  b =  1  c =  1  d =  0
1368  a =  0  b =  1  c =  1  d =  0
1369d is (a * b)
1370  a =  1  b =  0  c =  1  d =  0
1371d is (a / (b + 1))
1372  a =  0  b =  0  c =  1  d =  0
1373d is (a * b)
1374  a =  1  b =  0  c =  1  d =  0
1375d is (a / b)
1376  a =  1  b =  1  c =  1  d =  1
1377  a =  1  b =  1  c =  1  d =  1
1378d is (a * b)
1379  a =  0  b =  0  c =  1  d =  0
1380d is (a / b)
1381  a =  1  b =  1  c =  1  d =  1
1382d is (a * b)
1383  a =  0  b =  0  c =  1  d =  0
1384d is (a / (b + 1))
1385  a =  1  b =  0  c =  1  d =  1
1386  a =  1  b =  0  c =  1  d =  1
1387  a =  1  b =  0  c =  1  d =  1
1388d is (a * b)
1389  a =  1  b =  1  c =  1  d =  1
1390  a =  1  b =  1  c =  1  d =  1
1391d is (a / b)
1392  a =  0  b =  1  c =  1  d =  0
1393  a =  0  b =  1  c =  1  d =  0
1394d is (a * b)
1395  a =  0  b =  0  c =  1  d =  0
1396d is (a / b)
1397  a =  0  b =  1  c =  1  d =  0
1398d is (a * b)
1399  a =  1  b =  1  c =  1  d =  1
1400d is (a / b)
1401  a =  0  b =  1  c =  1  d =  0
1402d is (a * b)
1403  a =  1  b =  0  c =  1  d =  0
1404  a =  1  b =  0  c =  1  d =  0
1405  a =  1  b =  0  c =  1  d =  0
1406d is (a / b)
1407  a =  0  b =  1  c =  1  d =  0
1408d is (a * b)
1409  a =  1  b =  1  c =  1  d =  1
1410d is (a / (b + 1))
1411  a =  0  b =  0  c =  1  d =  0
1412d is (a * b)
1413  a =  1  b =  1  c =  1  d =  1
1414d is (a / (b + 1))
1415  a =  1  b =  0  c =  1  d =  1
1416  a =  1  b =  0  c =  1  d =  1
1417  a =  1  b =  0  c =  1  d =  1
1418  a =  1  b =  0  c =  1  d =  1
1419d is (a * b)
1420  a =  0  b =  1  c =  1  d =  0
1421  a =  0  b =  1  c =  1  d =  0
1422  a =  0  b =  1  c =  1  d =  0
1423  a =  0  b =  1  c =  1  d =  0
1424d is (a / (b + 1))
1425  a =  1  b =  0  c =  1  d =  1
1426d is (a * b)
1427  a =  0  b =  1  c =  1  d =  0
1428d is (a / b)
1429  a =  1  b =  1  c =  1  d =  1
1430  a =  1  b =  1  c =  1  d =  1
1431d is (a * b)
1432  a =  1  b =  0  c =  1  d =  0
1433d is (a / (b + 1))
1434  a =  0  b =  0  c =  1  d =  0
1435d is (a * b)
1436  a =  1  b =  0  c =  1  d =  0
1437d is (a / b)
1438  a =  0  b =  1  c =  1  d =  0
1439d is (a * b)
1440  a =  1  b =  1  c =  1  d =  1
1441d is (a / (b + 1))
1442  a =  1  b =  0  c =  1  d =  1
1443d is (a * b)
1444  a =  1  b =  1  c =  1  d =  1
1445d is (a / (b + 1))
1446  a =  1  b =  0  c =  1  d =  1
1447  a =  1  b =  0  c =  1  d =  1
1448d is (a * b)
1449  a =  0  b =  0  c =  1  d =  0
1450  a =  0  b =  0  c =  1  d =  0
1451d is (a / b)
1452  a =  0  b =  1  c =  1  d =  0
1453  a =  0  b =  1  c =  1  d =  0
1454d is (a * b)
1455  a =  1  b =  1  c =  1  d =  1
1456d is (a / b)
1457  a =  0  b =  1  c =  1  d =  0
1458d is (a * b)
1459  a =  1  b =  0  c =  1  d =  0
1460d is (a / b)
1461  a =  1  b =  1  c =  1  d =  1
1462  a =  1  b =  1  c =  1  d =  1
1463d is (a * b)
1464  a =  0  b =  1  c =  1  d =  0
1465d is (a / (b + 1))
1466  a =  1  b =  0  c =  1  d =  1
1467d is (a * b)
1468  a =  0  b =  0  c =  1  d =  0
1469d is (a / (b + 1))
1470  a =  1  b =  0  c =  1  d =  1
1471d is (a * b)
1472  a =  1  b =  1  c =  1  d =  1
1473  a =  1  b =  1  c =  1  d =  1
1474d is (a / (b + 1))
1475  a =  1  b =  0  c =  1  d =  1
1476d is (a * b)
1477  a =  1  b =  1  c =  1  d =  1
1478d is (a / (b + 1))
1479  a =  0  b =  0  c =  1  d =  0
1480  a =  0  b =  0  c =  1  d =  0
1481  a =  0  b =  0  c =  1  d =  0
1482  a =  0  b =  0  c =  1  d =  0
1483d is (a * b)
1484  a =  1  b =  1  c =  1  d =  1
1485d is (a / b)
1486  a =  0  b =  1  c =  1  d =  0
1487d is (a * b)
1488  a =  1  b =  1  c =  1  d =  1
1489  a =  1  b =  1  c =  1  d =  1
1490d is (a / (b + 1))
1491  a =  1  b =  0  c =  1  d =  1
1492d is (a * b)
1493  a =  0  b =  1  c =  1  d =  0
1494d is (a / b)
1495  a =  1  b =  1  c =  1  d =  1
1496d is (a * b)
1497  a =  0  b =  1  c =  1  d =  0
1498d is (a / (b + 1))
1499  a =  1  b =  0  c =  1  d =  1
1500  a =  1  b =  0  c =  1  d =  1
1501  a =  1  b =  0  c =  1  d =  1
1502d is (a * b)
1503  a =  1  b =  1  c =  1  d =  1
1504  a =  1  b =  1  c =  1  d =  1
1505d is (a / (b + 1))
1506  a =  0  b =  0  c =  1  d =  0
1507d is (a * b)
1508  a =  0  b =  1  c =  1  d =  0
1509d is (a / (b + 1))
1510  a =  0  b =  0  c =  1  d =  0
1511  a =  0  b =  0  c =  1  d =  0
1512d is (a * b)
1513  a =  1  b =  0  c =  1  d =  0
1514d is (a / (b + 1))
1515  a =  0  b =  0  c =  1  d =  0
1516d is (a * b)
1517  a =  1  b =  1  c =  1  d =  1
1518  a =  1  b =  1  c =  1  d =  1
1519  a =  1  b =  1  c =  1  d =  1
1520d is (a / b)
1521  a =  0  b =  1  c =  1  d =  0
1522d is (a * b)
1523  a =  1  b =  0  c =  1  d =  0
1524d is (a / b)
1525  a =  0  b =  1  c =  1  d =  0
1526d is (a * b)
1527  a =  1  b =  1  c =  1  d =  1
1528  a =  1  b =  1  c =  1  d =  1
1529d is (a / (b + 1))
1530  a =  1  b =  0  c =  1  d =  1
1531  a =  1  b =  0  c =  1  d =  1
1532  a =  1  b =  0  c =  1  d =  1
1533d is (a * b)
1534  a =  0  b =  1  c =  1  d =  0
1535  a =  0  b =  1  c =  1  d =  0
1536d is (a / (b + 1))
1537  a =  0  b =  0  c =  1  d =  0
1538d is (a * b)
1539  a =  0  b =  1  c =  1  d =  0
1540d is (a / (b + 1))
1541  a =  1  b =  0  c =  1  d =  1
1542d is (a * b)
1543  a =  0  b =  0  c =  1  d =  0
1544d is (a / (b + 1))
1545  a =  1  b =  0  c =  1  d =  1
1546  a =  1  b =  0  c =  1  d =  1
1547d is (a * b)
1548  a =  1  b =  1  c =  1  d =  1
1549d is (a / b)
1550  a =  0  b =  1  c =  1  d =  0
1551d is (a * b)
1552  a =  1  b =  1  c =  1  d =  1
1553d is (a / b)
1554  a =  0  b =  1  c =  1  d =  0
1555d is (a * b)
1556  a =  1  b =  0  c =  1  d =  0
1557d is (a / b)
1558  a =  1  b =  1  c =  1  d =  1
1559  a =  1  b =  1  c =  1  d =  1
1560  a =  1  b =  1  c =  1  d =  1
1561d is (a * b)
1562  a =  1  b =  0  c =  1  d =  0
1563d is (a / (b + 1))
1564  a =  0  b =  0  c =  1  d =  0
1565  a =  0  b =  0  c =  1  d =  0
1566d is (a * b)
1567  a =  0  b =  1  c =  1  d =  0
1568  a =  0  b =  1  c =  1  d =  0
1569d is (a / (b + 1))
1570  a =  1  b =  0  c =  1  d =  1
1571d is (a * b)
1572  a =  0  b =  1  c =  1  d =  0
1573d is (a / (b + 1))
1574  a =  1  b =  0  c =  1  d =  1
1575  a =  1  b =  0  c =  1  d =  1
1576  a =  1  b =  0  c =  1  d =  1
1577d is (a * b)
1578  a =  0  b =  0  c =  1  d =  0
1579d is (a / b)
1580  a =  1  b =  1  c =  1  d =  1
1581d is (a * b)
1582  a =  0  b =  1  c =  1  d =  0
1583d is (a / b)
1584  a =  1  b =  1  c =  1  d =  1
1585  a =  1  b =  1  c =  1  d =  1
1586d is (a * b)
1587  a =  1  b =  0  c =  1  d =  0
1588d is (a / b)
1589  a =  1  b =  1  c =  1  d =  1
1590  a =  1  b =  1  c =  1  d =  1
1591d is (a * b)
1592  a =  0  b =  1  c =  1  d =  0
1593d is (a / (b + 1))
1594  a =  0  b =  0  c =  1  d =  0
1595  a =  0  b =  0  c =  1  d =  0
1596  a =  0  b =  0  c =  1  d =  0
1597d is (a * b)
1598  a =  1  b =  1  c =  1  d =  1
1599d is (a / b)
1600  a =  0  b =  1  c =  1  d =  0
1601d is (a * b)
1602  a =  1  b =  0  c =  1  d =  0
1603d is (a / b)
1604  a =  1  b =  1  c =  1  d =  1
1605d is (a * b)
1606  a =  1  b =  0  c =  1  d =  0
1607d is (a / (b + 1))
1608  a =  0  b =  0  c =  1  d =  0
1609d is (a * b)
1610  a =  1  b =  0  c =  1  d =  0
1611d is (a / (b + 1))
1612  a =  0  b =  0  c =  1  d =  0
1613d is (a * b)
1614  a =  1  b =  1  c =  1  d =  1
1615  a =  1  b =  1  c =  1  d =  1
1616  a =  1  b =  1  c =  1  d =  1
1617  a =  1  b =  1  c =  1  d =  1
1618d is (a / (b + 1))
1619  a =  1  b =  0  c =  1  d =  1
1620d is (a * b)
1621  a =  0  b =  1  c =  1  d =  0
1622  a =  0  b =  1  c =  1  d =  0
1623  a =  0  b =  1  c =  1  d =  0
1624d is (a / (b + 1))
1625  a =  0  b =  0  c =  1  d =  0
1626d is (a * b)
1627  a =  1  b =  0  c =  1  d =  0
1628d is (a / (b + 1))
1629  a =  0  b =  0  c =  1  d =  0
1630d is (a * b)
1631  a =  1  b =  1  c =  1  d =  1
1632  a =  1  b =  1  c =  1  d =  1
1633d is (a / (b + 1))
1634  a =  1  b =  0  c =  1  d =  1
1635d is (a * b)
1636  a =  0  b =  1  c =  1  d =  0
1637d is (a / (b + 1))
1638  a =  1  b =  0  c =  1  d =  1
1639d is (a * b)
1640  a =  0  b =  0  c =  1  d =  0
1641d is (a / (b + 1))
1642  a =  1  b =  0  c =  1  d =  1
1643  a =  1  b =  0  c =  1  d =  1
1644d is (a * b)
1645  a =  1  b =  1  c =  1  d =  1
1646  a =  1  b =  1  c =  1  d =  1
1647  a =  1  b =  1  c =  1  d =  1
1648d is (a / b)
1649  a =  0  b =  1  c =  1  d =  0
1650d is (a * b)
1651  a =  0  b =  0  c =  1  d =  0
1652d is (a / b)
1653  a =  0  b =  1  c =  1  d =  0
1654  a =  0  b =  1  c =  1  d =  0
1655d is (a * b)
1656  a =  1  b =  1  c =  1  d =  1
1657d is (a / (b + 1))
1658  a =  0  b =  0  c =  1  d =  0
1659d is (a * b)
1660  a =  1  b =  0  c =  1  d =  0
1661  a =  1  b =  0  c =  1  d =  0
1662d is (a / b)
1663  a =  1  b =  1  c =  1  d =  1
1664d is (a * b)
1665  a =  0  b =  1  c =  1  d =  0
1666d is (a / (b + 1))
1667  a =  1  b =  0  c =  1  d =  1
1668d is (a * b)
1669  a =  0  b =  1  c =  1  d =  0
1670d is (a / (b + 1))
1671  a =  1  b =  0  c =  1  d =  1
1672  a =  1  b =  0  c =  1  d =  1
1673  a =  1  b =  0  c =  1  d =  1
1674  a =  1  b =  0  c =  1  d =  1
1675d is (a * b)
1676  a =  1  b =  1  c =  1  d =  1
1677d is (a / b)
1678  a =  0  b =  1  c =  1  d =  0
1679  a =  0  b =  1  c =  1  d =  0
1680  a =  0  b =  1  c =  1  d =  0
1681d is (a * b)
1682  a =  0  b =  0  c =  1  d =  0
1683d is (a / b)
1684  a =  1  b =  1  c =  1  d =  1
1685d is (a * b)
1686  a =  0  b =  1  c =  1  d =  0
1687d is (a / b)
1688  a =  1  b =  1  c =  1  d =  1
1689d is (a * b)
1690  a =  1  b =  0  c =  1  d =  0
1691  a =  1  b =  0  c =  1  d =  0
1692d is (a / (b + 1))
1693  a =  0  b =  0  c =  1  d =  0
1694d is (a * b)
1695  a =  1  b =  1  c =  1  d =  1
1696d is (a / b)
1697  a =  0  b =  1  c =  1  d =  0
1698d is (a * b)
1699  a =  1  b =  0  c =  1  d =  0
1700d is (a / b)
1701  a =  1  b =  1  c =  1  d =  1
1702d is (a * b)
1703  a =  1  b =  0  c =  1  d =  0
1704  a =  1  b =  0  c =  1  d =  0
1705  a =  1  b =  0  c =  1  d =  0
1706d is (a / (b + 1))
1707  a =  0  b =  0  c =  1  d =  0
1708d is (a * b)
1709  a =  0  b =  1  c =  1  d =  0
1710  a =  0  b =  1  c =  1  d =  0
1711  a =  0  b =  1  c =  1  d =  0
1712d is (a / b)
1713  a =  1  b =  1  c =  1  d =  1
1714d is (a * b)
1715  a =  0  b =  0  c =  1  d =  0
1716d is (a / b)
1717  a =  1  b =  1  c =  1  d =  1
1718  a =  1  b =  1  c =  1  d =  1
1719  a =  1  b =  1  c =  1  d =  1
1720d is (a * b)
1721  a =  0  b =  0  c =  1  d =  0
1722d is (a / (b + 1))
1723  a =  1  b =  0  c =  1  d =  1
1724d is (a * b)
1725  a =  0  b =  0  c =  1  d =  0
1726d is (a / b)
1727  a =  1  b =  1  c =  1  d =  1
1728  a =  1  b =  1  c =  1  d =  1
1729d is (a * b)
1730  a =  1  b =  0  c =  1  d =  0
1731d is (a / b)
1732  a =  1  b =  1  c =  1  d =  1
1733d is (a * b)
1734  a =  1  b =  0  c =  1  d =  0
1735d is (a / (b + 1))
1736  a =  0  b =  0  c =  1  d =  0
1737  a =  0  b =  0  c =  1  d =  0
1738  a =  0  b =  0  c =  1  d =  0
1739d is (a * b)
1740  a =  0  b =  1  c =  1  d =  0
1741d is (a / b)
1742  a =  1  b =  1  c =  1  d =  1
1743d is (a * b)
1744  a =  0  b =  1  c =  1  d =  0
1745d is (a / b)
1746  a =  1  b =  1  c =  1  d =  1
1747d is (a * b)
1748  a =  1  b =  0  c =  1  d =  0
1749d is (a / b)
1750  a =  1  b =  1  c =  1  d =  1
1751d is (a * b)
1752  a =  0  b =  1  c =  1  d =  0
1753d is (a / b)
1754  a =  1  b =  1  c =  1  d =  1
1755d is (a * b)
1756  a =  0  b =  0  c =  1  d =  0
1757d is (a / (b + 1))
1758  a =  1  b =  0  c =  1  d =  1
1759  a =  1  b =  0  c =  1  d =  1
1760d is (a * b)
1761  a =  1  b =  1  c =  1  d =  1
1762  a =  1  b =  1  c =  1  d =  1
1763d is (a / (b + 1))
1764  a =  1  b =  0  c =  1  d =  1
1765d is (a * b)
1766  a =  0  b =  1  c =  1  d =  0
1767d is (a / (b + 1))
1768  a =  0  b =  0  c =  1  d =  0
1769  a =  0  b =  0  c =  1  d =  0
1770  a =  0  b =  0  c =  1  d =  0
1771d is (a * b)
1772  a =  1  b =  0  c =  1  d =  0
1773d is (a / b)
1774  a =  0  b =  1  c =  1  d =  0
1775d is (a * b)
1776  a =  1  b =  1  c =  1  d =  1
1777  a =  1  b =  1  c =  1  d =  1
1778  a =  1  b =  1  c =  1  d =  1
1779d is (a / (b + 1))
1780  a =  0  b =  0  c =  1  d =  0
1781d is (a * b)
1782  a =  1  b =  1  c =  1  d =  1
1783d is (a / b)
1784  a =  0  b =  1  c =  1  d =  0
1785d is (a * b)
1786  a =  1  b =  1  c =  1  d =  1
1787d is (a / (b + 1))
1788  a =  1  b =  0  c =  1  d =  1
1789  a =  1  b =  0  c =  1  d =  1
1790  a =  1  b =  0  c =  1  d =  1
1791d is (a * b)
1792  a =  1  b =  1  c =  1  d =  1
1793d is (a / b)
1794  a =  0  b =  1  c =  1  d =  0
1795d is (a * b)
1796  a =  0  b =  0  c =  1  d =  0
1797d is (a / b)
1798  a =  0  b =  1  c =  1  d =  0
1799d is (a * b)
1800  a =  0  b =  0  c =  1  d =  0
1801d is (a / (b + 1))
1802  a =  1  b =  0  c =  1  d =  1
1803d is (a * b)
1804  a =  0  b =  0  c =  1  d =  0
1805d is (a / (b + 1))
1806  a =  1  b =  0  c =  1  d =  1
1807d is (a * b)
1808  a =  1  b =  1  c =  1  d =  1
1809  a =  1  b =  1  c =  1  d =  1
1810d is (a / b)
1811  a =  0  b =  1  c =  1  d =  0
1812d is (a * b)
1813  a =  1  b =  1  c =  1  d =  1
1814d is (a / (b + 1))
1815  a =  0  b =  0  c =  1  d =  0
1816d is (a * b)
1817  a =  1  b =  1  c =  1  d =  1
1818  a =  1  b =  1  c =  1  d =  1
1819  a =  1  b =  1  c =  1  d =  1
1820d is (a / (b + 1))
1821  a =  1  b =  0  c =  1  d =  1
1822  a =  1  b =  0  c =  1  d =  1
1823d is (a * b)
1824  a =  0  b =  0  c =  1  d =  0
1825d is (a / b)
1826  a =  0  b =  1  c =  1  d =  0
1827  a =  0  b =  1  c =  1  d =  0
1828d is (a * b)
1829  a =  0  b =  0  c =  1  d =  0
1830d is (a / b)
1831  a =  1  b =  1  c =  1  d =  1
1832d is (a * b)
1833  a =  0  b =  0  c =  1  d =  0
1834d is (a / (b + 1))
1835  a =  1  b =  0  c =  1  d =  1
1836  a =  1  b =  0  c =  1  d =  1
1837  a =  1  b =  0  c =  1  d =  1
1838d is (a * b)
1839  a =  0  b =  1  c =  1  d =  0
1840d is (a / b)
1841  a =  1  b =  1  c =  1  d =  1
1842d is (a * b)
1843  a =  0  b =  1  c =  1  d =  0
1844d is (a / b)
1845  a =  1  b =  1  c =  1  d =  1
1846d is (a * b)
1847  a =  1  b =  0  c =  1  d =  0
1848d is (a / b)
1849  a =  1  b =  1  c =  1  d =  1
1850  a =  1  b =  1  c =  1  d =  1
1851  a =  1  b =  1  c =  1  d =  1
1852d is (a * b)
1853  a =  0  b =  0  c =  1  d =  0
1854  a =  0  b =  0  c =  1  d =  0
1855  a =  0  b =  0  c =  1  d =  0
1856d is (a / b)
1857  a =  0  b =  1  c =  1  d =  0
1858d is (a * b)
1859  a =  1  b =  1  c =  1  d =  1
1860d is (a / (b + 1))
1861  a =  0  b =  0  c =  1  d =  0
1862d is (a * b)
1863  a =  1  b =  1  c =  1  d =  1
1864d is (a / (b + 1))
1865  a =  1  b =  0  c =  1  d =  1
1866  a =  1  b =  0  c =  1  d =  1
1867d is (a * b)
1868  a =  0  b =  0  c =  1  d =  0
1869d is (a / (b + 1))
1870  a =  1  b =  0  c =  1  d =  1
1871d is (a * b)
1872  a =  0  b =  1  c =  1  d =  0
1873d is (a / b)
1874  a =  1  b =  1  c =  1  d =  1
1875  a =  1  b =  1  c =  1  d =  1
1876  a =  1  b =  1  c =  1  d =  1
1877d is (a * b)
1878  a =  1  b =  0  c =  1  d =  0
1879d is (a / b)
1880  a =  1  b =  1  c =  1  d =  1
1881d is (a * b)
1882  a =  0  b =  1  c =  1  d =  0
1883  a =  0  b =  1  c =  1  d =  0
1884d is (a / (b + 1))
1885  a =  0  b =  0  c =  1  d =  0
1886  a =  0  b =  0  c =  1  d =  0
1887d is (a * b)
1888  a =  1  b =  0  c =  1  d =  0
1889d is (a / b)
1890  a =  0  b =  1  c =  1  d =  0
1891d is (a * b)
1892  a =  1  b =  1  c =  1  d =  1
1893d is (a / (b + 1))
1894  a =  1  b =  0  c =  1  d =  1
1895d is (a * b)
1896  a =  1  b =  1  c =  1  d =  1
1897d is (a / (b + 1))
1898  a =  0  b =  0  c =  1  d =  0
1899d is (a * b)
1900  a =  1  b =  0  c =  1  d =  0
1901d is (a / (b + 1))
1902  a =  0  b =  0  c =  1  d =  0
1903d is (a * b)
1904  a =  1  b =  0  c =  1  d =  0
1905d is (a / b)
1906  a =  1  b =  1  c =  1  d =  1
1907  a =  1  b =  1  c =  1  d =  1
1908  a =  1  b =  1  c =  1  d =  1
1909  a =  1  b =  1  c =  1  d =  1
1910d is (a * b)
1911  a =  0  b =  0  c =  1  d =  0
1912d is (a / b)
1913  a =  0  b =  1  c =  1  d =  0
1914  a =  0  b =  1  c =  1  d =  0
1915  a =  0  b =  1  c =  1  d =  0
1916d is (a * b)
1917  a =  1  b =  0  c =  1  d =  0
1918d is (a / (b + 1))
1919  a =  0  b =  0  c =  1  d =  0
1920d is (a * b)
1921  a =  1  b =  0  c =  1  d =  0
1922d is (a / b)
1923  a =  1  b =  1  c =  1  d =  1
1924  a =  1  b =  1  c =  1  d =  1
1925d is (a * b)
1926  a =  0  b =  0  c =  1  d =  0
1927d is (a / b)
1928  a =  1  b =  1  c =  1  d =  1
1929d is (a * b)
1930  a =  0  b =  0  c =  1  d =  0
1931d is (a / (b + 1))
1932  a =  1  b =  0  c =  1  d =  1
1933  a =  1  b =  0  c =  1  d =  1
1934  a =  1  b =  0  c =  1  d =  1
1935d is (a * b)
1936  a =  1  b =  1  c =  1  d =  1
1937  a =  1  b =  1  c =  1  d =  1
1938d is (a / b)
1939  a =  0  b =  1  c =  1  d =  0
1940  a =  0  b =  1  c =  1  d =  0
1941d is (a * b)
1942  a =  0  b =  0  c =  1  d =  0
1943d is (a / b)
1944  a =  0  b =  1  c =  1  d =  0
1945d is (a * b)
1946  a =  1  b =  1  c =  1  d =  1
1947d is (a / b)
1948  a =  0  b =  1  c =  1  d =  0
1949d is (a * b)
1950  a =  1  b =  0  c =  1  d =  0
1951  a =  1  b =  0  c =  1  d =  0
1952  a =  1  b =  0  c =  1  d =  0
1953d is (a / b)
1954  a =  0  b =  1  c =  1  d =  0
1955d is (a * b)
1956  a =  1  b =  1  c =  1  d =  1
1957d is (a / (b + 1))
1958  a =  0  b =  0  c =  1  d =  0
1959d is (a * b)
1960  a =  1  b =  1  c =  1  d =  1
1961d is (a / (b + 1))
1962  a =  1  b =  0  c =  1  d =  1
1963  a =  1  b =  0  c =  1  d =  1
1964  a =  1  b =  0  c =  1  d =  1
1965  a =  1  b =  0  c =  1  d =  1
1966d is (a * b)
1967  a =  0  b =  1  c =  1  d =  0
1968  a =  0  b =  1  c =  1  d =  0
1969  a =  0  b =  1  c =  1  d =  0
1970  a =  0  b =  1  c =  1  d =  0
1971d is (a / (b + 1))
1972  a =  1  b =  0  c =  1  d =  1
1973d is (a * b)
1974  a =  0  b =  1  c =  1  d =  0
1975d is (a / b)
1976  a =  1  b =  1  c =  1  d =  1
1977  a =  1  b =  1  c =  1  d =  1
1978d is (a * b)
1979  a =  1  b =  0  c =  1  d =  0
1980d is (a / (b + 1))
1981  a =  0  b =  0  c =  1  d =  0
1982d is (a * b)
1983  a =  1  b =  0  c =  1  d =  0
1984d is (a / b)
1985  a =  0  b =  1  c =  1  d =  0
1986d is (a * b)
1987  a =  1  b =  1  c =  1  d =  1
1988d is (a / (b + 1))
1989  a =  1  b =  0  c =  1  d =  1
1990d is (a * b)
1991  a =  1  b =  1  c =  1  d =  1
1992d is (a / (b + 1))
1993  a =  1  b =  0  c =  1  d =  1
1994  a =  1  b =  0  c =  1  d =  1
1995d is (a * b)
1996  a =  0  b =  0  c =  1  d =  0
1997  a =  0  b =  0  c =  1  d =  0
1998d is (a / b)
1999  a =  0  b =  1  c =  1  d =  0
2000  a =  0  b =  1  c =  1  d =  0
2001d is (a * b)
2002  a =  1  b =  1  c =  1  d =  1
2003d is (a / b)
2004  a =  0  b =  1  c =  1  d =  0
2005d is (a * b)
2006  a =  1  b =  0  c =  1  d =  0
2007d is (a / b)
2008  a =  1  b =  1  c =  1  d =  1
2009  a =  1  b =  1  c =  1  d =  1
2010d is (a * b)
2011  a =  0  b =  1  c =  1  d =  0
2012d is (a / (b + 1))
2013  a =  1  b =  0  c =  1  d =  1
2014d is (a * b)
2015  a =  0  b =  0  c =  1  d =  0
2016d is (a / (b + 1))
2017  a =  1  b =  0  c =  1  d =  1
2018d is (a * b)
2019  a =  1  b =  1  c =  1  d =  1
2020  a =  1  b =  1  c =  1  d =  1
2021d is (a / (b + 1))
2022  a =  1  b =  0  c =  1  d =  1
2023d is (a * b)
2024  a =  1  b =  1  c =  1  d =  1
2025d is (a / (b + 1))
2026  a =  0  b =  0  c =  1  d =  0
2027  a =  0  b =  0  c =  1  d =  0
2028  a =  0  b =  0  c =  1  d =  0
2029  a =  0  b =  0  c =  1  d =  0
2030d is (a * b)
2031  a =  1  b =  1  c =  1  d =  1
2032d is (a / b)
2033  a =  0  b =  1  c =  1  d =  0
2034d is (a * b)
2035  a =  1  b =  1  c =  1  d =  1
2036  a =  1  b =  1  c =  1  d =  1
2037d is (a / (b + 1))
2038  a =  1  b =  0  c =  1  d =  1
2039d is (a * b)
2040  a =  0  b =  1  c =  1  d =  0
2041d is (a / b)
2042  a =  1  b =  1  c =  1  d =  1
2043d is (a * b)
2044  a =  0  b =  1  c =  1  d =  0
2045d is (a / (b + 1))
2046  a =  1  b =  0  c =  1  d =  1
2047  a =  1  b =  0  c =  1  d =  1
2048  a =  1  b =  0  c =  1  d =  1
2049d is (a * b)
2050  a =  1  b =  1  c =  1  d =  1
2051  a =  1  b =  1  c =  1  d =  1
2052d is (a / (b + 1))
2053  a =  0  b =  0  c =  1  d =  0
2054d is (a * b)
2055  a =  0  b =  1  c =  1  d =  0
2056d is (a / (b + 1))
2057  a =  0  b =  0  c =  1  d =  0
2058  a =  0  b =  0  c =  1  d =  0
2059d is (a * b)
2060  a =  1  b =  0  c =  1  d =  0
2061d is (a / (b + 1))
2062  a =  0  b =  0  c =  1  d =  0
2063d is (a * b)
2064  a =  1  b =  1  c =  1  d =  1
2065  a =  1  b =  1  c =  1  d =  1
2066  a =  1  b =  1  c =  1  d =  1
2067d is (a / b)
2068  a =  0  b =  1  c =  1  d =  0
2069d is (a * b)
2070  a =  1  b =  0  c =  1  d =  0
2071d is (a / b)
2072  a =  0  b =  1  c =  1  d =  0
2073d is (a * b)
2074  a =  1  b =  1  c =  1  d =  1
2075  a =  1  b =  1  c =  1  d =  1
2076d is (a / (b + 1))
2077  a =  1  b =  0  c =  1  d =  1
2078  a =  1  b =  0  c =  1  d =  1
2079  a =  1  b =  0  c =  1  d =  1
2080d is (a * b)
2081  a =  0  b =  1  c =  1  d =  0
2082  a =  0  b =  1  c =  1  d =  0
2083d is (a / (b + 1))
2084  a =  0  b =  0  c =  1  d =  0
2085d is (a * b)
2086  a =  0  b =  1  c =  1  d =  0
2087d is (a / (b + 1))
2088  a =  1  b =  0  c =  1  d =  1
2089d is (a * b)
2090  a =  0  b =  0  c =  1  d =  0
2091d is (a / (b + 1))
2092  a =  1  b =  0  c =  1  d =  1
2093  a =  1  b =  0  c =  1  d =  1
2094d is (a * b)
2095  a =  1  b =  1  c =  1  d =  1
2096d is (a / b)
2097  a =  0  b =  1  c =  1  d =  0
2098d is (a * b)
2099  a =  1  b =  1  c =  1  d =  1
2100d is (a / b)
2101  a =  0  b =  1  c =  1  d =  0
2102d is (a * b)
2103  a =  1  b =  0  c =  1  d =  0
2104d is (a / b)
2105  a =  1  b =  1  c =  1  d =  1
2106  a =  1  b =  1  c =  1  d =  1
2107  a =  1  b =  1  c =  1  d =  1
2108d is (a * b)
2109  a =  1  b =  0  c =  1  d =  0
2110d is (a / (b + 1))
2111  a =  0  b =  0  c =  1  d =  0
2112  a =  0  b =  0  c =  1  d =  0
2113d is (a * b)
2114  a =  0  b =  1  c =  1  d =  0
2115  a =  0  b =  1  c =  1  d =  0
2116d is (a / (b + 1))
2117  a =  1  b =  0  c =  1  d =  1
2118d is (a * b)
2119  a =  0  b =  1  c =  1  d =  0
2120d is (a / (b + 1))
2121  a =  1  b =  0  c =  1  d =  1
2122  a =  1  b =  0  c =  1  d =  1
2123  a =  1  b =  0  c =  1  d =  1
2124d is (a * b)
2125  a =  0  b =  0  c =  1  d =  0
2126d is (a / b)
2127  a =  1  b =  1  c =  1  d =  1
2128d is (a * b)
2129  a =  0  b =  1  c =  1  d =  0
2130d is (a / b)
2131  a =  1  b =  1  c =  1  d =  1
2132  a =  1  b =  1  c =  1  d =  1
2133d is (a * b)
2134  a =  1  b =  0  c =  1  d =  0
2135d is (a / b)
2136  a =  1  b =  1  c =  1  d =  1
2137  a =  1  b =  1  c =  1  d =  1
2138d is (a * b)
2139  a =  0  b =  1  c =  1  d =  0
2140d is (a / (b + 1))
2141  a =  0  b =  0  c =  1  d =  0
2142  a =  0  b =  0  c =  1  d =  0
2143  a =  0  b =  0  c =  1  d =  0
2144d is (a * b)
2145  a =  1  b =  1  c =  1  d =  1
2146d is (a / b)
2147  a =  0  b =  1  c =  1  d =  0
2148d is (a * b)
2149  a =  1  b =  0  c =  1  d =  0
2150d is (a / b)
2151  a =  1  b =  1  c =  1  d =  1
2152d is (a * b)
2153  a =  1  b =  0  c =  1  d =  0
2154d is (a / (b + 1))
2155  a =  0  b =  0  c =  1  d =  0
2156d is (a * b)
2157  a =  1  b =  0  c =  1  d =  0
2158d is (a / (b + 1))
2159  a =  0  b =  0  c =  1  d =  0
2160d is (a * b)
2161  a =  1  b =  1  c =  1  d =  1
2162  a =  1  b =  1  c =  1  d =  1
2163  a =  1  b =  1  c =  1  d =  1
2164  a =  1  b =  1  c =  1  d =  1
2165d is (a / (b + 1))
2166  a =  1  b =  0  c =  1  d =  1
2167d is (a * b)
2168  a =  0  b =  1  c =  1  d =  0
2169  a =  0  b =  1  c =  1  d =  0
2170  a =  0  b =  1  c =  1  d =  0
2171d is (a / (b + 1))
2172  a =  0  b =  0  c =  1  d =  0
2173d is (a * b)
2174  a =  1  b =  0  c =  1  d =  0
2175d is (a / (b + 1))
2176  a =  0  b =  0  c =  1  d =  0
2177d is (a * b)
2178  a =  1  b =  1  c =  1  d =  1
2179  a =  1  b =  1  c =  1  d =  1
2180d is (a / (b + 1))
2181  a =  1  b =  0  c =  1  d =  1
2182d is (a * b)
2183  a =  0  b =  1  c =  1  d =  0
2184d is (a / (b + 1))
2185  a =  1  b =  0  c =  1  d =  1
2186d is (a * b)
2187  a =  0  b =  0  c =  1  d =  0
2188d is (a / (b + 1))
2189  a =  1  b =  0  c =  1  d =  1
2190  a =  1  b =  0  c =  1  d =  1
2191d is (a * b)
2192  a =  1  b =  1  c =  1  d =  1
2193  a =  1  b =  1  c =  1  d =  1
2194  a =  1  b =  1  c =  1  d =  1
2195d is (a / b)
2196  a =  0  b =  1  c =  1  d =  0
2197d is (a * b)
2198  a =  0  b =  0  c =  1  d =  0
2199d is (a / b)
2200  a =  0  b =  1  c =  1  d =  0
2201  a =  0  b =  1  c =  1  d =  0
2202d is (a * b)
2203  a =  1  b =  1  c =  1  d =  1
2204d is (a / (b + 1))
2205  a =  0  b =  0  c =  1  d =  0
2206d is (a * b)
2207  a =  1  b =  0  c =  1  d =  0
2208  a =  1  b =  0  c =  1  d =  0
2209d is (a / b)
2210  a =  1  b =  1  c =  1  d =  1
2211d is (a * b)
2212  a =  0  b =  1  c =  1  d =  0
2213d is (a / (b + 1))
2214  a =  1  b =  0  c =  1  d =  1
2215d is (a * b)
2216  a =  0  b =  1  c =  1  d =  0
2217d is (a / (b + 1))
2218  a =  1  b =  0  c =  1  d =  1
2219  a =  1  b =  0  c =  1  d =  1
2220  a =  1  b =  0  c =  1  d =  1
2221  a =  1  b =  0  c =  1  d =  1
2222d is (a * b)
2223  a =  1  b =  1  c =  1  d =  1
2224d is (a / b)
2225  a =  0  b =  1  c =  1  d =  0
2226  a =  0  b =  1  c =  1  d =  0
2227  a =  0  b =  1  c =  1  d =  0
2228d is (a * b)
2229  a =  0  b =  0  c =  1  d =  0
2230d is (a / b)
2231  a =  1  b =  1  c =  1  d =  1
2232d is (a * b)
2233  a =  0  b =  1  c =  1  d =  0
2234d is (a / b)
2235  a =  1  b =  1  c =  1  d =  1
2236d is (a * b)
2237  a =  1  b =  0  c =  1  d =  0
2238  a =  1  b =  0  c =  1  d =  0
2239d is (a / (b + 1))
2240  a =  0  b =  0  c =  1  d =  0
2241d is (a * b)
2242  a =  1  b =  1  c =  1  d =  1
2243d is (a / b)
2244  a =  0  b =  1  c =  1  d =  0
2245d is (a * b)
2246  a =  1  b =  0  c =  1  d =  0
2247d is (a / b)
2248  a =  1  b =  1  c =  1  d =  1
2249d is (a * b)
2250  a =  1  b =  0  c =  1  d =  0
2251  a =  1  b =  0  c =  1  d =  0
2252  a =  1  b =  0  c =  1  d =  0
2253d is (a / (b + 1))
2254  a =  0  b =  0  c =  1  d =  0
2255d is (a * b)
2256  a =  0  b =  1  c =  1  d =  0
2257  a =  0  b =  1  c =  1  d =  0
2258  a =  0  b =  1  c =  1  d =  0
2259d is (a / b)
2260  a =  1  b =  1  c =  1  d =  1
2261d is (a * b)
2262  a =  0  b =  0  c =  1  d =  0
2263d is (a / b)
2264  a =  1  b =  1  c =  1  d =  1
2265  a =  1  b =  1  c =  1  d =  1
2266  a =  1  b =  1  c =  1  d =  1
2267d is (a * b)
2268  a =  0  b =  0  c =  1  d =  0
2269d is (a / (b + 1))
2270  a =  1  b =  0  c =  1  d =  1
2271d is (a * b)
2272  a =  0  b =  0  c =  1  d =  0
2273d is (a / b)
2274  a =  1  b =  1  c =  1  d =  1
2275  a =  1  b =  1  c =  1  d =  1
2276d is (a * b)
2277  a =  1  b =  0  c =  1  d =  0
2278d is (a / b)
2279  a =  1  b =  1  c =  1  d =  1
2280d is (a * b)
2281  a =  1  b =  0  c =  1  d =  0
2282d is (a / (b + 1))
2283  a =  0  b =  0  c =  1  d =  0
2284  a =  0  b =  0  c =  1  d =  0
2285  a =  0  b =  0  c =  1  d =  0
2286d is (a * b)
2287  a =  0  b =  1  c =  1  d =  0
2288d is (a / b)
2289  a =  1  b =  1  c =  1  d =  1
2290d is (a * b)
2291  a =  0  b =  1  c =  1  d =  0
2292d is (a / b)
2293  a =  1  b =  1  c =  1  d =  1
2294d is (a * b)
2295  a =  1  b =  0  c =  1  d =  0
2296d is (a / b)
2297  a =  1  b =  1  c =  1  d =  1
2298d is (a * b)
2299  a =  0  b =  1  c =  1  d =  0
2300d is (a / b)
2301  a =  1  b =  1  c =  1  d =  1
2302d is (a * b)
2303  a =  0  b =  0  c =  1  d =  0
2304d is (a / (b + 1))
2305  a =  1  b =  0  c =  1  d =  1
2306  a =  1  b =  0  c =  1  d =  1
2307d is (a * b)
2308  a =  1  b =  1  c =  1  d =  1
2309  a =  1  b =  1  c =  1  d =  1
2310d is (a / (b + 1))
2311  a =  1  b =  0  c =  1  d =  1
2312d is (a * b)
2313  a =  0  b =  1  c =  1  d =  0
2314d is (a / (b + 1))
2315  a =  0  b =  0  c =  1  d =  0
2316  a =  0  b =  0  c =  1  d =  0
2317  a =  0  b =  0  c =  1  d =  0
2318d is (a * b)
2319  a =  1  b =  0  c =  1  d =  0
2320d is (a / b)
2321  a =  0  b =  1  c =  1  d =  0
2322d is (a * b)
2323  a =  1  b =  1  c =  1  d =  1
2324  a =  1  b =  1  c =  1  d =  1
2325  a =  1  b =  1  c =  1  d =  1
2326d is (a / (b + 1))
2327  a =  0  b =  0  c =  1  d =  0
2328d is (a * b)
2329  a =  1  b =  1  c =  1  d =  1
2330d is (a / b)
2331  a =  0  b =  1  c =  1  d =  0
2332d is (a * b)
2333  a =  1  b =  1  c =  1  d =  1
2334d is (a / (b + 1))
2335  a =  1  b =  0  c =  1  d =  1
2336  a =  1  b =  0  c =  1  d =  1
2337  a =  1  b =  0  c =  1  d =  1
2338d is (a * b)
2339  a =  1  b =  1  c =  1  d =  1
2340d is (a / b)
2341  a =  0  b =  1  c =  1  d =  0
2342d is (a * b)
2343  a =  0  b =  0  c =  1  d =  0
2344d is (a / b)
2345  a =  0  b =  1  c =  1  d =  0
2346d is (a * b)
2347  a =  0  b =  0  c =  1  d =  0
2348d is (a / (b + 1))
2349  a =  1  b =  0  c =  1  d =  1
2350d is (a * b)
2351  a =  0  b =  0  c =  1  d =  0
2352d is (a / (b + 1))
2353  a =  1  b =  0  c =  1  d =  1
2354d is (a * b)
2355  a =  1  b =  1  c =  1  d =  1
2356  a =  1  b =  1  c =  1  d =  1
2357d is (a / b)
2358  a =  0  b =  1  c =  1  d =  0
2359d is (a * b)
2360  a =  1  b =  1  c =  1  d =  1
2361d is (a / (b + 1))
2362  a =  0  b =  0  c =  1  d =  0
2363d is (a * b)
2364  a =  1  b =  1  c =  1  d =  1
2365  a =  1  b =  1  c =  1  d =  1
2366  a =  1  b =  1  c =  1  d =  1
2367d is (a / (b + 1))
2368  a =  1  b =  0  c =  1  d =  1
2369  a =  1  b =  0  c =  1  d =  1
2370d is (a * b)
2371  a =  0  b =  0  c =  1  d =  0
2372d is (a / b)
2373  a =  0  b =  1  c =  1  d =  0
2374  a =  0  b =  1  c =  1  d =  0
2375d is (a * b)
2376  a =  0  b =  0  c =  1  d =  0
2377d is (a / b)
2378  a =  1  b =  1  c =  1  d =  1
2379d is (a * b)
2380  a =  0  b =  0  c =  1  d =  0
2381d is (a / (b + 1))
2382  a =  1  b =  0  c =  1  d =  1
2383  a =  1  b =  0  c =  1  d =  1
2384  a =  1  b =  0  c =  1  d =  1
2385d is (a * b)
2386  a =  0  b =  1  c =  1  d =  0
2387d is (a / b)
2388  a =  1  b =  1  c =  1  d =  1
2389d is (a * b)
2390  a =  0  b =  1  c =  1  d =  0
2391d is (a / b)
2392  a =  1  b =  1  c =  1  d =  1
2393d is (a * b)
2394  a =  1  b =  0  c =  1  d =  0
2395d is (a / b)
2396  a =  1  b =  1  c =  1  d =  1
2397  a =  1  b =  1  c =  1  d =  1
2398  a =  1  b =  1  c =  1  d =  1
2399d is (a * b)
2400  a =  0  b =  0  c =  1  d =  0
2401  a =  0  b =  0  c =  1  d =  0
2402  a =  0  b =  0  c =  1  d =  0
2403d is (a / b)
2404  a =  0  b =  1  c =  1  d =  0
2405d is (a * b)
2406  a =  1  b =  1  c =  1  d =  1
2407d is (a / (b + 1))
2408  a =  0  b =  0  c =  1  d =  0
2409d is (a * b)
2410  a =  1  b =  1  c =  1  d =  1
2411d is (a / (b + 1))
2412  a =  1  b =  0  c =  1  d =  1
2413  a =  1  b =  0  c =  1  d =  1
2414d is (a * b)
2415  a =  0  b =  0  c =  1  d =  0
2416d is (a / (b + 1))
2417  a =  1  b =  0  c =  1  d =  1
2418d is (a * b)
2419  a =  0  b =  1  c =  1  d =  0
2420d is (a / b)
2421  a =  1  b =  1  c =  1  d =  1
2422  a =  1  b =  1  c =  1  d =  1
2423  a =  1  b =  1  c =  1  d =  1
2424d is (a * b)
2425  a =  1  b =  0  c =  1  d =  0
2426d is (a / b)
2427  a =  1  b =  1  c =  1  d =  1
2428d is (a * b)
2429  a =  0  b =  1  c =  1  d =  0
2430  a =  0  b =  1  c =  1  d =  0
2431d is (a / (b + 1))
2432  a =  0  b =  0  c =  1  d =  0
2433  a =  0  b =  0  c =  1  d =  0
2434d is (a * b)
2435  a =  1  b =  0  c =  1  d =  0
2436d is (a / b)
2437  a =  0  b =  1  c =  1  d =  0
2438d is (a * b)
2439  a =  1  b =  1  c =  1  d =  1
2440d is (a / (b + 1))
2441  a =  1  b =  0  c =  1  d =  1
2442d is (a * b)
2443  a =  1  b =  1  c =  1  d =  1
2444d is (a / (b + 1))
2445  a =  0  b =  0  c =  1  d =  0
2446d is (a * b)
2447  a =  1  b =  0  c =  1  d =  0
2448d is (a / (b + 1))
2449  a =  0  b =  0  c =  1  d =  0
2450d is (a * b)
2451  a =  1  b =  0  c =  1  d =  0
2452d is (a / b)
2453  a =  1  b =  1  c =  1  d =  1
2454  a =  1  b =  1  c =  1  d =  1
2455  a =  1  b =  1  c =  1  d =  1
2456  a =  1  b =  1  c =  1  d =  1
2457d is (a * b)
2458  a =  0  b =  0  c =  1  d =  0
2459d is (a / b)
2460  a =  0  b =  1  c =  1  d =  0
2461  a =  0  b =  1  c =  1  d =  0
2462  a =  0  b =  1  c =  1  d =  0
2463d is (a * b)
2464  a =  1  b =  0  c =  1  d =  0
2465d is (a / (b + 1))
2466  a =  0  b =  0  c =  1  d =  0
2467d is (a * b)
2468  a =  1  b =  0  c =  1  d =  0
2469d is (a / b)
2470  a =  1  b =  1  c =  1  d =  1
2471  a =  1  b =  1  c =  1  d =  1
2472d is (a * b)
2473  a =  0  b =  0  c =  1  d =  0
2474d is (a / b)
2475  a =  1  b =  1  c =  1  d =  1
2476d is (a * b)
2477  a =  0  b =  0  c =  1  d =  0
2478d is (a / (b + 1))
2479  a =  1  b =  0  c =  1  d =  1
2480  a =  1  b =  0  c =  1  d =  1
2481  a =  1  b =  0  c =  1  d =  1
2482d is (a * b)
2483  a =  1  b =  1  c =  1  d =  1
2484  a =  1  b =  1  c =  1  d =  1
2485d is (a / b)
2486  a =  0  b =  1  c =  1  d =  0
2487  a =  0  b =  1  c =  1  d =  0
2488d is (a * b)
2489  a =  0  b =  0  c =  1  d =  0
2490d is (a / b)
2491  a =  0  b =  1  c =  1  d =  0
2492d is (a * b)
2493  a =  1  b =  1  c =  1  d =  1
2494d is (a / b)
2495  a =  0  b =  1  c =  1  d =  0
2496d is (a * b)
2497  a =  1  b =  0  c =  1  d =  0
2498  a =  1  b =  0  c =  1  d =  0
2499  a =  1  b =  0  c =  1  d =  0
2500d is (a / b)
2501  a =  0  b =  1  c =  1  d =  0
2502d is (a * b)
2503  a =  1  b =  1  c =  1  d =  1
2504d is (a / (b + 1))
2505  a =  0  b =  0  c =  1  d =  0
2506d is (a * b)
2507  a =  1  b =  1  c =  1  d =  1
2508d is (a / (b + 1))
2509  a =  1  b =  0  c =  1  d =  1
2510  a =  1  b =  0  c =  1  d =  1
2511  a =  1  b =  0  c =  1  d =  1
2512  a =  1  b =  0  c =  1  d =  1
2513d is (a * b)
2514  a =  0  b =  1  c =  1  d =  0
2515  a =  0  b =  1  c =  1  d =  0
2516  a =  0  b =  1  c =  1  d =  0
2517  a =  0  b =  1  c =  1  d =  0
2518d is (a / (b + 1))
2519  a =  1  b =  0  c =  1  d =  1
2520d is (a * b)
2521  a =  0  b =  1  c =  1  d =  0
2522d is (a / b)
2523  a =  1  b =  1  c =  1  d =  1
2524  a =  1  b =  1  c =  1  d =  1
2525d is (a * b)
2526  a =  1  b =  0  c =  1  d =  0
2527d is (a / (b + 1))
2528  a =  0  b =  0  c =  1  d =  0
2529d is (a * b)
2530  a =  1  b =  0  c =  1  d =  0
2531d is (a / b)
2532  a =  0  b =  1  c =  1  d =  0
2533d is (a * b)
2534  a =  1  b =  1  c =  1  d =  1
2535d is (a / (b + 1))
2536  a =  1  b =  0  c =  1  d =  1
2537d is (a * b)
2538  a =  1  b =  1  c =  1  d =  1
2539d is (a / (b + 1))
2540  a =  1  b =  0  c =  1  d =  1
2541  a =  1  b =  0  c =  1  d =  1
2542d is (a * b)
2543  a =  0  b =  0  c =  1  d =  0
2544  a =  0  b =  0  c =  1  d =  0
2545d is (a / b)
2546  a =  0  b =  1  c =  1  d =  0
2547  a =  0  b =  1  c =  1  d =  0
2548d is (a * b)
2549  a =  1  b =  1  c =  1  d =  1
2550d is (a / b)
2551  a =  0  b =  1  c =  1  d =  0
2552d is (a * b)
2553  a =  1  b =  0  c =  1  d =  0
2554d is (a / b)
2555  a =  1  b =  1  c =  1  d =  1
2556  a =  1  b =  1  c =  1  d =  1
2557d is (a * b)
2558  a =  0  b =  1  c =  1  d =  0
2559d is (a / (b + 1))
2560  a =  1  b =  0  c =  1  d =  1
2561d is (a * b)
2562  a =  0  b =  0  c =  1  d =  0
2563d is (a / (b + 1))
2564  a =  1  b =  0  c =  1  d =  1
2565d is (a * b)
2566  a =  1  b =  1  c =  1  d =  1
2567  a =  1  b =  1  c =  1  d =  1
2568d is (a / (b + 1))
2569  a =  1  b =  0  c =  1  d =  1
2570d is (a * b)
2571  a =  1  b =  1  c =  1  d =  1
2572d is (a / (b + 1))
2573  a =  0  b =  0  c =  1  d =  0
2574  a =  0  b =  0  c =  1  d =  0
2575  a =  0  b =  0  c =  1  d =  0
2576  a =  0  b =  0  c =  1  d =  0
2577d is (a * b)
2578  a =  1  b =  1  c =  1  d =  1
2579d is (a / b)
2580  a =  0  b =  1  c =  1  d =  0
2581d is (a * b)
2582  a =  1  b =  1  c =  1  d =  1
2583  a =  1  b =  1  c =  1  d =  1
2584d is (a / (b + 1))
2585  a =  1  b =  0  c =  1  d =  1
2586d is (a * b)
2587  a =  0  b =  1  c =  1  d =  0
2588d is (a / b)
2589  a =  1  b =  1  c =  1  d =  1
2590d is (a * b)
2591  a =  0  b =  1  c =  1  d =  0
2592d is (a / (b + 1))
2593  a =  1  b =  0  c =  1  d =  1
2594  a =  1  b =  0  c =  1  d =  1
2595  a =  1  b =  0  c =  1  d =  1
2596d is (a * b)
2597  a =  1  b =  1  c =  1  d =  1
2598  a =  1  b =  1  c =  1  d =  1
2599d is (a / (b + 1))
2600  a =  0  b =  0  c =  1  d =  0
2601d is (a * b)
2602  a =  0  b =  1  c =  1  d =  0
2603d is (a / (b + 1))
2604  a =  0  b =  0  c =  1  d =  0
2605  a =  0  b =  0  c =  1  d =  0
2606d is (a * b)
2607  a =  1  b =  0  c =  1  d =  0
2608d is (a / (b + 1))
2609  a =  0  b =  0  c =  1  d =  0
2610d is (a * b)
2611  a =  1  b =  1  c =  1  d =  1
2612  a =  1  b =  1  c =  1  d =  1
2613  a =  1  b =  1  c =  1  d =  1
2614d is (a / b)
2615  a =  0  b =  1  c =  1  d =  0
2616d is (a * b)
2617  a =  1  b =  0  c =  1  d =  0
2618d is (a / b)
2619  a =  0  b =  1  c =  1  d =  0
2620d is (a * b)
2621  a =  1  b =  1  c =  1  d =  1
2622  a =  1  b =  1  c =  1  d =  1
2623d is (a / (b + 1))
2624  a =  1  b =  0  c =  1  d =  1
2625  a =  1  b =  0  c =  1  d =  1
2626  a =  1  b =  0  c =  1  d =  1
2627d is (a * b)
2628  a =  0  b =  1  c =  1  d =  0
2629  a =  0  b =  1  c =  1  d =  0
2630d is (a / (b + 1))
2631  a =  0  b =  0  c =  1  d =  0
2632d is (a * b)
2633  a =  0  b =  1  c =  1  d =  0
2634d is (a / (b + 1))
2635  a =  1  b =  0  c =  1  d =  1
2636d is (a * b)
2637  a =  0  b =  0  c =  1  d =  0
2638d is (a / (b + 1))
2639  a =  1  b =  0  c =  1  d =  1
2640  a =  1  b =  0  c =  1  d =  1
2641d is (a * b)
2642  a =  1  b =  1  c =  1  d =  1
2643d is (a / b)
2644  a =  0  b =  1  c =  1  d =  0
2645d is (a * b)
2646  a =  1  b =  1  c =  1  d =  1
2647d is (a / b)
2648  a =  0  b =  1  c =  1  d =  0
2649d is (a * b)
2650  a =  1  b =  0  c =  1  d =  0
2651d is (a / b)
2652  a =  1  b =  1  c =  1  d =  1
2653  a =  1  b =  1  c =  1  d =  1
2654  a =  1  b =  1  c =  1  d =  1
2655d is (a * b)
2656  a =  1  b =  0  c =  1  d =  0
2657d is (a / (b + 1))
2658  a =  0  b =  0  c =  1  d =  0
2659  a =  0  b =  0  c =  1  d =  0
2660d is (a * b)
2661  a =  0  b =  1  c =  1  d =  0
2662  a =  0  b =  1  c =  1  d =  0
2663d is (a / (b + 1))
2664  a =  1  b =  0  c =  1  d =  1
2665d is (a * b)
2666  a =  0  b =  1  c =  1  d =  0
2667d is (a / (b + 1))
2668  a =  1  b =  0  c =  1  d =  1
2669  a =  1  b =  0  c =  1  d =  1
2670  a =  1  b =  0  c =  1  d =  1
2671d is (a * b)
2672  a =  0  b =  0  c =  1  d =  0
2673d is (a / b)
2674  a =  1  b =  1  c =  1  d =  1
2675d is (a * b)
2676  a =  0  b =  1  c =  1  d =  0
2677d is (a / b)
2678  a =  1  b =  1  c =  1  d =  1
2679  a =  1  b =  1  c =  1  d =  1
2680d is (a * b)
2681  a =  1  b =  0  c =  1  d =  0
2682d is (a / b)
2683  a =  1  b =  1  c =  1  d =  1
2684  a =  1  b =  1  c =  1  d =  1
2685d is (a * b)
2686  a =  0  b =  1  c =  1  d =  0
2687d is (a / (b + 1))
2688  a =  0  b =  0  c =  1  d =  0
2689  a =  0  b =  0  c =  1  d =  0
2690  a =  0  b =  0  c =  1  d =  0
2691d is (a * b)
2692  a =  1  b =  1  c =  1  d =  1
2693d is (a / b)
2694  a =  0  b =  1  c =  1  d =  0
2695d is (a * b)
2696  a =  1  b =  0  c =  1  d =  0
2697d is (a / b)
2698  a =  1  b =  1  c =  1  d =  1
2699d is (a * b)
2700  a =  1  b =  0  c =  1  d =  0
2701d is (a / (b + 1))
2702  a =  0  b =  0  c =  1  d =  0
2703d is (a * b)
2704  a =  1  b =  0  c =  1  d =  0
2705d is (a / (b + 1))
2706  a =  0  b =  0  c =  1  d =  0
2707d is (a * b)
2708  a =  1  b =  1  c =  1  d =  1
2709  a =  1  b =  1  c =  1  d =  1
2710  a =  1  b =  1  c =  1  d =  1
2711  a =  1  b =  1  c =  1  d =  1
2712d is (a / (b + 1))
2713  a =  1  b =  0  c =  1  d =  1
2714d is (a * b)
2715  a =  0  b =  1  c =  1  d =  0
2716  a =  0  b =  1  c =  1  d =  0
2717  a =  0  b =  1  c =  1  d =  0
2718d is (a / (b + 1))
2719  a =  0  b =  0  c =  1  d =  0
2720d is (a * b)
2721  a =  1  b =  0  c =  1  d =  0
2722d is (a / (b + 1))
2723  a =  0  b =  0  c =  1  d =  0
2724d is (a * b)
2725  a =  1  b =  1  c =  1  d =  1
2726  a =  1  b =  1  c =  1  d =  1
2727d is (a / (b + 1))
2728  a =  1  b =  0  c =  1  d =  1
2729d is (a * b)
2730  a =  0  b =  1  c =  1  d =  0
2731d is (a / (b + 1))
2732  a =  1  b =  0  c =  1  d =  1
2733d is (a * b)
2734  a =  0  b =  0  c =  1  d =  0
2735d is (a / (b + 1))
2736  a =  1  b =  0  c =  1  d =  1
2737  a =  1  b =  0  c =  1  d =  1
2738d is (a * b)
2739  a =  1  b =  1  c =  1  d =  1
2740  a =  1  b =  1  c =  1  d =  1
2741  a =  1  b =  1  c =  1  d =  1
2742d is (a / b)
2743  a =  0  b =  1  c =  1  d =  0
2744d is (a * b)
2745  a =  0  b =  0  c =  1  d =  0
2746d is (a / b)
2747  a =  0  b =  1  c =  1  d =  0
2748  a =  0  b =  1  c =  1  d =  0
2749d is (a * b)
2750  a =  1  b =  1  c =  1  d =  1
2751d is (a / (b + 1))
2752  a =  0  b =  0  c =  1  d =  0
2753d is (a * b)
2754  a =  1  b =  0  c =  1  d =  0
2755  a =  1  b =  0  c =  1  d =  0
2756d is (a / b)
2757  a =  1  b =  1  c =  1  d =  1
2758d is (a * b)
2759  a =  0  b =  1  c =  1  d =  0
2760d is (a / (b + 1))
2761  a =  1  b =  0  c =  1  d =  1
2762d is (a * b)
2763  a =  0  b =  1  c =  1  d =  0
2764d is (a / (b + 1))
2765  a =  1  b =  0  c =  1  d =  1
2766  a =  1  b =  0  c =  1  d =  1
2767  a =  1  b =  0  c =  1  d =  1
2768  a =  1  b =  0  c =  1  d =  1
2769d is (a * b)
2770  a =  1  b =  1  c =  1  d =  1
2771d is (a / b)
2772  a =  0  b =  1  c =  1  d =  0
2773  a =  0  b =  1  c =  1  d =  0
2774  a =  0  b =  1  c =  1  d =  0
2775d is (a * b)
2776  a =  0  b =  0  c =  1  d =  0
2777d is (a / b)
2778  a =  1  b =  1  c =  1  d =  1
2779d is (a * b)
2780  a =  0  b =  1  c =  1  d =  0
2781d is (a / b)
2782  a =  1  b =  1  c =  1  d =  1
2783d is (a * b)
2784  a =  1  b =  0  c =  1  d =  0
2785  a =  1  b =  0  c =  1  d =  0
2786d is (a / (b + 1))
2787  a =  0  b =  0  c =  1  d =  0
2788d is (a * b)
2789  a =  1  b =  1  c =  1  d =  1
2790d is (a / b)
2791  a =  0  b =  1  c =  1  d =  0
2792d is (a * b)
2793  a =  1  b =  0  c =  1  d =  0
2794d is (a / b)
2795  a =  1  b =  1  c =  1  d =  1
2796d is (a * b)
2797  a =  1  b =  0  c =  1  d =  0
2798  a =  1  b =  0  c =  1  d =  0
2799  a =  1  b =  0  c =  1  d =  0
2800d is (a / (b + 1))
2801  a =  0  b =  0  c =  1  d =  0
2802d is (a * b)
2803  a =  0  b =  1  c =  1  d =  0
2804  a =  0  b =  1  c =  1  d =  0
2805  a =  0  b =  1  c =  1  d =  0
2806d is (a / b)
2807  a =  1  b =  1  c =  1  d =  1
2808d is (a * b)
2809  a =  0  b =  0  c =  1  d =  0
2810d is (a / b)
2811  a =  1  b =  1  c =  1  d =  1
2812  a =  1  b =  1  c =  1  d =  1
2813  a =  1  b =  1  c =  1  d =  1
2814d is (a * b)
2815  a =  0  b =  0  c =  1  d =  0
2816d is (a / (b + 1))
2817  a =  1  b =  0  c =  1  d =  1
2818d is (a * b)
2819  a =  0  b =  0  c =  1  d =  0
2820d is (a / b)
2821  a =  1  b =  1  c =  1  d =  1
2822  a =  1  b =  1  c =  1  d =  1
2823d is (a * b)
2824  a =  1  b =  0  c =  1  d =  0
2825d is (a / b)
2826  a =  1  b =  1  c =  1  d =  1
2827d is (a * b)
2828  a =  1  b =  0  c =  1  d =  0
2829d is (a / (b + 1))
2830  a =  0  b =  0  c =  1  d =  0
2831  a =  0  b =  0  c =  1  d =  0
2832  a =  0  b =  0  c =  1  d =  0
2833d is (a * b)
2834  a =  0  b =  1  c =  1  d =  0
2835d is (a / b)
2836  a =  1  b =  1  c =  1  d =  1
2837d is (a * b)
2838  a =  0  b =  1  c =  1  d =  0
2839d is (a / b)
2840  a =  1  b =  1  c =  1  d =  1
2841d is (a * b)
2842  a =  1  b =  0  c =  1  d =  0
2843d is (a / b)
2844  a =  1  b =  1  c =  1  d =  1
2845d is (a * b)
2846  a =  0  b =  1  c =  1  d =  0
2847d is (a / b)
2848  a =  1  b =  1  c =  1  d =  1
2849d is (a * b)
2850  a =  0  b =  0  c =  1  d =  0
2851d is (a / (b + 1))
2852  a =  1  b =  0  c =  1  d =  1
2853  a =  1  b =  0  c =  1  d =  1
2854d is (a * b)
2855  a =  1  b =  1  c =  1  d =  1
2856  a =  1  b =  1  c =  1  d =  1
2857d is (a / (b + 1))
2858  a =  1  b =  0  c =  1  d =  1
2859d is (a * b)
2860  a =  0  b =  1  c =  1  d =  0
2861d is (a / (b + 1))
2862  a =  0  b =  0  c =  1  d =  0
2863  a =  0  b =  0  c =  1  d =  0
2864  a =  0  b =  0  c =  1  d =  0
2865d is (a * b)
2866  a =  1  b =  0  c =  1  d =  0
2867d is (a / b)
2868  a =  0  b =  1  c =  1  d =  0
2869d is (a * b)
2870  a =  1  b =  1  c =  1  d =  1
2871  a =  1  b =  1  c =  1  d =  1
2872  a =  1  b =  1  c =  1  d =  1
2873d is (a / (b + 1))
2874  a =  0  b =  0  c =  1  d =  0
2875d is (a * b)
2876  a =  1  b =  1  c =  1  d =  1
2877d is (a / b)
2878  a =  0  b =  1  c =  1  d =  0
2879d is (a * b)
2880  a =  1  b =  1  c =  1  d =  1
2881d is (a / (b + 1))
2882  a =  1  b =  0  c =  1  d =  1
2883  a =  1  b =  0  c =  1  d =  1
2884  a =  1  b =  0  c =  1  d =  1
2885d is (a * b)
2886  a =  1  b =  1  c =  1  d =  1
2887d is (a / b)
2888  a =  0  b =  1  c =  1  d =  0
2889d is (a * b)
2890  a =  0  b =  0  c =  1  d =  0
2891d is (a / b)
2892  a =  0  b =  1  c =  1  d =  0
2893d is (a * b)
2894  a =  0  b =  0  c =  1  d =  0
2895d is (a / (b + 1))
2896  a =  1  b =  0  c =  1  d =  1
2897d is (a * b)
2898  a =  0  b =  0  c =  1  d =  0
2899d is (a / (b + 1))
2900  a =  1  b =  0  c =  1  d =  1
2901d is (a * b)
2902  a =  1  b =  1  c =  1  d =  1
2903  a =  1  b =  1  c =  1  d =  1
2904d is (a / b)
2905  a =  0  b =  1  c =  1  d =  0
2906d is (a * b)
2907  a =  1  b =  1  c =  1  d =  1
2908d is (a / (b + 1))
2909  a =  0  b =  0  c =  1  d =  0
2910d is (a * b)
2911  a =  1  b =  1  c =  1  d =  1
2912  a =  1  b =  1  c =  1  d =  1
2913  a =  1  b =  1  c =  1  d =  1
2914d is (a / (b + 1))
2915  a =  1  b =  0  c =  1  d =  1
2916  a =  1  b =  0  c =  1  d =  1
2917d is (a * b)
2918  a =  0  b =  0  c =  1  d =  0
2919d is (a / b)
2920  a =  0  b =  1  c =  1  d =  0
2921  a =  0  b =  1  c =  1  d =  0
2922d is (a * b)
2923  a =  0  b =  0  c =  1  d =  0
2924d is (a / b)
2925  a =  1  b =  1  c =  1  d =  1
2926d is (a * b)
2927  a =  0  b =  0  c =  1  d =  0
2928d is (a / (b + 1))
2929  a =  1  b =  0  c =  1  d =  1
2930  a =  1  b =  0  c =  1  d =  1
2931  a =  1  b =  0  c =  1  d =  1
2932d is (a * b)
2933  a =  0  b =  1  c =  1  d =  0
2934d is (a / b)
2935  a =  1  b =  1  c =  1  d =  1
2936d is (a * b)
2937  a =  0  b =  1  c =  1  d =  0
2938d is (a / b)
2939  a =  1  b =  1  c =  1  d =  1
2940d is (a * b)
2941  a =  1  b =  0  c =  1  d =  0
2942d is (a / b)
2943  a =  1  b =  1  c =  1  d =  1
2944  a =  1  b =  1  c =  1  d =  1
2945  a =  1  b =  1  c =  1  d =  1
2946d is (a * b)
2947  a =  0  b =  0  c =  1  d =  0
2948  a =  0  b =  0  c =  1  d =  0
2949  a =  0  b =  0  c =  1  d =  0
2950d is (a / b)
2951  a =  0  b =  1  c =  1  d =  0
2952d is (a * b)
2953  a =  1  b =  1  c =  1  d =  1
2954d is (a / (b + 1))
2955  a =  0  b =  0  c =  1  d =  0
2956d is (a * b)
2957  a =  1  b =  1  c =  1  d =  1
2958d is (a / (b + 1))
2959  a =  1  b =  0  c =  1  d =  1
2960  a =  1  b =  0  c =  1  d =  1
2961d is (a * b)
2962  a =  0  b =  0  c =  1  d =  0
2963d is (a / (b + 1))
2964  a =  1  b =  0  c =  1  d =  1
2965d is (a * b)
2966  a =  0  b =  1  c =  1  d =  0
2967d is (a / b)
2968  a =  1  b =  1  c =  1  d =  1
2969  a =  1  b =  1  c =  1  d =  1
2970  a =  1  b =  1  c =  1  d =  1
2971d is (a * b)
2972  a =  1  b =  0  c =  1  d =  0
2973d is (a / b)
2974  a =  1  b =  1  c =  1  d =  1
2975d is (a * b)
2976  a =  0  b =  1  c =  1  d =  0
2977  a =  0  b =  1  c =  1  d =  0
2978d is (a / (b + 1))
2979  a =  0  b =  0  c =  1  d =  0
2980  a =  0  b =  0  c =  1  d =  0
2981d is (a * b)
2982  a =  1  b =  0  c =  1  d =  0
2983d is (a / b)
2984  a =  0  b =  1  c =  1  d =  0
2985d is (a * b)
2986  a =  1  b =  1  c =  1  d =  1
2987d is (a / (b + 1))
2988  a =  1  b =  0  c =  1  d =  1
2989d is (a * b)
2990  a =  1  b =  1  c =  1  d =  1
2991d is (a / (b + 1))
2992  a =  0  b =  0  c =  1  d =  0
2993d is (a * b)
2994  a =  1  b =  0  c =  1  d =  0
2995d is (a / (b + 1))
2996  a =  0  b =  0  c =  1  d =  0
2997d is (a * b)
2998  a =  1  b =  0  c =  1  d =  0
2999d is (a / b)
3000  a =  1  b =  1  c =  1  d =  1
3001  a =  1  b =  1  c =  1  d =  1
3002  a =  1  b =  1  c =  1  d =  1
3003  a =  1  b =  1  c =  1  d =  1
3004d is (a * b)
3005  a =  0  b =  0  c =  1  d =  0
3006d is (a / b)
3007  a =  0  b =  1  c =  1  d =  0
3008  a =  0  b =  1  c =  1  d =  0
3009  a =  0  b =  1  c =  1  d =  0
3010d is (a * b)
3011  a =  1  b =  0  c =  1  d =  0
3012d is (a / (b + 1))
3013  a =  0  b =  0  c =  1  d =  0
3014d is (a * b)
3015  a =  1  b =  0  c =  1  d =  0
3016d is (a / b)
3017  a =  1  b =  1  c =  1  d =  1
3018  a =  1  b =  1  c =  1  d =  1
3019d is (a * b)
3020  a =  0  b =  0  c =  1  d =  0
3021d is (a / b)
3022  a =  1  b =  1  c =  1  d =  1
3023d is (a * b)
3024  a =  0  b =  0  c =  1  d =  0
3025d is (a / (b + 1))
3026  a =  1  b =  0  c =  1  d =  1
3027  a =  1  b =  0  c =  1  d =  1
3028  a =  1  b =  0  c =  1  d =  1
3029d is (a * b)
3030  a =  1  b =  1  c =  1  d =  1
3031  a =  1  b =  1  c =  1  d =  1
3032d is (a / b)
3033  a =  0  b =  1  c =  1  d =  0
3034  a =  0  b =  1  c =  1  d =  0
3035d is (a * b)
3036  a =  0  b =  0  c =  1  d =  0
3037d is (a / b)
3038  a =  0  b =  1  c =  1  d =  0
3039d is (a * b)
3040  a =  1  b =  1  c =  1  d =  1
3041d is (a / b)
3042  a =  0  b =  1  c =  1  d =  0
3043d is (a * b)
3044  a =  1  b =  0  c =  1  d =  0
3045  a =  1  b =  0  c =  1  d =  0
3046  a =  1  b =  0  c =  1  d =  0
3047d is (a / b)
3048  a =  0  b =  1  c =  1  d =  0
3049d is (a * b)
3050  a =  1  b =  1  c =  1  d =  1
3051d is (a / (b + 1))
3052  a =  0  b =  0  c =  1  d =  0
3053d is (a * b)
3054  a =  1  b =  1  c =  1  d =  1
3055d is (a / (b + 1))
3056  a =  1  b =  0  c =  1  d =  1
3057  a =  1  b =  0  c =  1  d =  1
3058  a =  1  b =  0  c =  1  d =  1
3059  a =  1  b =  0  c =  1  d =  1
3060d is (a * b)
3061  a =  0  b =  1  c =  1  d =  0
3062  a =  0  b =  1  c =  1  d =  0
3063  a =  0  b =  1  c =  1  d =  0
3064  a =  0  b =  1  c =  1  d =  0
3065d is (a / (b + 1))
3066  a =  1  b =  0  c =  1  d =  1
3067d is (a * b)
3068  a =  0  b =  1  c =  1  d =  0
3069d is (a / b)
3070  a =  1  b =  1  c =  1  d =  1
3071  a =  1  b =  1  c =  1  d =  1
3072d is (a * b)
3073  a =  1  b =  0  c =  1  d =  0
3074d is (a / (b + 1))
3075  a =  0  b =  0  c =  1  d =  0
3076d is (a * b)
3077  a =  1  b =  0  c =  1  d =  0
3078d is (a / b)
3079  a =  0  b =  1  c =  1  d =  0
3080d is (a * b)
3081  a =  1  b =  1  c =  1  d =  1
3082d is (a / (b + 1))
3083  a =  1  b =  0  c =  1  d =  1
3084d is (a * b)
3085  a =  1  b =  1  c =  1  d =  1
3086d is (a / (b + 1))
3087  a =  1  b =  0  c =  1  d =  1
3088  a =  1  b =  0  c =  1  d =  1
3089d is (a * b)
3090  a =  0  b =  0  c =  1  d =  0
3091  a =  0  b =  0  c =  1  d =  0
3092d is (a / b)
3093  a =  0  b =  1  c =  1  d =  0
3094  a =  0  b =  1  c =  1  d =  0
3095d is (a * b)
3096  a =  1  b =  1  c =  1  d =  1
3097d is (a / b)
3098  a =  0  b =  1  c =  1  d =  0
3099d is (a * b)
3100  a =  1  b =  0  c =  1  d =  0
3101d is (a / b)
3102  a =  1  b =  1  c =  1  d =  1
3103  a =  1  b =  1  c =  1  d =  1
3104d is (a * b)
3105  a =  0  b =  1  c =  1  d =  0
3106d is (a / (b + 1))
3107  a =  1  b =  0  c =  1  d =  1
3108d is (a * b)
3109  a =  0  b =  0  c =  1  d =  0
3110d is (a / (b + 1))
3111  a =  1  b =  0  c =  1  d =  1
3112d is (a * b)
3113  a =  1  b =  1  c =  1  d =  1
3114  a =  1  b =  1  c =  1  d =  1
3115d is (a / (b + 1))
3116  a =  1  b =  0  c =  1  d =  1
3117d is (a * b)
3118  a =  1  b =  1  c =  1  d =  1
3119d is (a / (b + 1))
3120  a =  0  b =  0  c =  1  d =  0
3121  a =  0  b =  0  c =  1  d =  0
3122  a =  0  b =  0  c =  1  d =  0
3123  a =  0  b =  0  c =  1  d =  0
3124d is (a * b)
3125  a =  1  b =  1  c =  1  d =  1
3126d is (a / b)
3127  a =  0  b =  1  c =  1  d =  0
3128d is (a * b)
3129  a =  1  b =  1  c =  1  d =  1
3130  a =  1  b =  1  c =  1  d =  1
3131d is (a / (b + 1))
3132  a =  1  b =  0  c =  1  d =  1
3133d is (a * b)
3134  a =  0  b =  1  c =  1  d =  0
3135d is (a / b)
3136  a =  1  b =  1  c =  1  d =  1
3137d is (a * b)
3138  a =  0  b =  1  c =  1  d =  0
3139d is (a / (b + 1))
3140  a =  1  b =  0  c =  1  d =  1
3141  a =  1  b =  0  c =  1  d =  1
3142  a =  1  b =  0  c =  1  d =  1
3143d is (a * b)
3144  a =  1  b =  1  c =  1  d =  1
3145  a =  1  b =  1  c =  1  d =  1
3146d is (a / (b + 1))
3147  a =  0  b =  0  c =  1  d =  0
3148d is (a * b)
3149  a =  0  b =  1  c =  1  d =  0
3150d is (a / (b + 1))
3151  a =  0  b =  0  c =  1  d =  0
3152  a =  0  b =  0  c =  1  d =  0
3153d is (a * b)
3154  a =  1  b =  0  c =  1  d =  0
3155d is (a / (b + 1))
3156  a =  0  b =  0  c =  1  d =  0
3157d is (a * b)
3158  a =  1  b =  1  c =  1  d =  1
3159  a =  1  b =  1  c =  1  d =  1
3160  a =  1  b =  1  c =  1  d =  1
3161d is (a / b)
3162  a =  0  b =  1  c =  1  d =  0
3163d is (a * b)
3164  a =  1  b =  0  c =  1  d =  0
3165d is (a / b)
3166  a =  0  b =  1  c =  1  d =  0
3167d is (a * b)
3168  a =  1  b =  1  c =  1  d =  1
3169  a =  1  b =  1  c =  1  d =  1
3170d is (a / (b + 1))
3171  a =  1  b =  0  c =  1  d =  1
3172  a =  1  b =  0  c =  1  d =  1
3173  a =  1  b =  0  c =  1  d =  1
3174d is (a * b)
3175  a =  0  b =  1  c =  1  d =  0
3176  a =  0  b =  1  c =  1  d =  0
3177d is (a / (b + 1))
3178  a =  0  b =  0  c =  1  d =  0
3179d is (a * b)
3180  a =  0  b =  1  c =  1  d =  0
3181d is (a / (b + 1))
3182  a =  1  b =  0  c =  1  d =  1
3183d is (a * b)
3184  a =  0  b =  0  c =  1  d =  0
3185d is (a / (b + 1))
3186  a =  1  b =  0  c =  1  d =  1
3187  a =  1  b =  0  c =  1  d =  1
3188d is (a * b)
3189  a =  1  b =  1  c =  1  d =  1
3190d is (a / b)
3191  a =  0  b =  1  c =  1  d =  0
3192d is (a * b)
3193  a =  1  b =  1  c =  1  d =  1
3194d is (a / b)
3195  a =  0  b =  1  c =  1  d =  0
3196d is (a * b)
3197  a =  1  b =  0  c =  1  d =  0
3198d is (a / b)
3199  a =  1  b =  1  c =  1  d =  1
3200  a =  1  b =  1  c =  1  d =  1
3201  a =  1  b =  1  c =  1  d =  1
3202d is (a * b)
3203  a =  1  b =  0  c =  1  d =  0
3204d is (a / (b + 1))
3205  a =  0  b =  0  c =  1  d =  0
3206  a =  0  b =  0  c =  1  d =  0
3207d is (a * b)
3208  a =  0  b =  1  c =  1  d =  0
3209  a =  0  b =  1  c =  1  d =  0
3210d is (a / (b + 1))
3211  a =  1  b =  0  c =  1  d =  1
3212d is (a * b)
3213  a =  0  b =  1  c =  1  d =  0
3214d is (a / (b + 1))
3215  a =  1  b =  0  c =  1  d =  1
3216  a =  1  b =  0  c =  1  d =  1
3217  a =  1  b =  0  c =  1  d =  1
3218d is (a * b)
3219  a =  0  b =  0  c =  1  d =  0
3220d is (a / b)
3221  a =  1  b =  1  c =  1  d =  1
3222d is (a * b)
3223  a =  0  b =  1  c =  1  d =  0
3224d is (a / b)
3225  a =  1  b =  1  c =  1  d =  1
3226  a =  1  b =  1  c =  1  d =  1
3227d is (a * b)
3228  a =  1  b =  0  c =  1  d =  0
3229d is (a / b)
3230  a =  1  b =  1  c =  1  d =  1
3231  a =  1  b =  1  c =  1  d =  1
3232d is (a * b)
3233  a =  0  b =  1  c =  1  d =  0
3234d is (a / (b + 1))
3235  a =  0  b =  0  c =  1  d =  0
3236  a =  0  b =  0  c =  1  d =  0
3237  a =  0  b =  0  c =  1  d =  0
3238d is (a * b)
3239  a =  1  b =  1  c =  1  d =  1
3240d is (a / b)
3241  a =  0  b =  1  c =  1  d =  0
3242d is (a * b)
3243  a =  1  b =  0  c =  1  d =  0
3244d is (a / b)
3245  a =  1  b =  1  c =  1  d =  1
3246d is (a * b)
3247  a =  1  b =  0  c =  1  d =  0
3248d is (a / (b + 1))
3249  a =  0  b =  0  c =  1  d =  0
3250d is (a * b)
3251  a =  1  b =  0  c =  1  d =  0
3252d is (a / (b + 1))
3253  a =  0  b =  0  c =  1  d =  0
3254d is (a * b)
3255  a =  1  b =  1  c =  1  d =  1
3256  a =  1  b =  1  c =  1  d =  1
3257  a =  1  b =  1  c =  1  d =  1
3258  a =  1  b =  1  c =  1  d =  1
3259d is (a / (b + 1))
3260  a =  1  b =  0  c =  1  d =  1
3261d is (a * b)
3262  a =  0  b =  1  c =  1  d =  0
3263  a =  0  b =  1  c =  1  d =  0
3264  a =  0  b =  1  c =  1  d =  0
3265d is (a / (b + 1))
3266  a =  0  b =  0  c =  1  d =  0
3267d is (a * b)
3268  a =  1  b =  0  c =  1  d =  0
3269d is (a / (b + 1))
3270  a =  0  b =  0  c =  1  d =  0
3271d is (a * b)
3272  a =  1  b =  1  c =  1  d =  1
3273  a =  1  b =  1  c =  1  d =  1
3274d is (a / (b + 1))
3275  a =  1  b =  0  c =  1  d =  1
3276d is (a * b)
3277  a =  0  b =  1  c =  1  d =  0
3278d is (a / (b + 1))
3279  a =  1  b =  0  c =  1  d =  1
3280d is (a * b)
3281  a =  0  b =  0  c =  1  d =  0
3282d is (a / (b + 1))
3283  a =  1  b =  0  c =  1  d =  1
3284  a =  1  b =  0  c =  1  d =  1
3285d is (a * b)
3286  a =  1  b =  1  c =  1  d =  1
3287  a =  1  b =  1  c =  1  d =  1
3288  a =  1  b =  1  c =  1  d =  1
3289d is (a / b)
3290  a =  0  b =  1  c =  1  d =  0
3291d is (a * b)
3292  a =  0  b =  0  c =  1  d =  0
3293d is (a / b)
3294  a =  0  b =  1  c =  1  d =  0
3295  a =  0  b =  1  c =  1  d =  0
3296d is (a * b)
3297  a =  1  b =  1  c =  1  d =  1
3298d is (a / (b + 1))
3299  a =  0  b =  0  c =  1  d =  0
3300d is (a * b)
3301  a =  1  b =  0  c =  1  d =  0
3302  a =  1  b =  0  c =  1  d =  0
3303d is (a / b)
3304  a =  1  b =  1  c =  1  d =  1
3305d is (a * b)
3306  a =  0  b =  1  c =  1  d =  0
3307d is (a / (b + 1))
3308  a =  1  b =  0  c =  1  d =  1
3309d is (a * b)
3310  a =  0  b =  1  c =  1  d =  0
3311d is (a / (b + 1))
3312  a =  1  b =  0  c =  1  d =  1
3313  a =  1  b =  0  c =  1  d =  1
3314  a =  1  b =  0  c =  1  d =  1
3315  a =  1  b =  0  c =  1  d =  1
3316d is (a * b)
3317  a =  1  b =  1  c =  1  d =  1
3318d is (a / b)
3319  a =  0  b =  1  c =  1  d =  0
3320  a =  0  b =  1  c =  1  d =  0
3321  a =  0  b =  1  c =  1  d =  0
3322d is (a * b)
3323  a =  0  b =  0  c =  1  d =  0
3324d is (a / b)
3325  a =  1  b =  1  c =  1  d =  1
3326d is (a * b)
3327  a =  0  b =  1  c =  1  d =  0
3328d is (a / b)
3329  a =  1  b =  1  c =  1  d =  1
3330d is (a * b)
3331  a =  1  b =  0  c =  1  d =  0
3332  a =  1  b =  0  c =  1  d =  0
3333d is (a / (b + 1))
3334  a =  0  b =  0  c =  1  d =  0
3335d is (a * b)
3336  a =  1  b =  1  c =  1  d =  1
3337d is (a / b)
3338  a =  0  b =  1  c =  1  d =  0
3339d is (a * b)
3340  a =  1  b =  0  c =  1  d =  0
3341d is (a / b)
3342  a =  1  b =  1  c =  1  d =  1
3343d is (a * b)
3344  a =  1  b =  0  c =  1  d =  0
3345  a =  1  b =  0  c =  1  d =  0
3346  a =  1  b =  0  c =  1  d =  0
3347d is (a / (b + 1))
3348  a =  0  b =  0  c =  1  d =  0
3349d is (a * b)
3350  a =  0  b =  1  c =  1  d =  0
3351  a =  0  b =  1  c =  1  d =  0
3352  a =  0  b =  1  c =  1  d =  0
3353d is (a / b)
3354  a =  1  b =  1  c =  1  d =  1
3355d is (a * b)
3356  a =  0  b =  0  c =  1  d =  0
3357d is (a / b)
3358  a =  1  b =  1  c =  1  d =  1
3359  a =  1  b =  1  c =  1  d =  1
3360  a =  1  b =  1  c =  1  d =  1
3361d is (a * b)
3362  a =  0  b =  0  c =  1  d =  0
3363d is (a / (b + 1))
3364  a =  1  b =  0  c =  1  d =  1
3365d is (a * b)
3366  a =  0  b =  0  c =  1  d =  0
3367d is (a / b)
3368  a =  1  b =  1  c =  1  d =  1
3369  a =  1  b =  1  c =  1  d =  1
3370d is (a * b)
3371  a =  1  b =  0  c =  1  d =  0
3372d is (a / b)
3373  a =  1  b =  1  c =  1  d =  1
3374d is (a * b)
3375  a =  1  b =  0  c =  1  d =  0
3376d is (a / (b + 1))
3377  a =  0  b =  0  c =  1  d =  0
3378  a =  0  b =  0  c =  1  d =  0
3379  a =  0  b =  0  c =  1  d =  0
3380d is (a * b)
3381  a =  0  b =  1  c =  1  d =  0
3382d is (a / b)
3383  a =  1  b =  1  c =  1  d =  1
3384d is (a * b)
3385  a =  0  b =  1  c =  1  d =  0
3386d is (a / b)
3387  a =  1  b =  1  c =  1  d =  1
3388d is (a * b)
3389  a =  1  b =  0  c =  1  d =  0
3390d is (a / b)
3391  a =  1  b =  1  c =  1  d =  1
3392d is (a * b)
3393