#!/usr/local/bin/himmlrun ;HimML compiled module. * lean_h term_h gclause_h process_h |base&&&&&)))*$@$@'@@true@false&&&) @) @ @@*.@process_h-4%spi_declaration @@*,@process_h-3%spi_process@*M@ term_h-1%term @ @@*2@process_h-1%spi_term@*X@gclause_h-1%gclause@*Z@process_h-2%spi_fact @) @ @@@0@&)k@/@1@% ->@@+/@@%string&x@>/@:@%lists@+&3@7@4/@,&@-/@@%int&@-@-v@-&&@/@.&&/@SPI_PROC. @@@0 @) @ @ @ @`@/@1@@6/@2&<@+38@4&5@SPI_INd@F/@1@@6@+B@6?@7389@SPI_DECRYPT_SYMf@/@1@/@:38;@SPI_PAR @g @@I/@1@<8=@SPI_BANG@/@1@@6@+@>?8@@ SPI_DESTRUCTi@/@1@@+D@638A@SPI_LET @ @j @@/@1@@6B8C@SPI_IF@/@1@@6D8E@SPI_OUTl@FG@SPI_DECRYPT_ASYM @ @n@/@1@Q@+@/@:R@6&&8H@SPI_CALLo@IJ@SPI_NEWq@4K@SPI_ZERO,@@U@N@L@''var&@*L @ @) @@/@1@@+W@V/@:O@/@MN&&O'@$@/@1@LOP@V)M @ @@@0 @) @h@/@1@QRS@SPI_APPLp@/@1@+RT@SPI_VAR2@@U@/@1@@VW@/@XN&Y@GCLAUSEX@@0 @) @e@\/@1@@6R@/@Z&&[@SPI_EQm@\]@SPI_DIFFZ&&))) @ @) @@/@1@@+b@a/@:^@{/@Mc@_@''a&&&^'@/@1}@_^P @ @ @ @ @) @`@/@1@@ab@t/@Xc&Yd @ef @g @hi @ @j @kl @ @ @mno @pq) @) @ @ @) @ @) @@/@1@| @r@/@1y@+u@&&@put@@'a&@r&@mangle@~/@1@z@ @r@@'b&@/@1@_s&@/@1@tu&@print_gclause_pl) @ @ @@/@1@ @) @@/@w@% -m>@+v@funs @@/@w@+@x&@ processes@/@wy@ constructors@@/@w@7s@/@:@@+@/@Xs&&&&@lean_semantics@/@1@z@/@1@{u&@ print_term) @ @) @@/@1@|@/@1@6u&@print_spi_term@/@1@{@/@w@_u&@tvars) @ @@/@1@/@w}@/@1@{^&@tsubst @ @) @@/@1@+@/@@%bool&&@is_fun@~@ print_gclause)@@ print_atom @) @ @ @ @@@07@located_process @) @@@06@ spi_pattern@@U@term) @@@04@ spi_process@@0@ spi_program @@@spi_term @) @ @) @@@0@spi_declaration@@U@gclause@@0@spi_fact)&&))) @ @) @@@@@'@@@P @ @ @ @ @) @@@@5@@@Y@@@9 @@@@[@@@; @ @@@@=@@@@ @@@@ S@@@ A @ @ @@@@ C@@@ E @@@@ /@@@G @ @ @@@@]@@@H@@@J @@@@T@@@K&& @) @ @ @ @@@@ @ @ @) @ @ @ @) @@@))@Y@ @ @@@) @ @@ @ @ @) @) @@@) @ @ @) @) @@@)) @ @ @ @@@/) @@ @) @@@@& @) @ @@/. @@$@'@ K9E@J;GA5C=H&&,@$@'@'P&&M @ @@$@'@ST&&2@YX@$@'@][&&Z&@lean_h @'& @ @) @@( @'@(P @ @ @ @ @) @@(5@(Y@(9 @@([@(; @ @@(=@(@ @@(S@(A @ @ @@(C@(E @@(/@(G @ @ @@(]@(H@(J @@(T@(K&$@&$@&$@&$@&$@&$@&$@&$@&$@&$@ &$@&$@&$@&$@&$@&$@ &$@&$@& ) @@@$@& @ @& 4I\F@ lean_h.ml @~ @ @ @ Bmangleprint_spi_termis_funSPI_ZEROSPI_VARSPI_NEWSPI_CALLSPI_DIFFSPI_DECRYPT_ASYMSPI_PROCSPI_OUTSPI_IFSPI_LETSPI_APPLSPI_DESTRUCTSPI_BANGSPI_PARSPI_EQSPI_DECRYPT_SYMSPI_INprint_gclause_plprint_gclausetvarstsubstprint_termprint_atomGCLAUSEV$~!"sss~r> sssss ss s  s  s s ss sss s~!" ssssss~r> sss3~   )  & .  6  ?  H  Y  b j q y ~ ~  ~ ~"  ~)  ~9~G  ~G~KH ~@ ~Q ~_ ~e ~l ~w ~ ~ ~ ~~ ~~&*@ *anonymous*") @ process_h.ml \ 4 F I Ph,SPI_APPLSPI_VARSPI_DIFFSPI_EQSPI_ZEROSPI_DECRYPT_SYMSPI_OUTSPI_DESTRUCTSPI_NEWSPI_PARSPI_DECRYPT_ASYMSPI_LETSPI_INSPI_IFSPI_BANGSPI_CALLtststst s st ststststs ts ts ts ts tstst s!3    +   (  !  *  : B O W _  p x ~ ~ ~ 4>~ 7M~ ~ & ˋ)& @ gclause_h.ml `.print_atomprint_termtsubsttvarsV$~!"ssss~r> sst s 30    2 # %G  G OQ&(@*&&N88B x3&N88B x3&\<<Fx3  +&\<<Fx3  +&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx 3  (&\<<Fx 3  (&p88@X~3   4>&ȋ) @ term_h.mlLNv-Vtsts3   &&p88@X~3    &,(@*&&&&N88B x3&N88B x3& @,(@*&&,(@*,(@*,(@*,(@*,(@*&,(@*,(@,