mm-set.cpp

Go to the documentation of this file.

/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2008
 *
 *  Last modified:
 *     $Date: 2010-07-16 11:05:32 +0200 (Fri, 16 Jul 2010) $ by $Author: tack $
 *     $Revision: 11209 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  Permission is hereby granted, free of charge, to any person obtaining
 *  a copy of this software and associated documentation files (the
 *  "Software"), to deal in the Software without restriction, including
 *  without limitation the rights to use, copy, modify, merge, publish,
 *  distribute, sublicense, and/or sell copies of the Software, and to
 *  permit persons to whom the Software is furnished to do so, subject to
 *  the following conditions:
 *
 *  The above copyright notice and this permission notice shall be
 *  included in all copies or substantial portions of the Software.
 *
 *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 *
 */

#include "test/int.hh"

#include <gecode/minimodel.hh>

namespace Test { namespace Int {

  namespace MiniModelSet {

    enum SetOpcode {
      SO_CMPL,   
      SO_UNION,  
      SO_DUNION, 
      SO_INTER,  
      SO_MINUS,  
      SO_HLT     
    };
    
    class SetInstr {
    public:
      SetOpcode o; 
      unsigned char x, y, z;  
    };
    
    int
    eval(const SetInstr* pc, int reg[], bool& failed) {
      failed = false;
      while (true) {
        switch (pc->o) {
        case SO_CMPL: reg[pc->y] = !reg[pc->x]; break;
        case SO_INTER: reg[pc->z] = reg[pc->x] & reg[pc->y]; break;
        case SO_UNION:  reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
        case SO_DUNION: 
          if (reg[pc->x] && reg[pc->y])
            failed = true;
          reg[pc->z] = reg[pc->x] | reg[pc->y]; break;
        case SO_MINUS: reg[pc->z] = reg[pc->x] & (!reg[pc->y]); break;
        case SO_HLT: return reg[pc->x];
        default: GECODE_NEVER;
        }
        pc++;
      }
      GECODE_NEVER;
    }
    
    Gecode::SetExpr
    eval(const SetInstr* pc, Gecode::SetExpr reg[]) {
      using namespace Gecode;
      while (true) {
        switch (pc->o) {
        case SO_CMPL:   reg[pc->y] = ((-reg[pc->x]) & singleton(1)); break;
        case SO_INTER:  reg[pc->z] = (reg[pc->x] & reg[pc->y]); break;
        case SO_UNION:  reg[pc->z] = (reg[pc->x] | reg[pc->y]); break;
        case SO_DUNION: reg[pc->z] = reg[pc->x] + reg[pc->y]; break;
        case SO_MINUS:  reg[pc->z] = reg[pc->x] - reg[pc->y]; break;
        case SO_HLT: return reg[pc->x];
        default: GECODE_NEVER;
        }
        pc++;
      }
      GECODE_NEVER;
    }
    
    bool
    simpleReifiedSemantics(const SetInstr* pc) {
      while (pc->o != SO_HLT) {
        if (pc->o == SO_DUNION)
          return false;
        pc++;
      }
      return true;
    }
    

