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),
134 int reg[4] = {(
x[0] !=
x[2]),
x[1],
137 int ret =
eval(
bis, reg, failed);
215 :
Test(
"MiniModel::SetExpr::Expr::"+s+
"::"+
str(srt0),
222 int reg0[4] = {(
x[0] !=
x[2]),
x[1],
225 int ret0 =
eval(
bis0, reg0, failed0);
229 int reg1[4] = {(
x[4] !=
x[6]),
x[5],
232 int ret1 =
eval(
bis1, reg1, failed1);
319 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
323 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
327 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
331 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
336 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
351 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
355 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
359 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
363 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
368 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
383 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
387 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
391 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
395 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
400 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
415 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
419 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
423 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
427 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
432 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
447 {
SO_INTER,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
451 {
SO_INTER,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
455 {
SO_INTER,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
459 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_INTER,2,3,1},
464 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
479 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
483 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
487 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
491 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
496 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
511 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
515 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
519 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
523 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
528 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
543 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
547 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
551 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
555 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
560 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
575 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
579 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
583 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
587 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
592 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
607 {
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
611 {
SO_INTER,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
615 {
SO_INTER,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
619 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION ,2,3,1},
624 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
639 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
643 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
647 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
651 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
656 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
671 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
675 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
679 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
683 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
688 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
703 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
707 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
711 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
715 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
720 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
735 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
739 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
743 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
747 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
752 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
767 {
SO_INTER,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
771 {
SO_INTER,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
775 {
SO_INTER,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
779 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_UNION,2,3,1},
784 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
799 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
803 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
807 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
811 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
816 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
831 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
835 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
839 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
843 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
848 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
863 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
867 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
871 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
875 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
880 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
895 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
899 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
903 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
907 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
912 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
927 {
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
931 {
SO_INTER,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
935 {
SO_INTER,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
939 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_DUNION,2,3,1},
944 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
959 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
963 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
967 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
971 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
976 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
991 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
995 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
999 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
1003 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1008 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1023 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1027 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1031 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1035 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1040 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1055 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1059 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1063 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1067 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1072 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1087 {
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1091 {
SO_INTER,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1095 {
SO_INTER,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1099 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_INTER,0,1,0},{
SO_MINUS,2,3,1},
1104 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_INTER,0,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_INTER,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1119 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1123 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1127 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1131 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1136 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1151 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1155 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1159 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1163 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1168 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1183 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1187 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1191 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1195 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1200 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1215 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
1219 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
1223 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
1227 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1232 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1247 {
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
1251 {
SO_UNION ,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
1255 {
SO_UNION ,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
1259 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_INTER,2,3,1},
1264 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1279 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
1283 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
1287 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
1291 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1296 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1311 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
1315 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
1319 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
1323 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1328 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1343 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
1347 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
1351 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
1355 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1360 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1375 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
1379 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
1383 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
1387 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1392 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1407 {
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
1411 {
SO_UNION ,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
1415 {
SO_UNION ,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
1419 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION ,2,3,1},
1424 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
1439 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
1443 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
1447 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
1451 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1456 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1471 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
1475 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
1479 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
1483 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1488 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1503 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
1507 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
1511 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
1515 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1520 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1535 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
1539 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
1543 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
1547 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1552 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1567 {
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
1571 {
SO_UNION ,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
1575 {
SO_UNION ,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
1579 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_UNION,2,3,1},
1584 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
1599 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
1603 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
1607 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
1611 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1616 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1631 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
1635 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
1639 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
1643 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1648 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1663 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
1667 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
1671 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
1675 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1680 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1695 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
1699 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
1703 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
1707 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1712 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1727 {
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
1731 {
SO_UNION ,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
1735 {
SO_UNION ,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
1739 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_DUNION,2,3,1},
1744 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
1759 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
1763 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
1767 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
1771 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1776 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1791 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
1795 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
1799 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
1803 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1808 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1823 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
1827 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
1831 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
1835 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1840 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1855 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
1859 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
1863 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
1867 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1872 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1887 {
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
1891 {
SO_UNION ,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
1895 {
SO_UNION ,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
1899 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION ,0,1,0},{
SO_MINUS,2,3,1},
1904 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION ,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
1919 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
1923 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
1927 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
1931 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1936 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1951 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
1955 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
1959 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
1963 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
1968 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
1983 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
1987 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
1991 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
1995 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2000 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2015 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2019 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2023 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2027 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2032 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2047 {
SO_UNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2051 {
SO_UNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2055 {
SO_UNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2059 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_INTER,2,3,1},
2064 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2079 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2083 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2087 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2091 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2096 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2111 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2115 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2119 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2123 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2128 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2143 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2147 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2151 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2155 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2160 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2175 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2179 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2183 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2187 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2192 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2207 {
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
2211 {
SO_UNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
2215 {
SO_UNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
2219 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION ,2,3,1},
2224 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2239 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
2243 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
2247 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
2251 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2256 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2271 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
2275 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
2279 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
2283 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2288 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2303 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
2307 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
2311 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
2315 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2320 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2335 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
2339 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
2343 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
2347 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2352 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2367 {
SO_UNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
2371 {
SO_UNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
2375 {
SO_UNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
2379 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_UNION,2,3,1},
2384 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
2399 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
2403 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
2407 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
2411 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2416 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2431 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
2435 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
2439 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
2443 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2448 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2463 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
2467 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
2471 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
2475 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2480 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2495 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
2499 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
2503 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
2507 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2512 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2527 {
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
2531 {
SO_UNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
2535 {
SO_UNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
2539 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_DUNION,2,3,1},
2544 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
2559 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
2563 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
2567 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
2571 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2576 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2591 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
2595 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
2599 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
2603 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2608 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2623 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
2627 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
2631 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
2635 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2640 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2655 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
2659 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
2663 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
2667 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2672 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2687 {
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
2691 {
SO_UNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
2695 {
SO_UNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
2699 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_UNION,0,1,0},{
SO_MINUS,2,3,1},
2704 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_UNION,0,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_UNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
2719 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
2723 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
2727 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
2731 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2736 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2751 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
2755 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
2759 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
2763 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2768 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2783 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
2787 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
2791 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
2795 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2800 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2815 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
2819 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
2823 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
2827 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2832 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2847 {
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
2851 {
SO_DUNION,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
2855 {
SO_DUNION,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
2859 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_INTER,2,3,1},
2864 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
2879 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
2883 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
2887 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
2891 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2896 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2911 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
2915 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
2919 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
2923 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2928 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2943 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
2947 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
2951 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
2955 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2960 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
2975 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
2979 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
2983 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
2987 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
2992 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3007 {
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3011 {
SO_DUNION,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3015 {
SO_DUNION,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3019 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION ,2,3,1},
3024 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3039 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3043 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3047 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3051 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3056 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3071 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3075 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3079 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3083 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3088 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3103 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3107 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3111 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3115 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3120 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3135 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3139 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3143 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3147 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3152 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3167 {
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3171 {
SO_DUNION,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3175 {
SO_DUNION,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3179 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_UNION,2,3,1},
3184 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3199 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
3203 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
3207 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
3211 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3216 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3231 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
3235 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
3239 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
3243 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3248 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3263 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
3267 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
3271 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
3275 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3280 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3295 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
3299 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
3303 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
3307 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3312 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3327 {
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
3331 {
SO_DUNION,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
3335 {
SO_DUNION,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
3339 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_DUNION,2,3,1},
3344 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
3359 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
3363 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
3367 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
3371 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3376 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3391 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
3395 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
3399 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
3403 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3408 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3423 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
3427 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
3431 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
3435 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3440 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3455 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
3459 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
3463 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
3467 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3472 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3487 {
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
3491 {
SO_DUNION,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
3495 {
SO_DUNION,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
3499 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_DUNION,0,1,0},{
SO_MINUS,2,3,1},
3504 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_DUNION,0,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_DUNION,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
3519 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_INTER,0,1,0},
3523 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_INTER,0,3,0},
3527 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_INTER,0,1,0},
3531 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3536 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3551 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION ,0,1,0},
3555 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION ,0,3,0},
3559 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION ,0,1,0},
3563 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3568 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3583 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_UNION,0,1,0},
3587 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_UNION,0,3,0},
3591 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_UNION,0,1,0},
3595 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3600 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3615 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_DUNION,0,1,0},
3619 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_DUNION,0,3,0},
3623 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_DUNION,0,1,0},
3627 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3632 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3647 {
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},{
SO_MINUS,0,1,0},
3651 {
SO_MINUS,0,1,0},{
SO_INTER,0,2,0},{
SO_MINUS,0,3,0},
3655 {
SO_MINUS,2,3,2},{
SO_INTER,1,2,1},{
SO_MINUS,0,1,0},
3659 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_INTER,2,3,1},
3664 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_INTER,2,3,1},{
SO_CMPL,1,1,0},
3679 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_INTER,0,1,0},
3683 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_INTER,0,3,0},
3687 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_INTER,0,1,0},
3691 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3696 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3711 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION ,0,1,0},
3715 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION ,0,3,0},
3719 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION ,0,1,0},
3723 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3728 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3743 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_UNION,0,1,0},
3747 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_UNION,0,3,0},
3751 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_UNION,0,1,0},
3755 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3760 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3775 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_DUNION,0,1,0},
3779 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_DUNION,0,3,0},
3783 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_DUNION,0,1,0},
3787 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3792 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3807 {
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},{
SO_MINUS,0,1,0},
3811 {
SO_MINUS,0,1,0},{
SO_UNION ,0,2,0},{
SO_MINUS,0,3,0},
3815 {
SO_MINUS,2,3,2},{
SO_UNION ,1,2,1},{
SO_MINUS,0,1,0},
3819 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION ,2,3,1},
3824 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION ,2,3,1},{
SO_CMPL,1,1,0},
3839 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_INTER,0,1,0},
3843 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_INTER,0,3,0},
3847 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_INTER,0,1,0},
3851 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3856 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3871 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION ,0,1,0},
3875 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION ,0,3,0},
3879 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION ,0,1,0},
3883 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3888 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3903 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_UNION,0,1,0},
3907 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_UNION,0,3,0},
3911 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_UNION,0,1,0},
3915 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3920 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3935 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_DUNION,0,1,0},
3939 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_DUNION,0,3,0},
3943 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_DUNION,0,1,0},
3947 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3952 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3967 {
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},{
SO_MINUS,0,1,0},
3971 {
SO_MINUS,0,1,0},{
SO_UNION,0,2,0},{
SO_MINUS,0,3,0},
3975 {
SO_MINUS,2,3,2},{
SO_UNION,1,2,1},{
SO_MINUS,0,1,0},
3979 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_UNION,2,3,1},
3984 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_UNION,2,3,1},{
SO_CMPL,1,1,0},
3999 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_INTER,0,1,0},
4003 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_INTER,0,3,0},
4007 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_INTER,0,1,0},
4011 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4016 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4031 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION ,0,1,0},
4035 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION ,0,3,0},
4039 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION ,0,1,0},
4043 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4048 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4063 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_UNION,0,1,0},
4067 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_UNION,0,3,0},
4071 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_UNION,0,1,0},
4075 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4080 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4095 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_DUNION,0,1,0},
4099 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_DUNION,0,3,0},
4103 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_DUNION,0,1,0},
4107 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4112 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4127 {
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},{
SO_MINUS,0,1,0},
4131 {
SO_MINUS,0,1,0},{
SO_DUNION,0,2,0},{
SO_MINUS,0,3,0},
4135 {
SO_MINUS,2,3,2},{
SO_DUNION,1,2,1},{
SO_MINUS,0,1,0},
4139 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_DUNION,2,3,1},
4144 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_DUNION,2,3,1},{
SO_CMPL,1,1,0},
4159 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_INTER,0,1,0},
4163 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_INTER,0,3,0},
4167 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_INTER,0,1,0},
4171 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4176 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4191 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION ,0,1,0},
4195 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION ,0,3,0},
4199 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION ,0,1,0},
4203 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4208 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4223 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_UNION,0,1,0},
4227 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_UNION,0,3,0},
4231 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_UNION,0,1,0},
4235 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4240 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4255 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_DUNION,0,1,0},
4259 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_DUNION,0,3,0},
4263 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_DUNION,0,1,0},
4267 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4272 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,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_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4287 {
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},{
SO_MINUS,0,1,0},
4291 {
SO_MINUS,0,1,0},{
SO_MINUS,0,2,0},{
SO_MINUS,0,3,0},
4295 {
SO_MINUS,2,3,2},{
SO_MINUS,1,2,1},{
SO_MINUS,0,1,0},
4299 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_MINUS,0,1,0},{
SO_MINUS,2,3,1},
4304 {
SO_CMPL,0,0,0},{
SO_CMPL,2,2,0},{
SO_CMPL,0,0,0},{
SO_MINUS,0,1,0},
4309 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4314 {
SO_MINUS,0,1,0},{
SO_CMPL,0,0,0},{
SO_MINUS,2,3,1},{
SO_CMPL,1,1,0},
4498 for (
int i=0; i<n; i++) {
4502 }
else if (i < 100) {
4516 if ( (i % 31) == 0) {
4518 for (
int j=0; j<n; j++) {
4519 if ( (j % 37) == 0) {
4523 }
else if (j < 100) {
static const IntSet empty
Empty set.
Reification specification.
Base class for assignments
Help class to create and register tests.
Create(void)
Perform creation and registration.
Test set expressions with constant result
virtual bool solution(const Assignment &x) const
Test whether x is solution
int c
Result of expression.
Gecode::SetRelType srt
Set relation
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x.
SetExprConst(const SetInstr *bis0, const std::string &s, Gecode::SetRelType srt0, int c0)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
const SetInstr * bis
Set instruction sequence
Test set expressions with expression result
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
Post reified constraint on x.
virtual bool solution(const Assignment &x) const
Test whether x is solution
Gecode::SetRelType srt
Set relation
const SetInstr * bis1
Second set instruction sequence
const SetInstr * bis0
First set instruction sequence
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
SetExprExpr(const SetInstr *bis00, const SetInstr *bis10, const std::string &s, Gecode::SetRelType srt0)
Create and register test.
Type for representing a set instruction.
SetOpcode o
Which instruction to execute.
unsigned char z
Instruction arguments, z is destination (or y for complement)
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
@ RM_EQV
Equivalence for reification (default)
SetRelType
Common relation types for sets.
Gecode toplevel namespace
SetExpr singleton(const LinIntExpr &)
Singleton expression.
Post propagator for SetVar x
Tests for minimal modelling constraints (Set)
int eval(const SetInstr *pc, int reg[], bool &failed)
Executes set instruction for evaluation (checking)
bool simpleReifiedSemantics(const SetInstr *pc)
@ SO_DUNION
Disjoint union.
Testing finite domain integers.
#define GECODE_NEVER
Assert that this command is never executed.