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;
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;
120 class SetExprConst :
public Test {
133 :
Test(
"MiniModel::SetExpr::Const::"+s+
"::"+
str(srt0)+
"::"+
str(c0),
135 bis(bis0), c(c0), srt(srt0) {}
138 int reg[4] = {(x[0] != x[2]), x[1],
141 int ret =
eval(bis, reg, failed);
217 :
Test(
"MiniModel::SetExpr::Expr::"+s+
"::"+
str(srt0),
221 bis0(bis00), bis1(bis10), srt(srt0) {}
224 int reg0[4] = {(x[0] != x[2]), x[1],
227 int ret0 =
eval(bis0, reg0, failed0);
231 int reg1[4] = {(x[4] != x[6]), x[5],
234 int ret1 =
eval(bis1, reg1, failed1);
318 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
322 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
326 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
330 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
335 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
340 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
345 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
350 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
354 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
358 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
362 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
367 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
372 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
377 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
382 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
386 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
390 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
394 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
399 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
404 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
409 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
414 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
418 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
422 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
426 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
431 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
436 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
441 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
446 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
450 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
454 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
458 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
463 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
468 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
473 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
478 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
482 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
486 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
490 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
495 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
500 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
505 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
510 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
514 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
518 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
522 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
527 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
532 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
537 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
542 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
546 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
550 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
554 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
559 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
564 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
569 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
574 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
578 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
582 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
586 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
591 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
596 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
601 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
606 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
610 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
614 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
618 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
623 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
628 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
633 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
638 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
642 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
646 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
650 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
655 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
660 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
665 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
670 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
674 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
678 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
682 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
687 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
692 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
697 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
702 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
706 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
710 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
714 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
719 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
724 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
729 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
734 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
738 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
742 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
746 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
751 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
756 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
761 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
766 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
770 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
774 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
778 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
783 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
788 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
793 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
798 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
802 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
806 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
810 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
815 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
820 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
825 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
830 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
834 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
838 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
842 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
847 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
852 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
857 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
862 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
866 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
870 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
874 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
879 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
884 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
889 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
894 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
898 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
902 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
906 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
911 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
916 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
921 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
926 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
930 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
934 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
938 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
943 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
948 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
953 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
958 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
962 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
966 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
970 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
975 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
980 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
985 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
990 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
994 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
998 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
1002 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1007 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1012 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1017 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1022 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1026 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1030 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1034 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1039 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1044 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1049 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1054 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1058 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1062 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1066 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1071 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1076 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1081 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1086 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1090 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1094 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1098 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1103 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1108 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1113 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1118 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1122 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1126 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1130 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1135 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1140 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1145 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1150 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1154 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1158 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1162 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1167 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1172 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1177 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1182 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1186 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1190 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1194 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1199 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1204 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1209 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1214 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
1218 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
1222 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
1226 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1231 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1236 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1241 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1246 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
1250 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
1254 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
1258 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1263 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1268 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1273 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1278 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
1282 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
1286 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
1290 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1295 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1300 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1305 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1310 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
1314 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
1318 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
1322 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1327 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1332 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1337 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1342 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
1346 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
1350 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
1354 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1359 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1364 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1369 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1374 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
1378 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
1382 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
1386 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1391 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1396 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1401 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1406 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
1410 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
1414 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
1418 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1423 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1428 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1433 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1438 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
1442 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
1446 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
1450 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1455 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1460 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1465 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1470 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
1474 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
1478 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
1482 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1487 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1492 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1497 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1502 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
1506 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
1510 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
1514 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1519 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1524 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1529 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1534 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
1538 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
1542 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
1546 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1551 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1556 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1561 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1566 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
1570 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
1574 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
1578 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1583 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1588 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1593 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1598 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
1602 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
1606 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
1610 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1615 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1620 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1625 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1630 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
1634 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
1638 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
1642 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1647 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1652 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1657 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1662 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
1666 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
1670 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
1674 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1679 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1684 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1689 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1694 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
1698 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
1702 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
1706 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1711 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1716 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1721 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1726 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
1730 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
1734 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
1738 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1743 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1748 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1753 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1758 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
1762 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
1766 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
1770 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1775 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1780 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1785 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1790 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
1794 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
1798 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
1802 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1807 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1812 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1817 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1822 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1826 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1830 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1834 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1839 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1844 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1849 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1854 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1858 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1862 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1866 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1871 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1876 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1881 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1886 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1890 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1894 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1898 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1903 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1908 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1913 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1918 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1922 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1926 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1930 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1935 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1940 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1945 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1950 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1954 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1958 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1962 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1967 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1972 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1977 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1982 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1986 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1990 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1994 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1999 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2004 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2009 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2014 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2018 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2022 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2026 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2031 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2036 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2041 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2046 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2050 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2054 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2058 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2063 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2068 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2073 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2078 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2082 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2086 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2090 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2095 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2100 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2105 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2110 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2114 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2118 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2122 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2127 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2132 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2137 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2142 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2146 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2150 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2154 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2159 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2164 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2169 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2174 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2178 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2182 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2186 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2191 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2196 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2201 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2206 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
2210 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
2214 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
2218 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2223 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2228 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2233 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2238 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
2242 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
2246 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
2250 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2255 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2260 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2265 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2270 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
2274 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
2278 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
2282 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2287 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2292 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2297 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2302 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
2306 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
2310 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
2314 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2319 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2324 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2329 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2334 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
2338 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
2342 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
2346 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2351 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2356 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2361 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2366 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
2370 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
2374 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
2378 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2383 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2388 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2393 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2398 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
2402 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
2406 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
2410 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2415 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2420 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2425 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2430 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
2434 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
2438 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
2442 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2447 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2452 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2457 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2462 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
2466 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
2470 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
2474 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2479 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2484 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2489 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2494 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
2498 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
2502 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
2506 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2511 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2516 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2521 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2526 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
2530 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
2534 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
2538 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2543 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2548 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2553 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2558 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
2562 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
2566 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
2570 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2575 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2580 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2585 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2590 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
2594 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
2598 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
2602 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2607 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2612 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2617 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2622 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
2626 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
2630 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
2634 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2639 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2644 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2649 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2654 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
2658 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
2662 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
2666 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2671 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2676 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2681 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2686 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
2690 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
2694 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
2698 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2703 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2708 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2713 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2718 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
2722 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
2726 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
2730 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2735 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2740 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2745 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2750 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
2754 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
2758 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
2762 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2767 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2772 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2777 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2782 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
2786 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
2790 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
2794 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2799 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2804 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2809 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2814 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2818 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2822 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2826 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2831 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2836 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2841 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2846 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2850 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2854 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2858 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2863 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2868 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2873 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2878 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2882 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2886 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2890 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2895 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2900 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2905 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2910 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2914 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2918 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2922 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2927 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2932 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2937 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2942 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2946 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2950 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2954 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2959 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2964 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2969 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2974 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2978 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2982 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2986 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2991 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2996 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3001 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3006 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3010 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3014 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3018 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
3023 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3028 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3033 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3038 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3042 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3046 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3050 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3055 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3060 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3065 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3070 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3074 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3078 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3082 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3087 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3092 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3097 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3102 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3106 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3110 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3114 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3119 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3124 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3129 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3134 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3138 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3142 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3146 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3151 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3156 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3161 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3166 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3170 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3174 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3178 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3183 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3188 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3193 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3198 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
3202 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
3206 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
3210 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3215 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3220 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3225 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3230 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
3234 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
3238 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
3242 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3247 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3252 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3257 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3262 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
3266 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
3270 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
3274 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3279 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3284 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3289 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3294 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
3298 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
3302 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
3306 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3311 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3316 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3321 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3326 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
3330 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
3334 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
3338 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3343 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3348 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3353 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3358 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
3362 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
3366 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
3370 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3375 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3380 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3385 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3390 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
3394 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
3398 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
3402 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3407 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3412 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3417 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3422 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
3426 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
3430 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
3434 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3439 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3444 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3449 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3454 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
3458 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
3462 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
3466 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3471 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3476 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3481 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3486 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
3490 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
3494 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
3498 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3503 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3508 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3513 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3518 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
3522 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
3526 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
3530 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3535 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3540 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3545 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3550 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
3554 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
3558 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
3562 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3567 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3572 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3577 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3582 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
3586 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
3590 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
3594 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3599 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3604 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3609 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3614 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
3618 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
3622 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
3626 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3631 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3636 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3641 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3646 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
3650 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
3654 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
3658 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3663 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3668 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3673 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3678 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
3682 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
3686 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
3690 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3695 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3700 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3705 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3710 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
3714 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
3718 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
3722 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3727 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3732 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3737 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3742 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
3746 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
3750 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
3754 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3759 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3764 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3769 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3774 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
3778 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
3782 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
3786 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3791 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3796 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3801 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3806 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3810 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3814 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3818 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3823 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3828 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3833 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3838 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3842 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3846 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3850 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3855 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3860 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3865 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3870 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3874 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3878 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3882 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3887 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3892 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3897 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3902 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3906 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3910 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3914 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3919 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3924 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3929 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3934 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3938 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3942 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3946 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3951 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3956 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3961 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3966 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3970 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3974 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3978 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3983 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3988 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3993 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3998 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
4002 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
4006 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
4010 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4015 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4020 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4025 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4030 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
4034 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
4038 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
4042 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4047 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4052 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4057 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4062 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
4066 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
4070 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
4074 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4079 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4084 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4089 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4094 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
4098 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
4102 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
4106 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4111 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4116 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4121 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4126 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
4130 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
4134 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
4138 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4143 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4148 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4153 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4158 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
4162 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
4166 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
4170 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4175 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4180 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4185 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4190 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
4194 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
4198 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
4202 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4207 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4212 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4217 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4222 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
4226 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
4230 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
4234 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4239 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4244 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4249 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4254 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
4258 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
4262 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
4266 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4271 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4276 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4281 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4286 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
4290 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
4294 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
4298 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4303 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4308 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4313 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4341 &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0],
4342 &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0],
4343 &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0],
4344 &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0],
4345 &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0],
4346 &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0],
4347 &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0],
4348 &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0],
4349 &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0],
4350 &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0],
4351 &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0],
4352 &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0],
4353 &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0],
4354 &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0],
4355 &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0],
4356 &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0],
4357 &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0],
4358 &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0],
4359 &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0],
4360 &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0],
4361 &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0],
4362 &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0],
4363 &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0],
4364 &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0],
4365 &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0],
4366 &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0],
4367 &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0],
4368 &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0],
4369 &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0],
4370 &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0],
4371 &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0],
4372 &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0],
4373 &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0],
4374 &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0],
4375 &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0],
4376 &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0],
4377 &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0],
4378 &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0],
4379 &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0],
4380 &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0],
4381 &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0],
4382 &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0],
4383 &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0],
4384 &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0],
4385 &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0],
4386 &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0],
4387 &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0],
4388 &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0],
4389 &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0],
4390 &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0],
4391 &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0],
4392 &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0],
4393 &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0],
4394 &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0],
4395 &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0],
4396 &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0],
4397 &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0],
4398 &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0],
4399 &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0],
4400 &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0],
4401 &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0],
4402 &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0],
4403 &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0],
4404 &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0],
4405 &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0],
4406 &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0],
4407 &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0],
4408 &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0],
4409 &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0],
4410 &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0],
4411 &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0],
4412 &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0],
4413 &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0],
4414 &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0],
4415 &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0],
4416 &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0],
4417 &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0],
4418 &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0],
4419 &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0],
4420 &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0],
4421 &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0],
4422 &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0],
4423 &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0],
4424 &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0],
4425 &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0],
4426 &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0],
4427 &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0],
4428 &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0],
4429 &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0],
4430 &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0],
4431 &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0],
4432 &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0],
4433 &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0],
4434 &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0],
4435 &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0],
4436 &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0],
4437 &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0],
4438 &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0],
4439 &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0],
4440 &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0],
4441 &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0],
4442 &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0],
4443 &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0],
4444 &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0],
4445 &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0],
4446 &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0],
4447 &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0],
4448 &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0],
4449 &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0],
4450 &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0],
4451 &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0],
4452 &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0],
4453 &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0],
4454 &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0],
4455 &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0],
4456 &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0],
4457 &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0],
4458 &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0],
4459 &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0],
4460 &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0],
4461 &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0],
4462 &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0],
4463 &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0],
4464 &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0],
4465 &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0],
4466 &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0],
4467 &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0],
4468 &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0],
4469 &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0],
4470 &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0],
4471 &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0],
4472 &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0],
4473 &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0],
4474 &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0],
4475 &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0],
4476 &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0],
4477 &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0],
4478 &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0],
4479 &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0],
4480 &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0],
4481 &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0],
4482 &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0],
4483 &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0],
4484 &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0],
4485 &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0],
4486 &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0],
4487 &si876[0],&si877[0],&si878[0],&si879[0]
4497 for (
int i=0;
i<
n;
i++) {
4501 }
else if (
i < 100) {
4515 if ( (i % 31) == 0) {
4517 for (
int j=0; j<
n; j++) {
4518 if ( (j % 37) == 0) {
4522 }
else if (j < 100) {
const SetInstr * bis
Set instruction sequence
SetExpr singleton(const LinIntExpr &e)
Singleton expression.
int c
Result of expression.
SetRelType
Common relation types for sets.
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
const SetInstr * bis1
Second set instruction sequence
BoolVar var(void) const
Return Boolean control variable.
Help class to create and register tests.
virtual bool solution(const Assignment &x) const
Test whether x is solution
Create(void)
Perform creation and registration.
SetOpcode o
Which instruction to execute.
const SetInstr * bis0
First set instruction sequence
int eval(const SetInstr *pc, int reg[], bool &failed)
Executes set instruction for evaluation (checking)
Gecode::SetRelType srt
Set relation
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x.
static std::string str(Gecode::ExtensionalPropKind epk)
Map extensional propagation kind to string.
SetExprExpr(const SetInstr *bis00, const SetInstr *bis10, const std::string &s, Gecode::SetRelType srt0)
Create and register test.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x.
Gecode::SetRelType srt
Set relation
bool simpleReifiedSemantics(const SetInstr *pc)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Reification specification.
unsigned char z
Instruction arguments, z is destination (or y for complement)
Test set expressions with expression result
Node * x
Pointer to corresponding Boolean expression node.
Base class for assignments
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Gecode toplevel namespace
Implication for reification.
Type for representing a set instruction.
#define GECODE_NEVER
Assert that this command is never executed.
SetExprConst(const SetInstr *bis0, const std::string &s, Gecode::SetRelType srt0, int c0)
Create and register test.
virtual bool solution(const Assignment &x) const
Test whether x is solution
Equivalence for reification (default)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.