    class SetExprConst : public Test {
    protected:
      const SetInstr* bis;
      int c;
      Gecode::SetRelType srt;
    public:
      SetExprConst(const SetInstr* bis0, const std::string& s, 
                   Gecode::SetRelType srt0, int c0)
        : Test("MiniModel::SetExpr::Const::"+s+"::"+str(srt0)+"::"+str(c0),
               4,0,1,simpleReifiedSemantics(bis0)),
          bis(bis0), c(c0), srt(srt0) {}
      virtual bool solution(const Assignment& x) const {
        int reg[4] = {(x[0] != x[2]), x[1],
                      (x[2] > 0), x[3]};
        bool failed;
        int ret = eval(bis, reg, failed);
        if (failed)
          return false;
        switch (srt) {
          case Gecode::SRT_EQ: return ret == c;
          case Gecode::SRT_NQ: return ret != c;
          case Gecode::SRT_SUB: return ret <= c;
          case Gecode::SRT_SUP: return ret >= c;
          case Gecode::SRT_DISJ: return ret+c != 2;
          case Gecode::SRT_CMPL: return ret != c;
        }
        GECODE_NEVER;
        return false;
      }
      virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
        using namespace Gecode;
        SetVarArgs s(home,4,IntSet::empty,1,1);
        Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
        Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
        Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
        Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
        Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
        Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
        Gecode::SetExpr e = eval(bis,reg);
        switch (srt) {
          case Gecode::SRT_EQ: Gecode::rel(home, e == res); break;
          case Gecode::SRT_NQ: Gecode::rel(home, e != res); break;
          case Gecode::SRT_SUB: Gecode::rel(home, e <= res); break;
          case Gecode::SRT_SUP: Gecode::rel(home, e >= res); break;
          case Gecode::SRT_DISJ: Gecode::rel(home, e || res); break;
          case Gecode::SRT_CMPL: Gecode::rel(home, e == -res); break;
        }
      }
      virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, 
                        Gecode::BoolVar b) {
        using namespace Gecode;
        SetVarArgs s(home,4,IntSet::empty,1,1);
        Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
        Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
        Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
        Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
        Gecode::SetExpr reg[4] = {s[0],s[1],s[2],s[3]};
        Gecode::SetExpr res = (c==0) ? IntSet::empty : singleton(1);
        Gecode::SetExpr e = eval(bis,reg);
        switch (srt) {
          case Gecode::SRT_EQ: Gecode::rel(home, (e == res)==b); break;
          case Gecode::SRT_NQ: Gecode::rel(home, (e != res)==b); break;
          case Gecode::SRT_SUB: Gecode::rel(home, (e <= res)==b); break;
          case Gecode::SRT_SUP: Gecode::rel(home, (e >= res)==b); break;
          case Gecode::SRT_DISJ: Gecode::rel(home, (e || res)==b); break;
          case Gecode::SRT_CMPL: Gecode::rel(home, (e == -res)==b); break;
        }
      }
    };
    
    class SetExprExpr : public Test {
    protected:
      const SetInstr* bis0;
      const SetInstr* bis1;
      Gecode::SetRelType srt;
    public:
      SetExprExpr(const SetInstr* bis00, const SetInstr* bis10,
                  const std::string& s, Gecode::SetRelType srt0)
        : Test("MiniModel::SetExpr::Expr::"+s+"::"+str(srt0),
               8,0,1,
               simpleReifiedSemantics(bis00) && 
               simpleReifiedSemantics(bis10)),
          bis0(bis00), bis1(bis10), srt(srt0) {}
      virtual bool solution(const Assignment& x) const {
        int reg0[4] = {(x[0] != x[2]), x[1],
                       (x[2] > 0), x[3]};
        bool failed0;
        int ret0 = eval(bis0, reg0, failed0);
        if (failed0)
          return false;
    
        int reg1[4] = {(x[4] != x[6]), x[5],
                       (x[6] > 0), x[7]};
        bool failed1;
        int ret1 = eval(bis1, reg1, failed1);
    
        if (failed1)
          return false;
    
        switch (srt) {
          case Gecode::SRT_EQ: return ret0 == ret1;
          case Gecode::SRT_NQ: return ret0 != ret1;
          case Gecode::SRT_SUB: return ret0 <= ret1;
          case Gecode::SRT_SUP: return ret0 >= ret1;
          case Gecode::SRT_DISJ: return ret0+ret1 != 2;
          case Gecode::SRT_CMPL: return ret0 != ret1;
        }
        GECODE_NEVER;
        return false;
      }
      virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
        using namespace Gecode;
        SetVarArgs s(home,8,IntSet::empty,1,1);
        Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
        Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
        Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
        Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
    
        Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
        Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
        Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
        Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
    
        Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
        Gecode::SetExpr e0 = eval(bis0,reg0);
    
        Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
        Gecode::SetExpr e1 = eval(bis1,reg1);
    
