Refal encoding

*$MST_FROM_ENTRY;
*$STRATEGY Applicative;
*$LENGTH 0;



$ENTRY Go {e.A (e.p) = <Loop (e.A) (P e.p)(Q)(R)(S)(T)(U)(V)(X)(Y) >;}

Loop {
  () (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
             <Result (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9)>;
  (s.A e.A) (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = 
         <Loop (e.A) 
         <RandomAction s.A
         (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9)>>;
}


RandomAction {
* r2
 A (P s.1 e.1) (Q e.2) (R e.3) (S e.4)(T e.5)(U)(V e.7)(X e.8)(Y e.9)
   =(P e.1 )(Q)(R)(S)(T s.1 e.5)(U)(V e.7 e.4)(X e.8)(Y e.2 e.3 e.9)   ;
* r3 
 B (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V s.7 e.7)(X e.8)(Y e.9) =
    (P e.1)(Q s.7 e.2 e.5)(R e.3)(S e.4)(T )(U e.6)(V e.7)(X e.8)(Y e.9);
*r4
  C (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y s.9 e.9) =
    (P e.1)(Q e.2 e.5 s.9 e.9)(R e.3)(S e.4)(T )(U e.6)(V e.7)(X e.8)(Y);
*r5
  E (P e.1)(Q e.2)(R e.3)(S e.4)(T s.51 s.52 e.5)(U e.6)(V)(X e.8)(Y) = 
    (P e.1)(Q s.51 s.52 e.5 e.2)(R e.3)(S e.4)(T )(U e.6)(V)(X e.8)(Y);

*r6 
  D (P e.1)(Q e.2)(R e.3)(S e.4)(T s.5)(U e.6)(V)(X e.8)(Y) =
    (P e.1)(Q e.2)(R s.5 e.3)(S e.4)(T )(U e.6)(V)(X e.8)(Y);
*wm1 
 H (P s.1 e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U)(V e.7)(X e.8)(Y e.9) =
    (P e.1 e.3 e.2 e.9 e.5 e.7)(Q )(R )(S )(T)(U s.1)(V)(X e.4 e.8)(Y);
*wm2
 I (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X s.8 e.8)(Y e.9) =
   (P s.8 e.1)(Q e.2)(R e.3)(S e.6 e.4)(T e.5)(U)(V e.7)(X e.8)(Y e.9); 

*wm3
 K (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X)(Y e.9) = 
   (P e.1)(Q e.2)(R e.3)(S e.6 e.4)(T e.5)(U)(V e.7)(X)(Y e.9);  

*wh2
  F (P e.1)(Q e.2)(R s.3 e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
    (P e.1)(Q e.2)(R e.3)(S s.3 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9);
*wh3
  G (P e.1)(Q s.2 e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
    (P e.2 e.1)(Q)(R e.3)(S s.2 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9);
}



Result{
(P e.1)(Q e.2)(R s.31 s.32 e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;
(P e.1)(Q e.2)(R s.3 e.3)(S s.4 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9)  = False;
(P e.1)(Q e.2)(R e.3)(S s.41 s.42 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;

(P e.1)(Q s.2 e.2)(R s.3 e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;
(P e.1)(Q s.2 e.2)(R e.3)(S s.4 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False; 

(P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = True;
}