Go to the documentation of this file.
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];
113 class BoolExprInt :
public Test {
123 :
Test(
"MiniModel::BoolExpr::Int::"+s+
"::"+
str(c0),4,0,1),
127 int reg[4] = {(
x[0] !=
x[2]),
x[1],
153 :
Test(
"MiniModel::BoolExpr::Var::"+s,5,0,1),
bis(bis0) {}
156 int reg[4] = {(
x[0] >
x[2]),
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},
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) {
BoolOpcode
Boolean opcode.
const BoolInstr * bis
Boolean instruction sequence.
virtual bool solution(const Assignment &x) const
Test whether x is solution
int eval(const BoolInstr *pc, int reg[])
Executes Boolean instruction for evaluation (checking)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
BoolVar expr(Home home, const BoolExpr &e, IntPropLevel ipl)
Post Boolean expression and return its value.
void element(Home home, IntSharedArray c, IntVar x0, IntVar x1, IntPropLevel)
Post domain consistent propagator for .
Gecode::IntArgs i(4, 1, 2, 3, 4)
unsigned char z
Instruction arguments, z is destination (or y for negation)
Test posting Boolean expressions
Gecode toplevel namespace
Node * x
Pointer to corresponding Boolean expression node.
Passing Boolean variables.
virtual bool solution(const Assignment &x) const
Test whether x is solution
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
int c
Result of expression.
virtual bool solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Boolean integer variables.
BoolElement(const std::string &s, int m)
Create and register test.
Help class to create and register tests.
#define GECODE_NEVER
Assert that this command is never executed.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Create(void)
Perform creation and registration.
Base class for assignments
BoolExprInt(const BoolInstr *bis0, const std::string &s, int c0)
Create and register test.
Test for Boolean element (regression)
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
BoolOpcode o
Which instruction to execute.
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
Type for representing a Boolean instruction.
BoolExprVar(const BoolInstr *bis0, const std::string &s)
Create and register test.
int n
Number of negative literals for node type.
const BoolInstr * bis
Boolean instruction sequence.
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.