        switch (srt) {
          case Gecode::SRT_EQ: Gecode::rel(home, e0 == e1); break;
          case Gecode::SRT_NQ: Gecode::rel(home, e0 != e1); break;
          case Gecode::SRT_SUB: Gecode::rel(home, e0 <= e1); break;
          case Gecode::SRT_SUP: Gecode::rel(home, e0 >= e1); break;
          case Gecode::SRT_DISJ: Gecode::rel(home, e0 || e1); break;
          case Gecode::SRT_CMPL: Gecode::rel(home, e0 == -e1); break;
        }
      }
      virtual void post(Gecode::Space& home, Gecode::IntVarArray& x,
                        Gecode::BoolVar b) {
        using namespace Gecode;
        SetVarArgs s(home,8,IntSet::empty,1,1);
        Gecode::rel(home, (singleton(1) == s[0]) == (x[0] != x[2]));
        Gecode::rel(home, (singleton(1) == s[1]) == (x[1] == 1));
        Gecode::rel(home, (singleton(1) == s[2]) == (x[2] > 0));
        Gecode::rel(home, (singleton(1) == s[3]) == (x[3] == 1));
    
        Gecode::rel(home, (singleton(1) == s[4]) == (x[4] != x[6]));
        Gecode::rel(home, (singleton(1) == s[5]) == (x[5] == 1));
        Gecode::rel(home, (singleton(1) == s[6]) == (x[6] > 0));
        Gecode::rel(home, (singleton(1) == s[7]) == (x[7] == 1));
    
        Gecode::SetExpr reg0[4] = {s[0],s[1],s[2],s[3]};
        Gecode::SetExpr e0 = eval(bis0,reg0);
    
        Gecode::SetExpr reg1[4] = {s[4],s[5],s[6],s[7]};
        Gecode::SetExpr e1 = eval(bis1,reg1);
    
        switch (srt) {
          case Gecode::SRT_EQ: Gecode::rel(home, (e0 == e1)==b); break;
          case Gecode::SRT_NQ: Gecode::rel(home, (e0 != e1)==b); break;
          case Gecode::SRT_SUB: Gecode::rel(home, (e0 <= e1)==b); break;
          case Gecode::SRT_SUP: Gecode::rel(home, (e0 >= e1)==b); break;
          case Gecode::SRT_DISJ: Gecode::rel(home, (e0 || e1)==b); break;
          case Gecode::SRT_CMPL: Gecode::rel(home, (e0 == -e1)==b); break;
        }
      }
    };

    const SetInstr si000[] = {
      {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si001[] = {
      {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si002[] = {
      {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si003[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si004[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si005[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si006[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si007[] = {
      {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si008[] = {
      {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si009[] = {
      {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si010[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si011[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si012[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si013[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si014[] = {
      {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si015[] = {
      {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si016[] = {
      {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si017[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si018[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si019[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si020[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si021[] = {
      {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si022[] = {
      {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si023[] = {
      {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si024[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si025[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si026[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si027[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si028[] = {
      {SO_INTER,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si029[] = {
      {SO_INTER,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si030[] = {
      {SO_INTER,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si031[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_INTER,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si032[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si033[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si034[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si035[] = {
      {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si036[] = {
      {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si037[] = {
      {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si038[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si039[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si040[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si041[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si042[] = {
      {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si043[] = {
      {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si044[] = {
      {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si045[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si046[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si047[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si048[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si049[] = {
      {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si050[] = {
      {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si051[] = {
      {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si052[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si053[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si054[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si055[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si056[] = {
      {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si057[] = {
      {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si058[] = {
      {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si059[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si060[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si061[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si062[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si063[] = {
      {SO_INTER,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si064[] = {
      {SO_INTER,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si065[] = {
      {SO_INTER,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si066[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION ,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si067[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si068[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si069[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si070[] = {
      {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si071[] = {
      {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si072[] = {
      {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si073[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si074[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si075[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si076[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si077[] = {
      {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si078[] = {
      {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si079[] = {
      {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si080[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si081[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si082[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si083[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si084[] = {
      {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si085[] = {
      {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si086[] = {
      {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si087[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si088[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si089[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si090[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si091[] = {
      {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si092[] = {
      {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si093[] = {
      {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si094[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si095[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si096[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si097[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si098[] = {
      {SO_INTER,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si099[] = {
      {SO_INTER,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si100[] = {
      {SO_INTER,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si101[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_UNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si102[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si103[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si104[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si105[] = {
      {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si106[] = {
      {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si107[] = {
      {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si108[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si109[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si110[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si111[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si112[] = {
      {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si113[] = {
      {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si114[] = {
      {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si115[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si116[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si117[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si118[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si119[] = {
      {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si120[] = {
      {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si121[] = {
      {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si122[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si123[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si124[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si125[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si126[] = {
      {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si127[] = {
      {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si128[] = {
      {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si129[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si130[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si131[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si132[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si133[] = {
      {SO_INTER,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si134[] = {
      {SO_INTER,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si135[] = {
      {SO_INTER,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si136[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_DUNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si137[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si138[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si139[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si140[] = {
      {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si141[] = {
      {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si142[] = {
      {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si143[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si144[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si145[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si146[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si147[] = {
      {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si148[] = {
      {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si149[] = {
      {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si150[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si151[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si152[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si153[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si154[] = {
      {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si155[] = {
      {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si156[] = {
      {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si157[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si158[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si159[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si160[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si161[] = {
      {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si162[] = {
      {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si163[] = {
      {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si164[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si165[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si166[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si167[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si168[] = {
      {SO_INTER,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si169[] = {
      {SO_INTER,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si170[] = {
      {SO_INTER,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si171[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_INTER,0,1,0},{SO_MINUS,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si172[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_INTER,0,1,0},
      {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si173[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si174[] = {
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si175[] = {
      {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si176[] = {
      {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si177[] = {
      {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si178[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si179[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si180[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si181[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si182[] = {
      {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si183[] = {
      {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si184[] = {
      {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si185[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si186[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si187[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si188[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si189[] = {
      {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si190[] = {
      {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si191[] = {
      {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si192[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si193[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si194[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si195[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si196[] = {
      {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si197[] = {
      {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si198[] = {
      {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si199[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si200[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si201[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si202[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si203[] = {
      {SO_UNION ,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si204[] = {
      {SO_UNION ,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si205[] = {
      {SO_UNION ,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si206[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_INTER,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si207[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si208[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si209[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si210[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si211[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si212[] = {
      {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si213[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si214[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si215[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si216[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si217[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si218[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si219[] = {
      {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si220[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si221[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si222[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si223[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si224[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si225[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si226[] = {
      {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si227[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si228[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si229[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si230[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si231[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si232[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si233[] = {
      {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si234[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si235[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si236[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si237[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si238[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si239[] = {
      {SO_UNION ,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si240[] = {
      {SO_UNION ,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si241[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION ,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si242[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si243[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si244[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si245[] = {
      {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si246[] = {
      {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si247[] = {
      {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si248[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si249[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si250[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si251[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si252[] = {
      {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si253[] = {
      {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si254[] = {
      {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si255[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si256[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si257[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si258[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si259[] = {
      {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si260[] = {
      {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si261[] = {
      {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si262[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si263[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si264[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si265[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si266[] = {
      {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si267[] = {
      {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si268[] = {
      {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si269[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si270[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si271[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si272[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si273[] = {
      {SO_UNION ,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si274[] = {
      {SO_UNION ,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si275[] = {
      {SO_UNION ,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si276[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_UNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si277[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si278[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si279[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si280[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si281[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si282[] = {
      {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si283[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si284[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si285[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si286[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si287[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si288[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si289[] = {
      {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si290[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si291[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si292[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si293[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si294[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si295[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si296[] = {
      {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si297[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si298[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si299[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si300[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si301[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si302[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si303[] = {
      {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si304[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si305[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si306[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si307[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si308[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si309[] = {
      {SO_UNION ,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si310[] = {
      {SO_UNION ,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si311[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_DUNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si312[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si313[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si314[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si315[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si316[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si317[] = {
      {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si318[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si319[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si320[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si321[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si322[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si323[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si324[] = {
      {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si325[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si326[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si327[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si328[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si329[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si330[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si331[] = {
      {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si332[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si333[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si334[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si335[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si336[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si337[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si338[] = {
      {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si339[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si340[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si341[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si342[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si343[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si344[] = {
      {SO_UNION ,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si345[] = {
      {SO_UNION ,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si346[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION ,0,1,0},{SO_MINUS,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si347[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION ,0,1,0},
      {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si348[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si349[] = {
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si350[] = {
      {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si351[] = {
      {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si352[] = {
      {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si353[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si354[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si355[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si356[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si357[] = {
      {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si358[] = {
      {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si359[] = {
      {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si360[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si361[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si362[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si363[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si364[] = {
      {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si365[] = {
      {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si366[] = {
      {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si367[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si368[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si369[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si370[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si371[] = {
      {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si372[] = {
      {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si373[] = {
      {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si374[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si375[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si376[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si377[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si378[] = {
      {SO_UNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si379[] = {
      {SO_UNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si380[] = {
      {SO_UNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si381[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_INTER,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si382[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si383[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si384[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si385[] = {
      {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si386[] = {
      {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si387[] = {
      {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si388[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si389[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si390[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si391[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si392[] = {
      {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si393[] = {
      {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si394[] = {
      {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si395[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si396[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si397[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si398[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si399[] = {
      {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si400[] = {
      {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si401[] = {
      {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si402[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si403[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si404[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si405[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si406[] = {
      {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si407[] = {
      {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si408[] = {
      {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si409[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si410[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si411[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si412[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si413[] = {
      {SO_UNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si414[] = {
      {SO_UNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si415[] = {
      {SO_UNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si416[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si417[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si418[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si419[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si420[] = {
      {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si421[] = {
      {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si422[] = {
      {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si423[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si424[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si425[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si426[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si427[] = {
      {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si428[] = {
      {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si429[] = {
      {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si430[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si431[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si432[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si433[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si434[] = {
      {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si435[] = {
      {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si436[] = {
      {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si437[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si438[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si439[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si440[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si441[] = {
      {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si442[] = {
      {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si443[] = {
      {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si444[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si445[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si446[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si447[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si448[] = {
      {SO_UNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si449[] = {
      {SO_UNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si450[] = {
      {SO_UNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si451[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_UNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si452[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si453[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si454[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si455[] = {
      {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si456[] = {
      {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si457[] = {
      {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si458[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si459[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si460[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si461[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si462[] = {
      {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si463[] = {
      {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si464[] = {
      {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si465[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si466[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si467[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si468[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si469[] = {
      {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si470[] = {
      {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si471[] = {
      {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si472[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si473[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si474[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si475[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si476[] = {
      {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si477[] = {
      {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si478[] = {
      {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si479[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si480[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si481[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si482[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si483[] = {
      {SO_UNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si484[] = {
      {SO_UNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si485[] = {
      {SO_UNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si486[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si487[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si488[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si489[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si490[] = {
      {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si491[] = {
      {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si492[] = {
      {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si493[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si494[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si495[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si496[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si497[] = {
      {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si498[] = {
      {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si499[] = {
      {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si500[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si501[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_MINUS,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si502[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si503[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si504[] = {
      {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si505[] = {
      {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si506[] = {
      {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si507[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si508[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_MINUS,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si509[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si510[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si511[] = {
      {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si512[] = {
      {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si513[] = {
      {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si514[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si515[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_MINUS,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si516[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si517[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si518[] = {
      {SO_UNION,0,1,0},{SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si519[] = {
      {SO_UNION,0,1,0},{SO_MINUS,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si520[] = {
      {SO_UNION,2,3,2},{SO_MINUS,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si521[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_UNION,0,1,0},{SO_MINUS,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si522[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_UNION,0,1,0},
      {SO_MINUS,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si523[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si524[] = {
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},{SO_MINUS,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si525[] = {
      {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si526[] = {
      {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si527[] = {
      {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si528[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si529[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_INTER,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si530[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si531[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si532[] = {
      {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si533[] = {
      {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si534[] = {
      {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si535[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si536[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si537[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si538[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si539[] = {
      {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si540[] = {
      {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si541[] = {
      {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si542[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si543[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_INTER,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si544[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si545[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si546[] = {
      {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si547[] = {
      {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si548[] = {
      {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si549[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si550[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_INTER,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si551[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si552[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si553[] = {
      {SO_DUNION,0,1,0},{SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si554[] = {
      {SO_DUNION,0,1,0},{SO_INTER,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si555[] = {
      {SO_DUNION,2,3,2},{SO_INTER,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si556[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_INTER,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si557[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_INTER,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si558[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si559[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_INTER,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si560[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si561[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si562[] = {
      {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si563[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si564[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si565[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si566[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si567[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si568[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si569[] = {
      {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si570[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si571[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si572[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si573[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si574[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si575[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si576[] = {
      {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si577[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si578[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si579[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si580[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si581[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si582[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si583[] = {
      {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si584[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si585[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si586[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si587[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si588[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si589[] = {
      {SO_DUNION,0,1,0},{SO_UNION ,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si590[] = {
      {SO_DUNION,2,3,2},{SO_UNION ,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si591[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION ,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si592[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION ,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si593[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si594[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION ,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si595[] = {
      {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si596[] = {
      {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si597[] = {
      {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si598[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si599[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si600[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si601[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si602[] = {
      {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si603[] = {
      {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si604[] = {
      {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si605[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si606[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si607[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si608[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si609[] = {
      {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si610[] = {
      {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si611[] = {
      {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si612[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si613[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si614[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si615[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si616[] = {
      {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si617[] = {
      {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si618[] = {
      {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si619[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si620[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si621[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si622[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si623[] = {
      {SO_DUNION,0,1,0},{SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si624[] = {
      {SO_DUNION,0,1,0},{SO_UNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si625[] = {
      {SO_DUNION,2,3,2},{SO_UNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si626[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_UNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si627[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_UNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si628[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si629[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_UNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si630[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si631[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_INTER,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si632[] = {
      {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si633[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si634[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si635[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si636[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_INTER,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si637[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si638[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION ,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si639[] = {
      {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si640[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si641[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si642[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si643[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION ,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si644[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si645[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_UNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si646[] = {
      {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si647[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si648[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si649[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si650[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_UNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si651[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si652[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_DUNION,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si653[] = {
      {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si654[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si655[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si656[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si657[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si658[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si659[] = {
      {SO_DUNION,0,1,0},{SO_DUNION,0,2,0},{SO_MINUS,0,3,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si660[] = {
      {SO_DUNION,2,3,2},{SO_DUNION,1,2,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si661[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_DUNION,0,1,0},{SO_DUNION,2,3,1},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si662[] = {
      {SO_CMPL,0,0,0},{SO_CMPL,2,2,0},{SO_CMPL,0,0,0},{SO_DUNION,0,1,0},
      {SO_DUNION,2,3,1},{SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si663[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si664[] = {
      {SO_DUNION,0,1,0},{SO_CMPL,0,0,0},{SO_DUNION,2,3,1},{SO_CMPL,1,1,0},
      {SO_MINUS,0,1,0},{SO_CMPL,0,0,0},
      {SO_HLT,0,0,0}
    };
    const SetInstr si665[] = {
      {SO_DUNION,0,1,0},{SO_MINUS,2,3,1},{SO_INTER,0,1,0},
      {SO_HLT,0,0,0}
    };
    const