Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
Lua 5.1.5  Copyright (C) 1994-2012 Lua.org, PUC-Rio
> -- (find-dn6 "zha.lua" "ZHA")
> dofile "newrect.lua"
> z = ZHA.fromspec("12RRL1LLRR"):print()
    45    
  44      
43        
  33      
    23    
  22  13  
    12  03
  11  02  
10  01    
  00      
> = z:Imp(v"11", v"02"):lr()   --> 03
03
> = z:Imp(v"03", v"12"):lr()   --> 22
22
> = z:Imp(v"23", v"12"):lr()   --> 12
12
> = z:Imp(v"12", v"23"):lr()   --> 45
45
> = z:ne(v"10"):lr()           --> 13
13
> = z:nw(v"02"):lr()           --> 22
22
> = v"12":And(v"03"):lr()      --> 02
02
> 
> = v"11":And(v"02"):lr()
01
> = z:ne(v"11":And(v"02")):lr()  --> 03
03
> = v("11"):leftof(v"02")        
true
> = v("11"):above(v"02")
false
> = v("11"):below(v"02")
false
> = v("23"):below(v"12")
false
> = v("23"):above(v"12")
true
> 
> --      45
> --    44
> --  43
> --    33
> --      23
> --    22  13
> --      12  03
> --    11  02
> --  10  01
> --    00
> 
>