Welcome To Our Shell

Mister Spy & Souheyl Bypass Shell

import  java.util.*;
import  iftinf.utility.*;
import  iftinf.Logic.*;

class test {

//************************************************

public static void main (String args[])
   throws Exception {

/*   String[] ar        = {"1","3","7","1","3","7","1","3","7","9"};
   String[] ar2       = {"1","3","7","1","3","7","1","3","7","9"};
   String[] ar3       = {"1","3","7","1","3","7","1","3","7","9"};
   String[] ar4       = {"1","3","7","1","3","7","1","3","7","9"};
   String[] ar5       = {"1","3","7","1","3","7","1","3","7","9"};
*/
   String[] ar        = {"1"};
   String[] ar2       = {"1"};
   String[] ar3       = {"1"};
   String[] ar4       = {"1"};
   String[] ar5       = {"1"};
   String[] ar6       = {"1","3","7","1","3","7","1","3","7","9"};
   String[] ar7       = {"1","3","7","1","3","7","1","3","7","9"};
   ArrayIterator AIx = new ArrayIterator(ar);
   ArrayIterator AIy = new ArrayIterator(ar2);
   ArrayIterator AJx = new ArrayIterator(ar3);
   ArrayIterator AJy = new ArrayIterator(ar4);
   ArrayIterator AKx = new ArrayIterator(ar5);
   ArrayIterator AKy = new ArrayIterator(ar6);
   ArrayIterator AXx = new ArrayIterator(ar7);

   Object AI[] = {AIx,AIy,AJx,AJy,AKx,AKy,AXx};
   LogicExpr LE[] = {new LogicExpr("VAR","x"),
                     new LogicExpr("VAR","y"),
                     new LogicExpr("VAR","z"),
                     new LogicExpr("VAR","a"),
                     new LogicExpr("VAR","b"),
                     new LogicExpr("VAR","c"),
                     new LogicExpr("VAR","w")};
   LogicExpr le1    = // new LogicExpr("cur","",
                           new LogicExpr("St",AI,LE);
//                           new LogicExpr("<","",
//                                     new LogicExpr("VAR","c"),
//                                     new LogicExpr("VAR","w")));
   LQIterator lq    = new LQIterator(le1);

   Object[] g;
   while (true) {
      if (!lq.hasNext()) { break; }
      g = lq.next();
      System.out.println(g[0]+"--"+g[1]+"--"+g[2]+"--"+
                         g[3]+"--"+g[4]+"--"+g[5]+"--"+g[6]);
   }

}

//************************************************

}