62 unsigned char x,
y,
z;
70 case BO_NOT: reg[pc->
y] = !reg[pc->
x];
break;
71 case BO_AND: reg[pc->
z] = reg[pc->
x] & reg[pc->
y];
break;
72 case BO_OR: reg[pc->
z] = reg[pc->
x] | reg[pc->
y];
break;
73 case BO_IMP: reg[pc->
z] = (!reg[pc->
x]) | reg[pc->
y];
break;
74 case BO_XOR: reg[pc->
z] = reg[pc->
x] ^ reg[pc->
y];
break;
75 case BO_EQV: reg[pc->
z] = reg[pc->
x] == reg[pc->
y];
break;
90 case BO_NOT: reg[pc->
y] = !reg[pc->
x];
break;
91 case BO_AND: reg[pc->
z] = reg[pc->
x] && reg[pc->
y];
break;
92 case BO_OR: reg[pc->
z] = reg[pc->
x] || reg[pc->
y];
break;
93 case BO_IMP: reg[pc->
z] = (reg[pc->
x] >> reg[pc->
y]);
break;
94 case BO_XOR: reg[pc->
z] = reg[pc->
x] ^ reg[pc->
y];
break;
95 case BO_EQV: reg[pc->
z] = (reg[pc->
x] == reg[pc->
y]);
break;
119 :
Test(
"MiniModel::BoolExpr::Int::"+s+
"::"+
str(c0),4,0,1),
123 int reg[4] = {(
x[0] !=
x[2]),
x[1],
149 :
Test(
"MiniModel::BoolExpr::Var::"+s,5,0,1),
bis(bis0) {}
152 int reg[4] = {(
x[0] >
x[2]),
x[1],
169 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
173 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
177 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
181 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
186 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
191 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
196 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
201 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
205 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
209 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
213 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
218 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
223 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
228 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
233 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
237 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
241 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
245 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
250 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
255 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
260 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
265 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
269 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
273 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
277 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
282 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
287 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
292 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
297 {
BO_AND,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
301 {
BO_AND,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
305 {
BO_AND,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
309 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_AND,2,3,1},
314 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
319 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
324 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
329 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
333 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
337 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
341 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
346 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
351 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
356 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
361 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
365 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
369 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
373 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
378 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
383 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
388 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
393 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
397 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
401 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
405 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
410 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
415 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
420 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
425 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
429 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
433 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
437 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
442 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
447 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
452 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
457 {
BO_AND,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
461 {
BO_AND,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
465 {
BO_AND,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
469 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_OR ,2,3,1},
474 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
479 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
484 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
489 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
493 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
497 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
501 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
506 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
511 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
516 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
521 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
525 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
529 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
533 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
538 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
543 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
548 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
553 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
557 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
561 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
565 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
570 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
575 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
580 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
585 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
589 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
593 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
597 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
602 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
607 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
612 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
617 {
BO_AND,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
621 {
BO_AND,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
625 {
BO_AND,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
629 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_IMP,2,3,1},
634 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
639 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
644 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
649 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
653 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
657 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
661 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
666 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
671 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
676 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
681 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
685 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
689 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
693 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
698 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
703 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
708 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
713 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
717 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
721 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
725 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
730 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
735 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
740 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
745 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
749 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
753 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
757 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
762 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
767 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
772 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
777 {
BO_AND,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
781 {
BO_AND,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
785 {
BO_AND,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
789 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_XOR,2,3,1},
794 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
799 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
804 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
809 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
813 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
817 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
821 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
826 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
831 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
836 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
841 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
845 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
849 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
853 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
858 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
863 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
868 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
873 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
877 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
881 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
885 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
890 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
895 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
900 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
905 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
909 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
913 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
917 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
922 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
927 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
932 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
937 {
BO_AND,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
941 {
BO_AND,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
945 {
BO_AND,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
949 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_AND,0,1,0},{
BO_EQV,2,3,1},
954 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_AND,0,1,0},
959 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
964 {
BO_AND,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
969 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
973 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
977 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
981 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
986 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
991 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
996 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1001 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
1005 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
1009 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
1013 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1018 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1023 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1028 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1033 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
1037 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
1041 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
1045 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1050 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1055 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1060 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1065 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
1069 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
1073 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
1077 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1082 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1087 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1092 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1097 {
BO_OR ,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
1101 {
BO_OR ,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
1105 {
BO_OR ,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
1109 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_AND,2,3,1},
1114 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1119 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1124 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1129 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
1133 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
1137 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
1141 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1146 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1151 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1156 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1161 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
1165 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
1169 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
1173 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1178 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1183 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1188 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1193 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
1197 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
1201 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
1205 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1210 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1215 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1220 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1225 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
1229 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
1233 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
1237 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1242 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1247 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1252 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1257 {
BO_OR ,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
1261 {
BO_OR ,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
1265 {
BO_OR ,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
1269 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_OR ,2,3,1},
1274 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1279 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1284 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1289 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
1293 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
1297 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
1301 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1306 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1311 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1316 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1321 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
1325 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
1329 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
1333 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1338 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1343 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1348 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1353 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
1357 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
1361 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
1365 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1370 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1375 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1380 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1385 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
1389 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
1393 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
1397 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1402 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1407 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1412 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1417 {
BO_OR ,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
1421 {
BO_OR ,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
1425 {
BO_OR ,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
1429 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_IMP,2,3,1},
1434 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1439 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1444 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
1449 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
1453 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
1457 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
1461 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1466 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1471 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1476 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1481 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
1485 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
1489 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
1493 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1498 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1503 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1508 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1513 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
1517 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
1521 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
1525 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1530 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1535 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1540 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1545 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
1549 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
1553 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
1557 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1562 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1567 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1572 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1577 {
BO_OR ,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
1581 {
BO_OR ,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
1585 {
BO_OR ,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
1589 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_XOR,2,3,1},
1594 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1599 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1604 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
1609 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
1613 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
1617 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
1621 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1626 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1631 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1636 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1641 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
1645 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
1649 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
1653 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1658 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1663 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1668 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1673 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
1677 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
1681 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
1685 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1690 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1695 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1700 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1705 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
1709 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
1713 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
1717 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1722 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1727 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1732 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1737 {
BO_OR ,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
1741 {
BO_OR ,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
1745 {
BO_OR ,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
1749 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_OR ,0,1,0},{
BO_EQV,2,3,1},
1754 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_OR ,0,1,0},
1759 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1764 {
BO_OR ,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
1769 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
1773 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
1777 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
1781 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1786 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1791 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1796 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1801 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
1805 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
1809 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
1813 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1818 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1823 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1828 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1833 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
1837 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
1841 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
1845 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1850 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1855 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1860 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1865 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
1869 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
1873 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
1877 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1882 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1887 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1892 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1897 {
BO_IMP,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
1901 {
BO_IMP,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
1905 {
BO_IMP,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
1909 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_AND,2,3,1},
1914 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1919 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1924 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
1929 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
1933 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
1937 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
1941 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
1946 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1951 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1956 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1961 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
1965 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
1969 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
1973 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
1978 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
1983 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1988 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
1993 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
1997 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
2001 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
2005 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
2010 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2015 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2020 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2025 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
2029 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
2033 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
2037 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
2042 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2047 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2052 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2057 {
BO_IMP,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
2061 {
BO_IMP,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
2065 {
BO_IMP,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
2069 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_OR ,2,3,1},
2074 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2079 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2084 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2089 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
2093 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
2097 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
2101 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2106 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2111 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2116 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2121 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
2125 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
2129 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
2133 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2138 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2143 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2148 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2153 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
2157 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
2161 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
2165 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2170 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2175 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2180 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2185 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
2189 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
2193 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
2197 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2202 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2207 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2212 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2217 {
BO_IMP,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
2221 {
BO_IMP,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
2225 {
BO_IMP,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
2229 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_IMP,2,3,1},
2234 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2239 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2244 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2249 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
2253 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
2257 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
2261 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2266 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2271 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2276 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2281 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
2285 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
2289 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
2293 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2298 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2303 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2308 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2313 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
2317 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
2321 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
2325 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2330 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2335 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2340 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2345 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
2349 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
2353 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
2357 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2362 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2367 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2372 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2377 {
BO_IMP,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
2381 {
BO_IMP,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
2385 {
BO_IMP,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
2389 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_XOR,2,3,1},
2394 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2399 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2404 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
2409 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
2413 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
2417 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
2421 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2426 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2431 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2436 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2441 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
2445 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
2449 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
2453 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2458 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2463 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2468 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2473 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
2477 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
2481 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
2485 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2490 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2495 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2500 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2505 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
2509 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
2513 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
2517 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2522 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2527 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2532 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2537 {
BO_IMP,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
2541 {
BO_IMP,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
2545 {
BO_IMP,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
2549 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_IMP,0,1,0},{
BO_EQV,2,3,1},
2554 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_IMP,0,1,0},
2559 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2564 {
BO_IMP,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
2569 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
2573 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
2577 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
2581 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2586 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2591 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2596 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2601 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
2605 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
2609 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
2613 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2618 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2623 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2628 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2633 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
2637 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
2641 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
2645 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2650 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2655 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2660 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2665 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
2669 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
2673 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
2677 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2682 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2687 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2692 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2697 {
BO_XOR,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
2701 {
BO_XOR,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
2705 {
BO_XOR,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
2709 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_AND,2,3,1},
2714 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2719 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2724 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
2729 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
2733 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
2737 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
2741 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2746 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2751 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2756 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2761 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
2765 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
2769 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
2773 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2778 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2783 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2788 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2793 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
2797 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
2801 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
2805 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2810 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2815 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2820 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2825 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
2829 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
2833 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
2837 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2842 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2847 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2852 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2857 {
BO_XOR,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
2861 {
BO_XOR,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
2865 {
BO_XOR,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
2869 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_OR ,2,3,1},
2874 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2879 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2884 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
2889 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
2893 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
2897 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
2901 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
2906 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2911 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2916 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2921 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
2925 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
2929 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
2933 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
2938 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2943 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2948 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2953 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
2957 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
2961 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
2965 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
2970 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
2975 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2980 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
2985 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
2989 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
2993 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
2997 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
3002 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3007 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3012 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3017 {
BO_XOR,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
3021 {
BO_XOR,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
3025 {
BO_XOR,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
3029 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_IMP,2,3,1},
3034 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3039 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3044 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3049 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
3053 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
3057 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
3061 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3066 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3071 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3076 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3081 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
3085 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
3089 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
3093 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3098 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3103 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3108 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3113 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
3117 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
3121 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
3125 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3130 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3135 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3140 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3145 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
3149 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
3153 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
3157 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3162 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3167 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3172 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3177 {
BO_XOR,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
3181 {
BO_XOR,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
3185 {
BO_XOR,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
3189 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_XOR,2,3,1},
3194 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3199 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3204 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3209 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
3213 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
3217 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
3221 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3226 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3231 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3236 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3241 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
3245 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
3249 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
3253 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3258 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3263 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3268 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3273 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
3277 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
3281 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
3285 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3290 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3295 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3300 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3305 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
3309 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
3313 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
3317 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3322 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3327 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3332 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3337 {
BO_XOR,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
3341 {
BO_XOR,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
3345 {
BO_XOR,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
3349 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_XOR,0,1,0},{
BO_EQV,2,3,1},
3354 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_XOR,0,1,0},
3359 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3364 {
BO_XOR,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
3369 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_AND,0,1,0},
3373 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_AND,0,3,0},
3377 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_AND,0,1,0},
3381 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3386 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3391 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3396 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3401 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_OR ,0,1,0},
3405 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_OR ,0,3,0},
3409 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_OR ,0,1,0},
3413 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3418 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3423 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3428 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3433 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_IMP,0,1,0},
3437 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_IMP,0,3,0},
3441 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_IMP,0,1,0},
3445 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3450 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3455 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3460 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3465 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_XOR,0,1,0},
3469 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_XOR,0,3,0},
3473 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_XOR,0,1,0},
3477 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3482 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3487 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3492 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3497 {
BO_EQV,0,1,0},{
BO_AND,2,3,1},{
BO_EQV,0,1,0},
3501 {
BO_EQV,0,1,0},{
BO_AND,0,2,0},{
BO_EQV,0,3,0},
3505 {
BO_EQV,2,3,2},{
BO_AND,1,2,1},{
BO_EQV,0,1,0},
3509 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_AND,2,3,1},
3514 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3519 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3524 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_AND,2,3,1},{
BO_NOT,1,1,0},
3529 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_AND,0,1,0},
3533 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_AND,0,3,0},
3537 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_AND,0,1,0},
3541 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3546 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3551 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3556 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3561 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_OR ,0,1,0},
3565 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_OR ,0,3,0},
3569 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_OR ,0,1,0},
3573 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3578 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3583 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3588 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3593 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_IMP,0,1,0},
3597 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_IMP,0,3,0},
3601 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_IMP,0,1,0},
3605 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3610 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3615 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3620 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3625 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_XOR,0,1,0},
3629 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_XOR,0,3,0},
3633 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_XOR,0,1,0},
3637 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3642 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3647 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3652 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3657 {
BO_EQV,0,1,0},{
BO_OR ,2,3,1},{
BO_EQV,0,1,0},
3661 {
BO_EQV,0,1,0},{
BO_OR ,0,2,0},{
BO_EQV,0,3,0},
3665 {
BO_EQV,2,3,2},{
BO_OR ,1,2,1},{
BO_EQV,0,1,0},
3669 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_OR ,2,3,1},
3674 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3679 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3684 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_OR ,2,3,1},{
BO_NOT,1,1,0},
3689 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_AND,0,1,0},
3693 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_AND,0,3,0},
3697 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_AND,0,1,0},
3701 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3706 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3711 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3716 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3721 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_OR ,0,1,0},
3725 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_OR ,0,3,0},
3729 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_OR ,0,1,0},
3733 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3738 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3743 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3748 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3753 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_IMP,0,1,0},
3757 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_IMP,0,3,0},
3761 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_IMP,0,1,0},
3765 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3770 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3775 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3780 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3785 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_XOR,0,1,0},
3789 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_XOR,0,3,0},
3793 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_XOR,0,1,0},
3797 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3802 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3807 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3812 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3817 {
BO_EQV,0,1,0},{
BO_IMP,2,3,1},{
BO_EQV,0,1,0},
3821 {
BO_EQV,0,1,0},{
BO_IMP,0,2,0},{
BO_EQV,0,3,0},
3825 {
BO_EQV,2,3,2},{
BO_IMP,1,2,1},{
BO_EQV,0,1,0},
3829 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_IMP,2,3,1},
3834 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3839 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3844 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_IMP,2,3,1},{
BO_NOT,1,1,0},
3849 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_AND,0,1,0},
3853 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_AND,0,3,0},
3857 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_AND,0,1,0},
3861 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3866 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3871 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3876 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3881 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_OR ,0,1,0},
3885 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_OR ,0,3,0},
3889 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_OR ,0,1,0},
3893 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3898 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3903 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3908 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3913 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_IMP,0,1,0},
3917 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_IMP,0,3,0},
3921 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_IMP,0,1,0},
3925 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3930 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3935 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3940 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3945 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_XOR,0,1,0},
3949 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_XOR,0,3,0},
3953 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_XOR,0,1,0},
3957 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3962 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3967 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3972 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
3977 {
BO_EQV,0,1,0},{
BO_XOR,2,3,1},{
BO_EQV,0,1,0},
3981 {
BO_EQV,0,1,0},{
BO_XOR,0,2,0},{
BO_EQV,0,3,0},
3985 {
BO_EQV,2,3,2},{
BO_XOR,1,2,1},{
BO_EQV,0,1,0},
3989 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_XOR,2,3,1},
3994 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
3999 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
4004 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_XOR,2,3,1},{
BO_NOT,1,1,0},
4009 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_AND,0,1,0},
4013 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_AND,0,3,0},
4017 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_AND,0,1,0},
4021 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4026 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4031 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4036 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4041 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_OR ,0,1,0},
4045 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_OR ,0,3,0},
4049 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_OR ,0,1,0},
4053 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4058 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4063 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4068 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4073 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_IMP,0,1,0},
4077 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_IMP,0,3,0},
4081 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_IMP,0,1,0},
4085 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4090 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4095 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4100 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4105 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_XOR,0,1,0},
4109 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_XOR,0,3,0},
4113 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_XOR,0,1,0},
4117 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4122 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4127 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4132 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4137 {
BO_EQV,0,1,0},{
BO_EQV,2,3,1},{
BO_EQV,0,1,0},
4141 {
BO_EQV,0,1,0},{
BO_EQV,0,2,0},{
BO_EQV,0,3,0},
4145 {
BO_EQV,2,3,2},{
BO_EQV,1,2,1},{
BO_EQV,0,1,0},
4149 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_EQV,0,1,0},{
BO_EQV,2,3,1},
4154 {
BO_NOT,0,0,0},{
BO_NOT,2,2,0},{
BO_NOT,0,0,0},{
BO_EQV,0,1,0},
4159 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4164 {
BO_EQV,0,1,0},{
BO_NOT,0,0,0},{
BO_EQV,2,3,1},{
BO_NOT,1,1,0},
4331 :
Test(
"MiniModel::BoolElement::"+s,2,0,1),
mode(m) {}
4334 return (
x[0] == 0) && (
x[1] == 1);
4346 rel(home, b0 && b1);
4371 for (
int i=0; i<n; i++) {
4375 }
else if (i < 100) {
Passing Boolean variables.
Boolean integer variables.
Base class for assignments
Test for Boolean element (regression)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
virtual bool solution(const Assignment &x) const
Test whether x is solution
BoolElement(const std::string &s, int m)
Create and register test.
Test Boolean expressions with integer result
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
const BoolInstr * bis
Boolean instruction sequence.
int c
Result of expression.
BoolExprInt(const BoolInstr *bis0, const std::string &s, int c0)
Create and register test.
virtual bool solution(const Assignment &x) const
Test whether x is solution
Test posting Boolean expressions
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.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Type for representing a Boolean instruction.
BoolOpcode o
Which instruction to execute.
unsigned char z
Instruction arguments, z is destination (or y for negation)
Help class to create and register tests.
Create(void)
Perform creation and registration.
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Gecode toplevel namespace
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
IntVar expr(Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
Post linear expression and return its value.
void element(Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF)
Post domain consistent propagator for .
Post propagator for SetVar x
Tests for minimal modelling constraints (Boolean)
BoolOpcode
Boolean opcode.
int eval(const BoolInstr *pc, int reg[])
Executes Boolean instruction for evaluation (checking)
Testing finite domain integers.
#define GECODE_NEVER
Assert that this command is never executed.