#!/usr/local/bin/himmlrun ;HimML compiled module. * spi_h process_h spi_tab_h |base&&&&&((()$@*$@'@@true@false&&&( @( @ @ @@).@process_h-4%spi_declaration@$@*&2@spi_tab_h-1%spi_value@)4@process_h-1%spi_term @@),@process_h-3%spi_process@)8@process_h-2%spi_fact @( @ @ @@@0@&(|@/@1@% ->@@+/@@%string&I@U/@:@%list@+&D@=@O/@,&@-/@@%int&@-@-G@-&&?@A/@.&&/@SPI_PROC.@@0 @j@/@1@+5@/@2&&3@string @ @ @ @k@/@1@;/@4&56@stn@/@1@&57@spinone( @ @q@/@1@f/@8&59@sft@/@1@K/@:L@;&5<@stlv@/@1@=5>@sp @ @ @x@/@1@/@:?5@@sdl{@/@1@A5B@sd( @ @@/@1@/@@%bool&5C@sb@/@1@X/@:D5E@spl @@/@1@/@1@^@;DD5F@scase@/@1@ @( @ @@/@H@% -m>@+G@funs@/@H@+@&&@ constructors@/@H@+@I&@ processes5J@spi2@@0 @( @r@/@1@\@+@K&LM@SPI_APPL@/@1@+LN@SPI_VAR4 @@@0 @( @ @ @ @l@a/@1@Q@+DR@O&P@SPI_NEWm@/@1@@;QRS@SPI_INp@c/@1@@;@+Z@;V@=DRT@SPI_DECRYPT_ASYM @s@/@1@@;@+@UVRW@ SPI_DESTRUCT @u@/@1@XRY@SPI_PARw@/@1@@;ZR[@SPI_IF @ @ @y@/@1@\R]@SPI_CALLz@/@1@@+^R_@SPI_LET@/@1@@;^R`@SPI_OUT @@ab@SPI_BANG @@cd@SPI_DECRYPT_SYM@Oe@SPI_ZERO,@@0 @( @o@h/@1@@;L@f&g@SPI_EQ}@hi@SPI_DIFF8&&((( @j @ @ @ @ @ @@-@kw_datak @l@-@kw_par @ @m@-@kw_let @n@-@kw_equal @ @ @@-@kw_slash@-@kw_then @o@-@kw_if @ @p@-@kw_in@-@ kw_private @ @ @ @@-@kw_eventq @r@-@VAR @ @s@-@kw_fun @t@-@kw_close_curly @ @ @ @@-@kw_ofu@-@kw_proc @v@-@kw_close_paren @ @w@-@kw_any@-@kw_out @ @ @ @ @@-@kw_bangx @y@-@kw_comma @ @z@-@ kw_open_curly @{@-@kw_case @ @ @ @@-@kw_eof|@-@ kw_open_paren @} @@/@@%exn&~@SpiUnterminatedCommentEvt@-@kw_else @ @@-@kw_open_bracket@-@kw_new @ @ @ @@-@ kw_semicolon @@-@kw_and @ @@-@kw_zero @@-@ identifier @ @ @@-@ kw_period @@-@ kw_implies @ @@-@ kw_different @@-@kw_close_bracket( @( @ @@/@1@ @@/@1@put@@'a&@/@1@;&@print_spi_term@/@1@/@@ %hlex_data&G@spilex @ @ @@/@@%ref5@ spi_value@/@1@+@&@is_fun@/@1@/@@ %hyacc_data@-5@/@@%option5&@spiparse@/@1@@&@mangle @j @ @ @ @ @kl @mn @op @ @ @qr @st @ @uvw @ @ @ @xy @z{ @ @|} @ @ @ @ @ @ @ @( @ @ @@@0f@spi_fact@@0@ spi_program @@@0;@ spi_pattern@@spi_term @ @@@0@@0O@ spi_process @@@0=@located_process@@0A@spi_declaration(&&((( @@@@@3 @ @ @ @ @ @@@@@@@6 @@@@P@@@ @ @@@@S@@@ @@@@ 7@@@ @ @ @@@@ @@@ @@@@g@@@ @ @@@@T@@@@@@ @ @ @ @@@@@@@9 @@@@M@@@ @ @@@@W@@@ @@@@<@@@ @ @ @ @@@@@@@Y@@@ @@@@>@@@ @ @@@@ [@@@!@@@" @ @ @ @ @@@@#@@@$@ @@@@%]@@@& @ @@@@'_@@@( @@@@)B@@@* @ @ @ @@@@+@@@,/@@@- @@@@.i @@@@C~@@@/ @ @@@@0`@@@1@@@2 @ @ @ @@@@3@@@4C @@@@5N@@@6 @ @@@@7b@@@8 @@@@9E@@@: @ @ @@@@;d@@@< @@@@=F@@@> @ @@@@?e@@@@ @@@@AJ@@@B&&G @ @ @ @ @@ @@@ @@@ @ @ @@@@ @@@ @ @ @ @ @ @@@@( @@@ @ @ @@@( @@@ @@ @ @@@ @( @ @ @@@/(( @ @ @@ @( @@@~@@ @@@& @( @ @ @@/.@$@'@ 3>F7B<EJ6@9C&&2@$@'@MN&&4 @@$@'@ ed`WPYT_S[b]&&,@$@'@ig&&8&@spi_h (& @@' @3 @ @ @ @ @@'6@'P @@'S@'7 @@'g@'T @ @ @@'9@'M @@'W@'< @ @@'Y@'>@'[ @ @ @ @@'@@'] @@'_@'B @ @@'/ @@'i@'~@'` @ @ @@'C@'N @@'b@'E @ @@'d@'F @@'e@'J&$$@&$@&$$@ &$$@&$$$@&$$@&$$@ &$@&$@&$$@&$$@&$@&$@&$$$$@&$@&$@& &( @@@ @ @& -Ocah@spi_h.ml @is_funprint_spi_termmanglekw_close_bracketspikw_differentSPI_ZEROkw_impliesscasekw_periodSPI_DECRYPT_SYMidentifiersplkw_zeroSPI_BANGkw_andSPI_VARsbkw_semicolonkw_newkw_open_bracketSPI_OUTkw_elseSPI_DIFFkw_open_parenSPI_PROCkw_eofkw_casesdkw_open_curlySPI_LETkw_commaSPI_CALLsdlkw_bangkw_outkw_anySPI_IFkw_close_parenspkw_procSPI_PARkw_ofkw_close_curlystlkw_funSPI_DESTRUCTVARSPI_APPLsfkw_eventkw_privatekw_inSPI_DECRYPT_ASYMkw_ifSPI_EQkw_thenkw_slashkw_equalspinonekw_letSPI_INkw_parSPI_NEWstkw_datastringSpiUnterminatedCommentEvt~!"Csss~r> &sBsA-s@s?s=+s<s; s:s9/s8 s7As6s5s4*s30s2%s1 s04s/s.#s- s,Bs+8s*s)'s(s')s&s%s$.s#6s"=s!s $ss;ss2s(ss?s s!sss:s@s5s s1ss3s "s ,s s 7s s9sss>ss#sC%3   )B A .@ 2? ? > H= S < Y; c : s9 ~ 8 ~7 ~ 6 ~5 ~4 ~$3 ~'2 ~41 ~;0 ~K/ ~S. ~[- ~d, ~r+ ~{* ~) ~( ~' ~& ~% ~$ ~# ~" ~! ~ ~ ~ ~ ~ ~ ~ ~                      "  *  - 5!l " lC <$ #tv&&&&& & & &&&&&&*@ *anonymous*\S(& haOc@ spi_tab_h.ml   @-@@@@@@@ @ @ @ @ @@@@@@@@@@@@@@@@@@@ @!@"@#@$|:mangleprint_spi_termis_funSPI_CALLSPI_DIFFSPI_NEWSPI_ZEROSPI_VARSPI_IFSPI_OUTSPI_DECRYPT_ASYMSPI_PROCSPI_BANGSPI_DESTRUCTSPI_LETSPI_APPLSPI_INSPI_DECRYPT_SYMSPI_PARSPI_EQstringspscasespinonesdstlsplspistsdlsfsbidentifierVARkw_slashkw_open_parenkw_close_parenkw_open_bracketkw_close_bracketkw_open_curlykw_close_curlykw_commakw_semicolonkw_periodkw_equalkw_differentkw_bangkw_zerokw_newkw_ifkw_ofkw_thenkw_elsekw_inkw_outkw_letkw_casekw_parkw_eventkw_prockw_implieskw_anykw_datakw_funkw_privatekw_andkw_eof~!"sss~r> sssss ss  s s s s  ss ss sstststststst st"st$st&st(st*st,s.s 0s!1s"2s#3s$4s%5s&6s'7s(8s)9s*:s+;s,s/?s0@s1As2Bs3Cs4Ds5Es6Fs7Gs8Hs9Is:Js;Ks<Ls=Ms>Ns?Os@PsAQsBR3~   )  & /  7  @  H  O  W h q  z ~  ~ ~ ~! ~1 ~9~G  ~G ~@ ~G ~J ~P ~X ~[! ~_# ~c% ~g' ~j) ~n+ ~q- ~ ~t/ ~! ~/  ~" ~/ ~# ~/ ~$ ~/ ~% ~/ ~& ~/ ~' ~/ ~( ~/ ~) ~/ ~* ~/ ~+ ~/ , / - / . / / / 0 / 1 / 2 / !3 / "4 / #5 / $6 / %7 / &8 / '9 / (: / ); / *< / + =  / ,> / -? / .%@ #/ /-A ./ 05B 5/ 1=?&(@FF*&&"( @ process_h.ml h O c a 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~ ~ &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw3  &\<<Fw 3  &\<<Fw 3  &\<<Fw 3  &,(@EE*&&N88B x3&N88B x3&\<<Fx3  +&\<<Fx3  +&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx3  (&\<<Fx 3  (&\<<Fx 3  (&p88@X~3   4>&,(@DD*&& @,(@*& @,(@*,(@,