38 namespace Test {
namespace Int {
41 namespace MiniModelSet {
57 unsigned char x,
y,
z;
66 case SO_CMPL: reg[pc->
y] = !reg[pc->
x];
break;
67 case SO_INTER: reg[pc->
z] = reg[pc->
x] & reg[pc->
y];
break;
68 case SO_UNION: reg[pc->
z] = reg[pc->
x] | reg[pc->
y];
break;
70 if (reg[pc->
x] && reg[pc->
y])
72 reg[pc->
z] = reg[pc->
x] | reg[pc->
y];
break;
73 case SO_MINUS: reg[pc->
z] = reg[pc->
x] & (!reg[pc->
y]);
break;
89 case SO_INTER: reg[pc->
z] = (reg[pc->
x] & reg[pc->
y]);
break;
90 case SO_UNION: reg[pc->
z] = (reg[pc->
x] | reg[pc->
y]);
break;
91 case SO_DUNION: reg[pc->
z] = reg[pc->
x] + reg[pc->
y];
break;
92 case SO_MINUS: reg[pc->
z] = reg[pc->
x] - reg[pc->
y];
break;
129 :
Test(
"MiniModel::SetExpr::Const::"+s+
"::"+str(srt0)+
"::"+str(c0),
131 bis(bis0), c(c0), srt(srt0) {}
134 int reg[4] = {(x[0] != x[2]), x[1],
137 int ret =
eval(bis, reg, failed);
213 :
Test(
"MiniModel::SetExpr::Expr::"+s+
"::"+str(srt0),
217 bis0(bis00), bis1(bis10), srt(srt0) {}
220 int reg0[4] = {(x[0] != x[2]), x[1],
223 int ret0 =
eval(bis0, reg0, failed0);
227 int reg1[4] = {(x[4] != x[6]), x[5],
230 int ret1 =
eval(bis1, reg1, failed1);
314 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
318 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
322 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
326 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
331 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
336 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
341 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
346 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
350 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
354 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
358 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
363 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
368 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
373 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
378 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
382 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
386 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
390 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
395 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
400 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
405 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
410 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
414 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
418 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
422 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
427 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
432 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
437 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
442 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
446 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
450 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
454 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
459 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
464 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
469 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
474 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
478 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
482 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
486 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
491 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
496 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
501 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
506 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
510 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
514 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
518 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
523 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
528 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
533 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
538 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
542 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
546 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
550 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
555 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
560 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
565 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
570 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
574 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
578 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
582 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
587 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
592 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
597 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
602 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
606 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
610 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
614 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
619 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
624 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
629 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
634 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
638 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
642 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
646 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
651 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
656 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
661 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
666 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
670 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
674 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
678 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
683 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
688 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
693 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
698 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
702 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
706 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
710 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
715 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
720 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
725 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
730 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
734 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
738 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
742 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
747 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
752 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
757 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
762 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
766 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
770 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
774 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
779 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
784 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
789 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
794 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
798 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
802 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
806 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
811 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
816 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
821 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
826 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
830 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
834 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
838 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
843 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
848 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
853 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
858 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
862 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
866 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
870 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
875 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
880 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
885 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
890 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
894 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
898 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
902 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
907 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
912 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
917 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
922 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
926 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
930 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
934 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
939 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
944 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
949 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
954 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
958 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
962 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
966 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
971 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
976 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
981 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
986 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
990 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
994 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
998 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1003 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1008 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1013 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1018 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1022 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1026 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1030 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1035 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1040 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1045 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1050 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1054 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1058 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1062 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1067 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1072 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1077 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1082 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1086 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1090 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1094 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1099 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,1,0},
1104 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1109 {
SO_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1114 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1118 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1122 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1126 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1131 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1136 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1141 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1146 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1150 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1154 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1158 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1163 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1168 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1173 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1178 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1182 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1186 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1190 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1195 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1200 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1205 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1210 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
1214 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
1218 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
1222 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1227 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1232 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1237 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1242 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
1246 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
1250 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
1254 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1259 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1264 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1269 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1274 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
1278 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
1282 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
1286 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1291 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1296 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1301 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1306 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
1310 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
1314 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
1318 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1323 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1328 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1333 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1338 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
1342 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
1346 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
1350 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1355 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1360 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1365 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1370 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
1374 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
1378 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
1382 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1387 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1392 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1397 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1402 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
1406 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
1410 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
1414 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1419 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1424 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1429 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1434 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
1438 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
1442 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
1446 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1451 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1456 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1461 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1466 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
1470 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
1474 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
1478 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1483 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1488 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1493 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1498 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
1502 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
1506 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
1510 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1515 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1520 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1525 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1530 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
1534 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
1538 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
1542 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1547 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1552 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1557 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1562 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
1566 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
1570 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
1574 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1579 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1584 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1589 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1594 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
1598 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
1602 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
1606 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1611 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1616 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1621 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1626 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
1630 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
1634 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
1638 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1643 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1648 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1653 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1658 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
1662 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
1666 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
1670 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1675 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1680 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1685 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1690 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
1694 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
1698 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
1702 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1707 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1712 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1717 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1722 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
1726 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
1730 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
1734 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1739 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1744 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1749 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1754 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
1758 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
1762 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
1766 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1771 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1776 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1781 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1786 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
1790 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
1794 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
1798 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1803 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1808 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1813 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1818 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1822 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1826 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1830 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1835 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1840 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1845 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1850 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1854 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1858 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1862 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1867 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1872 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1877 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1882 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1886 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1890 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1894 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1899 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,1,0},
1904 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1909 {
SO_UNION ,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1914 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1918 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1922 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1926 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1931 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1936 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1941 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1946 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1950 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1954 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1958 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1963 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
1968 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1973 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1978 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1982 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1986 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1990 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1995 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2000 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2005 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2010 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2014 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2018 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2022 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2027 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2032 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2037 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2042 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2046 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2050 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2054 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2059 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2064 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2069 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2074 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2078 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2082 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2086 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2091 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2096 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2101 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2106 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2110 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2114 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2118 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2123 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2128 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2133 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2138 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2142 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2146 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2150 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2155 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2160 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2165 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2170 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2174 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2178 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2182 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2187 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2192 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2197 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2202 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
2206 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
2210 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
2214 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2219 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2224 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2229 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2234 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
2238 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
2242 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
2246 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2251 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2256 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2261 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2266 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
2270 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
2274 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
2278 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2283 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2288 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2293 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2298 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
2302 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
2306 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
2310 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2315 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2320 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2325 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2330 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
2334 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
2338 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
2342 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2347 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2352 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2357 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2362 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
2366 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
2370 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
2374 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2379 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2384 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2389 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2394 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
2398 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
2402 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
2406 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2411 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2416 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2421 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2426 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
2430 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
2434 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
2438 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2443 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2448 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2453 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2458 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
2462 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
2466 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
2470 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2475 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2480 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2485 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2490 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
2494 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
2498 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
2502 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2507 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2512 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2517 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2522 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
2526 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
2530 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
2534 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2539 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2544 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2549 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2554 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
2558 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
2562 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
2566 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2571 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2576 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2581 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2586 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
2590 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
2594 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
2598 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2603 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2608 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2613 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2618 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
2622 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
2626 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
2630 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2635 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2640 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2645 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2650 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
2654 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
2658 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
2662 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2667 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2672 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2677 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2682 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
2686 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
2690 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
2694 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2699 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,1,0},
2704 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2709 {
SO_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2714 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
2718 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
2722 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
2726 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2731 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2736 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2741 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2746 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
2750 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
2754 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
2758 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2763 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2768 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2773 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2778 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
2782 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
2786 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
2790 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2795 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2800 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2805 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2810 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2814 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2818 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2822 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2827 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2832 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2837 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2842 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2846 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2850 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2854 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2859 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2864 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2869 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2874 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2878 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2882 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2886 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2891 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2896 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2901 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2906 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2910 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2914 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2918 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2923 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2928 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2933 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2938 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2942 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2946 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2950 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2955 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2960 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2965 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2970 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2974 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2978 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2982 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2987 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
2992 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2997 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3002 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3006 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3010 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3014 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
3019 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3024 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3029 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3034 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3038 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3042 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3046 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3051 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3056 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3061 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3066 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3070 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3074 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3078 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3083 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3088 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3093 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3098 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3102 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3106 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3110 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3115 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3120 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3125 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3130 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3134 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3138 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3142 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3147 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3152 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3157 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3162 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3166 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3170 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3174 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3179 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3184 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3189 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3194 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
3198 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
3202 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
3206 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3211 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3216 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3221 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3226 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
3230 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
3234 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
3238 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3243 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3248 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3253 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3258 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
3262 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
3266 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
3270 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3275 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3280 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3285 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3290 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
3294 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
3298 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
3302 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3307 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3312 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3317 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3322 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
3326 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
3330 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
3334 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3339 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3344 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3349 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3354 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
3358 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
3362 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
3366 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3371 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3376 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3381 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3386 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
3390 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
3394 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
3398 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3403 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3408 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3413 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3418 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
3422 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
3426 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
3430 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3435 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3440 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3445 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3450 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
3454 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
3458 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
3462 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3467 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3472 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3477 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3482 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
3486 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
3490 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
3494 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3499 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,1,0},
3504 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3509 {
SO_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3514 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
3518 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
3522 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
3526 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3531 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3536 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3541 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3546 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
3550 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
3554 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
3558 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3563 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3568 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3573 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3578 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
3582 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
3586 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
3590 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3595 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3600 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3605 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3610 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
3614 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
3618 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
3622 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3627 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3632 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3637 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3642 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
3646 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
3650 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
3654 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3659 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3664 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3669 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3674 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
3678 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
3682 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
3686 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3691 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3696 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3701 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3706 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
3710 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
3714 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
3718 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3723 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3728 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3733 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3738 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
3742 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
3746 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
3750 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3755 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3760 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3765 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3770 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
3774 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
3778 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
3782 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3787 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3792 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3797 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3802 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3806 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3810 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3814 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3819 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3824 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3829 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3834 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3838 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3842 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3846 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3851 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3856 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3861 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3866 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3870 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3874 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3878 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3883 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3888 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3893 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3898 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3902 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3906 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3910 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3915 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3920 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3925 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3930 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3934 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3938 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3942 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3947 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3952 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3957 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3962 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3966 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3970 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3974 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3979 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
3984 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3989 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3994 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
3998 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
4002 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
4006 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4011 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4016 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4021 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4026 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
4030 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
4034 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
4038 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4043 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4048 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4053 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4058 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
4062 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
4066 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
4070 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4075 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4080 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4085 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4090 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
4094 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
4098 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
4102 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4107 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4112 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4117 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4122 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
4126 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
4130 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
4134 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4139 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4144 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4149 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4154 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
4158 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
4162 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
4166 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4171 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4176 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4181 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4186 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
4190 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
4194 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
4198 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4203 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4208 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4213 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4218 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
4222 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
4226 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
4230 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4235 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4240 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4245 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4250 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
4254 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
4258 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
4262 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4267 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4272 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4277 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4282 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
4286 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
4290 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
4294 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4299 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4304 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4309 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4337 &si000[0],&si001[0],&si002[0],&si003[0],&si004[0],&si005[0],
4338 &si006[0],&si007[0],&si008[0],&si009[0],&si010[0],&si011[0],
4339 &si012[0],&si013[0],&si014[0],&si015[0],&si016[0],&si017[0],
4340 &si018[0],&si019[0],&si020[0],&si021[0],&si022[0],&si023[0],
4341 &si024[0],&si025[0],&si026[0],&si027[0],&si028[0],&si029[0],
4342 &si030[0],&si031[0],&si032[0],&si033[0],&si034[0],&si035[0],
4343 &si036[0],&si037[0],&si038[0],&si039[0],&si040[0],&si041[0],
4344 &si042[0],&si043[0],&si044[0],&si045[0],&si046[0],&si047[0],
4345 &si048[0],&si049[0],&si050[0],&si051[0],&si052[0],&si053[0],
4346 &si054[0],&si055[0],&si056[0],&si057[0],&si058[0],&si059[0],
4347 &si060[0],&si061[0],&si062[0],&si063[0],&si064[0],&si065[0],
4348 &si066[0],&si067[0],&si068[0],&si069[0],&si070[0],&si071[0],
4349 &si072[0],&si073[0],&si074[0],&si075[0],&si076[0],&si077[0],
4350 &si078[0],&si079[0],&si080[0],&si081[0],&si082[0],&si083[0],
4351 &si084[0],&si085[0],&si086[0],&si087[0],&si088[0],&si089[0],
4352 &si090[0],&si091[0],&si092[0],&si093[0],&si094[0],&si095[0],
4353 &si096[0],&si097[0],&si098[0],&si099[0],&si100[0],&si101[0],
4354 &si102[0],&si103[0],&si104[0],&si105[0],&si106[0],&si107[0],
4355 &si108[0],&si109[0],&si110[0],&si111[0],&si112[0],&si113[0],
4356 &si114[0],&si115[0],&si116[0],&si117[0],&si118[0],&si119[0],
4357 &si120[0],&si121[0],&si122[0],&si123[0],&si124[0],&si125[0],
4358 &si126[0],&si127[0],&si128[0],&si129[0],&si130[0],&si131[0],
4359 &si132[0],&si133[0],&si134[0],&si135[0],&si136[0],&si137[0],
4360 &si138[0],&si139[0],&si140[0],&si141[0],&si142[0],&si143[0],
4361 &si144[0],&si145[0],&si146[0],&si147[0],&si148[0],&si149[0],
4362 &si150[0],&si151[0],&si152[0],&si153[0],&si154[0],&si155[0],
4363 &si156[0],&si157[0],&si158[0],&si159[0],&si160[0],&si161[0],
4364 &si162[0],&si163[0],&si164[0],&si165[0],&si166[0],&si167[0],
4365 &si168[0],&si169[0],&si170[0],&si171[0],&si172[0],&si173[0],
4366 &si174[0],&si175[0],&si176[0],&si177[0],&si178[0],&si179[0],
4367 &si180[0],&si181[0],&si182[0],&si183[0],&si184[0],&si185[0],
4368 &si186[0],&si187[0],&si188[0],&si189[0],&si190[0],&si191[0],
4369 &si192[0],&si193[0],&si194[0],&si195[0],&si196[0],&si197[0],
4370 &si198[0],&si199[0],&si200[0],&si201[0],&si202[0],&si203[0],
4371 &si204[0],&si205[0],&si206[0],&si207[0],&si208[0],&si209[0],
4372 &si210[0],&si211[0],&si212[0],&si213[0],&si214[0],&si215[0],
4373 &si216[0],&si217[0],&si218[0],&si219[0],&si220[0],&si221[0],
4374 &si222[0],&si223[0],&si224[0],&si225[0],&si226[0],&si227[0],
4375 &si228[0],&si229[0],&si230[0],&si231[0],&si232[0],&si233[0],
4376 &si234[0],&si235[0],&si236[0],&si237[0],&si238[0],&si239[0],
4377 &si240[0],&si241[0],&si242[0],&si243[0],&si244[0],&si245[0],
4378 &si246[0],&si247[0],&si248[0],&si249[0],&si250[0],&si251[0],
4379 &si252[0],&si253[0],&si254[0],&si255[0],&si256[0],&si257[0],
4380 &si258[0],&si259[0],&si260[0],&si261[0],&si262[0],&si263[0],
4381 &si264[0],&si265[0],&si266[0],&si267[0],&si268[0],&si269[0],
4382 &si270[0],&si271[0],&si272[0],&si273[0],&si274[0],&si275[0],
4383 &si276[0],&si277[0],&si278[0],&si279[0],&si280[0],&si281[0],
4384 &si282[0],&si283[0],&si284[0],&si285[0],&si286[0],&si287[0],
4385 &si288[0],&si289[0],&si290[0],&si291[0],&si292[0],&si293[0],
4386 &si294[0],&si295[0],&si296[0],&si297[0],&si298[0],&si299[0],
4387 &si300[0],&si301[0],&si302[0],&si303[0],&si304[0],&si305[0],
4388 &si306[0],&si307[0],&si308[0],&si309[0],&si310[0],&si311[0],
4389 &si312[0],&si313[0],&si314[0],&si315[0],&si316[0],&si317[0],
4390 &si318[0],&si319[0],&si320[0],&si321[0],&si322[0],&si323[0],
4391 &si324[0],&si325[0],&si326[0],&si327[0],&si328[0],&si329[0],
4392 &si330[0],&si331[0],&si332[0],&si333[0],&si334[0],&si335[0],
4393 &si336[0],&si337[0],&si338[0],&si339[0],&si340[0],&si341[0],
4394 &si342[0],&si343[0],&si344[0],&si345[0],&si346[0],&si347[0],
4395 &si348[0],&si349[0],&si350[0],&si351[0],&si352[0],&si353[0],
4396 &si354[0],&si355[0],&si356[0],&si357[0],&si358[0],&si359[0],
4397 &si360[0],&si361[0],&si362[0],&si363[0],&si364[0],&si365[0],
4398 &si366[0],&si367[0],&si368[0],&si369[0],&si370[0],&si371[0],
4399 &si372[0],&si373[0],&si374[0],&si375[0],&si376[0],&si377[0],
4400 &si378[0],&si379[0],&si380[0],&si381[0],&si382[0],&si383[0],
4401 &si384[0],&si385[0],&si386[0],&si387[0],&si388[0],&si389[0],
4402 &si390[0],&si391[0],&si392[0],&si393[0],&si394[0],&si395[0],
4403 &si396[0],&si397[0],&si398[0],&si399[0],&si400[0],&si401[0],
4404 &si402[0],&si403[0],&si404[0],&si405[0],&si406[0],&si407[0],
4405 &si408[0],&si409[0],&si410[0],&si411[0],&si412[0],&si413[0],
4406 &si414[0],&si415[0],&si416[0],&si417[0],&si418[0],&si419[0],
4407 &si420[0],&si421[0],&si422[0],&si423[0],&si424[0],&si425[0],
4408 &si426[0],&si427[0],&si428[0],&si429[0],&si430[0],&si431[0],
4409 &si432[0],&si433[0],&si434[0],&si435[0],&si436[0],&si437[0],
4410 &si438[0],&si439[0],&si440[0],&si441[0],&si442[0],&si443[0],
4411 &si444[0],&si445[0],&si446[0],&si447[0],&si448[0],&si449[0],
4412 &si450[0],&si451[0],&si452[0],&si453[0],&si454[0],&si455[0],
4413 &si456[0],&si457[0],&si458[0],&si459[0],&si460[0],&si461[0],
4414 &si462[0],&si463[0],&si464[0],&si465[0],&si466[0],&si467[0],
4415 &si468[0],&si469[0],&si470[0],&si471[0],&si472[0],&si473[0],
4416 &si474[0],&si475[0],&si476[0],&si477[0],&si478[0],&si479[0],
4417 &si480[0],&si481[0],&si482[0],&si483[0],&si484[0],&si485[0],
4418 &si486[0],&si487[0],&si488[0],&si489[0],&si490[0],&si491[0],
4419 &si492[0],&si493[0],&si494[0],&si495[0],&si496[0],&si497[0],
4420 &si498[0],&si499[0],&si500[0],&si501[0],&si502[0],&si503[0],
4421 &si504[0],&si505[0],&si506[0],&si507[0],&si508[0],&si509[0],
4422 &si510[0],&si511[0],&si512[0],&si513[0],&si514[0],&si515[0],
4423 &si516[0],&si517[0],&si518[0],&si519[0],&si520[0],&si521[0],
4424 &si522[0],&si523[0],&si524[0],&si525[0],&si526[0],&si527[0],
4425 &si528[0],&si529[0],&si530[0],&si531[0],&si532[0],&si533[0],
4426 &si534[0],&si535[0],&si536[0],&si537[0],&si538[0],&si539[0],
4427 &si540[0],&si541[0],&si542[0],&si543[0],&si544[0],&si545[0],
4428 &si546[0],&si547[0],&si548[0],&si549[0],&si550[0],&si551[0],
4429 &si552[0],&si553[0],&si554[0],&si555[0],&si556[0],&si557[0],
4430 &si558[0],&si559[0],&si560[0],&si561[0],&si562[0],&si563[0],
4431 &si564[0],&si565[0],&si566[0],&si567[0],&si568[0],&si569[0],
4432 &si570[0],&si571[0],&si572[0],&si573[0],&si574[0],&si575[0],
4433 &si576[0],&si577[0],&si578[0],&si579[0],&si580[0],&si581[0],
4434 &si582[0],&si583[0],&si584[0],&si585[0],&si586[0],&si587[0],
4435 &si588[0],&si589[0],&si590[0],&si591[0],&si592[0],&si593[0],
4436 &si594[0],&si595[0],&si596[0],&si597[0],&si598[0],&si599[0],
4437 &si600[0],&si601[0],&si602[0],&si603[0],&si604[0],&si605[0],
4438 &si606[0],&si607[0],&si608[0],&si609[0],&si610[0],&si611[0],
4439 &si612[0],&si613[0],&si614[0],&si615[0],&si616[0],&si617[0],
4440 &si618[0],&si619[0],&si620[0],&si621[0],&si622[0],&si623[0],
4441 &si624[0],&si625[0],&si626[0],&si627[0],&si628[0],&si629[0],
4442 &si630[0],&si631[0],&si632[0],&si633[0],&si634[0],&si635[0],
4443 &si636[0],&si637[0],&si638[0],&si639[0],&si640[0],&si641[0],
4444 &si642[0],&si643[0],&si644[0],&si645[0],&si646[0],&si647[0],
4445 &si648[0],&si649[0],&si650[0],&si651[0],&si652[0],&si653[0],
4446 &si654[0],&si655[0],&si656[0],&si657[0],&si658[0],&si659[0],
4447 &si660[0],&si661[0],&si662[0],&si663[0],&si664[0],&si665[0],
4448 &si666[0],&si667[0],&si668[0],&si669[0],&si670[0],&si671[0],
4449 &si672[0],&si673[0],&si674[0],&si675[0],&si676[0],&si677[0],
4450 &si678[0],&si679[0],&si680[0],&si681[0],&si682[0],&si683[0],
4451 &si684[0],&si685[0],&si686[0],&si687[0],&si688[0],&si689[0],
4452 &si690[0],&si691[0],&si692[0],&si693[0],&si694[0],&si695[0],
4453 &si696[0],&si697[0],&si698[0],&si699[0],&si700[0],&si701[0],
4454 &si702[0],&si703[0],&si704[0],&si705[0],&si706[0],&si707[0],
4455 &si708[0],&si709[0],&si710[0],&si711[0],&si712[0],&si713[0],
4456 &si714[0],&si715[0],&si716[0],&si717[0],&si718[0],&si719[0],
4457 &si720[0],&si721[0],&si722[0],&si723[0],&si724[0],&si725[0],
4458 &si726[0],&si727[0],&si728[0],&si729[0],&si730[0],&si731[0],
4459 &si732[0],&si733[0],&si734[0],&si735[0],&si736[0],&si737[0],
4460 &si738[0],&si739[0],&si740[0],&si741[0],&si742[0],&si743[0],
4461 &si744[0],&si745[0],&si746[0],&si747[0],&si748[0],&si749[0],
4462 &si750[0],&si751[0],&si752[0],&si753[0],&si754[0],&si755[0],
4463 &si756[0],&si757[0],&si758[0],&si759[0],&si760[0],&si761[0],
4464 &si762[0],&si763[0],&si764[0],&si765[0],&si766[0],&si767[0],
4465 &si768[0],&si769[0],&si770[0],&si771[0],&si772[0],&si773[0],
4466 &si774[0],&si775[0],&si776[0],&si777[0],&si778[0],&si779[0],
4467 &si780[0],&si781[0],&si782[0],&si783[0],&si784[0],&si785[0],
4468 &si786[0],&si787[0],&si788[0],&si789[0],&si790[0],&si791[0],
4469 &si792[0],&si793[0],&si794[0],&si795[0],&si796[0],&si797[0],
4470 &si798[0],&si799[0],&si800[0],&si801[0],&si802[0],&si803[0],
4471 &si804[0],&si805[0],&si806[0],&si807[0],&si808[0],&si809[0],
4472 &si810[0],&si811[0],&si812[0],&si813[0],&si814[0],&si815[0],
4473 &si816[0],&si817[0],&si818[0],&si819[0],&si820[0],&si821[0],
4474 &si822[0],&si823[0],&si824[0],&si825[0],&si826[0],&si827[0],
4475 &si828[0],&si829[0],&si830[0],&si831[0],&si832[0],&si833[0],
4476 &si834[0],&si835[0],&si836[0],&si837[0],&si838[0],&si839[0],
4477 &si840[0],&si841[0],&si842[0],&si843[0],&si844[0],&si845[0],
4478 &si846[0],&si847[0],&si848[0],&si849[0],&si850[0],&si851[0],
4479 &si852[0],&si853[0],&si854[0],&si855[0],&si856[0],&si857[0],
4480 &si858[0],&si859[0],&si860[0],&si861[0],&si862[0],&si863[0],
4481 &si864[0],&si865[0],&si866[0],&si867[0],&si868[0],&si869[0],
4482 &si870[0],&si871[0],&si872[0],&si873[0],&si874[0],&si875[0],
4483 &si876[0],&si877[0],&si878[0],&si879[0]
4493 for (
int i=0;
i<
n;
i++) {
4497 }
else if (
i < 100) {
4511 if ( (i % 31) == 0) {
4513 for (
int j=0; j<
n; j++) {
4514 if ( (j % 37) == 0) {
4518 }
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
ReifyMode mode(void) const
Return reification mode.
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.
Test set expressions with constant result
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
Base class for assignments
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
BoolVar var(void) const
Return Boolean control variable.
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.