Skip to content

Instantly share code, notes, and snippets.

@guicho271828
Created January 21, 2017 07:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save guicho271828/813e26b4518085665d497fc5f59bdcf0 to your computer and use it in GitHub Desktop.
Save guicho271828/813e26b4518085665d497fc5f59bdcf0 to your computer and use it in GitHub Desktop.
[guicho latent-planner2]$ ros -v dynamic-space-size=15000 lisp/msdd.ros -s 2017 -t -k 200 -n 1000 samples/mnist_puzzle33p_model/augmented.csv
opt:verbose:1
dispatch:dynamic-space-size=15000,name=top
set_opt(dynamic-space-size)='15000'
dispatch:lisp/msdd.ros,name=top
proc_cmd:
cmd_script_frontend:0
frontend:script_*:argc=9 argv[0]=lisp/msdd.ros
ros_script_cmd=exec ros dynamic-space-size=8000 -Q -L sbcl -- $0 "$@"
dispatch:dynamic-space-size=8000,name=top
set_opt(dynamic-space-size)='8000'
dispatch:-Q,name=top
proc_options:-Q:top
opt:quicklisp:1
dispatch:-L,name=top
proc_options:-L:top
set_opt(lisp)='sbcl'
dispatch:--,name=top
proc_options:--:top
cmd_script_frontend:1
cmd_script
get_opt(program,0)=(null)
script_:argc=10 argv[0]=--
current=(null)
set_opt(script)='"lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv"'
cmd_run_star:1:script
,argv[0]get_opt(lisp,1)=sbcl
determin_impl:sbcl
get_opt(sbcl.version,1)=1.3.12
set_opt(impl)='sbcl/1.3.12'
set_opt(quicklisp)='/home/guicho/.roswell/lisp/quicklisp/'
set_opt(argv0)='ros'
which cmd:command -v "ros"
which result:/usr/local/bin/ros
set_opt(wargv0)='/usr/local/bin/ros'
set_opt(homedir)='/home/guicho/.roswell/'
set_opt(verbose)='1'
set_opt(lispdir)='/usr/local/etc/roswell/'
get_opt(asdf.version,0)=(null)
get_opt(program,0)=(null)
set_opt(program)='(:eval"(ros:quicklisp)")'
get_opt(impl,0)=sbcl/1.3.12
get_opt(help,0)=(null)
get_opt(script,0)="lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv"
get_opt(image,0)=(null)
get_opt(program,0)=(:eval"(ros:quicklisp)")
get_opt(dynamic-space-size,0)=8000
get_opt(control-stack-size,0)=(null)
get_opt(enable-debugger,0)=(null)
get_opt(version,0)=(null)
help=nil script="lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv"
get_opt(wrap,1)=(null)
args /home/guicho/.roswell/impls/x86-64/linux/sbcl/1.3.12/bin/sbcl --core /home/guicho/.roswell/impls/x86-64/linux/sbcl/1.3.12/lib/sbcl/sbcl.core --noinform --dynamic-space-size 8000 --no-sysinit --no-userinit --disable-debugger --eval (progn #-ros.init(cl:load "/usr/local/etc/roswell/init.lisp")) --eval (ros:run '((:eval"(ros:quicklisp)")(:script "lisp/msdd.ros""-s""2017""-t""-k""200""-n""1000""samples/mnist_puzzle33p_model/augmented.csv")(:quit ())))
ROS_OPTS (("program""(:eval\"(ros:quicklisp)\")")("lispdir""/usr/local/etc/roswell/")("verbose""1")("homedir""/home/guicho/.roswell/")("wargv0""/usr/local/bin/ros")("argv0""ros")("quicklisp""/home/guicho/.roswell/lisp/quicklisp/")("impl""sbcl/1.3.12")("script""\"lisp/msdd.ros\"\"-s\"\"2017\"\"-t\"\"-k\"\"200\"\"-n\"\"1000\"\"samples/mnist_puzzle33p_model/augmented.csv\"")("lisp""sbcl")("dynamic-space-size""8000")("sbcl.version""1.3.12")("slime.version""2016.12.08")("sbcl-bin.version""1.3.13")("default.lisp""sbcl-bin"))
dynamic space: 8.388608GB
number of threads: 6
number of original samples: 82493
encoding length: 25
number of samples: 1000
C-c C-c
(ACC #<PRIORITY-QUEUE :COUNT 200>)
(G 0.006737036 NODE
#S(NODE
:DATA #*11111111111111101111111111111111111111111111111111
:MASK #*11111111111111101111111111111110111111111111111111))
(G 0.006737036 NODE
#S(NODE
:DATA #*11111111111111111111111111111110111111111111111111
:MASK #*11111111111111101111111111111110111111111111111111))
(G 0.006737038 NODE
#S(NODE
:DATA #*11111111111111101111111111111110111111111111111111
:MASK #*11111111111111101111111111111110111111111111111111))
(G 0.0068192217 NODE
#S(NODE
:DATA #*11111111111111111011111111111111111111110111111111
:MASK #*11111111111111111011111111111111111111110111111111))
(G 0.0068192217 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111011111111111111111111110111111111))
(G 0.0068192235 NODE
#S(NODE
:DATA #*11111111111111111011111111111111111111111111111111
:MASK #*11111111111111111011111111111111111111110111111111))
(G 0.0068192235 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111110111111111
:MASK #*11111111111111111011111111111111111111110111111111))
(G 0.006894259 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111011111
:MASK #*11111111101111111111111111111111111111111111011111))
(G 0.0068942606 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111111111011111
:MASK #*11111111101111111111111111111111111111111111011111))
(G 0.0068942606 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111111111111111011111))
(G 0.0068942625 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111111111111111011111))
(G 0.0069774133 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111110111
:MASK #*11111110111111111111111111111111111111111111110111))
(G 0.0069774156 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111110111
:MASK #*11111110111111111111111111111111111111111111110111))
(G 0.0069774156 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111111111111111110111))
(G 0.0069774156 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111111111111111110111))
(G 0.0071119885 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111101111111111111
:MASK #*11101111111111111111111111111111111101111111111111))
(G 0.0071119885 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111101111111111111))
(G 0.0071119885 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111101111111111111))
(G 0.0071119885 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111101111111111111
:MASK #*11101111111111111111111111111111111101111111111111))
(G 0.0072054598 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111110
:MASK #*01111111111111111111111111111111111111111111111110))
(G 0.0072054616 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*01111111111111111111111111111111111111111111111110))
(G 0.0072054616 NODE
#S(NODE
:DATA #*01111111111111111111111111111111111111111111111110
:MASK #*01111111111111111111111111111111111111111111111110))
(G 0.007205464 NODE
#S(NODE
:DATA #*01111111111111111111111111111111111111111111111111
:MASK #*01111111111111111111111111111111111111111111111110))
(G 0.0074591315 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111101111111111111111111111))
(G 0.0074591334 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111101111111111111111111111))
(G 0.0074591334 NODE
#S(NODE
:DATA #*11111111111111111111111111101111111111111111111111
:MASK #*11111110111111111111111111101111111111111111111111))
(G 0.0074591353 NODE
#S(NODE
:DATA #*11111110111111111111111111101111111111111111111111
:MASK #*11111110111111111111111111101111111111111111111111))
(G 0.0075139413 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111101111111111111111))
(G 0.007513943 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111101111111111111111))
(G 0.007513943 NODE
#S(NODE
:DATA #*11111111111111111111111111111111101111111111111111
:MASK #*11111110111111111111111111111111101111111111111111))
(G 0.007513945 NODE
#S(NODE
:DATA #*11111110111111111111111111111111101111111111111111
:MASK #*11111110111111111111111111111111101111111111111111))
(G 0.007585463 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111111011111111111111111011111111))
(G 0.007585463 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111011111111
:MASK #*11111111111111111111111011111111111111111011111111))
(G 0.0076857703 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111111111011111
:MASK #*11110111111111111111111111111111111111111111011111))
(G 0.007685772 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111111111111111
:MASK #*11110111111111111111111111111111111111111111011111))
(G 0.0077279094 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111101111111111111111111110111111))
(G 0.007727911 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111111111111111111
:MASK #*11111111111111111111101111111111111111111110111111))
(G 0.007727911 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111111111110111111
:MASK #*11111111111111111111101111111111111111111110111111))
(G 0.007727911 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111110111111
:MASK #*11111111111111111111101111111111111111111110111111))
(G 0.0077669434 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111011111111
:MASK #*11111111111101111111111111111111111111111011111111))
(G 0.0077669453 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111011111111
:MASK #*11111111111101111111111111111111111111111011111111))
(G 0.0077669453 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111111011111111))
(G 0.007766947 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111111011111111))
(G 0.0083346525 NODE
#S(NODE
:DATA #*11111111111111111111110111111111111111111111111111
:MASK #*11111111111111111111110111111011111111111111111111))
(G 0.008334654 NODE
#S(NODE
:DATA #*11111111111111111111110111111011111111111111111111
:MASK #*11111111111111111111110111111011111111111111111111))
(G 0.008370535 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111011111111111111
:MASK #*11111111111111111011111111111111111011111111111111))
(G 0.008370535 NODE
#S(NODE
:DATA #*11111111111111111011111111111111111011111111111111
:MASK #*11111111111111111011111111111111111011111111111111))
(G 0.008370535 NODE
#S(NODE
:DATA #*11111111111111111011111111111111111111111111111111
:MASK #*11111111111111111011111111111111111011111111111111))
(G 0.008370537 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111011111111111111111011111111111111))
(G 0.00850112 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111111111111111111
:MASK #*11111111111111110111111111111111111110111111111111))
(G 0.00850112 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111110111111111111
:MASK #*11111111111111110111111111111111111110111111111111))
(G 0.008605012 NODE
#S(NODE
:DATA #*11011111111111111111111111111111111111111111111111
:MASK #*11011111111111111111111111111111111111111111111011))
(G 0.008605012 NODE
#S(NODE
:DATA #*11011111111111111111111111111111111111111111111011
:MASK #*11011111111111111111111111111111111111111111111011))
(G 0.008605012 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111011
:MASK #*11011111111111111111111111111111111111111111111011))
(G 0.008605012 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11011111111111111111111111111111111111111111111011))
(G 0.008666173 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111111111111111101111))
(G 0.0086661745 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111101111
:MASK #*11111110111111111111111111111111111111111111101111))
(G 0.0086661745 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111101111
:MASK #*11111110111111111111111111111111111111111111101111))
(G 0.0086661745 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111111111111111101111))
(G 0.008741438 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111101111111111
:MASK #*11111111101111111111111111111111111111101111111111))
(G 0.00874144 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111111111101111111111))
(G 0.00874144 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111101111111111
:MASK #*11111111101111111111111111111111111111101111111111))
(G 0.008741442 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111111111101111111111))
(G 0.008813515 NODE
#S(NODE
:DATA #*11111111111111111111110111111111111111111111111101
:MASK #*11111111111111111111110111111111111111111111111101))
(G 0.008813517 NODE
#S(NODE
:DATA #*11111111111111111111110111111111111111111111111111
:MASK #*11111111111111111111110111111111111111111111111101))
(G 0.00928924 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111111111110111111))
(G 0.009289242 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111111111110111111))
(G 0.009289242 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111110111111
:MASK #*11101111111111111111111111111111111111111110111111))
(G 0.009289244 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111110111111
:MASK #*11101111111111111111111111111111111111111110111111))
(G 0.009294827 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111111111111111
:MASK #*11110111111111111111111111111111111111110111111111))
(G 0.009294828 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111110111111111
:MASK #*11110111111111111111111111111111111111110111111111))
(G 0.00951644 NODE
#S(NODE
:DATA #*11111111111111110111111111011111111111111111111111
:MASK #*11111111111111110111111111011111111111111111111111))
(G 0.00951644 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111111111111111111
:MASK #*11111111111111110111111111011111111111111111111111))
(G 0.009731217 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111101
:MASK #*11111110111111111111111111111111111111111111111101))
(G 0.009731217 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111101
:MASK #*11111110111111111111111111111111111111111111111101))
(G 0.009731217 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111111111111111111101))
(G 0.009731217 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111111111111111111101))
(G 0.009770409 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111110
:MASK #*11111111111111111111101111111111111111111111111110))
(G 0.009770409 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111111111111111110
:MASK #*11111111111111111111101111111111111111111111111110))
(G 0.009770409 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111101111111111111111111111111110))
(G 0.009770409 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111111111111111111
:MASK #*11111111111111111111101111111111111111111111111110))
(G 0.010114274 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111111111111111111011))
(G 0.010114274 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111011
:MASK #*11111111101111111111111111111111111111111111111011))
(G 0.010114274 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111111111111111111011))
(G 0.010114274 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111111111111011
:MASK #*11111111101111111111111111111111111111111111111011))
(G 0.0103875315 NODE
#S(NODE
:DATA #*11111011111111111111111111011111111111111111111111
:MASK #*11111011111111111111111111011111111111111111111111))
(G 0.0103875315 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111011111111111111111111011111111111111111111111))
(G 0.0103875315 NODE
#S(NODE
:DATA #*11111011111111111111111111111111111111111111111111
:MASK #*11111011111111111111111111011111111111111111111111))
(G 0.0103875315 NODE
#S(NODE
:DATA #*11111111111111111111111111011111111111111111111111
:MASK #*11111011111111111111111111011111111111111111111111))
(G 0.010484067 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111111111111111111
:MASK #*11111111111111110111111111111111111111111111111101))
(G 0.010484067 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111111111111111101
:MASK #*11111111111111110111111111111111111111111111111101))
(G 0.010593642 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111011111111111111110111111111111111111111))
(G 0.010593642 NODE
#S(NODE
:DATA #*11111111111111111111111111110111111111111111111111
:MASK #*11111111111011111111111111110111111111111111111111))
(G 0.0106667485 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111111101111111111111111111110111))
(G 0.0106667485 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111110111
:MASK #*11111111111111111111111101111111111111111111110111))
(G 0.0110155605 NODE
#S(NODE
:DATA #*11111111111111111111110111111111111111111111111111
:MASK #*11111111111111111111110111111111110111111111111111))
(G 0.0110155605 NODE
#S(NODE
:DATA #*11111111111111111111110111111111110111111111111111
:MASK #*11111111111111111111110111111111110111111111111111))
(G 0.011018433 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111110111111111111111111111110111111111111111))
(G 0.011018433 NODE
#S(NODE
:DATA #*11111111111111111111111111111111110111111111111111
:MASK #*11111111110111111111111111111111110111111111111111))
(G 0.011294709 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*01111111111111111111111111111111111111111111011111))
(G 0.011294709 NODE
#S(NODE
:DATA #*01111111111111111111111111111111111111111111011111
:MASK #*01111111111111111111111111111111111111111111011111))
(G 0.011294709 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111011111
:MASK #*01111111111111111111111111111111111111111111011111))
(G 0.011294709 NODE
#S(NODE
:DATA #*01111111111111111111111111111111111111111111111111
:MASK #*01111111111111111111111111111111111111111111011111))
(G 0.011786724 NODE
#S(NODE
:DATA #*11111111011111111111111111011111111111111111111111
:MASK #*11111111011111111111111111011111111111111111111111))
(G 0.011786724 NODE
#S(NODE
:DATA #*11111111011111111111111111111111111111111111111111
:MASK #*11111111011111111111111111011111111111111111111111))
(G 0.012233761 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111110111111111111111110111111111111))
(G 0.012233761 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111110111111111111
:MASK #*11111111111111111110111111111111111110111111111111))
(G 0.012766122 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111011111111111111111111111))
(G 0.012766122 NODE
#S(NODE
:DATA #*11111111111111111111111111011111111111111111111111
:MASK #*11111110111111111111111111011111111111111111111111))
(G 0.012766122 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111011111111111111111111111))
(G 0.012766122 NODE
#S(NODE
:DATA #*11111110111111111111111111011111111111111111111111
:MASK #*11111110111111111111111111011111111111111111111111))
(G 0.012812989 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111101111111111))
(G 0.012812989 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111101111111111
:MASK #*11111111111101111111111111111111111111101111111111))
(G 0.012812989 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111101111111111
:MASK #*11111111111101111111111111111111111111101111111111))
(G 0.012812989 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111101111111111))
(G 0.0131448675 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111110111111111111111111111111111111101111))
(G 0.0131448675 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111101111
:MASK #*11111111111110111111111111111111111111111111101111))
(G 0.0131495325 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111011111111
:MASK #*11101111111111111111111111111111111111111011111111))
(G 0.0131495325 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111111111011111111))
(G 0.0131495325 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111011111111
:MASK #*11101111111111111111111111111111111111111011111111))
(G 0.0131495325 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111111111011111111))
(G 0.013818169 NODE
#S(NODE
:DATA #*11111111111111101111111111111111111011111111111111
:MASK #*11111111111111101111111111111111111011111111111111))
(G 0.013818169 NODE
#S(NODE
:DATA #*11111111111111101111111111111111111111111111111111
:MASK #*11111111111111101111111111111111111011111111111111))
(G 0.013818169 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111011111111111111
:MASK #*11111111111111101111111111111111111011111111111111))
(G 0.013818169 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111101111111111111111111011111111111111))
(G 0.014356842 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111111111111111
:MASK #*11110111111111111111111111111111111111111111111011))
(G 0.014356842 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111111111111011
:MASK #*11110111111111111111111111111111111111111111111011))
(G 0.014798848 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111111111110111))
(G 0.014798848 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111111111110111))
(G 0.014798848 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111110111
:MASK #*11111111111101111111111111111111111111111111110111))
(G 0.014798848 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111110111
:MASK #*11111111111101111111111111111111111111111111110111))
(G 0.015524621 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111111111011111))
(G 0.015524621 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111011111
:MASK #*11111111111101111111111111111111111111111111011111))
(G 0.015524621 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111011111
:MASK #*11111111111101111111111111111111111111111111011111))
(G 0.015524621 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111111111111011111))
(G 0.015837418 NODE
#S(NODE
:DATA #*11111111011111111111111111111111111111111111111111
:MASK #*11111111011111111111111111111111011111111111111111))
(G 0.015837418 NODE
#S(NODE
:DATA #*11111111011111111111111111111111011111111111111111
:MASK #*11111111011111111111111111111111011111111111111111))
(G 0.016127462 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111011111111111111111011111111111))
(G 0.016127462 NODE
#S(NODE
:DATA #*11111111111111111111011111111111111111011111111111
:MASK #*11111111111111111111011111111111111111011111111111))
(G 0.016127462 NODE
#S(NODE
:DATA #*11111111111111111111011111111111111111111111111111
:MASK #*11111111111111111111011111111111111111011111111111))
(G 0.016127462 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111011111111111
:MASK #*11111111111111111111011111111111111111011111111111))
(G 0.016191227 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111011111111111111111111110111111111111))
(G 0.016191227 NODE
#S(NODE
:DATA #*11111111111111011111111111111111111110111111111111
:MASK #*11111111111111011111111111111111111110111111111111))
(G 0.016191227 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111110111111111111
:MASK #*11111111111111011111111111111111111110111111111111))
(G 0.016191227 NODE
#S(NODE
:DATA #*11111111111111011111111111111111111111111111111111
:MASK #*11111111111111011111111111111111111110111111111111))
(G 0.01717429 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111111111101
:MASK #*11101111111111111111111111111111111111111111111101))
(G 0.01717429 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111111111111111101))
(G 0.01717429 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111111111111111111111111101))
(G 0.01717429 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111101
:MASK #*11101111111111111111111111111111111111111111111101))
(G 0.017210832 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111111111111111111
:MASK #*11111111111111110111111111110111111111111111111111))
(G 0.017210832 NODE
#S(NODE
:DATA #*11111111111111110111111111110111111111111111111111
:MASK #*11111111111111110111111111110111111111111111111111))
(G 0.017398747 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111101111111111111110111111111111))
(G 0.017398747 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111110111111111111
:MASK #*11111111111111111111101111111111111110111111111111))
(G 0.017398747 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111110111111111111
:MASK #*11111111111111111111101111111111111110111111111111))
(G 0.017398747 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111111111111111111
:MASK #*11111111111111111111101111111111111110111111111111))
(G 0.018605115 NODE
#S(NODE
:DATA #*11111111111111111111111111110111111111111111111111
:MASK #*11111111111111111111111011110111111111111111111111))
(G 0.018605115 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111111011110111111111111111111111))
(G 0.020201737 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111111111111111101111111111111011111111111))
(G 0.020201737 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111011111111111
:MASK #*11111111111111111111111101111111111111011111111111))
(G 0.027133161 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111110
:MASK #*11111111111110111111111111111111111111111111111110))
(G 0.027133161 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111111
:MASK #*11111111111110111111111111111111111111111111111110))
(G 0.09374619 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111101111111
:MASK #*11111111111111111011111111111111111111111101111111))
(G 0.09374619 NODE
#S(NODE
:DATA #*11111111111111111011111111111111111111111111111111
:MASK #*11111111111111111011111111111111111111111101111111))
(G 0.10289657 NODE
#S(NODE
:DATA #*11111111111111111101111111111111111111111111111111
:MASK #*11111111111111111101111111111111111111111110111111))
(G 0.10289657 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111110111111
:MASK #*11111111111111111101111111111111111111111110111111))
(G 0.15965559 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111011111111111111
:MASK #*11111111110111111111111111111111111011111111111111))
(G 0.21611668 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111110111111111
:MASK #*11111111111111101111111111111111111111110111111111))
(G 0.2161167 NODE
#S(NODE
:DATA #*11111111111111101111111111111111111111111111111111
:MASK #*11111111111111101111111111111111111111110111111111))
(G 0.22501127 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111101111111111111
:MASK #*11111111111011111111111111111111111101111111111111))
(G 0.22796233 NODE
#S(NODE
:DATA #*11111111111101111111111111111111111111111111111111
:MASK #*11111111111101111111111111111111111110111111111111))
(G 0.22796233 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111110111111111111
:MASK #*11111111111101111111111111111111111110111111111111))
(G 0.22984478 NODE
#S(NODE
:DATA #*11111111111111111111111111011111111111111111111111
:MASK #*10111111111111111111111111011111111111111111111111))
(G 0.2298448 NODE
#S(NODE
:DATA #*10111111111111111111111111111111111111111111111111
:MASK #*10111111111111111111111111011111111111111111111111))
(G 0.23625506 NODE
#S(NODE
:DATA #*11111111111111111111111111111101111111111111111111
:MASK #*11111011111111111111111111111101111111111111111111))
(G 0.23625508 NODE
#S(NODE
:DATA #*11111011111111111111111111111111111111111111111111
:MASK #*11111011111111111111111111111101111111111111111111))
(G 0.23642735 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111011111111111
:MASK #*11111111111110111111111111111111111111011111111111))
(G 0.23737891 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111101111
:MASK #*11111111111111111111011111111111111111111111101111))
(G 0.23737891 NODE
#S(NODE
:DATA #*11111111111111111111011111111111111111111111111111
:MASK #*11111111111111111111011111111111111111111111101111))
(G 0.24459285 NODE
#S(NODE
:DATA #*11111111011111111111111111111111111111111111111111
:MASK #*11111111011111111111111111111111101111111111111111))
(G 0.2541553 NODE
#S(NODE
:DATA #*11111101111111111111111111111111111111111111111111
:MASK #*11111101111111111111111111111110111111111111111111))
(G 0.26091164 NODE
#S(NODE
:DATA #*11011111111111111111111111111111111111111111111111
:MASK #*11011111111111111111111111101111111111111111111111))
(G 0.26091167 NODE
#S(NODE
:DATA #*11111111111111111111111111101111111111111111111111
:MASK #*11011111111111111111111111101111111111111111111111))
(G 0.26451313 NODE
#S(NODE
:DATA #*11111111111111111111111111111111011111111111111111
:MASK #*11111110111111111111111111111111011111111111111111))
(G 0.26451316 NODE
#S(NODE
:DATA #*11111110111111111111111111111111111111111111111111
:MASK #*11111110111111111111111111111111011111111111111111))
(G 0.27215463 NODE
#S(NODE
:DATA #*11110111111111111111111111111111111111111111111111
:MASK #*11110111111111111111111111111011111111111111111111))
(G 0.2860243 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111011111
:MASK #*11111111111111111110111111111111111111111111011111))
(G 0.29410478 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111101111111111
:MASK #*11111111111111011111111111111111111111101111111111))
(G 0.29410478 NODE
#S(NODE
:DATA #*11111111111111011111111111111111111111111111111111
:MASK #*11111111111111011111111111111111111111101111111111))
(G 0.31386107 NODE
#S(NODE
:DATA #*11111111101111111111111111111111111111111111111111
:MASK #*11111111101111111111111111111111110111111111111111))
(G 0.3138611 NODE
#S(NODE
:DATA #*11111111111111111111111111111111110111111111111111
:MASK #*11111111101111111111111111111111110111111111111111))
(G 0.31855723 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111110
:MASK #*11111111111111111111111101111111111111111111111110))
(G 0.33095843 NODE
#S(NODE
:DATA #*11111111111111111111110111111111111111111111111111
:MASK #*11111111111111111111110111111111111111111111111011))
(G 0.33679238 NODE
#S(NODE
:DATA #*11111111111111111111101111111111111111111111111111
:MASK #*11111111111111111111101111111111111111111111110111))
(G 0.3367924 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111110111
:MASK #*11111111111111111111101111111111111111111111110111))
(G 0.36313573 NODE
#S(NODE
:DATA #*11111111111111111111111111111111111111111111111101
:MASK #*11111111111111111111111011111111111111111111111101))
(G 0.36574203 NODE
#S(NODE
:DATA #*11111111111111111111111111110111111111111111111111
:MASK #*11101111111111111111111111110111111111111111111111))
(G 0.36574203 NODE
#S(NODE
:DATA #*11101111111111111111111111111111111111111111111111
:MASK #*11101111111111111111111111110111111111111111111111))
(G 0.3876103 NODE
#S(NODE
:DATA #*11111111111111110111111111111111111111111111111111
:MASK #*11111111111111110111111111111111111111111011111111))
(G 0.4067416 NODE
#S(NODE
:DATA #*01111111111111111111111111111111111111111111111111
:MASK #*01111111111111111111111110111111111111111111111111))
(G 0.4067416 NODE
#S(NODE
:DATA #*11111111111111111111111110111111111111111111111111
(define (domain latent)
(:requirements :strips :negative-preconditions)
(:predicates (z0) (z1) (z2) (z3) (z4) (z5) (z6) (z7) (z8) (z9) (z10)
(z11) (z12) (z13) (z14) (z15) (z16) (z17) (z18) (z19) (z20) (z21)
(z22) (z23) (z24))
(:action a22222222222222202222222222222221222222222222222222
:parameters () :precondition (and (not (z15))) :effect (and (z6)))
(:action a22222222222222212222222222222220222222222222222222
:parameters () :precondition (and (z15)) :effect (and (not (z6))))
(:action a22222222222222202222222222222220222222222222222222
:parameters () :precondition (and (not (z15))) :effect
(and (not (z6))))
(:action a22222222222222222022222222222222222222220222222222
:parameters () :precondition (and (not (z17))) :effect
(and (not (z15))))
(:action a22222222222222222122222222222222222222221222222222
:parameters () :precondition (and (z17)) :effect (and (z15)))
(:action a22222222222222222022222222222222222222221222222222
:parameters () :precondition (and (not (z17))) :effect (and (z15)))
(:action a22222222222222222122222222222222222222220222222222
:parameters () :precondition (and (z17)) :effect (and (not (z15))))
(:action a22222222212222222222222222222222222222222222022222
:parameters () :precondition (and (z9)) :effect (and (not (z19))))
(:action a22222222202222222222222222222222222222222222022222
:parameters () :precondition (and (not (z9))) :effect
(and (not (z19))))
(:action a22222222212222222222222222222222222222222222122222
:parameters () :precondition (and (z9)) :effect (and (z19)))
(:action a22222222202222222222222222222222222222222222122222
:parameters () :precondition (and (not (z9))) :effect (and (z19)))
(:action a22222220222222222222222222222222222222222222220222
:parameters () :precondition (and (not (z7))) :effect
(and (not (z21))))
(:action a22222221222222222222222222222222222222222222220222
:parameters () :precondition (and (z7)) :effect (and (not (z21))))
(:action a22222221222222222222222222222222222222222222221222
:parameters () :precondition (and (z7)) :effect (and (z21)))
(:action a22222220222222222222222222222222222222222222221222
:parameters () :precondition (and (not (z7))) :effect (and (z21)))
(:action a22212222222222222222222222222222222202222222222222
:parameters () :precondition (and (z3)) :effect (and (not (z11))))
(:action a22212222222222222222222222222222222212222222222222
:parameters () :precondition (and (z3)) :effect (and (z11)))
(:action a22202222222222222222222222222222222212222222222222
:parameters () :precondition (and (not (z3))) :effect (and (z11)))
(:action a22202222222222222222222222222222222202222222222222
:parameters () :precondition (and (not (z3))) :effect
(and (not (z11))))
(:action a12222222222222222222222222222222222222222222222220
:parameters () :precondition (and (z0)) :effect (and (not (z24))))
(:action a12222222222222222222222222222222222222222222222221
:parameters () :precondition (and (z0)) :effect (and (z24)))
(:action a02222222222222222222222222222222222222222222222220
:parameters () :precondition (and (not (z0))) :effect
(and (not (z24))))
(:action a02222222222222222222222222222222222222222222222221
:parameters () :precondition (and (not (z0))) :effect (and (z24)))
(:action a22222221222222222222222222212222222222222222222222
:parameters () :precondition (and (z7)) :effect (and (z2)))
(:action a22222220222222222222222222212222222222222222222222
:parameters () :precondition (and (not (z7))) :effect (and (z2)))
(:action a22222221222222222222222222202222222222222222222222
:parameters () :precondition (and (z7)) :effect (and (not (z2))))
(:action a22222220222222222222222222202222222222222222222222
:parameters () :precondition (and (not (z7))) :effect
(and (not (z2))))
(:action a22222221222222222222222222222222212222222222222222
:parameters () :precondition (and (z7)) :effect (and (z8)))
(:action a22222220222222222222222222222222212222222222222222
:parameters () :precondition (and (not (z7))) :effect (and (z8)))
(:action a22222221222222222222222222222222202222222222222222
:parameters () :precondition (and (z7)) :effect (and (not (z8))))
(:action a22222220222222222222222222222222202222222222222222
:parameters () :precondition (and (not (z7))) :effect
(and (not (z8))))
(:action a22222222222222222222222122222222222222222122222222
:parameters () :precondition (and (z23)) :effect (and (z16)))
(:action a22222222222222222222222122222222222222222022222222
:parameters () :precondition (and (z23)) :effect (and (not (z16))))
(:action a22220222222222222222222222222222222222222222022222
:parameters () :precondition (and (not (z4))) :effect
(and (not (z19))))
(:action a22220222222222222222222222222222222222222222122222
:parameters () :precondition (and (not (z4))) :effect (and (z19)))
(:action a22222222222222222222212222222222222222222221222222
:parameters () :precondition (and (z21)) :effect (and (z18)))
(:action a22222222222222222222202222222222222222222221222222
:parameters () :precondition (and (not (z21))) :effect (and (z18)))
(:action a22222222222222222222202222222222222222222220222222
:parameters () :precondition (and (not (z21))) :effect
(and (not (z18))))
(:action a22222222222222222222212222222222222222222220222222
:parameters () :precondition (and (z21)) :effect (and (not (z18))))
(:action a22222222222202222222222222222222222222222022222222
:parameters () :precondition (and (not (z12))) :effect
(and (not (z16))))
(:action a22222222222212222222222222222222222222222022222222
:parameters () :precondition (and (z12)) :effect (and (not (z16))))
(:action a22222222222202222222222222222222222222222122222222
:parameters () :precondition (and (not (z12))) :effect (and (z16)))
(:action a22222222222212222222222222222222222222222122222222
:parameters () :precondition (and (z12)) :effect (and (z16)))
(:action a22222222222222222222220222222122222222222222222222
:parameters () :precondition (and (not (z22))) :effect (and (z4)))
(:action a22222222222222222222220222222022222222222222222222
:parameters () :precondition (and (not (z22))) :effect
(and (not (z4))))
(:action a22222222222222222122222222222222222022222222222222
:parameters () :precondition (and (z17)) :effect (and (not (z10))))
(:action a22222222222222222022222222222222222022222222222222
:parameters () :precondition (and (not (z17))) :effect
(and (not (z10))))
(:action a22222222222222222022222222222222222122222222222222
:parameters () :precondition (and (not (z17))) :effect (and (z10)))
(:action a22222222222222222122222222222222222122222222222222
:parameters () :precondition (and (z17)) :effect (and (z10)))
(:action a22222222222222220222222222222222222221222222222222
:parameters () :precondition (and (not (z16))) :effect (and (z12)))
(:action a22222222222222220222222222222222222220222222222222
:parameters () :precondition (and (not (z16))) :effect
(and (not (z12))))
(:action a22022222222222222222222222222222222222222222222122
:parameters () :precondition (and (not (z2))) :effect (and (z22)))
(:action a22022222222222222222222222222222222222222222222022
:parameters () :precondition (and (not (z2))) :effect
(and (not (z22))))
(:action a22122222222222222222222222222222222222222222222022
:parameters () :precondition (and (z2)) :effect (and (not (z22))))
(:action a22122222222222222222222222222222222222222222222122
:parameters () :precondition (and (z2)) :effect (and (z22)))
(:action a22222220222222222222222222222222222222222222212222
:parameters () :precondition (and (not (z7))) :effect (and (z20)))
(:action a22222221222222222222222222222222222222222222202222
:parameters () :precondition (and (z7)) :effect (and (not (z20))))
(:action a22222220222222222222222222222222222222222222202222
:parameters () :precondition (and (not (z7))) :effect
(and (not (z20))))
(:action a22222221222222222222222222222222222222222222212222
:parameters () :precondition (and (z7)) :effect (and (z20)))
(:action a22222222202222222222222222222222222222202222222222
:parameters () :precondition (and (not (z9))) :effect
(and (not (z14))))
(:action a22222222202222222222222222222222222222212222222222
:parameters () :precondition (and (not (z9))) :effect (and (z14)))
(:action a22222222212222222222222222222222222222202222222222
:parameters () :precondition (and (z9)) :effect (and (not (z14))))
(:action a22222222212222222222222222222222222222212222222222
:parameters () :precondition (and (z9)) :effect (and (z14)))
(:action a22222222222222222222220222222222222222222222222202
:parameters () :precondition (and (not (z22))) :effect
(and (not (z23))))
(:action a22222222222222222222220222222222222222222222222212
:parameters () :precondition (and (not (z22))) :effect (and (z23)))
(:action a22212222222222222222222222222222222222222221222222
:parameters () :precondition (and (z3)) :effect (and (z18)))
(:action a22202222222222222222222222222222222222222221222222
:parameters () :precondition (and (not (z3))) :effect (and (z18)))
(:action a22212222222222222222222222222222222222222220222222
:parameters () :precondition (and (z3)) :effect (and (not (z18))))
(:action a22202222222222222222222222222222222222222220222222
:parameters () :precondition (and (not (z3))) :effect
(and (not (z18))))
(:action a22220222222222222222222222222222222222221222222222
:parameters () :precondition (and (not (z4))) :effect (and (z15)))
(:action a22220222222222222222222222222222222222220222222222
:parameters () :precondition (and (not (z4))) :effect
(and (not (z15))))
(:action a22222222222222220222222222022222222222222222222222
:parameters () :precondition (and (not (z16))) :effect
(and (not (z1))))
(:action a22222222222222220222222222122222222222222222222222
:parameters () :precondition (and (not (z16))) :effect (and (z1)))
(:action a22222221222222222222222222222222222222222222222202
:parameters () :precondition (and (z7)) :effect (and (not (z23))))
(:action a22222220222222222222222222222222222222222222222202
:parameters () :precondition (and (not (z7))) :effect
(and (not (z23))))
(:action a22222220222222222222222222222222222222222222222212
:parameters () :precondition (and (not (z7))) :effect (and (z23)))
(:action a22222221222222222222222222222222222222222222222212
:parameters () :precondition (and (z7)) :effect (and (z23)))
(:action a22222222222222222222212222222222222222222222222220
:parameters () :precondition (and (z21)) :effect (and (not (z24))))
(:action a22222222222222222222202222222222222222222222222220
:parameters () :precondition (and (not (z21))) :effect
(and (not (z24))))
(:action a22222222222222222222212222222222222222222222222221
:parameters () :precondition (and (z21)) :effect (and (z24)))
(:action a22222222222222222222202222222222222222222222222221
:parameters () :precondition (and (not (z21))) :effect (and (z24)))
(:action a22222222212222222222222222222222222222222222222122
:parameters () :precondition (and (z9)) :effect (and (z22)))
(:action a22222222212222222222222222222222222222222222222022
:parameters () :precondition (and (z9)) :effect (and (not (z22))))
(:action a22222222202222222222222222222222222222222222222122
:parameters () :precondition (and (not (z9))) :effect (and (z22)))
(:action a22222222202222222222222222222222222222222222222022
:parameters () :precondition (and (not (z9))) :effect
(and (not (z22))))
(:action a22222022222222222222222222022222222222222222222222
:parameters () :precondition (and (not (z5))) :effect
(and (not (z1))))
(:action a22222122222222222222222222122222222222222222222222
:parameters () :precondition (and (z5)) :effect (and (z1)))
(:action a22222022222222222222222222122222222222222222222222
:parameters () :precondition (and (not (z5))) :effect (and (z1)))
(:action a22222122222222222222222222022222222222222222222222
:parameters () :precondition (and (z5)) :effect (and (not (z1))))
(:action a22222222222222220222222222222222222222222222222212
:parameters () :precondition (and (not (z16))) :effect (and (z23)))
(:action a22222222222222220222222222222222222222222222222202
:parameters () :precondition (and (not (z16))) :effect
(and (not (z23))))
(:action a22222222222122222222222222221222222222222222222222
:parameters () :precondition (and (z11)) :effect (and (z3)))
(:action a22222222222122222222222222220222222222222222222222
:parameters () :precondition (and (z11)) :effect (and (not (z3))))
(:action a22222222222222222222222212222222222222222222221222
:parameters () :precondition (and (z24)) :effect (and (z21)))
(:action a22222222222222222222222212222222222222222222220222
:parameters () :precondition (and (z24)) :effect (and (not (z21))))
(:action a22222222222222222222220222222222221222222222222222
:parameters () :precondition (and (not (z22))) :effect (and (z9)))
(:action a22222222222222222222220222222222220222222222222222
:parameters () :precondition (and (not (z22))) :effect
(and (not (z9))))
(:action a22222222221222222222222222222222221222222222222222
:parameters () :precondition (and (z10)) :effect (and (z9)))
(:action a22222222221222222222222222222222220222222222222222
:parameters () :precondition (and (z10)) :effect (and (not (z9))))
(:action a12222222222222222222222222222222222222222222122222
:parameters () :precondition (and (z0)) :effect (and (z19)))
(:action a02222222222222222222222222222222222222222222022222
:parameters () :precondition (and (not (z0))) :effect
(and (not (z19))))
(:action a12222222222222222222222222222222222222222222022222
:parameters () :precondition (and (z0)) :effect (and (not (z19))))
(:action a02222222222222222222222222222222222222222222122222
:parameters () :precondition (and (not (z0))) :effect (and (z19)))
(:action a22222222022222222222222222022222222222222222222222
:parameters () :precondition (and (not (z8))) :effect
(and (not (z1))))
(:action a22222222022222222222222222122222222222222222222222
:parameters () :precondition (and (not (z8))) :effect (and (z1)))
(:action a22222222222222222221222222222222222221222222222222
:parameters () :precondition (and (z19)) :effect (and (z12)))
(:action a22222222222222222221222222222222222220222222222222
:parameters () :precondition (and (z19)) :effect (and (not (z12))))
(:action a22222221222222222222222222122222222222222222222222
:parameters () :precondition (and (z7)) :effect (and (z1)))
(:action a22222221222222222222222222022222222222222222222222
:parameters () :precondition (and (z7)) :effect (and (not (z1))))
(:action a22222220222222222222222222122222222222222222222222
:parameters () :precondition (and (not (z7))) :effect (and (z1)))
(:action a22222220222222222222222222022222222222222222222222
:parameters () :precondition (and (not (z7))) :effect
(and (not (z1))))
(:action a22222222222202222222222222222222222222212222222222
:parameters () :precondition (and (not (z12))) :effect (and (z14)))
(:action a22222222222212222222222222222222222222202222222222
:parameters () :precondition (and (z12)) :effect (and (not (z14))))
(:action a22222222222202222222222222222222222222202222222222
:parameters () :precondition (and (not (z12))) :effect
(and (not (z14))))
(:action a22222222222212222222222222222222222222212222222222
:parameters () :precondition (and (z12)) :effect (and (z14)))
(:action a22222222222221222222222222222222222222222222212222
:parameters () :precondition (and (z13)) :effect (and (z20)))
(:action a22222222222221222222222222222222222222222222202222
:parameters () :precondition (and (z13)) :effect (and (not (z20))))
(:action a22212222222222222222222222222222222222222022222222
:parameters () :precondition (and (z3)) :effect (and (not (z16))))
(:action a22212222222222222222222222222222222222222122222222
:parameters () :precondition (and (z3)) :effect (and (z16)))
(:action a22202222222222222222222222222222222222222022222222
:parameters () :precondition (and (not (z3))) :effect
(and (not (z16))))
(:action a22202222222222222222222222222222222222222122222222
:parameters () :precondition (and (not (z3))) :effect (and (z16)))
(:action a22222222222222202222222222222222222022222222222222
:parameters () :precondition (and (not (z15))) :effect
(and (not (z10))))
(:action a22222222222222202222222222222222222122222222222222
:parameters () :precondition (and (not (z15))) :effect (and (z10)))
(:action a22222222222222212222222222222222222022222222222222
:parameters () :precondition (and (z15)) :effect (and (not (z10))))
(:action a22222222222222212222222222222222222122222222222222
:parameters () :precondition (and (z15)) :effect (and (z10)))
(:action a22220222222222222222222222222222222222222222222122
:parameters () :precondition (and (not (z4))) :effect (and (z22)))
(:action a22220222222222222222222222222222222222222222222022
:parameters () :precondition (and (not (z4))) :effect
(and (not (z22))))
(:action a22222222222212222222222222222222222222222222221222
:parameters () :precondition (and (z12)) :effect (and (z21)))
(:action a22222222222202222222222222222222222222222222221222
:parameters () :precondition (and (not (z12))) :effect (and (z21)))
(:action a22222222222212222222222222222222222222222222220222
:parameters () :precondition (and (z12)) :effect (and (not (z21))))
(:action a22222222222202222222222222222222222222222222220222
:parameters () :precondition (and (not (z12))) :effect
(and (not (z21))))
(:action a22222222222202222222222222222222222222222222122222
:parameters () :precondition (and (not (z12))) :effect (and (z19)))
(:action a22222222222202222222222222222222222222222222022222
:parameters () :precondition (and (not (z12))) :effect
(and (not (z19))))
(:action a22222222222212222222222222222222222222222222022222
:parameters () :precondition (and (z12)) :effect (and (not (z19))))
(:action a22222222222212222222222222222222222222222222122222
:parameters () :precondition (and (z12)) :effect (and (z19)))
(:action a22222222022222222222222222222222122222222222222222
:parameters () :precondition (and (not (z8))) :effect (and (z7)))
(:action a22222222022222222222222222222222022222222222222222
:parameters () :precondition (and (not (z8))) :effect
(and (not (z7))))
(:action a22222222222222222222122222222222222222122222222222
:parameters () :precondition (and (z20)) :effect (and (z13)))
(:action a22222222222222222222022222222222222222022222222222
:parameters () :precondition (and (not (z20))) :effect
(and (not (z13))))
(:action a22222222222222222222022222222222222222122222222222
:parameters () :precondition (and (not (z20))) :effect (and (z13)))
(:action a22222222222222222222122222222222222222022222222222
:parameters () :precondition (and (z20)) :effect (and (not (z13))))
(:action a22222222222222122222222222222222222221222222222222
:parameters () :precondition (and (z14)) :effect (and (z12)))
(:action a22222222222222022222222222222222222220222222222222
:parameters () :precondition (and (not (z14))) :effect
(and (not (z12))))
(:action a22222222222222122222222222222222222220222222222222
:parameters () :precondition (and (z14)) :effect (and (not (z12))))
(:action a22222222222222022222222222222222222221222222222222
:parameters () :precondition (and (not (z14))) :effect (and (z12)))
(:action a22202222222222222222222222222222222222222222222202
:parameters () :precondition (and (not (z3))) :effect
(and (not (z23))))
(:action a22202222222222222222222222222222222222222222222212
:parameters () :precondition (and (not (z3))) :effect (and (z23)))
(:action a22212222222222222222222222222222222222222222222212
:parameters () :precondition (and (z3)) :effect (and (z23)))
(:action a22212222222222222222222222222222222222222222222202
:parameters () :precondition (and (z3)) :effect (and (not (z23))))
(:action a22222222222222220222222222221222222222222222222222
:parameters () :precondition (and (not (z16))) :effect (and (z3)))
(:action a22222222222222220222222222220222222222222222222222
:parameters () :precondition (and (not (z16))) :effect
(and (not (z3))))
(:action a22222222222222222222212222222222222221222222222222
:parameters () :precondition (and (z21)) :effect (and (z12)))
(:action a22222222222222222222202222222222222220222222222222
:parameters () :precondition (and (not (z21))) :effect
(and (not (z12))))
(:action a22222222222222222222212222222222222220222222222222
:parameters () :precondition (and (z21)) :effect (and (not (z12))))
(:action a22222222222222222222202222222222222221222222222222
:parameters () :precondition (and (not (z21))) :effect (and (z12)))
(:action a22222222222222222222222122220222222222222222222222
:parameters () :precondition (and (z23)) :effect (and (not (z3))))
(:action a22222222222222222222222122221222222222222222222222
:parameters () :precondition (and (z23)) :effect (and (z3)))
(:action a22222222222222222222222212222222222222122222222222
:parameters () :precondition (and (z24)) :effect (and (z13)))
(:action a22222222222222222222222212222222222222022222222222
:parameters () :precondition (and (z24)) :effect (and (not (z13))))
(:action a22222222222221222222222222222222222222222222222220
:parameters () :precondition (and (z13)) :effect (and (not (z24))))
(:action a22222222222221222222222222222222222222222222222221
:parameters () :precondition (and (z13)) :effect (and (z24)))
(:action a22222222222222222122222222222222222222222202222222
:parameters () :precondition (and (z17)) :effect (and (not (z17))))
(:action a22222222222222222022222222222222222222222212222222
:parameters () :precondition (and (not (z17))) :effect (and (z17)))
(:action a22222222222222222202222222222222222222222221222222
:parameters () :precondition (and (not (z18))) :effect (and (z18)))
(:action a22222222222222222212222222222222222222222220222222
:parameters () :precondition (and (z18)) :effect (and (not (z18))))
(:action a22222222221222222222222222222222222022222222222222
:parameters () :precondition (and (z10)) :effect (and (not (z10))))
(:action a22222222222222212222222222222222222222220222222222
:parameters () :precondition (and (z15)) :effect (and (not (z15))))
(:action a22222222222222202222222222222222222222221222222222
:parameters () :precondition (and (not (z15))) :effect (and (z15)))
(:action a22222222222122222222222222222222222202222222222222
:parameters () :precondition (and (z11)) :effect (and (not (z11))))
(:action a22222222222202222222222222222222222221222222222222
:parameters () :precondition (and (not (z12))) :effect (and (z12)))
(:action a22222222222212222222222222222222222220222222222222
:parameters () :precondition (and (z12)) :effect (and (not (z12))))
(:action a21222222222222222222222222022222222222222222222222
:parameters () :precondition (and (z1)) :effect (and (not (z1))))
(:action a20222222222222222222222222122222222222222222222222
:parameters () :precondition (and (not (z1))) :effect (and (z1)))
(:action a22222122222222222222222222222202222222222222222222
:parameters () :precondition (and (z5)) :effect (and (not (z5))))
(:action a22222022222222222222222222222212222222222222222222
:parameters () :precondition (and (not (z5))) :effect (and (z5)))
(:action a22222222222221222222222222222222222222022222222222
:parameters () :precondition (and (z13)) :effect (and (not (z13))))
(:action a22222222222222222222122222222222222222222222202222
:parameters () :precondition (and (z20)) :effect (and (not (z20))))
(:action a22222222222222222222022222222222222222222222212222
:parameters () :precondition (and (not (z20))) :effect (and (z20)))
(:action a22222222022222222222222222222222212222222222222222
:parameters () :precondition (and (not (z8))) :effect (and (z8)))
(:action a22222202222222222222222222222221222222222222222222
:parameters () :precondition (and (not (z6))) :effect (and (z6)))
(:action a22022222222222222222222222212222222222222222222222
:parameters () :precondition (and (not (z2))) :effect (and (z2)))
(:action a22122222222222222222222222202222222222222222222222
:parameters () :precondition (and (z2)) :effect (and (not (z2))))
(:action a22222221222222222222222222222222022222222222222222
:parameters () :precondition (and (z7)) :effect (and (not (z7))))
(:action a22222220222222222222222222222222122222222222222222
:parameters () :precondition (and (not (z7))) :effect (and (z7)))
(:action a22220222222222222222222222222122222222222222222222
:parameters () :precondition (and (not (z4))) :effect (and (z4)))
(:action a22222222222222222221222222222222222222222222022222
:parameters () :precondition (and (z19)) :effect (and (not (z19))))
(:action a22222222222222122222222222222222222222202222222222
:parameters () :precondition (and (z14)) :effect (and (not (z14))))
(:action a22222222222222022222222222222222222222212222222222
:parameters () :precondition (and (not (z14))) :effect (and (z14)))
(:action a22222222202222222222222222222222221222222222222222
:parameters () :precondition (and (not (z9))) :effect (and (z9)))
(:action a22222222212222222222222222222222220222222222222222
:parameters () :precondition (and (z9)) :effect (and (not (z9))))
(:action a22222222222222222222222212222222222222222222222220
:parameters () :precondition (and (z24)) :effect (and (not (z24))))
(:action a22222222222222222222220222222222222222222222222122
:parameters () :precondition (and (not (z22))) :effect (and (z22)))
(:action a22222222222222222222202222222222222222222222221222
:parameters () :precondition (and (not (z21))) :effect (and (z21)))
(:action a22222222222222222222212222222222222222222222220222
:parameters () :precondition (and (z21)) :effect (and (not (z21))))
(:action a22222222222222222222222122222222222222222222222202
:parameters () :precondition (and (z23)) :effect (and (not (z23))))
(:action a22212222222222222222222222220222222222222222222222
:parameters () :precondition (and (z3)) :effect (and (not (z3))))
(:action a22202222222222222222222222221222222222222222222222
:parameters () :precondition (and (not (z3))) :effect (and (z3)))
(:action a22222222222222220222222222222222222222222122222222
:parameters () :precondition (and (not (z16))) :effect (and (z16)))
(:action a02222222222222222222222221222222222222222222222222
:parameters () :precondition (and (not (z0))) :effect (and (z0)))
(:action a12222222222222222222222220222222222222222222222222
:parameters () :precondition (and (z0)) :effect (and (not (z0)))))
:MASK #*01111111111111111111111110111111111111111111111111))
Evaluation took:
1.880 seconds of real time
1.816000 seconds of total run time (1.752000 user, 0.064000 system)
96.60% CPU
35 lambdas converted
5,650,382,623 processor cycles
149,272,240 bytes consed
[guicho latent-planner2]$
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment