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),
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},
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.
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
SetRelType
Common relation types for sets.
Inverse implication for reification.
const SetInstr * bis1
Second set instruction sequence
Help class to create and register tests.
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)
virtual bool solution(const Assignment &x) const
Test whether x is solution
Gecode::SetRelType srt
Set relation
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x.
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.
virtual bool solution(const Assignment &x) const
Test whether x is solution
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.
Equivalence for reification (default)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.