46 namespace Test {
namespace Int {
49 namespace MiniModelBoolean {
66 unsigned char x,
y,
z;
74 case BO_NOT: reg[pc->
y] = !reg[pc->
x];
break;
75 case BO_AND: reg[pc->
z] = reg[pc->
x] & reg[pc->
y];
break;
76 case BO_OR: reg[pc->
z] = reg[pc->
x] | reg[pc->
y];
break;
77 case BO_IMP: reg[pc->
z] = (!reg[pc->
x]) | reg[pc->
y];
break;
78 case BO_XOR: reg[pc->
z] = reg[pc->
x] ^ reg[pc->
y];
break;
79 case BO_EQV: reg[pc->
z] = reg[pc->
x] == reg[pc->
y];
break;
94 case BO_NOT: reg[pc->
y] = !reg[pc->
x];
break;
95 case BO_AND: reg[pc->
z] = reg[pc->
x] && reg[pc->
y];
break;
96 case BO_OR: reg[pc->
z] = reg[pc->
x] || reg[pc->
y];
break;
97 case BO_IMP: reg[pc->
z] = (reg[pc->
x] >> reg[pc->
y]);
break;
98 case BO_XOR: reg[pc->
z] = reg[pc->
x] ^ reg[pc->
y];
break;
99 case BO_EQV: reg[pc->
z] = (reg[pc->
x] == reg[pc->
y]);
break;
100 case BO_HLT:
return reg[pc->
x];
123 :
Test(
"MiniModel::BoolExpr::Int::"+s+
"::"+str(c0),4,0,1),
127 int reg[4] = {(x[0] != x[2]), x[1],
129 return eval(bis, reg) ==
c;
135 (x[0] != x[2]),
channel(home,x[1]),
153 :
Test(
"MiniModel::BoolExpr::Var::"+s,5,0,1), bis(bis0) {}
156 int reg[4] = {(x[0] > x[2]), x[1],
158 return eval(bis, reg) == x[4];
164 (x[0] > x[2]),
channel(home,x[1]),
173 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
177 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
181 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
185 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
190 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
195 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
200 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
205 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
209 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
213 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
217 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
222 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
227 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
232 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
237 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
241 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
245 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
249 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
254 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
259 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
264 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
269 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
273 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
277 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
281 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
286 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
291 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
296 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
301 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
305 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
309 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
313 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
318 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
323 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
328 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
333 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
337 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
341 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
345 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
350 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
355 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
360 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
365 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
369 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
373 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
377 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
382 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
387 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
392 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
397 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
401 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
405 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
409 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
414 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
419 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
424 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
429 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
433 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
437 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
441 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
446 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
451 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
456 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
461 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
465 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
469 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
473 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
478 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
483 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
488 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
493 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
497 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
501 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
505 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
510 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
515 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
520 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
525 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
529 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
533 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
537 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
542 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
547 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
552 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
557 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
561 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
565 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
569 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
574 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
579 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
584 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
589 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
593 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
597 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
601 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
606 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
611 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
616 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
621 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
625 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
629 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
633 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
638 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
643 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
648 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
653 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
657 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
661 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
665 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
670 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
675 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
680 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
685 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
689 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
693 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
697 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
702 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
707 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
712 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
717 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
721 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
725 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
729 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
734 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
739 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
744 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
749 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
753 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
757 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
761 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
766 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
771 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
776 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
781 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
785 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
789 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
793 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
798 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
803 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
808 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
813 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
817 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
821 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
825 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
830 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
835 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
840 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
845 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
849 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
853 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
857 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
862 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
867 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
872 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
877 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
881 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
885 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
889 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
894 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
899 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
904 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
909 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
913 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
917 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
921 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
926 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
931 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
936 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
941 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
945 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
949 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
953 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
958 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
963 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
968 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
973 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
977 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
981 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
985 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
990 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
995 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1000 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1005 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
1009 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
1013 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
1017 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1022 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1027 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1032 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1037 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
1041 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
1045 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
1049 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1054 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1059 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1064 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1069 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
1073 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
1077 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
1081 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1086 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1091 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1096 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1101 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
1105 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
1109 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
1113 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1118 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1123 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1128 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1133 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
1137 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
1141 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
1145 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1150 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1155 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1160 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1165 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
1169 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
1173 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
1177 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1182 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1187 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1192 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1197 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
1201 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
1205 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
1209 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1214 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1219 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1224 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1229 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
1233 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
1237 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
1241 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1246 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1251 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1256 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1261 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
1265 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
1269 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
1273 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1278 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1283 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1288 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1293 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
1297 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
1301 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
1305 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1310 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1315 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1320 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1325 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
1329 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
1333 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
1337 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1342 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1347 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1352 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1357 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
1361 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
1365 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
1369 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1374 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1379 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1384 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1389 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
1393 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
1397 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
1401 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1406 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1411 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1416 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1421 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
1425 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
1429 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
1433 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1438 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1443 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1448 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1453 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
1457 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
1461 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
1465 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1470 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1475 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1480 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1485 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
1489 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
1493 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
1497 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1502 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1507 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1512 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1517 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
1521 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
1525 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
1529 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1534 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1539 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1544 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1549 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
1553 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
1557 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
1561 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1566 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1571 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1576 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1581 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
1585 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
1589 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
1593 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1598 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1603 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1608 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1613 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
1617 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
1621 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
1625 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1630 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1635 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1640 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1645 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
1649 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
1653 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
1657 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1662 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1667 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1672 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1677 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
1681 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
1685 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
1689 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1694 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1699 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1704 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1709 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
1713 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
1717 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
1721 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1726 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1731 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1736 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1741 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
1745 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
1749 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
1753 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1758 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1763 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1768 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1773 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
1777 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
1781 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
1785 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1790 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1795 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1800 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1805 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
1809 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
1813 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
1817 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1822 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1827 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1832 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1837 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
1841 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
1845 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
1849 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1854 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1859 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1864 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1869 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
1873 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
1877 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
1881 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1886 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1891 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1896 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1901 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
1905 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
1909 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
1913 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1918 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1923 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1928 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1933 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
1937 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
1941 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
1945 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
1950 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1955 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1960 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1965 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
1969 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
1973 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
1977 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
1982 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1987 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1992 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1997 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
2001 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
2005 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
2009 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
2014 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2019 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2024 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2029 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
2033 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
2037 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
2041 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
2046 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2051 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2056 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2061 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
2065 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
2069 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
2073 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
2078 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2083 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2088 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2093 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
2097 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
2101 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
2105 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2110 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2115 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2120 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2125 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
2129 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
2133 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
2137 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2142 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2147 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2152 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2157 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
2161 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
2165 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
2169 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2174 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2179 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2184 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2189 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
2193 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
2197 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
2201 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2206 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2211 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2216 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2221 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
2225 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
2229 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
2233 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2238 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2243 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2248 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2253 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
2257 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
2261 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
2265 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2270 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2275 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2280 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2285 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
2289 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
2293 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
2297 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2302 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2307 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2312 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2317 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
2321 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
2325 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
2329 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2334 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2339 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2344 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2349 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
2353 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
2357 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
2361 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2366 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2371 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2376 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2381 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
2385 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
2389 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
2393 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2398 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2403 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2408 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2413 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
2417 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
2421 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
2425 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2430 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2435 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2440 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2445 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
2449 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
2453 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
2457 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2462 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2467 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2472 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2477 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
2481 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
2485 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
2489 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2494 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2499 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2504 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2509 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
2513 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
2517 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
2521 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2526 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2531 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2536 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2541 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
2545 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
2549 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
2553 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2558 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2563 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2568 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2573 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
2577 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
2581 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
2585 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2590 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2595 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2600 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2605 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
2609 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
2613 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
2617 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2622 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2627 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2632 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2637 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
2641 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
2645 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
2649 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2654 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2659 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2664 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2669 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
2673 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
2677 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
2681 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2686 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2691 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2696 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2701 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
2705 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
2709 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
2713 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2718 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2723 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2728 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2733 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
2737 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
2741 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
2745 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2750 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2755 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2760 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2765 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
2769 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
2773 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
2777 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2782 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2787 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2792 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2797 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
2801 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
2805 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
2809 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2814 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2819 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2824 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2829 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
2833 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
2837 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
2841 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2846 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2851 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2856 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2861 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
2865 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
2869 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
2873 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2878 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2883 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2888 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2893 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
2897 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
2901 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
2905 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
2910 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2915 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2920 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2925 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
2929 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
2933 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
2937 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
2942 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2947 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2952 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2957 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
2961 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
2965 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
2969 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
2974 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2979 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2984 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2989 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
2993 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
2997 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
3001 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
3006 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3011 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3016 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3021 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
3025 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
3029 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
3033 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
3038 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3043 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3048 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3053 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
3057 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
3061 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
3065 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3070 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3075 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3080 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3085 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
3089 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
3093 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
3097 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3102 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3107 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3112 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3117 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
3121 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
3125 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
3129 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3134 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3139 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3144 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3149 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
3153 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
3157 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
3161 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3166 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3171 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3176 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3181 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
3185 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
3189 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
3193 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3198 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3203 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3208 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3213 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
3217 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
3221 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
3225 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3230 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3235 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3240 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3245 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
3249 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
3253 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
3257 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3262 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3267 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3272 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3277 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
3281 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
3285 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
3289 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3294 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3299 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3304 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3309 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
3313 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
3317 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
3321 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3326 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3331 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3336 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3341 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
3345 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
3349 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
3353 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3358 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3363 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3368 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3373 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
3377 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
3381 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
3385 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3390 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3395 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3400 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3405 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
3409 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
3413 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
3417 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3422 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3427 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3432 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3437 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
3441 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
3445 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
3449 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3454 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3459 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3464 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3469 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
3473 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
3477 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
3481 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3486 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3491 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3496 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3501 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
3505 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
3509 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
3513 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3518 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3523 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3528 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3533 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
3537 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
3541 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
3545 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3550 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3555 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3560 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3565 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
3569 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
3573 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
3577 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3582 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3587 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3592 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3597 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
3601 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
3605 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
3609 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3614 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3619 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3624 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3629 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
3633 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
3637 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
3641 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3646 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3651 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3656 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3661 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
3665 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
3669 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
3673 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3678 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3683 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3688 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3693 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
3697 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
3701 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
3705 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3710 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3715 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3720 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3725 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
3729 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
3733 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
3737 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3742 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3747 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3752 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3757 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
3761 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
3765 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
3769 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3774 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3779 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3784 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3789 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
3793 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
3797 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
3801 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3806 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3811 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3816 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3821 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
3825 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
3829 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
3833 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3838 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3843 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3848 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3853 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
3857 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
3861 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
3865 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3870 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3875 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3880 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3885 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
3889 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
3893 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
3897 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3902 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3907 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3912 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3917 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
3921 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
3925 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
3929 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3934 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3939 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3944 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3949 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
3953 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
3957 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
3961 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3966 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3971 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3976 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3981 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
3985 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
3989 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
3993 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3998 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4003 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
4008 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
4013 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
4017 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
4021 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
4025 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4030 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4035 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4040 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4045 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
4049 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
4053 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
4057 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4062 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4067 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4072 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4077 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
4081 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
4085 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
4089 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4094 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4099 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4104 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4109 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
4113 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
4117 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
4121 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4126 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4131 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4136 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4141 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
4145 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
4149 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
4153 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4158 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4163 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4168 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4174 &bi000[0],&bi001[0],&bi002[0],&bi003[0],&bi004[0],&bi005[0],
4175 &bi006[0],&bi007[0],&bi008[0],&bi009[0],&bi010[0],&bi011[0],
4176 &bi012[0],&bi013[0],&bi014[0],&bi015[0],&bi016[0],&bi017[0],
4177 &bi018[0],&bi019[0],&bi020[0],&bi021[0],&bi022[0],&bi023[0],
4178 &bi024[0],&bi025[0],&bi026[0],&bi027[0],&bi028[0],&bi029[0],
4179 &bi030[0],&bi031[0],&bi032[0],&bi033[0],&bi034[0],&bi035[0],
4180 &bi036[0],&bi037[0],&bi038[0],&bi039[0],&bi040[0],&bi041[0],
4181 &bi042[0],&bi043[0],&bi044[0],&bi045[0],&bi046[0],&bi047[0],
4182 &bi048[0],&bi049[0],&bi050[0],&bi051[0],&bi052[0],&bi053[0],
4183 &bi054[0],&bi055[0],&bi056[0],&bi057[0],&bi058[0],&bi059[0],
4184 &bi060[0],&bi061[0],&bi062[0],&bi063[0],&bi064[0],&bi065[0],
4185 &bi066[0],&bi067[0],&bi068[0],&bi069[0],&bi070[0],&bi071[0],
4186 &bi072[0],&bi073[0],&bi074[0],&bi075[0],&bi076[0],&bi077[0],
4187 &bi078[0],&bi079[0],&bi080[0],&bi081[0],&bi082[0],&bi083[0],
4188 &bi084[0],&bi085[0],&bi086[0],&bi087[0],&bi088[0],&bi089[0],
4189 &bi090[0],&bi091[0],&bi092[0],&bi093[0],&bi094[0],&bi095[0],
4190 &bi096[0],&bi097[0],&bi098[0],&bi099[0],&bi100[0],&bi101[0],
4191 &bi102[0],&bi103[0],&bi104[0],&bi105[0],&bi106[0],&bi107[0],
4192 &bi108[0],&bi109[0],&bi110[0],&bi111[0],&bi112[0],&bi113[0],
4193 &bi114[0],&bi115[0],&bi116[0],&bi117[0],&bi118[0],&bi119[0],
4194 &bi120[0],&bi121[0],&bi122[0],&bi123[0],&bi124[0],&bi125[0],
4195 &bi126[0],&bi127[0],&bi128[0],&bi129[0],&bi130[0],&bi131[0],
4196 &bi132[0],&bi133[0],&bi134[0],&bi135[0],&bi136[0],&bi137[0],
4197 &bi138[0],&bi139[0],&bi140[0],&bi141[0],&bi142[0],&bi143[0],
4198 &bi144[0],&bi145[0],&bi146[0],&bi147[0],&bi148[0],&bi149[0],
4199 &bi150[0],&bi151[0],&bi152[0],&bi153[0],&bi154[0],&bi155[0],
4200 &bi156[0],&bi157[0],&bi158[0],&bi159[0],&bi160[0],&bi161[0],
4201 &bi162[0],&bi163[0],&bi164[0],&bi165[0],&bi166[0],&bi167[0],
4202 &bi168[0],&bi169[0],&bi170[0],&bi171[0],&bi172[0],&bi173[0],
4203 &bi174[0],&bi175[0],&bi176[0],&bi177[0],&bi178[0],&bi179[0],
4204 &bi180[0],&bi181[0],&bi182[0],&bi183[0],&bi184[0],&bi185[0],
4205 &bi186[0],&bi187[0],&bi188[0],&bi189[0],&bi190[0],&bi191[0],
4206 &bi192[0],&bi193[0],&bi194[0],&bi195[0],&bi196[0],&bi197[0],
4207 &bi198[0],&bi199[0],&bi200[0],&bi201[0],&bi202[0],&bi203[0],
4208 &bi204[0],&bi205[0],&bi206[0],&bi207[0],&bi208[0],&bi209[0],
4209 &bi210[0],&bi211[0],&bi212[0],&bi213[0],&bi214[0],&bi215[0],
4210 &bi216[0],&bi217[0],&bi218[0],&bi219[0],&bi220[0],&bi221[0],
4211 &bi222[0],&bi223[0],&bi224[0],&bi225[0],&bi226[0],&bi227[0],
4212 &bi228[0],&bi229[0],&bi230[0],&bi231[0],&bi232[0],&bi233[0],
4213 &bi234[0],&bi235[0],&bi236[0],&bi237[0],&bi238[0],&bi239[0],
4214 &bi240[0],&bi241[0],&bi242[0],&bi243[0],&bi244[0],&bi245[0],
4215 &bi246[0],&bi247[0],&bi248[0],&bi249[0],&bi250[0],&bi251[0],
4216 &bi252[0],&bi253[0],&bi254[0],&bi255[0],&bi256[0],&bi257[0],
4217 &bi258[0],&bi259[0],&bi260[0],&bi261[0],&bi262[0],&bi263[0],
4218 &bi264[0],&bi265[0],&bi266[0],&bi267[0],&bi268[0],&bi269[0],
4219 &bi270[0],&bi271[0],&bi272[0],&bi273[0],&bi274[0],&bi275[0],
4220 &bi276[0],&bi277[0],&bi278[0],&bi279[0],&bi280[0],&bi281[0],
4221 &bi282[0],&bi283[0],&bi284[0],&bi285[0],&bi286[0],&bi287[0],
4222 &bi288[0],&bi289[0],&bi290[0],&bi291[0],&bi292[0],&bi293[0],
4223 &bi294[0],&bi295[0],&bi296[0],&bi297[0],&bi298[0],&bi299[0],
4224 &bi300[0],&bi301[0],&bi302[0],&bi303[0],&bi304[0],&bi305[0],
4225 &bi306[0],&bi307[0],&bi308[0],&bi309[0],&bi310[0],&bi311[0],
4226 &bi312[0],&bi313[0],&bi314[0],&bi315[0],&bi316[0],&bi317[0],
4227 &bi318[0],&bi319[0],&bi320[0],&bi321[0],&bi322[0],&bi323[0],
4228 &bi324[0],&bi325[0],&bi326[0],&bi327[0],&bi328[0],&bi329[0],
4229 &bi330[0],&bi331[0],&bi332[0],&bi333[0],&bi334[0],&bi335[0],
4230 &bi336[0],&bi337[0],&bi338[0],&bi339[0],&bi340[0],&bi341[0],
4231 &bi342[0],&bi343[0],&bi344[0],&bi345[0],&bi346[0],&bi347[0],
4232 &bi348[0],&bi349[0],&bi350[0],&bi351[0],&bi352[0],&bi353[0],
4233 &bi354[0],&bi355[0],&bi356[0],&bi357[0],&bi358[0],&bi359[0],
4234 &bi360[0],&bi361[0],&bi362[0],&bi363[0],&bi364[0],&bi365[0],
4235 &bi366[0],&bi367[0],&bi368[0],&bi369[0],&bi370[0],&bi371[0],
4236 &bi372[0],&bi373[0],&bi374[0],&bi375[0],&bi376[0],&bi377[0],
4237 &bi378[0],&bi379[0],&bi380[0],&bi381[0],&bi382[0],&bi383[0],
4238 &bi384[0],&bi385[0],&bi386[0],&bi387[0],&bi388[0],&bi389[0],
4239 &bi390[0],&bi391[0],&bi392[0],&bi393[0],&bi394[0],&bi395[0],
4240 &bi396[0],&bi397[0],&bi398[0],&bi399[0],&bi400[0],&bi401[0],
4241 &bi402[0],&bi403[0],&bi404[0],&bi405[0],&bi406[0],&bi407[0],
4242 &bi408[0],&bi409[0],&bi410[0],&bi411[0],&bi412[0],&bi413[0],
4243 &bi414[0],&bi415[0],&bi416[0],&bi417[0],&bi418[0],&bi419[0],
4244 &bi420[0],&bi421[0],&bi422[0],&bi423[0],&bi424[0],&bi425[0],
4245 &bi426[0],&bi427[0],&bi428[0],&bi429[0],&bi430[0],&bi431[0],
4246 &bi432[0],&bi433[0],&bi434[0],&bi435[0],&bi436[0],&bi437[0],
4247 &bi438[0],&bi439[0],&bi440[0],&bi441[0],&bi442[0],&bi443[0],
4248 &bi444[0],&bi445[0],&bi446[0],&bi447[0],&bi448[0],&bi449[0],
4249 &bi450[0],&bi451[0],&bi452[0],&bi453[0],&bi454[0],&bi455[0],
4250 &bi456[0],&bi457[0],&bi458[0],&bi459[0],&bi460[0],&bi461[0],
4251 &bi462[0],&bi463[0],&bi464[0],&bi465[0],&bi466[0],&bi467[0],
4252 &bi468[0],&bi469[0],&bi470[0],&bi471[0],&bi472[0],&bi473[0],
4253 &bi474[0],&bi475[0],&bi476[0],&bi477[0],&bi478[0],&bi479[0],
4254 &bi480[0],&bi481[0],&bi482[0],&bi483[0],&bi484[0],&bi485[0],
4255 &bi486[0],&bi487[0],&bi488[0],&bi489[0],&bi490[0],&bi491[0],
4256 &bi492[0],&bi493[0],&bi494[0],&bi495[0],&bi496[0],&bi497[0],
4257 &bi498[0],&bi499[0],&bi500[0],&bi501[0],&bi502[0],&bi503[0],
4258 &bi504[0],&bi505[0],&bi506[0],&bi507[0],&bi508[0],&bi509[0],
4259 &bi510[0],&bi511[0],&bi512[0],&bi513[0],&bi514[0],&bi515[0],
4260 &bi516[0],&bi517[0],&bi518[0],&bi519[0],&bi520[0],&bi521[0],
4261 &bi522[0],&bi523[0],&bi524[0],&bi525[0],&bi526[0],&bi527[0],
4262 &bi528[0],&bi529[0],&bi530[0],&bi531[0],&bi532[0],&bi533[0],
4263 &bi534[0],&bi535[0],&bi536[0],&bi537[0],&bi538[0],&bi539[0],
4264 &bi540[0],&bi541[0],&bi542[0],&bi543[0],&bi544[0],&bi545[0],
4265 &bi546[0],&bi547[0],&bi548[0],&bi549[0],&bi550[0],&bi551[0],
4266 &bi552[0],&bi553[0],&bi554[0],&bi555[0],&bi556[0],&bi557[0],
4267 &bi558[0],&bi559[0],&bi560[0],&bi561[0],&bi562[0],&bi563[0],
4268 &bi564[0],&bi565[0],&bi566[0],&bi567[0],&bi568[0],&bi569[0],
4269 &bi570[0],&bi571[0],&bi572[0],&bi573[0],&bi574[0],&bi575[0],
4270 &bi576[0],&bi577[0],&bi578[0],&bi579[0],&bi580[0],&bi581[0],
4271 &bi582[0],&bi583[0],&bi584[0],&bi585[0],&bi586[0],&bi587[0],
4272 &bi588[0],&bi589[0],&bi590[0],&bi591[0],&bi592[0],&bi593[0],
4273 &bi594[0],&bi595[0],&bi596[0],&bi597[0],&bi598[0],&bi599[0],
4274 &bi600[0],&bi601[0],&bi602[0],&bi603[0],&bi604[0],&bi605[0],
4275 &bi606[0],&bi607[0],&bi608[0],&bi609[0],&bi610[0],&bi611[0],
4276 &bi612[0],&bi613[0],&bi614[0],&bi615[0],&bi616[0],&bi617[0],
4277 &bi618[0],&bi619[0],&bi620[0],&bi621[0],&bi622[0],&bi623[0],
4278 &bi624[0],&bi625[0],&bi626[0],&bi627[0],&bi628[0],&bi629[0],
4279 &bi630[0],&bi631[0],&bi632[0],&bi633[0],&bi634[0],&bi635[0],
4280 &bi636[0],&bi637[0],&bi638[0],&bi639[0],&bi640[0],&bi641[0],
4281 &bi642[0],&bi643[0],&bi644[0],&bi645[0],&bi646[0],&bi647[0],
4282 &bi648[0],&bi649[0],&bi650[0],&bi651[0],&bi652[0],&bi653[0],
4283 &bi654[0],&bi655[0],&bi656[0],&bi657[0],&bi658[0],&bi659[0],
4284 &bi660[0],&bi661[0],&bi662[0],&bi663[0],&bi664[0],&bi665[0],
4285 &bi666[0],&bi667[0],&bi668[0],&bi669[0],&bi670[0],&bi671[0],
4286 &bi672[0],&bi673[0],&bi674[0],&bi675[0],&bi676[0],&bi677[0],
4287 &bi678[0],&bi679[0],&bi680[0],&bi681[0],&bi682[0],&bi683[0],
4288 &bi684[0],&bi685[0],&bi686[0],&bi687[0],&bi688[0],&bi689[0],
4289 &bi690[0],&bi691[0],&bi692[0],&bi693[0],&bi694[0],&bi695[0],
4290 &bi696[0],&bi697[0],&bi698[0],&bi699[0],&bi700[0],&bi701[0],
4291 &bi702[0],&bi703[0],&bi704[0],&bi705[0],&bi706[0],&bi707[0],
4292 &bi708[0],&bi709[0],&bi710[0],&bi711[0],&bi712[0],&bi713[0],
4293 &bi714[0],&bi715[0],&bi716[0],&bi717[0],&bi718[0],&bi719[0],
4294 &bi720[0],&bi721[0],&bi722[0],&bi723[0],&bi724[0],&bi725[0],
4295 &bi726[0],&bi727[0],&bi728[0],&bi729[0],&bi730[0],&bi731[0],
4296 &bi732[0],&bi733[0],&bi734[0],&bi735[0],&bi736[0],&bi737[0],
4297 &bi738[0],&bi739[0],&bi740[0],&bi741[0],&bi742[0],&bi743[0],
4298 &bi744[0],&bi745[0],&bi746[0],&bi747[0],&bi748[0],&bi749[0],
4299 &bi750[0],&bi751[0],&bi752[0],&bi753[0],&bi754[0],&bi755[0],
4300 &bi756[0],&bi757[0],&bi758[0],&bi759[0],&bi760[0],&bi761[0],
4301 &bi762[0],&bi763[0],&bi764[0],&bi765[0],&bi766[0],&bi767[0],
4302 &bi768[0],&bi769[0],&bi770[0],&bi771[0],&bi772[0],&bi773[0],
4303 &bi774[0],&bi775[0],&bi776[0],&bi777[0],&bi778[0],&bi779[0],
4304 &bi780[0],&bi781[0],&bi782[0],&bi783[0],&bi784[0],&bi785[0],
4305 &bi786[0],&bi787[0],&bi788[0],&bi789[0],&bi790[0],&bi791[0],
4306 &bi792[0],&bi793[0],&bi794[0],&bi795[0],&bi796[0],&bi797[0],
4307 &bi798[0],&bi799[0],&bi800[0],&bi801[0],&bi802[0],&bi803[0],
4308 &bi804[0],&bi805[0],&bi806[0],&bi807[0],&bi808[0],&bi809[0],
4309 &bi810[0],&bi811[0],&bi812[0],&bi813[0],&bi814[0],&bi815[0],
4310 &bi816[0],&bi817[0],&bi818[0],&bi819[0],&bi820[0],&bi821[0],
4311 &bi822[0],&bi823[0],&bi824[0],&bi825[0],&bi826[0],&bi827[0],
4312 &bi828[0],&bi829[0],&bi830[0],&bi831[0],&bi832[0],&bi833[0],
4313 &bi834[0],&bi835[0],&bi836[0],&bi837[0],&bi838[0],&bi839[0],
4314 &bi840[0],&bi841[0],&bi842[0],&bi843[0],&bi844[0],&bi845[0],
4315 &bi846[0],&bi847[0],&bi848[0],&bi849[0],&bi850[0],&bi851[0],
4316 &bi852[0],&bi853[0],&bi854[0],&bi855[0],&bi856[0],&bi857[0],
4317 &bi858[0],&bi859[0],&bi860[0],&bi861[0],&bi862[0],&bi863[0],
4318 &bi864[0],&bi865[0],&bi866[0],&bi867[0],&bi868[0],&bi869[0],
4319 &bi870[0],&bi871[0],&bi872[0],&bi873[0],&bi874[0]
4335 :
Test(
"MiniModel::BoolElement::"+s,2,0,1), mode(m) {}
4338 return (x[0] == 0) && (x[1] == 1);
4350 rel(home, b0 && b1);
4375 for (
int i=0;
i<
n;
i++) {
4379 }
else if (
i < 100) {
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
const BoolInstr * bis
Boolean instruction sequence.
Type for representing a Boolean instruction.
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
int eval(const BoolInstr *pc, int reg[])
Executes Boolean instruction for evaluation (checking)
virtual bool solution(const Assignment &x) const
Test whether x is solution
BoolExprInt(const BoolInstr *bis0, const std::string &s, int c0)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Help class to create and register tests.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
virtual bool solution(const Assignment &x) const
Test whether x is solution
int c
Result of expression.
BoolOpcode o
Which instruction to execute.
Passing Boolean variables.
Create(void)
Perform creation and registration.
unsigned char z
Instruction arguments, z is destination (or y for negation)
BoolVar expr(Home home, const BoolExpr &e, IntPropLevel ipl)
Post Boolean expression and return its value.
Boolean integer variables.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Base class for assignments
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Test Boolean expressions with integer result
virtual bool solution(const Assignment &x) const
Test whether x is solution
BoolExprVar(const BoolInstr *bis0, const std::string &s)
Create and register test.
const BoolInstr * bis
Boolean instruction sequence.
Gecode toplevel namespace
BoolOpcode
Boolean opcode.
BoolElement(const std::string &s, int m)
Create and register test.
Test for Boolean element (regression)
#define GECODE_NEVER
Assert that this command is never executed.
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntPropLevel)
Post domain consistent propagator for .
Test posting Boolean expressions