42 namespace Test {
namespace Int {
45 namespace MiniModelBoolean {
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;
109 class BoolExprInt :
public Test {
119 :
Test(
"MiniModel::BoolExpr::Int::"+s+
"::"+
str(c0),4,0,1),
123 int reg[4] = {(x[0] != x[2]), x[1],
125 return eval(bis, reg) ==
c;
131 (x[0] != x[2]),
channel(home,x[1]),
149 :
Test(
"MiniModel::BoolExpr::Var::"+s,5,0,1), bis(bis0) {}
152 int reg[4] = {(x[0] > x[2]), x[1],
154 return eval(bis, reg) == x[4];
160 (x[0] > x[2]),
channel(home,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},
4170 &bi000[0],&bi001[0],&bi002[0],&bi003[0],&bi004[0],&bi005[0],
4171 &bi006[0],&bi007[0],&bi008[0],&bi009[0],&bi010[0],&bi011[0],
4172 &bi012[0],&bi013[0],&bi014[0],&bi015[0],&bi016[0],&bi017[0],
4173 &bi018[0],&bi019[0],&bi020[0],&bi021[0],&bi022[0],&bi023[0],
4174 &bi024[0],&bi025[0],&bi026[0],&bi027[0],&bi028[0],&bi029[0],
4175 &bi030[0],&bi031[0],&bi032[0],&bi033[0],&bi034[0],&bi035[0],
4176 &bi036[0],&bi037[0],&bi038[0],&bi039[0],&bi040[0],&bi041[0],
4177 &bi042[0],&bi043[0],&bi044[0],&bi045[0],&bi046[0],&bi047[0],
4178 &bi048[0],&bi049[0],&bi050[0],&bi051[0],&bi052[0],&bi053[0],
4179 &bi054[0],&bi055[0],&bi056[0],&bi057[0],&bi058[0],&bi059[0],
4180 &bi060[0],&bi061[0],&bi062[0],&bi063[0],&bi064[0],&bi065[0],
4181 &bi066[0],&bi067[0],&bi068[0],&bi069[0],&bi070[0],&bi071[0],
4182 &bi072[0],&bi073[0],&bi074[0],&bi075[0],&bi076[0],&bi077[0],
4183 &bi078[0],&bi079[0],&bi080[0],&bi081[0],&bi082[0],&bi083[0],
4184 &bi084[0],&bi085[0],&bi086[0],&bi087[0],&bi088[0],&bi089[0],
4185 &bi090[0],&bi091[0],&bi092[0],&bi093[0],&bi094[0],&bi095[0],
4186 &bi096[0],&bi097[0],&bi098[0],&bi099[0],&bi100[0],&bi101[0],
4187 &bi102[0],&bi103[0],&bi104[0],&bi105[0],&bi106[0],&bi107[0],
4188 &bi108[0],&bi109[0],&bi110[0],&bi111[0],&bi112[0],&bi113[0],
4189 &bi114[0],&bi115[0],&bi116[0],&bi117[0],&bi118[0],&bi119[0],
4190 &bi120[0],&bi121[0],&bi122[0],&bi123[0],&bi124[0],&bi125[0],
4191 &bi126[0],&bi127[0],&bi128[0],&bi129[0],&bi130[0],&bi131[0],
4192 &bi132[0],&bi133[0],&bi134[0],&bi135[0],&bi136[0],&bi137[0],
4193 &bi138[0],&bi139[0],&bi140[0],&bi141[0],&bi142[0],&bi143[0],
4194 &bi144[0],&bi145[0],&bi146[0],&bi147[0],&bi148[0],&bi149[0],
4195 &bi150[0],&bi151[0],&bi152[0],&bi153[0],&bi154[0],&bi155[0],
4196 &bi156[0],&bi157[0],&bi158[0],&bi159[0],&bi160[0],&bi161[0],
4197 &bi162[0],&bi163[0],&bi164[0],&bi165[0],&bi166[0],&bi167[0],
4198 &bi168[0],&bi169[0],&bi170[0],&bi171[0],&bi172[0],&bi173[0],
4199 &bi174[0],&bi175[0],&bi176[0],&bi177[0],&bi178[0],&bi179[0],
4200 &bi180[0],&bi181[0],&bi182[0],&bi183[0],&bi184[0],&bi185[0],
4201 &bi186[0],&bi187[0],&bi188[0],&bi189[0],&bi190[0],&bi191[0],
4202 &bi192[0],&bi193[0],&bi194[0],&bi195[0],&bi196[0],&bi197[0],
4203 &bi198[0],&bi199[0],&bi200[0],&bi201[0],&bi202[0],&bi203[0],
4204 &bi204[0],&bi205[0],&bi206[0],&bi207[0],&bi208[0],&bi209[0],
4205 &bi210[0],&bi211[0],&bi212[0],&bi213[0],&bi214[0],&bi215[0],
4206 &bi216[0],&bi217[0],&bi218[0],&bi219[0],&bi220[0],&bi221[0],
4207 &bi222[0],&bi223[0],&bi224[0],&bi225[0],&bi226[0],&bi227[0],
4208 &bi228[0],&bi229[0],&bi230[0],&bi231[0],&bi232[0],&bi233[0],
4209 &bi234[0],&bi235[0],&bi236[0],&bi237[0],&bi238[0],&bi239[0],
4210 &bi240[0],&bi241[0],&bi242[0],&bi243[0],&bi244[0],&bi245[0],
4211 &bi246[0],&bi247[0],&bi248[0],&bi249[0],&bi250[0],&bi251[0],
4212 &bi252[0],&bi253[0],&bi254[0],&bi255[0],&bi256[0],&bi257[0],
4213 &bi258[0],&bi259[0],&bi260[0],&bi261[0],&bi262[0],&bi263[0],
4214 &bi264[0],&bi265[0],&bi266[0],&bi267[0],&bi268[0],&bi269[0],
4215 &bi270[0],&bi271[0],&bi272[0],&bi273[0],&bi274[0],&bi275[0],
4216 &bi276[0],&bi277[0],&bi278[0],&bi279[0],&bi280[0],&bi281[0],
4217 &bi282[0],&bi283[0],&bi284[0],&bi285[0],&bi286[0],&bi287[0],
4218 &bi288[0],&bi289[0],&bi290[0],&bi291[0],&bi292[0],&bi293[0],
4219 &bi294[0],&bi295[0],&bi296[0],&bi297[0],&bi298[0],&bi299[0],
4220 &bi300[0],&bi301[0],&bi302[0],&bi303[0],&bi304[0],&bi305[0],
4221 &bi306[0],&bi307[0],&bi308[0],&bi309[0],&bi310[0],&bi311[0],
4222 &bi312[0],&bi313[0],&bi314[0],&bi315[0],&bi316[0],&bi317[0],
4223 &bi318[0],&bi319[0],&bi320[0],&bi321[0],&bi322[0],&bi323[0],
4224 &bi324[0],&bi325[0],&bi326[0],&bi327[0],&bi328[0],&bi329[0],
4225 &bi330[0],&bi331[0],&bi332[0],&bi333[0],&bi334[0],&bi335[0],
4226 &bi336[0],&bi337[0],&bi338[0],&bi339[0],&bi340[0],&bi341[0],
4227 &bi342[0],&bi343[0],&bi344[0],&bi345[0],&bi346[0],&bi347[0],
4228 &bi348[0],&bi349[0],&bi350[0],&bi351[0],&bi352[0],&bi353[0],
4229 &bi354[0],&bi355[0],&bi356[0],&bi357[0],&bi358[0],&bi359[0],
4230 &bi360[0],&bi361[0],&bi362[0],&bi363[0],&bi364[0],&bi365[0],
4231 &bi366[0],&bi367[0],&bi368[0],&bi369[0],&bi370[0],&bi371[0],
4232 &bi372[0],&bi373[0],&bi374[0],&bi375[0],&bi376[0],&bi377[0],
4233 &bi378[0],&bi379[0],&bi380[0],&bi381[0],&bi382[0],&bi383[0],
4234 &bi384[0],&bi385[0],&bi386[0],&bi387[0],&bi388[0],&bi389[0],
4235 &bi390[0],&bi391[0],&bi392[0],&bi393[0],&bi394[0],&bi395[0],
4236 &bi396[0],&bi397[0],&bi398[0],&bi399[0],&bi400[0],&bi401[0],
4237 &bi402[0],&bi403[0],&bi404[0],&bi405[0],&bi406[0],&bi407[0],
4238 &bi408[0],&bi409[0],&bi410[0],&bi411[0],&bi412[0],&bi413[0],
4239 &bi414[0],&bi415[0],&bi416[0],&bi417[0],&bi418[0],&bi419[0],
4240 &bi420[0],&bi421[0],&bi422[0],&bi423[0],&bi424[0],&bi425[0],
4241 &bi426[0],&bi427[0],&bi428[0],&bi429[0],&bi430[0],&bi431[0],
4242 &bi432[0],&bi433[0],&bi434[0],&bi435[0],&bi436[0],&bi437[0],
4243 &bi438[0],&bi439[0],&bi440[0],&bi441[0],&bi442[0],&bi443[0],
4244 &bi444[0],&bi445[0],&bi446[0],&bi447[0],&bi448[0],&bi449[0],
4245 &bi450[0],&bi451[0],&bi452[0],&bi453[0],&bi454[0],&bi455[0],
4246 &bi456[0],&bi457[0],&bi458[0],&bi459[0],&bi460[0],&bi461[0],
4247 &bi462[0],&bi463[0],&bi464[0],&bi465[0],&bi466[0],&bi467[0],
4248 &bi468[0],&bi469[0],&bi470[0],&bi471[0],&bi472[0],&bi473[0],
4249 &bi474[0],&bi475[0],&bi476[0],&bi477[0],&bi478[0],&bi479[0],
4250 &bi480[0],&bi481[0],&bi482[0],&bi483[0],&bi484[0],&bi485[0],
4251 &bi486[0],&bi487[0],&bi488[0],&bi489[0],&bi490[0],&bi491[0],
4252 &bi492[0],&bi493[0],&bi494[0],&bi495[0],&bi496[0],&bi497[0],
4253 &bi498[0],&bi499[0],&bi500[0],&bi501[0],&bi502[0],&bi503[0],
4254 &bi504[0],&bi505[0],&bi506[0],&bi507[0],&bi508[0],&bi509[0],
4255 &bi510[0],&bi511[0],&bi512[0],&bi513[0],&bi514[0],&bi515[0],
4256 &bi516[0],&bi517[0],&bi518[0],&bi519[0],&bi520[0],&bi521[0],
4257 &bi522[0],&bi523[0],&bi524[0],&bi525[0],&bi526[0],&bi527[0],
4258 &bi528[0],&bi529[0],&bi530[0],&bi531[0],&bi532[0],&bi533[0],
4259 &bi534[0],&bi535[0],&bi536[0],&bi537[0],&bi538[0],&bi539[0],
4260 &bi540[0],&bi541[0],&bi542[0],&bi543[0],&bi544[0],&bi545[0],
4261 &bi546[0],&bi547[0],&bi548[0],&bi549[0],&bi550[0],&bi551[0],
4262 &bi552[0],&bi553[0],&bi554[0],&bi555[0],&bi556[0],&bi557[0],
4263 &bi558[0],&bi559[0],&bi560[0],&bi561[0],&bi562[0],&bi563[0],
4264 &bi564[0],&bi565[0],&bi566[0],&bi567[0],&bi568[0],&bi569[0],
4265 &bi570[0],&bi571[0],&bi572[0],&bi573[0],&bi574[0],&bi575[0],
4266 &bi576[0],&bi577[0],&bi578[0],&bi579[0],&bi580[0],&bi581[0],
4267 &bi582[0],&bi583[0],&bi584[0],&bi585[0],&bi586[0],&bi587[0],
4268 &bi588[0],&bi589[0],&bi590[0],&bi591[0],&bi592[0],&bi593[0],
4269 &bi594[0],&bi595[0],&bi596[0],&bi597[0],&bi598[0],&bi599[0],
4270 &bi600[0],&bi601[0],&bi602[0],&bi603[0],&bi604[0],&bi605[0],
4271 &bi606[0],&bi607[0],&bi608[0],&bi609[0],&bi610[0],&bi611[0],
4272 &bi612[0],&bi613[0],&bi614[0],&bi615[0],&bi616[0],&bi617[0],
4273 &bi618[0],&bi619[0],&bi620[0],&bi621[0],&bi622[0],&bi623[0],
4274 &bi624[0],&bi625[0],&bi626[0],&bi627[0],&bi628[0],&bi629[0],
4275 &bi630[0],&bi631[0],&bi632[0],&bi633[0],&bi634[0],&bi635[0],
4276 &bi636[0],&bi637[0],&bi638[0],&bi639[0],&bi640[0],&bi641[0],
4277 &bi642[0],&bi643[0],&bi644[0],&bi645[0],&bi646[0],&bi647[0],
4278 &bi648[0],&bi649[0],&bi650[0],&bi651[0],&bi652[0],&bi653[0],
4279 &bi654[0],&bi655[0],&bi656[0],&bi657[0],&bi658[0],&bi659[0],
4280 &bi660[0],&bi661[0],&bi662[0],&bi663[0],&bi664[0],&bi665[0],
4281 &bi666[0],&bi667[0],&bi668[0],&bi669[0],&bi670[0],&bi671[0],
4282 &bi672[0],&bi673[0],&bi674[0],&bi675[0],&bi676[0],&bi677[0],
4283 &bi678[0],&bi679[0],&bi680[0],&bi681[0],&bi682[0],&bi683[0],
4284 &bi684[0],&bi685[0],&bi686[0],&bi687[0],&bi688[0],&bi689[0],
4285 &bi690[0],&bi691[0],&bi692[0],&bi693[0],&bi694[0],&bi695[0],
4286 &bi696[0],&bi697[0],&bi698[0],&bi699[0],&bi700[0],&bi701[0],
4287 &bi702[0],&bi703[0],&bi704[0],&bi705[0],&bi706[0],&bi707[0],
4288 &bi708[0],&bi709[0],&bi710[0],&bi711[0],&bi712[0],&bi713[0],
4289 &bi714[0],&bi715[0],&bi716[0],&bi717[0],&bi718[0],&bi719[0],
4290 &bi720[0],&bi721[0],&bi722[0],&bi723[0],&bi724[0],&bi725[0],
4291 &bi726[0],&bi727[0],&bi728[0],&bi729[0],&bi730[0],&bi731[0],
4292 &bi732[0],&bi733[0],&bi734[0],&bi735[0],&bi736[0],&bi737[0],
4293 &bi738[0],&bi739[0],&bi740[0],&bi741[0],&bi742[0],&bi743[0],
4294 &bi744[0],&bi745[0],&bi746[0],&bi747[0],&bi748[0],&bi749[0],
4295 &bi750[0],&bi751[0],&bi752[0],&bi753[0],&bi754[0],&bi755[0],
4296 &bi756[0],&bi757[0],&bi758[0],&bi759[0],&bi760[0],&bi761[0],
4297 &bi762[0],&bi763[0],&bi764[0],&bi765[0],&bi766[0],&bi767[0],
4298 &bi768[0],&bi769[0],&bi770[0],&bi771[0],&bi772[0],&bi773[0],
4299 &bi774[0],&bi775[0],&bi776[0],&bi777[0],&bi778[0],&bi779[0],
4300 &bi780[0],&bi781[0],&bi782[0],&bi783[0],&bi784[0],&bi785[0],
4301 &bi786[0],&bi787[0],&bi788[0],&bi789[0],&bi790[0],&bi791[0],
4302 &bi792[0],&bi793[0],&bi794[0],&bi795[0],&bi796[0],&bi797[0],
4303 &bi798[0],&bi799[0],&bi800[0],&bi801[0],&bi802[0],&bi803[0],
4304 &bi804[0],&bi805[0],&bi806[0],&bi807[0],&bi808[0],&bi809[0],
4305 &bi810[0],&bi811[0],&bi812[0],&bi813[0],&bi814[0],&bi815[0],
4306 &bi816[0],&bi817[0],&bi818[0],&bi819[0],&bi820[0],&bi821[0],
4307 &bi822[0],&bi823[0],&bi824[0],&bi825[0],&bi826[0],&bi827[0],
4308 &bi828[0],&bi829[0],&bi830[0],&bi831[0],&bi832[0],&bi833[0],
4309 &bi834[0],&bi835[0],&bi836[0],&bi837[0],&bi838[0],&bi839[0],
4310 &bi840[0],&bi841[0],&bi842[0],&bi843[0],&bi844[0],&bi845[0],
4311 &bi846[0],&bi847[0],&bi848[0],&bi849[0],&bi850[0],&bi851[0],
4312 &bi852[0],&bi853[0],&bi854[0],&bi855[0],&bi856[0],&bi857[0],
4313 &bi858[0],&bi859[0],&bi860[0],&bi861[0],&bi862[0],&bi863[0],
4314 &bi864[0],&bi865[0],&bi866[0],&bi867[0],&bi868[0],&bi869[0],
4315 &bi870[0],&bi871[0],&bi872[0],&bi873[0],&bi874[0]
4324 for (
int i=0;
i<
n;
i++) {
4328 }
else if (
i < 100) {
virtual bool solution(const Assignment &x) const
Test whether x is solution
const BoolInstr * bis
Boolean instruction sequence.
Type for representing a Boolean instruction.
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
int eval(const BoolInstr *pc, int reg[])
Executes Boolean instruction for evaluation (checking)
BoolExprInt(const BoolInstr *bis0, const std::string &s, int c0)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
static std::string str(Gecode::ExtensionalPropKind epk)
Map extensional propagation kind to string.
Help class to create and register tests.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
int c
Result of expression.
virtual bool solution(const Assignment &x) const
Test whether x is solution
BoolOpcode o
Which instruction to execute.
Create(void)
Perform creation and registration.
unsigned char z
Instruction arguments, z is destination (or y for negation)
BoolVar expr(Home home, const BoolExpr &e, IntConLevel icl)
Post Boolean expression and return its value.
Node * x
Pointer to corresponding Boolean expression node.
Base class for assignments
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
BoolExprVar(const BoolInstr *bis0, const std::string &s)
Create and register test.
const BoolInstr * bis
Boolean instruction sequence.
Gecode toplevel namespace
BoolOpcode
Boolean opcode.
#define GECODE_NEVER
Assert that this command is never executed.
Test posting Boolean expressions