42 namespace Test {
namespace Int {
45 namespace MiniModelSet {
61 unsigned char x,
y,
z;
70 case SO_CMPL: reg[pc->
y] = !reg[pc->
x];
break;
71 case SO_INTER: reg[pc->
z] = reg[pc->
x] & reg[pc->
y];
break;
72 case SO_UNION: reg[pc->
z] = reg[pc->
x] | reg[pc->
y];
break;
74 if (reg[pc->
x] && reg[pc->
y])
76 reg[pc->
z] = reg[pc->
x] | reg[pc->
y];
break;
77 case SO_MINUS: reg[pc->
z] = reg[pc->
x] & (!reg[pc->
y]);
break;
89 using namespace Gecode;
93 case SO_INTER: reg[pc->
z] = (reg[pc->
x] & reg[pc->
y]);
break;
94 case SO_UNION: reg[pc->
z] = (reg[pc->
x] | reg[pc->
y]);
break;
95 case SO_DUNION: reg[pc->
z] = reg[pc->
x] + reg[pc->
y];
break;
96 case SO_MINUS: reg[pc->
z] = reg[pc->
x] - reg[pc->
y];
break;
133 :
Test(
"MiniModel::SetExpr::Const::"+s+
"::"+
str(srt0)+
"::"+
str(c0),
138 int reg[4] = {(x[0] != x[2]), x[1],
141 int ret =
eval(
bis, reg, failed);
157 using namespace Gecode;
178 using namespace Gecode;
211 :
Test(
"MiniModel::SetExpr::Expr::"+s+
"::"+
str(srt0),
215 bis0(bis00), bis1(bis10),
srt(srt0) {}
218 int reg0[4] = {(x[0] != x[2]), x[1],
221 int ret0 =
eval(bis0, reg0, failed0);
225 int reg1[4] = {(x[4] != x[6]), x[5],
228 int ret1 =
eval(bis1, reg1, failed1);
246 using namespace Gecode;
276 using namespace Gecode;
306 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
310 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
314 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
318 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
323 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
328 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
333 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
338 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
342 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
346 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
350 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
355 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
360 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
365 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
370 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
374 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
378 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
382 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
387 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
392 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
397 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
402 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
406 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
410 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
414 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
419 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
424 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
429 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
434 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
438 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
442 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
446 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
451 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
456 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
461 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
466 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
470 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
474 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
478 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
483 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
488 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
493 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
498 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
502 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
506 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
510 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
515 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
520 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
525 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
530 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
534 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
538 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
542 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
547 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
552 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
557 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
562 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
566 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
570 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
574 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
579 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
584 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
589 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
594 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
598 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
602 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
606 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
611 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
616 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
621 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
626 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
630 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
634 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
638 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
643 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
648 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
653 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
658 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
662 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
666 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
670 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
675 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
680 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
685 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
690 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
694 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
698 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
702 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
707 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
712 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
717 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
722 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
726 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
730 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
734 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
739 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
744 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
749 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
754 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
758 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
762 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
766 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
771 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
776 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
781 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
786 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
790 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
794 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
798 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
803 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
808 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
813 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
818 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
822 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
826 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
830 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
835 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
840 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
845 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
850 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
854 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
858 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
862 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
867 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
872 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
877 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
882 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
886 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
890 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
894 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
899 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
904 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
909 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
914 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
918 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
922 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
926 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
931 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
936 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
941 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
946 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
950 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
954 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
958 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
963 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
968 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
973 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
978 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
982 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
986 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
990 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
995 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1000 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1005 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1010 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1014 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1018 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1022 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1027 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1032 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1037 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1042 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1046 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1050 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1054 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1059 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1064 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1069 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1074 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1078 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1082 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1086 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1091 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1096 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1101 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1106 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1110 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1114 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1118 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1123 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1128 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1133 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1138 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1142 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1146 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1150 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1155 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1160 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1165 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1170 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1174 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1178 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1182 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1187 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1192 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1197 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1202 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
1206 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
1210 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
1214 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1219 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1224 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1229 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1234 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
1238 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
1242 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
1246 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1251 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1256 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1261 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1266 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
1270 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
1274 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
1278 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1283 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1288 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1293 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1298 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
1302 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
1306 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
1310 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1315 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1320 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1325 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1330 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
1334 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
1338 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
1342 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1347 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1352 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1357 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1362 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
1366 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
1370 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
1374 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1379 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1384 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1389 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1394 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
1398 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
1402 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
1406 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1411 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1416 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1421 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1426 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
1430 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
1434 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
1438 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1443 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1448 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1453 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1458 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
1462 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
1466 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
1470 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1475 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1480 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1485 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1490 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
1494 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
1498 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
1502 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1507 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1512 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1517 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1522 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
1526 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
1530 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
1534 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1539 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1544 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1549 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1554 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
1558 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
1562 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
1566 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1571 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1576 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1581 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1586 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
1590 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
1594 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
1598 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1603 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1608 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1613 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1618 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
1622 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
1626 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
1630 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1635 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1640 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1645 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1650 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
1654 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
1658 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
1662 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1667 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1672 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1677 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1682 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
1686 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
1690 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
1694 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1699 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1704 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1709 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1714 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
1718 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
1722 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
1726 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1731 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1736 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1741 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1746 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
1750 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
1754 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
1758 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1763 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1768 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1773 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1778 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
1782 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
1786 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
1790 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1795 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1800 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1805 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1810 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1814 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1818 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1822 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1827 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1832 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1837 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1842 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1846 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1850 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1854 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1859 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1864 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1869 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1874 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1878 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1882 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1886 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1891 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1896 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1901 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1906 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1910 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1914 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1918 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1923 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1928 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1933 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1938 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1942 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1946 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1950 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1955 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1960 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1965 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1970 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1974 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1978 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1982 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1987 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1992 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1997 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2002 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2006 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2010 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2014 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2019 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2024 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2029 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2034 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2038 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2042 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2046 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2051 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2056 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2061 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2066 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2070 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2074 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2078 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2083 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2088 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2093 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2098 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2102 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2106 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2110 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2115 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2120 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2125 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2130 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2134 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2138 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2142 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2147 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2152 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2157 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2162 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2166 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2170 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2174 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2179 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2184 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2189 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2194 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
2198 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
2202 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
2206 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2211 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2216 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2221 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2226 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
2230 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
2234 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
2238 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2243 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2248 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2253 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2258 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
2262 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
2266 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
2270 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2275 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2280 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2285 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2290 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
2294 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
2298 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
2302 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2307 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2312 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2317 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2322 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
2326 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
2330 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
2334 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2339 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2344 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2349 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2354 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
2358 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
2362 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
2366 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2371 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2376 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2381 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2386 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
2390 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
2394 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
2398 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2403 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2408 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2413 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2418 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
2422 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
2426 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
2430 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2435 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2440 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2445 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2450 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
2454 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
2458 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
2462 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2467 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2472 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2477 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2482 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
2486 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
2490 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
2494 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2499 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2504 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2509 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2514 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
2518 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
2522 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
2526 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2531 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2536 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2541 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2546 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
2550 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
2554 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
2558 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2563 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2568 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2573 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2578 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
2582 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
2586 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
2590 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2595 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2600 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2605 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2610 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
2614 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
2618 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
2622 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2627 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2632 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2637 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2642 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
2646 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
2650 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
2654 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2659 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2664 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2669 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2674 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
2678 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
2682 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
2686 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2691 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2696 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2701 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2706 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
2710 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
2714 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
2718 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2723 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2728 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2733 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2738 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
2742 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
2746 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
2750 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2755 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2760 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2765 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2770 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
2774 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
2778 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
2782 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2787 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2792 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2797 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2802 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2806 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2810 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2814 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2819 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2824 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2829 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2834 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2838 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2842 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2846 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2851 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2856 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2861 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2866 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2870 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2874 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2878 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2883 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2888 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2893 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2898 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2902 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2906 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2910 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2915 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2920 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2925 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2930 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2934 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2938 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2942 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2947 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2952 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2957 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2962 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2966 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2970 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2974 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2979 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2984 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2989 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2994 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
2998 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3002 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3006 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
3011 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3016 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3021 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3026 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3030 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3034 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3038 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3043 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3048 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3053 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3058 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3062 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3066 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3070 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3075 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3080 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3085 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3090 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3094 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3098 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3102 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3107 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3112 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3117 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3122 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3126 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3130 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3134 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3139 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3144 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3149 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3154 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3158 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3162 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3166 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3171 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3176 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3181 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3186 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
3190 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
3194 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
3198 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3203 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3208 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3213 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3218 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
3222 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
3226 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
3230 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3235 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3240 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3245 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3250 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
3254 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
3258 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
3262 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3267 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3272 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3277 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3282 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
3286 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
3290 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
3294 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3299 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3304 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3309 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3314 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
3318 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
3322 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
3326 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3331 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3336 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3341 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3346 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
3350 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
3354 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
3358 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3363 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3368 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3373 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3378 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
3382 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
3386 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
3390 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3395 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3400 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3405 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3410 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
3414 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
3418 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
3422 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3427 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3432 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3437 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3442 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
3446 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
3450 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
3454 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3459 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3464 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3469 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3474 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
3478 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
3482 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
3486 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3491 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3496 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3501 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3506 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
3510 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
3514 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
3518 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3523 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3528 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3533 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3538 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
3542 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
3546 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
3550 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3555 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3560 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3565 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3570 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
3574 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
3578 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
3582 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3587 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3592 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3597 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3602 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
3606 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
3610 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
3614 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3619 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3624 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3629 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3634 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
3638 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
3642 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
3646 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3651 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3656 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3661 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3666 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
3670 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
3674 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
3678 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3683 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3688 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3693 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3698 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
3702 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
3706 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
3710 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3715 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3720 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3725 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3730 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
3734 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
3738 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
3742 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3747 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3752 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3757 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3762 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
3766 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
3770 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
3774 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3779 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3784 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3789 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3794 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3798 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3802 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3806 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3811 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3816 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3821 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3826 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3830 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3834 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3838 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3843 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3848 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3853 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3858 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3862 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3866 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3870 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3875 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3880 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3885 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3890 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3894 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3898 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3902 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3907 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3912 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3917 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3922 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3926 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3930 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3934 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3939 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3944 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3949 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3954 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3958 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3962 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3966 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3971 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3976 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3981 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3986 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
3990 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
3994 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
3998 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4003 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4008 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4013 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4018 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
4022 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
4026 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
4030 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4035 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4040 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4045 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4050 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
4054 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
4058 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
4062 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4067 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4072 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4077 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4082 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
4086 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
4090 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
4094 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4099 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4104 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4109 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4114 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
4118 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
4122 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
4126 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4131 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4136 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4141 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4146 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
4150 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
4154 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
4158 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4163 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4168 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4173 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4178 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
4182 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
4186 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
4190 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4195 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4200 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4205 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4210 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
4214 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
4218 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
4222 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4227 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4232 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4237 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4242 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
4246 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
4250 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
4254 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4259 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4264 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4269 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4274 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
4278 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
4282 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
4286 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4291 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4296 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4301 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4329 &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0],
4330 &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0],
4331 &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0],
4332 &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0],
4333 &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0],
4334 &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0],
4335 &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0],
4336 &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0],
4337 &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0],
4338 &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0],
4339 &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0],
4340 &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0],
4341 &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0],
4342 &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0],
4343 &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0],
4344 &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0],
4345 &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0],
4346 &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0],
4347 &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0],
4348 &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0],
4349 &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0],
4350 &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0],
4351 &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0],
4352 &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0],
4353 &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0],
4354 &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0],
4355 &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0],
4356 &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0],
4357 &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0],
4358 &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0],
4359 &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0],
4360 &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0],
4361 &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0],
4362 &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0],
4363 &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0],
4364 &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0],
4365 &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0],
4366 &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0],
4367 &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0],
4368 &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0],
4369 &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0],
4370 &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0],
4371 &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0],
4372 &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0],
4373 &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0],
4374 &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0],
4375 &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0],
4376 &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0],
4377 &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0],
4378 &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0],
4379 &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0],
4380 &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0],
4381 &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0],
4382 &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0],
4383 &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0],
4384 &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0],
4385 &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0],
4386 &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0],
4387 &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0],
4388 &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0],
4389 &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0],
4390 &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0],
4391 &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0],
4392 &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0],
4393 &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0],
4394 &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0],
4395 &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0],
4396 &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0],
4397 &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0],
4398 &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0],
4399 &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0],
4400 &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0],
4401 &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0],
4402 &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0],
4403 &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0],
4404 &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0],
4405 &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0],
4406 &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0],
4407 &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0],
4408 &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0],
4409 &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0],
4410 &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0],
4411 &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0],
4412 &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0],
4413 &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0],
4414 &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0],
4415 &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0],
4416 &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0],
4417 &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0],
4418 &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0],
4419 &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0],
4420 &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0],
4421 &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0],
4422 &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0],
4423 &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0],
4424 &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0],
4425 &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0],
4426 &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0],
4427 &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0],
4428 &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0],
4429 &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0],
4430 &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0],
4431 &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0],
4432 &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0],
4433 &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0],
4434 &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0],
4435 &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0],
4436 &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0],
4437 &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0],
4438 &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0],
4439 &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0],
4440 &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0],
4441 &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0],
4442 &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0],
4443 &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0],
4444 &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0],
4445 &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0],
4446 &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0],
4447 &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0],
4448 &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0],
4449 &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0],
4450 &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0],
4451 &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0],
4452 &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0],
4453 &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0],
4454 &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0],
4455 &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0],
4456 &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0],
4457 &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0],
4458 &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0],
4459 &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0],
4460 &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0],
4461 &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0],
4462 &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0],
4463 &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0],
4464 &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0],
4465 &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0],
4466 &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0],
4467 &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0],
4468 &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0],
4469 &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0],
4470 &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0],
4471 &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0],
4472 &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0],
4473 &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0],
4474 &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0],
4475 &si876[0],&si877[0],&si878[0],&si879[0]
4485 for (
int i=0;
i<n;
i++) {
4489 }
else if (
i < 100) {
4503 if ( (i % 31) == 0) {
4505 for (
int j=0; j<n; j++) {
4506 if ( (j % 37) == 0) {
4510 }
else if (j < 100) {