Caml1999T036`MC#TmcР&Lambda&Lambda-lambda/tmc.mlRR@@ 3@@@@@@#intA;@@@A@@@@@&_none_@@A@A@$charB;@@A@@@@@@A@&stringQ;@@ A@@@@@ @@@%bytesC;@@A@@@@@@@@%floatD;@@A@@@@@@@@$boolE;@@%falsec@@@$trued@@#@@@A@@@@@$@A@$unitF;@@"()e@@.@@@A@@@@@/@A@ #exnG;@@@A@@@@@3@@@#effH;@@O@A@A@@@@@@<@@@,continuationI;@@Q@@P@B@A@nY@@@@@@K@@@%arrayJ;@@R@A@A@@@@@@U@@@ $listK;@@S@A"[]f@@b@"::g@@@T@@o@ @@A@Y@@@@@r@@@&optionL;@@V@A$Noneh@@@$Somei@@@@@A@Y@@@@@@@@)nativeintM;@@A@@@@@@@@%int32N;@@A@@@@@@@@%int64O;@@A@@@@@@@@&lazy_tP;@@X@AJA@Y@@@@@@@@5extension_constructorR;@@A@@@@@@@@*floatarrayS;@@A@@@@@@@@&iarrayT;@@Y@A[A@Y@@@@@@@@*atomic_locU;@@Z@AdA@@@@@@@@@.Assert_failure`#@@@@@J@@@@@@@@[@@AϠ=ocaml.warn_on_literal_patternӐ@@0Division_by_zero]#@@@A٠  @+End_of_file\#$@@@Aᠰ@'FailureY#,@'@@A꠰@0Invalid_argumentX#5@0@@A󠰠$#@-Match_failureV#>@@=@9@;@@a@@A54@)Not_foundZ#O@@@A =<@-Out_of_memoryW#W@@@AED@.Stack_overflow^#_@@@AML@.Sys_blocked_io_#g@@@A$U'T'@)Sys_error[#o@j@@A-^0]0@:Undefined_recursive_modulea#x@@w@s@u@@h@@A>oAnA@:Continuation_already_takenb#@@@AFwIvI@&Stdlib@@@@A3wvvwwwww@v@@R~@@@3|{{|||||@z@@A+4tmc_call_informationgAU U4@@;@@#loch@@/scoped_location@@@ V9;V9P@@CA(expliciti@@`@@@ WQSWQb@@DA@@A@@@@@UXcd@@@@BA@#V9>@@@Ш@г!"V9@V9O@@(3@@6;@@@A@@@@@@@@@@@@/@@ @*@#&&!WQ[@ @@Ш@г)$boolWQ]WQa@@1@@4@@ @0@@A@,@@,+@3@Y@@A+3subterm_informationBYejYe}@@;@@)tmc_calls@@eg@@@ j@@@ lZZ@@GA@@A@@@@@Yee[@@@AFA@# Z@ @@Ш@г$listZZ@г4tmc_call_informationZZ@@&3        @9;@@@A@@@@@"@@@@@@@@0 @@3@@ m @*@@A@&@@&%@3@ @@A+3ambiguous_argumentsC%\&\@@;@@(explicit@@@@@ y2]3]@)ocaml.doc When [explicit = true], we have an ambiguity between arguments containing calls that have been explicitly marked [@tailcall]. Otherwise we have an ambiguity between un-annotated calls. B^Ca@@@@@@@UIA)arguments@@Ǡu@@@ |@@@ ~SbTb@@fJA@@A@@@@@W\Xc@@@@jHA@#22-_]@@@Ш@г5$boolh]i]@@=3eddeeeee@ZL;@@@A@@@@@@@@@@@@E@@ z@A>F=<@<<@@@<@<@#88.b@-@@Ш@г;$listbb@г@3subterm_informationbb@@H+@@@M, @@P@@ /@G@@A@C@@CB@3@/@@A+%errorDee@@;@@?Ambiguous_constructor_arguments@@@ @@ff @@LA@@A@@@@@e@@@AKA@#ff @ @г3ambiguous_argumentsf @@3@`,;@@@A@@@@@@@@@@@@@@@@A@@@@3@@@%ErrorEh",h"1@#@(Location!t@@@ K@@@ @@Ah""h"G@@MA@г(Locationh"5h"=@h">h"?@@@#3@9d^@@ @@г%error h"B@@%  @@@@"@"@"!@ A++destinationFkJWkJb@А&offset@ 3@#PJ;@@ @A@A@G@B@@@.kJJ/o@@@@ANA&offsetF;@@@A@@@@@6p7p@@@@IOA@@:kJO;kJV@@BA@; @A#var@@%Ident!t@@@MlgiNlgv@@`PA&offset@@7G@WmwyXmw@@jQA#loc@@)Debuginfo/Scoped_location!t@@@injn@@|RA@@A@Y@@@@@A@@@>@#//&slgl@%@@Ш@г2%Ident~lgnlgs@7lgtlgu@@@Ac@@D@@f@<@#885mw@4@@Ш@А&offset>pmwmw@@C@@u@A@#==2n@1@@Ш@г@)Debuginfonn@Fnn@@Jnn@ @@V @@Y@@ @O@@A@@+pp@@;@@&Offset&lambda@@@"@@p@ U In the OCaml value model, interior pointers are not allowed. To represent the "placeholder to mutate" in DPS code, we thus use a pair of the block containing the placeholder, and the offset of the placeholder within the block. In the common case, this offset is an arbitrary lambda expression, typically a constant integer or a variable. We define ['a destination] as parametrized over the offset type to represent formal destination parameters (where the offset is an Ident.t), and maybe in the future statically-known offsets (where the offset is an integer). q{ ' )@@@@@@@SA@@A@@@@@@@A@#p@@гp@@$ǰ@@@@ @@@@@@@A@@@@3@@@@ఠ+offset_code} + /} + :@TA@@@@@@;G@8M@@@@G@9@@:G@73@[@@@࣠@%paramAĠ&Offset%} + <&} + B@;f@@@5@gA@@A@Ab`@Rఠ!t3} + C4} + D@FUA@@r@@@=354455555@&=>} + +?} + I@@@@@@A} + ;B} + E@@9 @@@@ఐ!tL} + H@@@@@=3JIIJJJJJ@"@@@A@LG@C@A@@@@@ఠ.add_dst_params` K Oa K ]@sVA@@@Y*!t@@@N@@@MG@E@@B@@@qG@n@&Lambda*value_kind@@@sG@o@@pJ@w@@@|G@cG@i@@@kG@d@@eG@F@@GG@D3@@@@@@࣠@ Aঠ#var K ` K cA3px@@6s@@@3fe@@A@Ac@`3]\@@B@AR@O@An@kఠ@WA@|@@@V3@%h K K@  @@@@&offset K e K kAఠ@XA@i@@@[@@@ K _ K l@гv+destination K w K @г{%Ident K o K t@ K u K v@@@@@@H8 @@@@@@J=@@ K ^ K @@@A@@@@¶msA K  K @!YA@@3        @QYV@X@WC@@B@A@@@@  @@ภ"::@   @  @;@@U@B@AA@A@@@ఐr#var2@  3@  @@@30//00000@$0@'@(@@@@ภ'Pgenval@@  A@  @;'Pgenval@@@@@@@CA@A1lambda/lambda.mli @@@@@ @@G@t@@Q@  R@  @@G@u @ภ=[@  \@  @<@ఐ&offseti@  j@  @U@@I@9@@ภ'Pintvalv@  w@  @;'Pintval6@@@BCA@A364?@@@@@  @@G@M@@@  @  @@G@R@ఐ¶ms@  @Y@@\@@@@@@@mI@{c@@H@@@@@lh@A@:G@@A@@@@ఠ,add_dst_args B  B  @ZA@@@@@@@@@G@@,=&lambda@@@J@@@@G@: G@@@@G@@@G@@@G@3@:~w@x@y@@@࣠@Aঠ#varB  B  A9ఠ @[A@@@@3@MB  C  #@@@@&offsetB  B  AJఠ @\A@N@@@@@@ B   B  @г[+destinationB  B  @г`&offset B  !B  @@h@@@1@@@p@@@6 @@,B  -B  @@@x:@@@@$argsA8B  9B  @K]A@@y376677777@JRO@Q@P<9@;@:@@@@  @@ภ*HC  IC  @)ภ$LvarQC  RC  @;$Lvar@@@@%Ident!t@@@:@A@@V@A%& &$%& &3@@@ @ఐ}#varnC  oC  @1@@@@@I@I@3srrsssss@=I@@@A@@@@+ @@I@@ภfC  C  @eఐ+offset_codeC  C  @@@@@@@@@@@@#@@ఐ&offsetC  C  @g@@@@@J@J@7@@  @@J@:@ఐ$argsC  @A@@D@@-@@&@@@I@K@@s@@,@@@P@A@G@@A@@@@ఠ-assign_to_dstE % )E % 6@^A@@@.@@@+G@@@@G@@&@@@G@+@@@G@@@G@@@G@3@!RK@L@M@@@࣠@Aঠ#var E % 8 E % ;AYఠ@!_A@@@@3@BE % %G  @@@@&offset E % =!E % CAjఠ@8`A@FG@,I@@#loc1E % E2E % HAzఠ@IaA@@@@(@@@=E % 7>E % I@@`I@-@@@@#lamAKE % JLE % M@^bA@@a3JIIJJJJJ@>FC@E@D0-@/@. @@@@@@  @@ภ%Lprim^F P R_F P W@;%Lprim @)primitive@@@K$listK@@@M@@@L/scoped_location@@@N@CH@V@A2-'@'B3-'@'v@@@@ภ2Psetfield_computedF P XF P j@;2Psetfield_computed&@@@@4immediate_or_pointer@@@G  @ @@R@ภ"[] fA;&@@@@AA@A@@@ iA@$G@5@@@6I@=@@rA@+@@@ I@4@@TyA@à`@@@I@@@aG  @@w@@@I@ @ఐ7#locpG  qG  @@@@@@BI@A@@`@@@@@@@dA@G@Jk@A@h@hg@&ConstrGI  I  @WA@БA+!tHoo@@;@@#tag@@{@@@Kpp@@dA$flag(@@(Asttypes,mutable_flag@@@qq@@eA%shape)@@+block_shape@@@rr.@@fA&before*@@J&lambda@@@@@@s/3s/G@@gA%after+@@\&lambda@@@@@@tHLtH_@@hA#loc,@@/Scoped_location!t@@@u`du`@@ iA@@A@@@@@ov@@@@ cA@#bb] p@\@@Ш@гe#int p p@@m3        @@9@:@;};@@@A@@@@@@@@@@ @@v@@L @r@#nne q@d@@Ш@гq(Asttypes (q )q@v ,q -q@@@@@@@"@{@#wwq 6r@p@@Ш@гz{ >r" ?r-@@0@@@@3@@#{{p Gs/9@o@@Ш@г~$list Ps/B Qs/F@г Xs/; Ys/A@@J@@@K @@@@N@@#y btHQ@x@@Ш@г$list ktHZ ltH^@г stHS ttHY@@e@@@f @@@@i@@# }u`g@@@Ш@г)Debuginfo u`j u`s@ u`t u`@@ u` u`@ @@ @@@@@@@A@@@@3        @@@@ఠ%apply- x x@ jA@@@@@@I@@@@@I@@@@I@@@I@@@I@3        @-'@@@࣠@&constr/A x x@ kA@@%3        @2 x {)K@@@@@  @@!t0A x x@ lA@@/3        @!<@@@@@@@@@ఠ*block_args1 y y@ mA@@$listKLI@I@@@@L@3        @ ,Q@#@$@@@డ$List&append y y@  y y@@@&!a@@@@@1 @@@6@@@@@@@@(list.mlinn@@,Stdlib__ListO@% @@@t@@@N@o@@@q@ @@@pR@@@n@@m@@lL@@ఐ&constr ^y _y@w@@[@&before ey fy@3@@@@@C3@@@@A@3@@A@A@3@@B@A@3@@D@A@3 @@E@Ay@v@A@ @@T7@@@}O@O@t@@c@@@P>@@@|B@@@{@@z@@ภo y y@nఐ!t y y@@@@ఐؠ&constr y y@@@@%after y y@> @@ I@@@@M@M@@@" @@@@@M@@@@@@A@ y@@ภ%Lprim z z@jภ*Pmakeblock z z@;*PmakeblockL@#intA@@@(Asttypes,mutable_flag@@@Y+block_shape@@@@CBo~@A~(*~(Z@@@^e@ఐ.&constr z z@@@O3        @ @@@@@#tag z z @ @@5@@@K@K@@ఐL&constr z  z@1@@m@$flag z z@ @@I@@@K@K@,@ఐg&constr 3z 4z @L@@9@%shape :z! ;z&@ΰ @@[@@@K@K@G@@t Ez'@@@@@K@N@ఐ]*block_args S{)4 T{)>@V@@@@@K@K@a@ఐ&constr h{)@ i{)F@@@n@#loc o{)G p{)J@ @@@@@K@z@@@@@@@~@@@v@A@I@@A@@@@ఠ/tmc_placeholdery }MS }Mb@ nA@@@@@I@3        @@@@@@డ .dummy_constant&Lambda  @   @@@@@@e4E4Ef4E4_@@G@ @@!@A@ }MO @@@!@ఠ0with_placeholderz  @ oA@@@@@@I@@@Ġ@@@@@@ &lambda@@@@@I@@@@lI@@@I@@@I@3        @Uc\@]@^@@@࣠@&constr|A  @ pA@@23        @?  @@@@@  @@$body}A@  @@@98@@@@@@7@@@@@3        @+S@"@#@@@@ .qAKб@гN+destination ) *@гS&offset 2 3@@[@@@@@@c@@@$ @@г_` B C@@f@@@/@@@@@2@@ L M@@@{6@@@@@ఠ2k_with_placeholder~ Z ( [ :@ mrA@@@@@L@3 ^ ] ] ^ ^ ^ ^ ^@LbZ@]@I@@@ఐɠ%apply o=C p=H@۰@@@@@@@@@@@@@@@@@@@@@@M@@ $flag =W =[@ภ'Mutable =^ =e@;'Mutable(Asttypes,mutable_flag@@@o@@@AB@@A4parsing/asttypes.mligWugW~@@@ S@@@@@@@ M@ O@E@@@M@@S@@@ @@@M@@V@@@'@@@&M@#@`@@@,M@*@@ఐ렐&constr =K =Q@ư@@~@ =I =g@@6@@@M@/@@ఐh/tmc_placeholder =h =w@ @@0@@@M@1M@0@@ @@@A@  $ @@@ఠ/placeholder_pos { {@ sA@@#intA@@@=L@23        @@@@@@డ $List&length &{ '{@  *{ +{@@@4!a@@@@)@@@@@@kk @@C@@@@x@@@AL@7@@@6<@@@5@@49@@ఐh&constr [{ \{@C@@H@&before b{ c{@ @@9&@@@>M@CM@@W@@H @@^X@A@ o{ @@@ఠ3placeholder_pos_lam z {@ tA@@@@@GL@D3 ~ } } ~ ~ ~ ~ ~@nx@y@z@@@ภ&Lconst  @;&Lconst;@ 3structured_constant@@@<@AB@V@AO'&K&MP'&K&l@@@  @ภ*Const_base  @;*Const_base@@@@(constant@@@ @A@@D@Ahrvir@@@ "@ภ)Const_int  @;)Const_int!(constant@@@k@#intA@@@a@A@@G@A%X&X@@@-A@ఐΠ/placeholder_pos  @U@@@@@UL@WL@V_@@  @@=@@@OL@Tg@@  @@^@@@IL@No@@g@@)@@@Hs@A@  @@@ఠ)block_var @uA@@%Ident!t@@@bL@X3        @@@@@@డ ,create_local%Ident !@ $%)@@@&stringQ@@@(@@@@@@0typing/ident.mlib##b#@@@+E@@@@@@@\6@@@[@@Z1@@%blockI+J0@@L*M1@@(@@@cM@eM@dE@@6 @@NF@A@W @@ภ$Llet^59_5=@;$Llet @ (let_kind@@@? @@@@!t@@@A@@@B@@@C@EE@V@A 4*&& 5*&&@@@ @ภ&Strict5?5E@;&Strict(@@@%@@@@C@@A G!k!{ H!k!@@@ @@  @@3@@@nK@v3@@@@@@ภ'Pgenval5G5N@ c@@@ @@@oK@z@ఐ)block_var5P5Y@@@M@@@pK@|K@{$@ఐk2k_with_placeholder5[5m@@@ @@@qK@~K@}6@ఐҠ$bodyoyo}@v@@@ @@@@@@@@@@@O@@ະ =#var@ఐ)block_var@d@@ @@@L@l@ N&offset  @ภ&Offset@ ఐ3placeholder_pos_lam@ @@ _@@@L@L@@@ @@Q@@@L@@ u#loc34@ఐK&constr>?@&@@y@#locEF@װ @@ @@@L@@@@No~O@@}|@@@@@@L@@@ @@ @@@r@L@@@c@@ @@@m@g@@V@ph@@@i@@R@jj@@@tkA@I@r@A@o@on@@@vw @@(block_idT@@@@@@@@@@@@&lambda@@@@@&lambda@@@@@@@@@3@@@@@@,delay_impure)(@vA(&@@@@%@@@@@$@@@#@@@@@!@@@@@@@@@BбBг@#int@@H@@@/@@б@гH!t !@@P@@@=@@б@б@гP!t&'@@X@@@M@@гXY+1@@_@@@X@@@@@[@@гab6<@@h@@@f@@@@@i% @@@3@@m6 @@D@@p @@A@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ఠ)bind_list,?G-?P@?wA@@(block_id#intA@@@J@*arg_offset#intA@@@J@@V @@@J@@@@J@@@jO@A@@@J@ @@@J@ŐA@J@ J@ @@J@@@ J@@@J@@@J@@࣠DDAH~?R?Z@xA@@L3}||}}}}}@[?C@@@@@?Q @JJAN?\?f@yA@@R3@ c@@@@@@?[@@'lambdasA?g?n@zA@@X3@g@@@@@@@@!kA?o?p@{A@@Y3@l@@@@@@@@@ఠ.can_be_delayeds}s@|A@@@ @@@O@@@@O@@@O@3@#/~@&@'@@@@Ġ$Lvaroyo}@ @o~o@@ @@@3@2sy@@@@@@ @@,@Ġ&Lconstoo@v@oo@@x@@@@@@ @@=@@#@@>@@@ภ$trueoo@;@@@@M@@@AB@@A@@@@@G'@@ !@@R-@@@ภ%false(/@;@@@@B@@A@@@2@@W7@@A%param/^f6@@@7@@eO@)>@A@;@@@ఠ(bindingsAB@T}A@@K@M@@@@@@@@@O@?@@@MO@+3WVVWWWWW@@@@@@@ఠ$argsgh@z~A@@@@@NO@,@@1 @@@1@ @@/@డ$List%split@ @@@@!a@@!b@@@:@@@9@_@@@7@F@@@8@@6@@5@z=={==@@y@@0+@@@(@s@V@@C@@@B@~}@@@>@ed@@@@@@=@@<3@s@@@@డb$List$mapi@ @@@@@@@;@!a@L!b@J@@:@@9@ @@@8@@@7@@6@@5@CCCu@@X@*%@@@@"@@@f@ M@@@R@c@ՠ@%@@@R@@R@@@R@@@@R@@"R@@@R@a@@e@@d@)@@@b=(@@@`@@_@@^t@@࣠@!iAQR@dA@@g@@@|@@@@#lamAbc@u@A@@Q3a``aaaaa@ {@@@{@@@@@@  @@ఐ.can_be_delayedyz@@@@ @@@@@@@@3~~@+r@"@#@@@@ఐ2#lam@ @@@@@@W@@@V@@@ภ$None!%@;[@@W@@@@AA@A}@@@@@`@@@-@@ఐ[#lam'*@6@@9@@ +@@@@@@B@@ఠ!vCUCV@AA@@@@@V@3@V@@@డ,create_local%IdentCYC^@ C_Ck@@Ȱ@@@@@@@@@@@@@డ&Printf'sprintfl l@  l l@@@&Stdlib&format!a@$unitF@@@&stringQ@@@@@@@@@*printf.mli@@.Stdlib__PrintfC@,'@@@$@@ @@@F"@@@W@W@iW@W@-@@EW@@@W@]1@@@_.@@@`@@@^@@\~@@ภ8CamlinternalFormatBasics3&Format5elflA;&Format8CamlinternalFormatBasics'format6!a@Ϡ!b@Р!c@Ѡ!d@Ҡ!e@Ӡ!f@@@@@'#fmt$ @@@&stringQ@@@@B@@A@A@@@X@ @ภD*No_paddingF;*No_paddingF!a@@@@!@@@@ABAAee@@@j@@!@VQY@UW@X@@@@X@@ภ6h,No_precisionj5;,No_precisionb!a@@@@/@@@@BAAAlLNlLq@@@;o@@E@r"t@@@X@@ภVT$_argY@Y@@@@(X@+X@*@ภjhϠภrxpw@p@@@@BX@K@ภm}l@}@Y@/W@TX@,@@@CX@P@ภĠ\[@@@@@DX@W!@ภӠ-End_of_format;-End_of_formatv!f@!b@!c@!e@@@@A@@@@AYAA}..~./!@@@y@@@@@@hX@X@X@X@&X@@W@W@W@'W@A  @@@GX@ai@@@ Y@@@@)X@?u@@@'@@@X@%@@@̠&Y@٠1$%&'@@@X@@@@ؠ2Y@;()*+@@@X@@-block%d_arg%d@@@@@X@dX@c@@@@oKQ>@@@gX@@@ఐ(block_idll@@@^@@డ#!+ll@@_@@@~@d@@@}h@@@|@@{@@z'%addintBA @@@@*stdlib.mli0++0+,@@&Stdlibn@@@@{@@@}@@@@|@@@{@@z@@y@@ఐF*arg_offsetll@.@@@@ఐ!ill@}@@@@@@Y@Y@@@ll@@Y@@@l~l@@W@n@@@@ @A@CQ@@@ภ$Some@;T^@RA@AA@A@@R@ఐB!v@A@B@C@@3@L@@@@ఐà#lam"#@@@@@&'@@R@@@(@@U@@@ภ$Lvar56@ఐn!v?@@,@@@@@U@U@2@@ @@5U@5@@MN@@U@:@R,=S@@z@U@@|@WX@@@q@@@v@OJ@@u@@tS@S@@@ @@@U@@@siT@@@r@@q@@ఐؠ'lambdasyz@@@, @@%@@@=@ @@P@@@OP@Q@/@@@@@M@)@@P@L8@A@ @@@ఠ$body  @BA@@8J@3@Kkd@e@fF?@@@A@@@ఐ!k  @ذ@@V@@ఐY$args  #@@@]@@@@X@A@ @@డS$List*fold_right'-'1@ '2'<@@@@!a@@#acc@@@a@@`@ @@@_@  @@^@@]@@\@  @@ ^@$@@@@@@@@N@@N@@@N@@@@N@@N@@@@@@+@@@@  @@@@@@3@x{@|@}@@@@࣠@'bindingA-'B.'I@@CA@@63,++,,,,,@@@@@@@$bodyA<'J='N@ODA@@.3;::;;;;;@%H@@@@@@@@ఐ$'bindingNRbORi@@@V3LKKLLLLL@B@@@@@Ġ$None^o{_o@@@@@f3\[[\\\\\@@@@@g@@@ఐ0$bodyiojo@@@Z @Ġ$Somevw@s@ఠ!v@EA@@6@@ఠ#lam@FA@@B@@@@@@@@K@@@'@@L@@L@@@ภ$Llet@ Eภ&Strict@ %@@@ N@@@S@3@e8@2@3-@'@(@@@ภ'Pgenval@@@@8@@@S@@ఐM!v@@@@ఐL#lam@%@@*@ఐ$body@@@5@@G@@7@@@AR\@@@'=@@@@@@@@O@&O@$@@ఐ(bindings@\@@@@@O@,O@(@@ఐw$body@@@u@@G@@@V@@ v@@@ @$@@ B@A@J@4@A@@࣠(block_idA,-@?GA@@@@@@3/../////@@@ @@@@8 @@&constrABC@UHA@@@@@S3EDDEEEEE@&@@@?@!@"@@@@@@$bodyAZ[@mIA@@@@@@hn@@@g@@f3cbbccccc@/%@@@R@)@*@@@@@@ఐO)bind_list{ |@G@@LH@@@C?@@@@8@@@@@@@@/ @@@@@@}A@~@@|@@{@@z@@y3@6L@B@@@eA@@@d@@c@K@L@@@vఐ(block_id@h@@@@@O@O@@|@)*@@@@@O@O@/@@ఐ&constr+1@p@@-@@@@C@&before28@@@$@@@@@@O@O@U@@x@@@@ @@@1@@@A@@@b@@࣠@'vbeforeA @G@ JA@@J@@@@@@3@{@@@@  @@@ఠ*arg_offset%KS&K]@8KA@@}@@@O@3)(()))))@*ˠj@@@@@@@(@)@@@డ@KzAK{@@@@@@@@@@@@@@@@@@"@@డ$List&length`K`aKd@ dKeeKk@@ :@@@ :@@@P@@@@ c@@@@@H@@ఐC&constrKlKr@@@@@@@\@&beforeKsKy@)@@ e+@@@Q@Q@k@@: @@ X@@@@Q@s@@AK|K}@@@@@P@P@@@R @@@A@KO @@ఐ )bind_list@@@  @@@  @@@@ |@@@@@@@@ s @@@@@@A@@@@@@@@@3@@@@@@ ఐĠ(block_id@@@ @@@Q@Q@@ ఐݠ*arg_offset@!@@ @@@Q@Q@+@@ఐ٠&constr@@@m@@@#@ ?@%after$%@@@ ٠d@@@@@@Q@$Q@!Q@@t@@@@ Ѡ @@@q@@@A@@@^@@࣠@&vafterAMN@`LA@@ @@@:@@@93SRRSSSSS@w@@@@  @@ఐ $bodyde@ǰ@@@ @@@A@@@@@@?3jiijjjjj@+ @@@8@@@7@)@*@@@@@@@jQ@h@@@@oQ@m@ @@@tQ@r@.&before@ఐ'vbefore@u@@ܠ@@@S@@@RQ@T@@A%after@ఐt&vafter@O@@@@@`@@@_Q@a[@[@@@Q@}@@ఐ&constr@q@@0@@@~Q@|Q@gt@@@@@@HQ@|@@@@$@@@Q@G@@@@ 2@@@0@@@/8@@@O@-@@.O@O@@@H"@@@U#@@@ <%@@@ I@@@@@@# @@@M@@@M@M@@@:@@@ <@@ @@@@@@@@@@@@@@@@@ @@@@@@@@@I@I@@ X@б г  @@@@  @б@г  @ @@@  }@б@б@г | {@@@@  x@г  w@@@@  t@@ @@  s@гM  r@Q@@@  o@@ @@  n@@"@@  l@ -@@  k@ A@@  @@@@ @@@@@ @@@ @@@@@ @@@@@@@@@I@ @A@@@@ @A@@@ @  #@ &@ @@3@  @@n@3@@@@!tI;@@#tag@@@@@װO  O  @@NA$flag@@ ,mutable_flag@@@ڰP  P  @@OA%shape@@+block_shape@@@ݰQ  Q  @@PA&before@@R&lambda@@@@@@R  R  @@QA%after@@d&lambda@@@@@@S  $S  7@@RA#loc@@/Scoped_location!t@@@T 8 <T 8 ^@@SA@@A@@@@@N  U _ b@Ӑ The type [Constr.t] represents a reified constructor with a single hole, which can be either directly applied to a [lambda] term, or be used to create a fresh [lambda destination] with a placeholder. J  M  @@@@@@@@@&MAA@%apply@{@@@ @-&lambda@@@ 2&lambda@@@ @@ @@ @.Y  /Y  @ X [apply constr e] plugs the expression [e] in the hole of the constructor [const]. <W d f=X  @@@@@@@OTA@0with_placeholder@@@@ @@=$@@@ @@@ a&lambda@@@ @@ f&lambda@@@ @@ @@ @b]dfc]d@0 s [with_placeholder constr body] binds a placeholder for the constructor [constr] within the scope of [body]. p[  q\"c@@@@@@@UA@,delay_impure(block_idT@@@ @@@@ @@@@@ &lambda@@@ @@ &lambda@@@ @@ @@ @@ @mm@g  We may want to delay the application of a constructor to a later time. This may move the constructor application below some effectful expressions (for example if we move into a context of the form [foo; bar_with_tmc_inside]), and we want to preserve the evaluation order of the other arguments of the constructor. So we bind them before proceeding, unless they are obviously side-effect free. [delay_impure ~block_id constr body] binds all inpure arguments of the constructor [constr] within the scope of [body], which is passed a pure constructor. [block_id] is a counter that is used as a suffix in the generated variable names, for readability purposes. _lW@@@@@@@VA@@БA+N  N  @@@# O  @ @@Ш@г#intO  O  @@3@$;@@@A@@@@@@@@A@@!@@@@#P  @@@Ш@г(AsttypesP  P  @#P  P  @@@+@@.@@ @(@#$$Q  @@@Ш@г'(Q  Q  @@..@@1@@1@,@#((R  @@@Ш@г+$listR  R  @г01 R  R  @@7H@@@<I @@?@@L@5@#11&S  )@%@@Ш@г4$list S  2!S  6@г9:(S  +)S  1@@@c@@@Ed @@H@@g@>@#::12T 8 ?@0@@Ш@г=)Debuginfo?T 8 B@T 8 K@ECT 8 LDT 8 [@@IHT 8 \IT 8 ]@ @@S @@V@@@N@@A@J"HG@GG@@@G@G@@3TSSTTTTT@H@AVU@GGaY  bY  @б@гH!tkY  lY  @@P3hgghhhhh@]@A@@б@гOPwY  xY  @@V @@гRSY  Q@@XR@@` S@@gT@@i@VU@PXUT@TT@@@T@T@"bRR]dj]dz@б@гS!t]d}]d~@@[3@5@A@@б@б@гZ+destination]d]d@г_&offset]d]d@@g@@@l @@гde]d]d@@k!@@w" @@гhi]dg@@n)h@@*]dj@@,/k@@@ml@lk@kk@@@k@k@9yiimm@бjгh#intmm@@p3@L@A@@б@гo!tmm@@w @@б@б@гt!tmm@@|@@гyz m m@@"@@# @@г}~m|@@*}@@+m@@-#@@.m@@@@񐠠@@@@@@<@3#""#####@=@A3%$$%%%%%@@@,I  -n@@@@B@C@@@6I  @ @@8I  @@#DpsJD6=E6@@WA@БA+#dpsKUV@А!a@ 3ZYYZZZZZ@P@A@PN@)'@@@@5;@@ @A@A&@@ @@@ @ G@B@@@~@@@@XA@@@@H@;*@A@A$tailL@@@ #dstj@@@ @@@ CL@ @@ @@ Y@@@@@$@@@!@@Aбг$bool@@ M@@бг+destination@г &offset@@(a@@@-b @@А!a(fH@@7hJ@@AjL@@N@@NM@3@l@@A+!tL@А!a@ 3@_;@@ @A@A@G@B@@@!$@  We want to optimize nested constructors, for example: {[ (x () :: y () :: tmc call) ]} which would naively generate (in a DPS context parametrized over a location dst.i): {[ let dstx = x () :: Placeholder in dst.i <- dstx; let dsty = y () :: Placeholder in dstx.1 <- dsty; tmc dsty.1 call ]} when we would rather hope for {[ let vx = x () in let dsty = y () :: Placeholder in dst.i <- vx :: dsty; tmc dsty.1 call ]} The idea is that the unoptimized version first creates a destination site [dstx], which is then used by the following code. If we keep track of the current destination: {[ (* Destination is [dst.i] *) let dstx = x () :: Placeholder in dst.i (* Destination *) <- dstx; (* Destination is [dstx.1] *) let dsty = y () :: Placeholder in dstx.1 (* Destination *) <- dsty; (* Destination is [dsty.1] *) tmc dsty.1 call ]} Instead of binding the whole newly-created destination, we can simply let-bind the non-placeholder arguments (in order to preserve execution order), and keep track of a list of blocks to be created along with the current destination. Instead of seeing a DPS fragment as writing to a destination, we see it as a term with shape [dst.i <- C .] where [C .] is a linear context consisting only of constructor applications. {[ (* Destination is [dst.i <- C .] *) let vx = x () in (* Destination is [dst.i <- C (vx :: .)] *) let vy = y () in (* Destination is [dst.i <- C (vx :: vy :: .)] *) (* Making a call: reify the destination *) let dsty = vy :: Placeholder in dst.i <- vx :: dsty; tmc dsty.1 call ]} The [delayed] argument represents the context [C] as a list of reified constructors, to allow both to build the final holey block ([vy :: Placeholder]) at the recursive call site, and the delayed constructor applications ([vx :: dsty]). In practice, it is not desirable to perform this simplification when there are multiple TMC calls (e.g. in different branches of an [if] block), because it would cause duplication of the nested constructor applications. The [delayed_use_count] field keeps track of this information, it counts the number of syntactic use sites of the delayed constructors, if any, in the generated code. %')C)G@@@@@@@@@ YA@@@@@;$@A$code@@'delayed!t@@@ @@@ Ǡ>M@ @@@ @@ ΰ@@0ZA1delayed_use_count@@@@@ Ұ)* @@<[A@@A@Y@@@@@DA@@3@#--3@@@Ш@б0г.$list>?@г3&ConstrIJ@:MN@@@Bp@@@Gq @@г=#dpsXY@А!aE~_`@@@L @@\c @@`@@ @J@#FFAj@@@@Ш@гI#intst@@Q@@T@@ @P@@A@DL@@@@@@@@3~~@@@@ఠ,write_to_dstѠ)I)O)I)[@\A@@@@@@!-@@@!,M@ @, @@@!hQ@!=@@@!LM@!@@@@!6M@!@@@!5M@! @@! M@!@@!M@ @@!M@ 3@@@@࣠@#dstA)I)\)I)_@]A@@:3@G)I)K))@@@@@  @@'delayedA)I)`)I)g@^A@@A3@!Q@@@@@@@@!tA)I)h)I)i@ _A@@@3@U@@@@@@@@ఐ0-assign_to_dst )l)p )l)}@@@@Y@@@!@@@!@K@@@!N@@@!@@!@@!3        @%1g@(@)@@@@ఐ]#dst ()l)~ ))l)@B@@@@%@@@d@@@!+g@@@!*@@!)@@డ$List)fold_left D)) E))@  H)) I))@@@@#acc@@!a@! @@[@@Z@ @ @@@Y@@X@@W@@V@,33-3r@@+]@#@@@@M@!tQ@!;@@@!?@@!>@@͠@@@!< @@!:@@!9@@!8]@@࣠@!tA )) ))@ `A@@3        @o@@@@@@&constrA )) ))@ aA@@3        @1@@@@@@@@డ%apply&Constr )) ))@  )) ))@@@@@@ @ @@@  @@@ @@ @@ @@@@@@@!\@@@@![@@@!Z@@!Y@@!X3        @8D(@;@<@@@@ఐK&constr )) ))@ @@5@@ఐg!t )) ))@Q@@@@C@@M@!gU@!f!@ )) ))@@@@Q@@!N@@!MR@!qR@!or@@ఐ!t!))!))@@@R@@ఐ4'delayed!))=@>@@p@@?@@@@@@@Y@JAA@M@!zH@A@E@ED@Z@ఠ&lambdaؠ!&))!'))@!9bA@@@!:&lambda@@@!M@!|h!E&lambda@@@!@@@!M@!}@@!~M@!{3!<!;!;!<!<!<!<!<@@@@@@࣠@!vA@!O))!P))@@!@@@!3!O!N!N!O!O!O!O!O@3!X))!Y *`*c@@@@  @!mcA-г01!e))!f))@@7@@@!@@!l))!m))@@@>@@@@ຠ3px@@ s@@@3XW@@A@AS@P@A_@\$code!))!))@࣠'delayedA!)*!)* @!dA@@@@@!@@@!3!!!!!!!!@FSK@N@@@@@@!)*@$tailA@!)*!)*@@@@@!3!!!!!!!!@%@@@!@@@!@$@%@@@@!)* @#dstA!)*!)*@!eA@@10@@@!@@@!!@@!)* @@ఐH,write_to_dst!**#!**/@@@@*@@@!@@@!@?<@@@!@@@!@%@@@!(@@@!@@!@@!@@!3!!!!!!!!@K<dc@@@!@@@!@;@<@@@@ఐJ#dst" **0" **3@@@]@@@!@@@!R@!R@!"@@ఐ'delayed"!**4""**;@v@@~@@@!@@@!R@!R@!:@@ఐ!v"9**<":**=@@@v@@@!R@!R@!N@@l @@ @@@!R@!T@"J))"K*>*C@@HFE@@@!@@@!B@@@!@@@!@@!N@" @塠1delayed_use_count"d*E*I"e*E*Z@A"j*E*]"k*E*^@@J@@@"3N@"43"l"k"k"l"l"l"l"l@@@@@@"s))@г@!t"}))"~))@гEF"))"))@@L@@@Q @@@@R@1A@`M@"=8@A X"` Create a new destination-passing-style term which is simply setting the destination with the given [v], hence "returning" it. "!*d*f"$**@@@@@@@D@DC@[@@"&*+"&*+@@ؠ"Z@@@"G@@@"F3""""""""@p@@@@@$unitޠ@"fA@@@"E@@@"Dг!t"&*+ "&*+@г $unit"&*+"&*+ @@(@@@"?&@@@0@@@"A+ @@87A@@65@@@"I@@@"H4@ຠt$code"'++"'++@࣠'delayedA@"'++,"'++-@@@@@"k@@@"jR@@#'++# @$tailA@# '++4# '++5@@@@@"za@@#'++.@#dstA@#'++;#'++<@@@@@"@@@"t@@#%'++6 @@ภ"()#-(+@+F#.(+@+H@;""@@@N@@@@A@@A#@@"@ @@@@@"@#:'++#;)+I+N@@865@@@"`@@@"_2"@@@"^@@@"]@@"\M@"@֡1delayed_use_count#U*+P+T#V*+P+e@@#[*+P+h#\*+P+i@@;@@@"M@"@@@#c&*+#d++k+n@гг$@(@@@"J@@ @@@"L@A@@ՠ@@@"@@@"M@"@A@#&**!@@"@֠@ఠ#map#-+p+v#-+p+y@#gA@@@@!a@#M@"!b@"M@"@@"M@"@M@"@@@"M@"M@"@@@"M@"@@"M@"@@"M@"3########@ @@ @@@࣠@!fA@#-+p+{#-+p+|@@@3-@@"@  @#hA8б@А8=#-+p+#-+p+@@А7<!#-+p+#-+p+@@@GA@@"& @@#-+p+z#-+p+@@@M*@@@@!dA@#-+p+#-+p+@@ED@@@"3########@;5-@0@)@@@  @$iAO гR!t$-+p+$-+p+@А!aZ$-+p+$-+p+@@@a`@@@" @@$-+p+$-+p+@@@i @@@@ຠ$code$#.++$$.++@࣠'delayedA$1.++$2.++@$DjA@@+*@@@#@@@#3$7$6$6$7$7$7$7$7@ESK@N@B@@@@$@.++@$tailA$K.++$L.++@$^kA@@@@@#%3$M$L$L$M$M$M$M$M@)KJ@@@#@@@#@(@)@@@@$].++@#dstA$h.++$i.++@${lA@@ؠ@@@#3@@@#23$n$m$m$n$n$n$n$n@"0@@@#$@+@,@@@@$z.++@@ఐ!f$/++$/++@@@@@@#B3$$$$$$$$@*@@@#1@@@#0@)@*@@@@ఐ!d$/++$/++@f@@2 M@#K@@@#NU@#H"@$code$/++$/++@>@@@@@#M@@@#L@@@#J@@#I6@ఐ'delayed$/++$/++@x@@Ǡ@@@#g@@@#fT@#qT@#oN@Pఐ$tail$/++$/++@o@@]@@@#nT@#tT@#sd@^ఐ#dst$/++$/++@n@@kj@@#m@@#lT@#wT@#u~@@g@@aT@#i@@@@i@% .++%/++@@  @@@# @@@# zP@#@@@# @@# O@#@1delayed_use_count%&0++%'0+,@ఐB!d%10+,%20+,@@@@@@#O@#3%5%4%4%5%5%5%5%5@@@@1delayed_use_count%?0+, %@0+,@ǰ@@ @@@#O@# @@@%H-+p+%I1,,@г!t%S-+p+%T-+p+@А!b%Z-+p+%[-+p+@@@  @@@@!@xA@M@#@A@%a-+p+r@@@@ఠ$pair%n3,!,'%o3,!,+@%mA@@@!a@$M@#@@@#M@#@!b@$M@#@@@#M@#Ǡ@"M@#۠@M@#@@#@@@#M@#@@#M@#@@#M@#3%%%%%%%%@@@@@@࣠@"daA@%3,!,-%3,!,/@@;:@@@#3%%%%%%%%@N%3,!,#%8- -@@@@ @%nAHгK!t%3,!,5%3,!,6@АMR%3,!,2%3,!,4@@@YX@@@# @@%3,!,,%3,!,7@@@a"@@@@"dbA@%3,!,9%3,!,;@@\[@@@#3%%%%%%%%@3A9@<@-@@@  @%oAf гi!t%3,!,A%3,!,B@Аkp%3,!,>%3,!,@@@@wv@@@# @@&3,!,8&3,!,C@@@@@@@ຠ$code&4,V,Z&4,V,^@࣠'delayedA&!4,V,g&"4,V,n@&4pA@@@@@$@@@#3&'&&&&&'&'&'&'&'@DRJ@M@A@@@@&04,V,f@$tailA&;4,V,p&<4,V,t@&NqA@@@@@$3&=&<&<&=&=&=&=&=@);:@@@#@@@#@(@)@@@@&M4,V,o@#dstA&X4,V,v&Y4,V,y@&krA@@Ƞ@@@$ @@@$3&^&]&]&^&^&^&^&^@"0@@@$@+@,@@@@&j4,V,u@@@ఐ͠"da&{5,},&|5,},@@@ M@$-@@@$0T@$*3&&&&&&&&@#5@@@$@@@$@4@5@@@$code&5,},&5,},@!@@@@@$/@@@$.@@@$,@@$+@ఐ'delayed&5,},&5,},@k@@@@@$I@@@$HS@$SS@$Q6@3ఐ$tail&5,},&5,},@b@@@@@@$PS@$VS@$UL@Aఐ#dst&5,},&5,},@V@@NM@@$O@@$NS@$YS@$Wf@@q@@kS@$Ki@@ఐ"db&5,},&5,},@ϰ@@vM@$`@@@$cT@$]@$code' 5,},' 5,},@@@@@@$b@@@$a@@@$_@@$^@ఐ'delayed'#5,},'$5,},@@@ @@@$|@@@${S@$S@$@ఐ$tail';5,},'<5,},@ذ@@@@@$S@$S@$@ఐ#dst'Q5,},'R5,},@̰@@Ġ@@$@@$S@$S@$@@g@@aS@$~@@'e5,},'f5,},@@@@ @@$@'n4,V,a'o5,},@@lji@@@#@@@#f@䠠@@@#@@@#@@#O@$Y@ 1delayed_use_count'6,,'6,,@డ&'7,,'7,,@@@@T@@@$@@@@$@@@$@@$@@$3''''''''@y@@@@ఐ"da'7,,'7,,@ɰ@@B<@@@$P@$@1delayed_use_count'7,,'7,,@G@@@@@$P@$P@$$@@ఐ"db'7,,'7,,@@@eN@@@$P@$9@1delayed_use_count'7,,'7,- @j@@?@@@$P@$P@$G@@; @@@@@$P@$M@@@'3,!,T8@гa!t'3,!,P'3,!,Q@В@А!ai۰(3,!,G( 3,!,I@@@А!bn(3,!,L(3,!,N@@@x @@@}(3,!,F@@#@@@?ZA@M@$a@A@^@^]@v@ఠ#run($:--(%:--@(7sA@@@ _!a@%,M@$@@@%M@$  M@%@@@% M@$@@$M@$3(<(;(;(<(<(<(<(<@@@@@@࣠@!dA@(O:--(P:--@@#"@@@%3(P(O(O(P(P(P(P(P@6(Y:--(Z<-F-g@@@@ @(ntA0г3!t(g:--"(h:--#@А5:(m:--(n:--!@@@A@@@@$ @@(u:--(v:--$@@@I"@@@@࣠$tailA(;-0-9(;-0-=@(uA@@ @@@%3((((((((@8F>@A@2@@@@(;-0-8 @#dstA(;-0-?(;-0-B@(vA@@  @@@%$@@@%#3((((((((@) @@@%@$@%@@@@(;-0->@@ఐn!d(<-F-J(<-F-K@.@@J@@@%/R@%)3((((((((@0 2 1@@@%"@@@%!@/@0@@@$code(<-F-L(<-F-P@_@@  ̠ @@@%.@@@%- Ƞ@@@%+@@%*@ ېภ"[](<-F-e@ @@@  @@@%H@@@%GQ@%U2@ mఐ|$tail(<-F-R)<-F-V@Y@@ z@@@%OQ@%XQ@%WH@ {ఐ|#dst)<-F-X)<-F-[@R@@  @@%N@@%MQ@%[Q@%Yb@@l@@Q@%Je@));-0-4@г#dps)3:--*)4:---@А!a)::--');:--)@@@ @@@@@A@M@%z@A@@@@ఠ+reify_delay)L>-i-o)M>-i-z@)_wA@@@ )d&lambda@@@%@@@%M@%| )p&lambda@@@%@@@%M@%}@@%~M@%{3)g)f)f)g)g)g)g)g@,NG@H@I@@@࣠@#dpsA@)z>-i-|){>-i-@@&%@@@%@@@%3)~)})})~)~)~)~)~@<)>-i-k)I..@@@@@)xA6г9#dps)>-i-)>-i-@г>?)>-i-)>-i-@@E@@@%@@@M@@@%$ @@)>-i-{)>-i-@@@U(@@@@ຠ=$code)?--)?--@࣠'delayedA)?--)?--@)yA@@  @@@%@@@%3))))))))@M^V@Y@G@@@@)?--@$tailA)?--)?--@)zA@@ V@@@%3))))))))@) ޠ @@@%@@@%@(@)@@@@)?--@#dstA)?--)?--@*{A@@ k j@@@%@@@%3********@"0 }@@@%@+@,@@@@* ?--@@ఐV'delayed*@--*@--@3@@  @@@%@@@%3********@/  @@@%@@@%@.@/@@@ĠL*5A--*6A--@!@@@@ . -@@@%@@@%3*:*9*9*:*:*:*:*:@@@@ @ 6 5@@@%@@@%@@@ఐ٠#dps*PA--*QA--@@@@@@%@@@%@ Ґఐ$tail*dA--*eA--@^@@ @@@& T@& T@& 1@ ఐ#dst*zA--*{A--@X@@  @@& @@& T@&T@&K@@;@@%@@@%O@Ġ"::*B-.*B-.@%yఠ!x*B-.*B-.@*|A@@ @@@%@ఠ"xs*B-.*B-. @*}A@@* @@@%@@@%@@@ @@  @@@%@@@%@@  @@@%@@@%@@@డ"L0with_placeholder&Constr*C. .*C. .@ *C. .*C. ..@@@ 5@@@ @@@@@ @@@ *@@@ @@ *@@@ @@ @@ @!@@@ N@@@&'@@@@@&&@@@&%@@@&$@@&#@@@&"@@&!@@& 3+ + + + + + + + @un@o@pha@b@c@@@@ఐ}!x+C. ./+C. .0@@@ x@@@&9V@&;V@&:@@Q @@@@ߠ@@@&8@@@&7D@@@&6@@&5C@@@&4@@&3+@@࣠@'new_dstA+HC. .8+IC. .?@+[~A@@@@@&R@@@&Q3+N+M+M+N+N+N+N+N@D@@@@  @@ภ)Lsequence+\D.C.M+]D.C.V@;)Lsequence% @%@@@k%@@@l@BO@V@A&!9))&"9))@@@&@ఐ 砐,write_to_dst+wE.Y.e+xE.Y.q@ 6@@@&ɠ's@@@&g@@@&f@ ޠ @@@&e@@@&d@%@@@&c%@@@&b@@&a@@&`@@&_3++++++++@UIH@@@&P@@@&O@S@T@@@@ఐ#dst+E.Y.r+E.Y.u@@@&'@@@&|@@@&{V@&V@&}"@@ఐ"xs+E.Y.v+E.Y.x@@@  @@@&z@@@&yV@&V@&:@@ภ$Lvar+E.Y.z+E.Y.~@%ఐ'new_dst+E.Y.+E.Y.@O@@'5@@@&V@&@@@&V@&]@#var+E.Y.+E.Y.@'E@@%@@@&V@&V@&k@@,E.Y.y,E.Y.@@&:@@@&xV@&s@@@@&B@@@&\@&V@&w{@ఐ#dps,F..,F..@J@@Ơ@@@&@@@&@ ఐQ$tail,-F..,.F..@'@@ @@@&V@&V@&@ ఐ'new_dst,CF..,DF..@@@  @@&@@&V@&V@&@@;@@&@@@&]@&V@&@@,\F..@@&@@@&[@,aC. .4@@@@@@&H@@@&G@@@&F@@&ET@&T@&@@@@ @@@A,t@--@@@@@&9@,y?--,zG..@@ w u t@@@%@@@% q#@@@%@@@%@@%N@' @ 1delayed_use_count,H..,H..@A,H..,H..@@ y@@@'/N@'03,,,,,,,,@@@@@@,>-i-@гD!t,>-i-,>-i-@гIJ,>-i-,>-i-@@P@@@U @@@@V@1A@iM@'98@A@5@54@P@ఠ.ensures_affine,K..,K..@,A@@@,&lambda@@@'D@@@'CM@';,&lambda@@@'I@@@'KM@'<@@'=M@':3,,,,,,,,@|@@@@@࣠@!dA@,K..,K..@@&%@@@'F@@@'E3,,,,,,,,@<-K..-O/?/X@@@@@-A6г9!t-K..-K..@г>?-K..-K..@@E@@@'>@@@M@@@'@$ @@-$K..-%K..@@@U(@@@@డ+"<=-3L/ /$-4L/ /&@@!a@@$boolE@@@3@@2@@1*%lessequalBA@@@@)))Z@@U@@@@.@@@'^N@'R@@@@'Q@@'P@@'O3-U-T-T-U-U-U-U-U@]nf@i@W@@@@ఐw!d-iL/ /-jL/ /@@@ @@@']O@'`@@@'_O@'\@1delayed_use_count-{L/ /-|L/ /#@ @@,$@@A-L/ /'-L/ /(@@7O@'a/@@!@@@@@'bO@'Z5@ఐ!d-M/./4-M/./5@<@@@@@'M@@@'LN@'eN@'cJ@ఐb+reify_delay-O/?/E-O/?/P@ǰ@@@]\@@@'l@@@'kXW@@@'j@@@'i@@'hg@@ఐ#run-O/?/R-O/?/U@a@@@@@@'wO@'O@'@@@' @@@'@@'@@ఐ!d-O/?/V-O/?/W@@@Ġ @@@'P@'P@'@@-O/?/Q@@&@@@'@@O@@fN@'O@'t@.L/ / @г)!t. K./. K./@г./.K...K./@@5@@@: @@@@;@A@NM@'@A+- r Ensures that the resulting term does not duplicate delayed constructors by reifying them now if needed. .(P/Y/[.)R//@@@@@@@)@)(@D@ఠ$make.6T//.7T//@.IA@@@@@@'M@'@@@'M@'} M@'@@@'M@'@@'M@'3.M.L.L.M.M.M.M.M@l@@@@@࣠@#dpsA@.`T//.aT//@@"!@@@'3.a.`.`.a.a.a.a.a@5.jT//.kU/0 @@@@ @.A/г2#dps.xT//.yT//@А!a:.T//.T//@@@A@@@@' @@.T//.T//@@@I#@@@@ఐH+reify_delay.U//.U/0@@@@CB@@@'@@@'>=@@@'@@@'@@'3........@BPH@K@<@@@@ఐW#dps.U/0J@ K@@vu@@@'@@'P@гr!t.T//.T//@А!az#.T//.T//@@@& @@@@'@HdA@M@'k@A@h@hg@@ఠ1delay_constructor.W0 0.W0 0#@.A@@@:@@@(M@(@@@@(@@@(M@( /k@@@(O@(!@@@(%M@(@@(M@(@@(M@'3........@@@@@@࣠@&constrA/W0 0$/W0 0*@/$A@@03////////@=/W0 0/^1N1S@@@@@  @@!dA/%W0 0+/&W0 0,@/8A@@;3/$/#/#/$/$/$/$/$@!G@@@@@@@@@ఠ!d/8X0/07/9X0/08@/KA@@a`@@@(@@@(P@( 3/@/?/?/@/@/@/@/@@)Z@ @!@@@ఐ.ensures_affine/QX0/0;/RX0/0I@@@@@@@(@@@(@@@(@@@( @@( @@ఐL!d/nX0/0J/oX0/0K@)@@,@@!@@4-@A@/sX0/03@@ຠ$code/}Y0Q0W/~Y0Q0[@࣠'delayedA/Y0Q0d/Y0Q0k@/A@@@@@(7@@@(63////////@Rd]@^@_@@@@/Y0Q0c@$tail A/Y0Q0m/Y0Q0q@/A@@@@@(E3////////@)@@@(5@@@(4@(@)@@@@/Y0Q0l@#dst A/Y0Q0s/Y0Q0v@/A@@21@@@(S@@@(R3////////@"0D@@@(D@+@,@@@@/Y0Q0r@@@ఠ(block_id /Z0z0/Z0z0@/A@@"@@@(aS@(V3////////@/XW@@@(Q@@@(P@.@/@@@డ.$List&length0Z0z00Z0z0@ 0Z0z00Z0z0@@"ڰ@@@"ڠ@@@(dS@([@@@(Z#@@@(Y@@(X-@@ఐ'delayed0 Z0z00!Z0z0@t@@"@@@(bT@(eT@(cB@@, @@FC@A@0-Z0z0 @@డ',delay_impure&Constr0=[000>[00@ 0A[000B[00@@@@@ @@@@ @@@@@ 0`@@@ @@ \@@@ @@ @@ @@ @!@@@@@({@@@@(z@@@@@(y@@@(x@@(wt@@@(v@@(u@@(t@@(s30p0o0o0p0p0p0p0p@@@@@@ఐ(block_id0[000[00@ @@ @@@(U@(U@(@@ఐ&constr0[000[00@m@@$@@]@@@@@@@(K@@@(@@(@@@(@@(2@@࣠@&constr A0[000[00@0A@@ @@@(300000000@G@@@@ @@ఐ!d0\000\00@4@@Z@@@(V@(@@@(V@(300000000@d,.@@@(@&@'@@@$code0\000\00@p@@ݠ@@@(@@@(٠@@@(@@(@ภ+ܰ0\010\01@+۠ఐR&constr1\01 1\01@,@@@@@(U@(U@(U@(8@ఐ'delayed1\011\01@l@@0@@@(U@(U@(K@@1$\01 1%\01@@@@@(U@(T@ఐ$tail16\0017\00@i@@@@@(U@(U@(j@ఐ#dst1L\001M\00@c@@@@(@@(U@(U@(@@8@@ @@@(U@(U@(@1e[00A@@@@@@(@@@(@@(S@(S@(@@6N@@u@GO@@v@1uY0Q0^1v\01@@sqp@@@(-@@@(,m@@@(+@@(*O@)@ 1delayed_use_count1]11%1]116@ఐ_!d1]1191]11:@@@'@@@),O@)/@@@).O@)+311111111@@@@1delayed_use_count1]11;1]11L@2@@@@@))O@)- @@@1X0/0O@@@B@@p@A@M@)4@A@@@@j7A@A@3|@@@8 @ ] @ [@@ y@@@@@@311111111@@@11_1T1W@311111111@x@@@#dps M;!a@)7@A^A$tail1@@@)8#dst..@@@)9@@@);N@)<@@)=@@)>Y@@@@@1GI2G@/͐ A term parameterized over a destination. The [tail] argument is passed by the caller to indicate whether the term will be placed in tail-position -- this allows to generate correct @tailcall annotations. 2 2Sh@@@@@@@@@2 AA@!tN;!a@)]@AA@G@B@@@2jl2ju@@@@20AA@$make@N25&lambda@@@)`@@@)b"2?&lambda@@@)c@@@)e@@)f@2<wy2=w@@2OA@#run@72T&lambda@@@)g@@@)iw2^&lambda@@@)j@@@)l@@)m@2[2\@@2nA@1delay_constructor@)!t@@@)n@^2{&lambda@@@)o@@@)qh2&lambda@@@)r@@@)t@@)u@@)v@22@@2A@&lambda@2&lambda@@@)w2&lambda@@@)x@@@)z@@){@22@@2A@#map@@!a@)O@)|!b@)O@)}@@)~@@@@)@@@)@@)@@)@22B@@2A@$pair@!a@)O@)@@@)@ɠ!b@)O@)@@@)Ԡ@@@@)@@@)@@)@@)@2CE2Ck@@3A@$unit2@@@)@@@)@3ln3l@@3A@@БA+113GQ3GT@А25333333333@;;@@)6@A@AF@@)V@@@)W@)5G@B@@@*'@@@A3)GN3*GP@@/@M@@AбGгE$bool34G\35G`@@M!@@бJгH+destination3?Go3@Gz@гM&offset3HGh3IGn@@U5@@@Z6 @@А!aU:3PG~Q@@d<3RGdS@@n>3TGWU@@W1!3)UT@TT@@@T@T@@33[3Z3Z3[3[3[3[3[@@Acb@A+UU3ijtL@АUX33i3h3h3i3i3i3i3i@_;@@)\@A@A@G@B@@@\@@@Y@A3yjq3zjs@@0?@g@@A@_@@33v3u3u3v3v3v3v3v@ @A`_@__3w}3w@б@г`#dps3w3w@гef3w3w@@l333333333@)@A@@@s @@гj!t3we@гno3w3w@@u@@@zo@@p@@@rq@@sqq33@б@гr!t33@гwx33@@~333333333@2@A@@@ @@г|#dps3w@г33@@@@@@@@@@@@33@б@г&Constr33@33@@@333333333@1@A @@б@г!t44@г4 4 @@@@@ @@г!t4@г44@@&@@@'@@(@@)1@@@@@+4)4*@б@г42 43@@34/4.4.4/4/4/4/4/@=@A@@г!t4=@г4D4E@@@@@@@@@@@@4P"4Q%@б@б@А34S4R4R4S4S4S4S4S@%@A4[)4\+@@А4`/4a1@@ @@б@г!t4k94l:@А!a4r64s8@@@ @@г!t4{A@А!b(4>4@@@@+@@,@@-4(@@@@@0ȠƠư4CI4CM@б@гǠ!t4CS4CT@А344444444@F@A4CP4CR@@@ @@б@г͠!t4C[4C\@А4CX4CZ@@@@@гѠ!t4Cj@В@А!a&4Ca4Cc@@@А!b.4Cf4Ch@@@1 @@@24C`@@4!@@ 53@@ @@@7栰4lr4lv@г堐!t4l~@г預$unit4ly4l}@@344444444@P(&@A@@@@@@@@@344444444@@A344444444@@@46C4@@H@E@I@A@C@D@B@@@56A2@/@24ܐ . The type ['a Dps.t] (destination-passing-style) represents a version of ['a] that is parametrized over a [lambda destination]. A [lambda Dps.t] is a code fragment in destination-passing-style, a [(lambda * lambda) Dps.t] represents two subterms parametrized over the same destination. 555@@@@@@@566C@D@'&ChoiceoO5$~70775%~707=@57A@БA+!tP537G7Q547G7R@А!a@*L35857575858585858@@hfA@42A@&$@ @@@@@`^@@3 KJ@JJ@@@J@J@G/;@@*K@A@A@G@B@@@5f7G7I5g77@34 ? An ['a Choice.t] represents code that may be written in destination-passing style if its usage context allows it. More precisely: - If the surrounding context is already in destination-passing style, it has a destination available, we should produce the code in [dps] -- a function parametrized over the destination. - If the surrounding context is in direct style (no destination is available), we should produce the fallback code from [direct]. (Note: [direct] is also a function (on [unit]) to ensure that any effects performed during code production will only happen once we do know that we want to produce the direct-style code.) - [tmc_calls] tracks the function calls in the subterms that are in tail-modulo-cons position and get rewritten into tailcalls in the [dps] version. - [benefits_from_dps] is true when the [dps] calls strictly more TMC functions than the [direct] version. See the {!choice_makeblock} case. - [explicit_tailcall_request] is true when the user used a [@tailcall] annotation on the optimizable callsite. When one of several calls could be optimized, we expect that exactly one of them will be annotated by the user, or fail because the situation is ambiguous. 5t775u=6=;@@@@@@@@@5A@@5x7G7N5y7G7P@@2>@;B@A#dps@@F!tOQ@*t@@@*v57W7[57W7j@@5A&direct@@@5C@@@*z`Q@*{@@*|57k7o57k7@@5A)tmc_calls@@5 4"@@@*@@@*577577@@5A1benefits_from_dps@@5s@@@*577577@@5A9explicit_tailcall_request@@5@@@*577577@@5A@@A@_@@@@@da@@S@#MMC57W7^@B@@Ш@гP#Dps57W7d57W7g@W57W7h57W7i@@А!a]57W7a57W7c@@@f @@i@@*w@`@#\\S57k7u@R@@Ш@б@г_$unit57k7x57k7|@@g@@А!ag°67k767k7@@pŰ @@s@@*}@k@#gg]6 77@\@@Ш@гj$list677677@гo4tmc_call_information677677@@w@@@| @@@@*@v@#rrm6%77@l@@Ш@гu$bool6.776/77@@}@@@@*@|@#xxs6777@r@@Ш@г{$bool6@776A77@@@@@@*@@@A@࠰46@@@@@@@@36L6K6K6L6L6L6L6L@@@@ఠ&lambda6]===C6^===I@6pA@@@6q&lambda@@@*Q@*B6|&lambda@@@*@@@*Q@*@@*Q@*36s6r6r6s6s6s6s6s@;K@@@࣠@!vA@6===K6===L@@ @@@*366666666@26===?6==@@@@  @6A,г/06===O6===U@@6@@@*@@6===J6===V@@@=@@@@Р3+3@@*.@@@3 @@A@A@3@@B@A@3@@C@A@3 @@D@A@@A*@'#dps6=f=j6=f=m@డ&lambda#Dps6=f=p6=f=s@ 6=f=t6=f=z@@@6F@@@*fǠ6F@@@*e@@@*d@@*c@E@B@@@@@@*@@@*@@@*@@*366666666@dqi@l@^@@@@ఐx!v6=f={6=f=|@ @@/@@@*S@*S@*@@= @@@@@*@@@*S@*!@_&direct7=~=7=~=@࣠@2 AĠ7!=~=7"=~=@@@@@@@@*:@@@@ఐ!v70=~=71=~=@C@@@@@*T@*K@79=~=7:=~=@@@@@@*@@@*@@*R@*X@)tmc_calls7K==7L==@ภi7R==7S==@/ @@@@@@*@@@*R@*q@1benefits_from_dps7d==7e==@ภ&D7k==7l==@&D@@@@@@+R@+ @9explicit_tailcall_request7y==7z==@ภ&Y7==7==@&Y@@@@@@+R@+@@@7===d@г!t7===`7===a@г$%7===Y7===_@@+@@@0 @@@@1@A@?Q@+@A@@@+@ఠ#map!7==7=>@7A@@@@@@+Q@+6@@+mQ@+4@@+CQ@+@@@@+Q@+$#Q@++@@@+-Q@+%@@+&Q@+ @@+!Q@+377777777@\|u@v@w@@@࣠@!f"A7=>7=>@7A@@/@@@@!s#A7=>7=>@8A@@-377777777@!@@@@@@@@@РR#dps8> >8> >@డ#map#Dps8> >8> >@ 8> >8> >@@@@tn@@*k@Hy@@@*jLw@@@*i@@*h@@*g@f@c@@@@qm@@+7@Wv@@@+5[v@@@+3@@+2@@+13808/8/8080808080@COr@F@G@@@@ఐd!f8B> >8C> >@O@@@@ఐe!s8Q> >8R> > @@@@#dps8X> >!8Y> >$@ @@@@@+BT@+IT@+F.@@T @@@@@+/T@+A5@&direct8p>&>*8q>&>0@࣠@4Z$AĠQ8}>&>88~>&>:@P@@@@@@@+ZN@@@@ఐ!f8>&>>8>&>?@@@\@@ఐ!s8>&>A8>&>B@j@@m@&direct8>&>C8>&>I@ @@@@@@+bQ@+Q@+Q@+a@@+`~@@ภ8>&>J8>&>L@@@@,@@@+hW@+l@@8>&>@8>&>M@@@@9@@ @8>&>38>&>N@@@:@@@+SS@+L@@+RS@+o@")tmc_calls8>P>T8>P>]@ఐ!s8>P>`8>P>a@@@ @)tmc_calls8>P>b8>P>k@; @@ML@@@+{@@@+zS@+}@E1benefits_from_dps8>m>q8>m>@ఐ!s9>m>9>m>@Ұ@@D@1benefits_from_dps9>m>9>m>@^ @@`@@@+S@+@d9explicit_tailcall_request9>>9>>@ఐ;!s9'>>9(>>@@@d@9explicit_tailcall_request9.>>9/>>@} @@t@@@+S@+@@@97=> 98>>@@m@YA@Q@+i@A79 - Apply function [f] to the transformed term. 9I>>9J>?@@@@@@@9L==@@@{@ఠ&direct%9Y??9Z??@9lA@@@7!a@+Q@+@@@+Q@+@@+Q@+39i9h9h9i9i9i9i9i@@@@@@࣠@!c'A@9|??9}?? @@@@@+39}9|9|9}9}9}9}9}@.9??9?0??@@@@ @9A(г+!t9??&9??'@А-29??#9??%@@@98@@@+ @@9??9??(@@@A"@@@@ఐ8!c9?0?49?0?5@6@9@*@@ SQ@+@@@+T@+399999999@;I @@@&direct9?0?69?0?<@@@@3@@@+@@+@@ภ9?0?=L@@M@@B@@@+S@+@@)S@А!a(Q@+&9??+9??-@@ @@)@D_A@Q@+f@A@c@cb@{@ఠ#dps(9?A?G9?A?J@:A@@@Ҡ: &lambda@@@+@@@+Q@+$tail'@@@+Q@+#dst,+@@+@@+Q@+:2@@@+Q@+@@+Q@+@@+Q@+@@+Q@+3:':&:&:':':':':'@@@@@@࣠@!c*A@::?A?L:;?A?M@@>=@@@+@@@+3:>:=:=:>:>:>:>:>@T:G?A?C:H?g?@@@@@:\ANгQ!t:U?A?W:V?A?X@гVW:]?A?P:^?A?V@@]@@@+@@@e@@@+$ @@:i?A?K:j?A?Y@@@m(@@@bb+Af:t?A?[:u?A?_@:A@@j3:s:r:r:s:s:s:s:s@6G?@B@0@@@@:|?A?Z@ff,Aj:?A?a:?A?d@:A@@n3::::::::@~@@@@@@:?A?`@@డV#run#Dps:?g?k:?g?n@ :?g?o:?g?r@@@Р:_@@@*[@@@*ZԠ@@@*Y@@@*X@@*W@\@Y@@@@@@+@@@+@@@+@@@+@@+3::::::::@?J@B@C@@@@ఐ!c:?g?s:?g?t@^@@0;@@@+U@,U@,U@,@@@,U@,!@#dps:?g?u:?g?x@D@@@@@+U@,U@,0@ ఐ$tail;?g?z;?g?~@x@@=@ ఐ#dst;?g?@F@@I@@u@@U@+L@A@Q@,@A@@@렰@ఠ$pair-;"??;#??@;5A@@@@!a@-Q@,@@@,$@!b@-%Q@,@@@,%@@,#Q@,@Q@,2@Q@,3@@,4@@@,6Q@,@@,Q@,3;R;Q;Q;R;R;R;R;R@,ib@c@d@@@࣠@7B2A@ఠ"c1/;j??;k??@;}A@@>=@@@,,3;m;l;l;m;m;m;m;m@U;v??;w@@@@@@@ఠ"c20;??;??@;A@@GF@@@,-@@;??;??@В@гb!t;??;??@Аdi+;??;??@@@po@@@,2 @@@гj!t;??;??@Аlq@;??;??@@@xw@@@,G @@@@@ @@,N#@@;??;??@@@R@@@@Р #dps;??;??@డ$pair#Dps;??;??@ ;??;??@@@ @@@*q@ @@@*p@ *@ @@*o@@@*n@@*m@@*l@ @ @@@)Q@,Q@,Q@,Q@,I@@@,L@6Q@,Q@,Q@,Q@,J@@@,KA@@@@,H@@@,G@@,F@@,E3<<<<<<<<@@@@@@@@@ఐȠ"c1<2??<3??@@@:Q@,^@@@,_S@,\@#dps @_@h> @_@y@Y@@E@@@,S@,S@,@@ఐ"c2>@_@}> @_@@@@y@@@,S@,@1benefits_from_dps>,@_@>-@_@@|@@b@@@,S@,S@,@@; @@@@@,S@,@9explicit_tailcall_request>B@@>C@@@డ<>L@@>M@@@@@@@@@-@@@@- @@@- @@- @@- ;@@ఐ"c1>h@@>i@@@F@@ :@@@-S@-P@9explicit_tailcall_request>u@@>v@@@İ@@@@@-S@- S@-^@@ఐ "c2>@@>@@@h@@P@@@-$S@-"s@9explicit_tailcall_request>@@>@@@@@@@@-S@-&S@-#@@; @@@@@-S@-@@@>??3@гc!t>??>??@В@А!ak>??>??@@@А!bp>??>??@@@z @@@>??@@#@@@ UA@Q@-/\@A@Y@YX@x@ఠ$unit3>@A>@A@>A@@5 @@@-9Q@-3@@@-5Q@-03>>>>>>>>@@@@@@РF#dps>A A>A A@డ $unit#Dps?A A?A A@ ?A A?A A@@4 @@@*s@@@*r@ @  @@ 4@@@-7Q@-8/@i&direct?AA#?AA)@࣠@;4AĠ?+AA1?,AA3@@@@@ @@@-JH@@@@ภ ?8AA7?9AA9@ @@@ @@@-NU@??AA,?@AA:@@@ @@@-CeQ@-<@@-BQ@-Qa@)tmc_calls?PA<A@?QA<AI@ภn?WA<AL?XA<AN@7@@@  @@@-]@@@-\Q@-cz@1benefits_from_dps?iAPAT?jAPAe@ภ.I?pAPAh?qAPAm@.I@@@ @@@-jQ@-n@ơ9explicit_tailcall_request?~AoAs?AoA@ภ.^?AoA?AoA@.^@@@ @@@-tQ@-x@@@?@A ?AA@@@A@?@@@@@&Syntax=Q?B]Bf?B]Bl@?A@Б@ఠ$let+5?BvB~?BvB@?A@@@ @-@@@-R@-z@@  @-@@-R@- @@@-R@-@@-R@-{@@-|R@-y3????????@@@@@@࣠@!a7A?BvB?BvB@?A@@(3????????@5?BvBz?BvB@@@@@  @@!f8A?BvB?BvB@@A@@13????????@!?@@@@@@@@ఐR#map@BvB@BvB@@@@@LB@@-@ ^Q@@@- bK@@@-@@-@@-3@ @ @ @ @ @ @ @ @ ,S@#@$@@@@ఐ3!f@BvB@BvB@ @@`@@ఐT!a@+BvBI@8J@@w@@.K@@f@ULA@}R@-S@A@P@PO@f@ఠ$and+9@=BB@>BB@@PA@@@@-@@@-R@-@@-@@@-R@-@@ @@-@@@-R@-@@-R@-@@-R@-3@^@]@]@^@^@^@^@^@@@@@@࣠@"a1;A@qBB@rBB@@A@@03@p@o@o@p@p@p@p@p@=@yBB@zBB@@@@@  @@"a2ABBABB@A-A@@@@ !a@.@BNA@@@@@.@@@@@ @@@.@@@.@ @('&@@@. @@@.@@@`$let+B[C2CBB\C2CF@@ =<@@@.t@@@.u654@@@.q@@@.r@@.vS@.n@Q@R@@@++&%@CIASRQ@@@.@@@.T@.2г2$listCLCXCqCMCXCu@г7!tCUCXCoCVCXCp@Аe>;C[CXClC\CXCn@@@ED@@@.B @@@N@@@.G @@ChCXCgCiCXCv@@@@@@.@@@.S@@  @@ఐn!cC}CCC~CC@l@o@H@@mlk@@@.@@@.3CCCCCCCC@k @@@ĠCCCCCC@;O@@@@@@@.@@@.3CCCCCCCC@@@@ @@@@.@@@. @@@$let+CCCCCC@@ @@@.U@.V@.@@@.V@.@@ CHR@.@@@.U@.U@.@@. 'V@.@@@.V@.@@.@@.V@.ఐ$unitCCCCCC@@@ 8,@@@.U@.H@9CCC@@HĠ İCCCCCC@ @@@@7T@@@ภCCC@;@@@4[@AL@@Ϡ54@@@.@@@.e@ĠvD CCDCC@>ఠ!cFDCCDCC@D)A@@@@@.@ఠ"csGD%CCD&CC@D8A@@C@@@.@@@.@@@ @@@@@.@@@.@ @&%$@@@.@@@.@@@N$let+DICCDJCC@@ @jR@.⠠@CƠp@@@/#U@.@@.V@.@@@.V@.@@@@@/'U@/!U@.@@. Ǡ V@.@@@.V@.@@.@@.V@.ఐh!cD~CCDCC@g@h@i@@ T/R@.@@@.U@.3DDDDDDDD@{ le@f@g@@@FDCD@$and+DCCDCC@@ kT@@@-@ dO@@@- [@b@Y@@-@@@-@@-@@-@o@p@ 1@@@.V@.@ gU@/$U@/U@.@@@.V@. ~@H@@@.@@@.V@.@@.@@.V@.ఐ$listDCCDCC@@@@@@@.@@@.@@@.@@@.@@.f@@ఐՠ"csDCCDCC@o@@@@@/ @@@/ V@/ V@/ @@/@@ ϠO@@@/V@/@ECC@@K@ఠ!vI ECC@E0A@@1@/@@ఠ"vsJE*CCE+CC@E=A@@l@/@@A@@@@@/@@@ภ@E;CDE<CD@@ఐ'!vEECDEFCD@'@(@)@@(3EDECECEDEDEDEDED@2&@ @!@@@ఐ+"vsEUCD@ @@)@@@@@A@@^3ETESESETETETETET@@@@@@AE[CC@гd!tEeCXCEfCXC@г$listEnCXC|EoCXC@А!aհEuCXCyEvCXC{@@@}|@@@/VS@.ް @@@ @@@/US@.@@+@@@A@@@@@/a@@@/`@@@/_@@@/^@@/]R@/X{@@@ECXCZ @@@A+/tmc_call_searchLREE EEE E"@А!a@/d3EEEEEEEE@;@@/b@A@A@G@B@@@EE E EEbE@C The [find_*] machinery is used to locate a single subterm to optimize among a list of subterms. If there are several possible choices, we require that exactly one of them be annotated with [@tailcall], or we report an ambiguity. ED D EDE@@@@@@@@@EA&zipperMR;@@/c@A@A@G@B@@@EEEEEE@@@@EA@@EE EEE E@@B@;1@A+No_tmc_callNEc>S@/e@@@/g@@EE%E)EE%EA@@FA,NonambiguousO-OS@/i@@@/k@@EEBEFEEBEa@@FA)AmbiguousP(explicitQ@@E@@@/mFEbEwFEbE@@F"A(subtermsR@@EsS@/p@@@/r@@@/tF#EbEF$EbE@@F6A@@F'EbEfl@@F9A@@A@_@@@@@qn@@`@#MMF0E%E+F1E%E6@C@гO$listF:E%E=M@А!aVF@E%E:FAE%E<@@@]U@@@@W@#SSFGEBEHFHEBET@I@гU&zipperFQEBE[S@А!a\FWEBEXFXEBEZ@@@c[@@@@]@#YYF^EbEhF_EbEq@8@#[[VFeEbE@U@@Ш@г^$boolFnEbEFoEbE@@f@@i@@/n@e@#aaTFwEbE@S@@Ш@гd$listFEbEFEbE@гi!tFEbEFEbE@А!aq߰FEbEFEbE@@@x @@@}@@@@/u@t@@@p@@A@ܠDbFj@@@@@@+נװFEEFEE@А!a@/xFEEFEE@@Cv@;@A*rev_beforeS@@F7S@/y@@@/{FEEFEE@@FA&choiceT@@"S@/@@@/FEEFEE@@FA%afterU@@FU1S@/@@@/FEEFEE@@FA@@A@_@@@@@@@@ @#00(FEE@'@@Ш@г3$listFEEFEE@А!a;HFEEFEE@@@BK @@E@@/|N@>@#::2GEE@1@@Ш@г=!tG EEG EE@А!aEaGEEGEE@@@Ld @@O@@/g@H@#DD<GEE@;@@Ш@гG$listG$EEE@А!aNyG*EEG+EE@@@U|M@@X@@/@Q@@A@Z@@uY@3G+G*G*G+G+G+G+G+@@@@ఠ:find_nonambiguous_tmc_callVG<EEG=EF@GOA@@@F1!a@1Y@2@@@2S@2`@@@2_S@/S@1@@@1S@/@@/S@/3GZGYGYGZGZGZGZGZ@B@@@࣠@'choicesXAGmEFGnEF @GA@@-3GlGkGkGlGlGlGlGl@:GuEEGvL6LA@@@@@  @@@ఠ-has_tmc_callsYGF#F+GF#F8@GA@@@@/@@@/U@/V@@@/U@/@@/U@/3GGGGGGGG@(4W@+@,@@@࣠@!c[AGF#F9GF#F:@GA@@3GGGGGGGG@,GF#F'GF#FN@@@@@  @@డF>"<>GF#FIGF#FK@@!a@@2@@@*@@)@@()%notequalBA2@@@@2~QQ2~Q@@2R@@@@54@@@/@@@/V@/@ L@@@/@@/@@/3GGGGGGGG@:F[@=@>@@@@ఐO!cGF#F=GF#F>@@@j@)tmc_callsGF#F?GF#FH@J @@%@@ภHF#FLV@?@W@@1V@/%@@Z@@u&@d[A@U@/b@A@_@@ఠ+is_explicit\HFRFZHFRFe@H)A@@@ug@/@@@/U@/h@@@/U@/@@/U@/3H%H$H$H%H%H%H%H%@@@@@@࣠@!s^AH8FRFfH9FRFg@HKA@@3H7H6H6H7H7H7H7H7@+H@FRFVHAFRF@@@@@  @@ఐ!sHMFRFjHNFRFk@2@@@@33HLHKHKHLHLHLHLHL@"@@@9explicit_tailcall_requestHWFRFl@ @@2@"A@@U@/ @A@@@ఠ,nonambiguous_HfFFHgFF@HyA@@3only_explicit_calls4@@@0zU@/@GS'S@0 @@@18@@@17U@/0X@/@@@16U@/@@/U@/@@/U@/3HHHHHHHH@e~w@x@y@@@࣠''aA+HFFHFF@HA@@/3HHHHHHHH@>HFFHHI@@@@@HFF @@'choicesbAHFFHFF@HA@@:3HHHHHHHH@!G@@@@@@@@Aఠ%splitcHGGHGG@HA@@@H2tS@0X@0@@@0X@0@H=ZY@@@0@@@0X@/VU@@@0@@0@@03HHHHHHHH@/;k@2@3@@@࣠@*rev_beforedAHGGHGG@IA@@+3HHHHHHHH@7@2@)ut@@@/@@0@@0Y@/@;@<@@@@@@Ġ !I GGI GG@@@@@@H@@@0$@@@0#3IIIIIIII@#/P@&@'@@@@@ ภ7I GGI!GG@7@@@8L@@@0:@I'GG@@_@@@06@ĠI4H HI5H H@Dఠ!ceI=H HI>H H@IPA@@ @@@0,3I@I?I?I@I@I@I@I@@/@@@ఠ$restfIMH HINH H@I`A@@Hՠ@@@0.@@@0-@@@ @@Mޠ@@@02@@@01@@@డG"&&ImH#H@InH#HB@@4@@@K@:@@@J>@@@I@@H@@G(%sequandBA3Π@@@@33@@3]@@@@@@@0B@@@@0A@@@0@@@0?@@0>3IIIIIIII@aZ@[@\RK@L@M@@@@ఐ%-has_tmc_callsIH#H0IH#H=@~@@@S@0S@0S@0S@@@0R"@@@0Q@@0P"@@ఐ!cIH#H>IH#H?@+@@@@@0Z]@0\]@0[7@@' @@a@@@0N@0]]@0Y?@@డHe  IH#H\IH#H^@ @@@ @@@0c@ @@@0b @@@0a@@0`@@0_Z@@డH#notIH#HDIH#HG@@@@@F@@@E@@D(%boolnotAA4W@@@4ULL4VLt@@4T\@@@@@@@0s@@@0r@@0q@@ఐ3only_explicit_callsJ$H#HHJ%H#H[@p@@@@+@@ a@@@0o@0|^@0y@@ఐ%+is_explicitJ;H#H_J<H#Hj@@@@@@@0@@@0@@0~@@ఐ!cJQH#HkJRH#Hl@@@@@@0^@0^@0@@" @@ @@@0n@0^@0@@JeH#HCJfH#Hm@@@@@0M@0]@0m@@ @@7@@@0\@0L@ະ3ɐ@@/@@@3@@A@A@3@@B@A@@A@*rev_beforeJHsHJHsHAఐ @u@@&choiceJHsHJHsH@ఐ_!cJHsHJHsH@@@٠\@0@@@0[@0@)%afterJHsHJHsH@డI<$List#mapJHsHJHsH@ JHsHJHsH@@@@!a@U!b@S@@4@@֠@@@3@۠@@@2@@1@@0@@@@@@W@% @@@@8[@0@@@0[@09@@0@ @@@0B@@@0@@0@@0`@@ఐ&directKHsHKHsH@հ@@@#T@@0\@0q@@ఐŠ$restKHsHKHsH@y@@G7@@@0\@0\@0@@b @@Iq\@0@@@0\@0@@@K&HsHK'HsH@@@@@0@ఐs%splitK6HHK7HH@B@@@r@i@@@0@@0@@0@@ภF+KIHHKJHH@F*ఐ&directKUHHKVHH@)@@@@@@0@@0@@ఐ+!cKhHHKiHH@а@@ @@@0]@0]@0@@ @@@ఐ*rev_beforeK|HHK}HH@f@@@@KHHKHH@@X@0@@ఐA$restKHHKHH@@@@@\@@n[@0\@0@KH#H- @@p@@A:lgKGG @б@г$listKGGKGG@г)!tKGGKGG@А`0nKGGKGG@@@X@0s @@@X@0v@@г&zipperKGGKGG@А!aEKGGKGG@@@ED@@@1Y@0 @@@ @@1Y@0#@@@IA@@@ VU@@@1$@@1#@@1"X@1@@@KGGU@@ఐ*%splitKHIKHI@@@@KY'@@@1+@K_|{@@@1*@@@1)xw@@@1(@@1'@@1&3KKKKKKKK@@@@@ภ#$L HILHI@C@@@KyG@@@19X@1>@@ఐs'choicesL HI }@=~@@@@6@@@A@@B@A@U@1D@A@@@ఠ1tmc_call_subtermshL1II L2II1@LDA@@B;U@1J@@@1XU@1E3L8L7L7L8L8L8L8L8@@@@@@డJ$List&filterLMI4I:LNI4I>@ LQI4I?LRI4IE@@@@!a@$boolE@@@@@@Bi@@@3@@@@@@@@B8^-)-)B9^-)-X@@B7o@&!@@@@<@@@1M@@1L@D@@@1KIH@@@1I@@1H@@1G3LL~L~LLLLL@G@@@@࣠@!ciALI4IKLI4IL@LA@@\Z@@@@ఐ-has_tmc_callsLI4IPLI4I]@x@@@RS@1S@1e@@@1d@@@1c@@1b3LLLLLLLL@v(z@@ @@@@ఐ/!cLI4I^LI4I_@ @@@@!@@h@@@1nX@1k@LI4IFLI4I`@@@t@@@1[@@1ZV@1rV@1p@@ఐt'choicesLI4IaLI4Ih@F@@]@@@@@A@LII@@ఐ1tmc_call_subtermsLIpIzLIpI@@@@@@@@1v3LLLLLLLL@@@@Ġ$M IIM II@D@@@@̠@@@1{3MMMMMMMM@@@@@Ѡ@@@1|@@@ภ+No_tmc_callM IIM II@;3:@@/@4A@@C@A-@@*డK$List#mapM' IIM( II@ M+ IIM, II@@k@@@@S@2gS@28S@1S@1S@1V@1@@1@o@@@1n@@@1@@1@@1B@@ఐ&directMS IIMT II@'@@@'@@1W@1S@@ఐ'choicesMd IIMe II@̰@@#`@@Mh IIMi II@@@@@1V@1W@1k@@a @@l@Ġ"::M} IIM~ IIAH^ఠ$_onej M II@MA @@XS@1lX@13MMMMMMMM@@@@Ġ"[]M IIAEO@@A@L@@@1@@@M II@@fe@@@1@@ji@@@1@@@ภ,NonambiguousM IIM II@;@AA@C@A@@ఐS,nonambiguousM IIM II@|@@PL@@@1@M*GF@@@1@@@1CB@@@1@@1@@13MMMMMMMM@OI@J@K@@@fภ<M IJM IJ@<@@@m@@@1W@1@@ఐ'choicesM IJM IJ"@T@@ @@M IIM IJ#@@+S@1@@@1V@1W@1-@@R @@.@ఠ0several_subtermskN J$J*N J$J:@NA@@Ԡ@@@1@@ؠ@@@1@@@@ఠ1explicit_subtermslNJ>JJNJ>J[@N0A@@W@1@@@1W@13N#N"N"N#N#N#N#N#@4' @!@"@@@డL$List&filterN8J>J^N9J>Jb@ N<J>JcN=J>Ji@@@@@@@@@1@@1@&@@@1*@@@1@@1@@1)@@ఐE+is_explicitN[J>JjN\J>Ju@Ͱ@@@@@@1@@@1@@1?@@ఐj0several_subtermsNqJ>JvNrJ>J@I@@U@@@1X@1X@1T@@E @@ZU@A@N~J>JF @@ఐk1explicit_subtermsNJJNJJ@j@k@l@@Ui@@@13NNNNNNNN@iy@@@Ġ%NJJNJJ@FV@@@@g{@@@13NNNNNNNN@@@@@l@@@1@@@ภ)AmbiguousNJJNJJ@;@Z @@@/@AB@C@A@;ABA@O@B@@@N@@@NAຠ3@@2@@@3@@AA@A@(explicitNJJNJJ@ภ=NJJNJJ@=@@@@@@2&X@2*<@(subtermsNJK NJK@ఐ栐0several_subtermsNJKNJK&@Ű@@ܠ@@@27X@29T@;@NJJNK(K5@@JS@2@@@2X@2B_@@U @@`@ĠO K6KBO K6KHAIఠ$_onem OK6KF@O&A @@S@2;S@1Z@23OOOOOOOO@@@@ĠO#K6KGAF@@A@N@@@2 @@@O*K6K@@@@@@2@@ @@@2@@@ภ,NonambiguousO9KLKXO:KLKd@ఐߠ,nonambiguousOEKLKfOFKLKr@@@@@@2S@NӠ@@@2R@@@2QϠ@@@2P@@2O@@2N3OVOUOUOVOVOVOVOV@MG@H@I@@@ภ>SOfKLKOgKLK@>R@@@@@@2aY@2e@@ఐ'choicesOxKLKOyKLK@@@7 @@O|KLKeO}KLK@@ 7S@2H@@@2LX@2hY@2^-@@P @@3.@ఠ9several_explicit_subtermsnOKKOKK@OA@@`t@@@2  @@dx@@@2 @@@ภ)AmbiguousOKKOKK@ຠ3 @@2r @@@3  @@AA @ A @ (explicitOKKOKK@ภ>OKKOKK@>@@@ @@@2X@23OOOOOOOO@792@3@4@@@(subtermsOKLOKL @ఐE9several_explicit_subtermsOKL OKL&@@@ Ǡ@@@2X@2@&@OKKOL(L5@@5S@2j@@@2nX@2&@@H @@'@@@AOJJy@@M@rz@@@@@AOIpIt|@@@}@@@Q~@@f@@@@H@@^@A@S@3@A@@@@A@)@V@@@@2:@r@@l@@ @ 1 @ o 5A@ G aB@@@@@3PPPPPPPP@@@P~707@PLBLE@"3PPPPPPPP@@@@MO񐠠  The TMC transformation requires information flows in two opposite directions: the information of which callsites can be rewritten in destination-passing-style flows from the leaves of the code to the root, and the information on whether we remain in tail-position flows from the root to the leaves -- and also the knowledge of which version of the function we currently want to generate, the direct version or a destination-passing-style version. To clarify this double flow of information, we split the TMC transform in two steps: 1. A function [choice t] that takes a term and processes it from leaves to root; it produces a "code choice", a piece of data of type [lambda Choice.t], that contains information on how to transform the input term [t] *parameterized* over the (still missing) contextual information. 2. Code-production operators that have contextual information to transform a "code choice" into the final code. The code-production choices for a single term have type [lambda Choice.t]; using a parametrized type ['a Choice.t] is useful to represent simultaneous choices over several subterms; for example [(lambda * lambda) Choice.t] makes a choice for a pair of terms, for example the [then] and [else] cases of a conditional. With this parameter, ['a Choice.t] has an applicative structure, which is useful to write the actual code transformation in the {!choice} function. P*a1Y1YP+}7-7/@@@@@@@P-~7070@@Р&Syntax&ChoiceP>LGLLP?LGLR@ PBLGLSPCLGLY@@@3PBPAPAPBPBPBPBPB@ *@A@z@@%@e@9l@@@@(z@@@r@@M ]@  D@  A@  B@ 3V@@N7ML@LL@@@L@L@IO@@@@A3PpPoPoPpPpPpPpPp@/B@@PxLGLG6@@7@3PuPtPtPuPuPuPuPu@3@@A+'contextpSP!L[L`P!L[Lg@@;@@+specialized@@MI#Map!t+specializedqS@@@6@@@6P"LlLnP"LlL@@PA@@A@@@@@P!L[L[P#LL@@@APA@# P"LlLy@ @@Ш@г%IdentP"LlLP"LlL@'P"LlLP"LlL@@+P"LlLP"LlL@ @г.+specializedP"LlL{P"LlL@@63PPPPPPPP@WM;@@@A@@@@@0@@@-8;@@@A@@@@@P$LLP(LL@@@@PA@@ @@@J @@M@@6@>@@A@:@+DDP$LLP$LL@@;@@%arity@@P@@@?P%LLP%LL@@PA&dps_id@@M!t@@@? P&LLP&LL@@Q A+direct_kind@@Q -function_kind@@@? Q'LLQ'LL@@QA@@A@@@@@7@@@4@#((#Q %LL@"@@Ш@г+#intQ%LLQ%LL@@3N@@6@@?Q@2@#..'Q&LL@&@@Ш@г1%IdentQ*&LLQ+&LL@8Q.&LLQ/&LL@@@@g@@C@@? j@=@#993Q8'LL@2@@Ш@г<=Q@'LLQA'LL@@Cx@@F@@?{@A@@A@t@@s@3QAQ@Q@QAQAQAQAQA@@@@ఠ%lletsQR*LLQS*LL@QeA@@@B@@@?zT@?8@L@@@?{T@?=@:@C @@@?|X@?f@K@@@?}X@?g@@?hX@?R@@@?aT@?B@K@@@?~T@?GT@?H@@?IT@?C@@?DT@?>@@??T@?9@@?:T@?73QQQQQQQQ@ @@@࣠@"lkAQ*LLQ*LL@QA@@G3QQQQQQQQ@TQ*LLQ-MXMi@@@@@  @@"vkAQ*LLQ*LL@QA@@R3QQQQQQQQ@!^@@@@@@@@(bindingsAQ*LLQ*LM@QA@@Z3QQQQQQQQ@f@@@@@@@@$bodyAQ*LMQ*LM @QA@@O3QQQQQQQQ@n@@@@@@@@డPi$List*fold_rightQ+M MQ+M M@ Q+M MQ+M M@@;@@@@@oX@?P@@?T@@?S@;@@@?Q@  @@?O@@?N@@?M3QQQQQQQQ@+7|@.@/@@@@࣠@MA@ఠ#varR+M M$R+M M'@R*A@@3RRRRRRRR@@@@@ఠ#defR$+M M)R%+M M,@R7A@@ @@R)+M M#R*+M M-@@@@@@?j@@ @@$bodyAR;+M M.R<+M M2@RNA@@H3R:R9R9R:R:R:R:R:@@/@)@*#@@@@@@  @@ภ$LletRL,M6M:RM,M6M>@Cఐ"lkRV,M6M@RW,M6MB@@@3RTRSRSRTRTRTRTRT@'e@@@@@ఐ"vkRd,M6MDRe,M6MF@@@@ఐX#varRo,M6MHRp,M6MK@/@@@ఐV#defRz,M6MMR{,M6MP@9@@$@ఐM$bodyR,M6MRR,M6MV@,@@/@@=R,M6MW@@L@@@?y4@R+M MR-MXM[@@@%@@@?c@@?bY@?Y@?}@@ఐ㠐(bindingsR-MXM\R-MXMd@˰@@9@@ఐߠ$bodyR-MXMe @ @@)@@ @@@ A@]T@?@A@@@'@ఠ.find_candidateR/MkMoR/MkM}@RA@@@M@@@?T@?ANH)lfunction@@@?T@?@@@?T@?@@?T@?3RRRRRRRR@M@@@@@@Ġ)LfunctionR0MMR0MM@;)LfunctionL@@@@>@AD@V@AM)&&M)&&@@@Nd@ఠ$lfunR0MMR0MM@SA@@,@@@?3RRRRRRRR@*HS/MkMkS 1MM@@@@@@" @@B@@ఐ$lfunS0MMS0MM@@@@@H@@@?@?3SSSSSSSS@) @@@$attrS&0MMS'0MM@3$attrU@@@N2function_attribute@@@@@D3$kind N-function_kind@@@@@@@@MJ++MJ++@@N"@3¶msKנ@L!t@@@@N@@@@@@@@@@A"@@N K++N K+,@@N#@3&return0N@@@@@B+@@NL,,"NL,,5@@N$@3$body9M@@@@@C4@@NM,6,:NM,6,G@@N%@B3#locBK@@@@@E=@@N'O,,N(O,,@@N'@@@N+N,H,LN,N,H,e@@N&@aQ@@M@@@?@?]@-tmc_candidateS0MMS0MM@3-tmc_candidateX@@@8$boolE@@@6@@F#3&inline O0inline_attribute@@@0@@@@ANN#$NO#$@@O@3*specialiseO4specialise_attribute@@@1@@A@ANY$$NZ$$?@@O@3%local"O/local_attribute@@@2@@B@ANd$@$BNe$@$Y@@O@3$poll-O%.poll_attribute@@@3@@C)@ANo$Z$\Np$Z$q@@O)@3,is_a_functor85@@@4@@D3@ANy$r$tNz$r$@@O3@3$stubB?@@@5@@E=@AN$$N$$@@O=@L3.may_fuse_arityLI@@@7@@GG@AN%%N%%@@OG@@AN$$N$$@@OK@\@@AI@@@?V@?@ภ$SomeS0MMS0MM@=ఐ$lfunS0MMS0MM@ܰ@@!@@@@)@@S1MMS1MM@@4@@@ภ$NoneT1MM@A]@@@7@@ABT/MkM@@@@@DT@?3TTTTTTTT@@@@A@@@2@ఠ/declare_bindingT3MMT3MM@T+A@@@@@@@T@?@@F+#Map#key@@@@T@?@Ns@@@?T@?@@?T@? T@?@@?T@?@@?T@?3T<T;T;T<T<T<T<T<@g@@@@@࣠@#ctxATO3MMTP3MM@TbA@@33TNTMTMTNTNTNTNTN@@TW3MMTX;NO.@@@@@  @@P@A@ఠ#varTh3MMTi3MM@T{A@@<3TgTfTfTgTgTgTgTg@&O@@@@@@ఠ#defTw3MMTx3MM@TA@@@@@T|3MMT}3MM@@@R@I@@?@@ @@ఐР.find_candidateT4MNT4MN@P@@@N@@@?CL@@@?@@@?@@?3TTTTTTTT@6?t@9@:1j@+@,@@@@ఐ8#defT4MNT4MN@ @@w@@"@@Cf@@@?@@@?@Ġ$NoneT5NNT5NN"@B@@@@Cz@@@?@@@?3TTTTTTTT@.@@@ @C@@@?@@@?@@@ఐ#ctxT5NN&T5NN)@q@@@Ġ$SomeT6N*N.T6N*N2@>ఠ$lfunT6N*N3T6N*N7@UA@@"@@@?Z@@@@@C)@@@?@@@?b@@C0@@@?@@@?i@@@@ఠ%arityU7N;NAU7N;NF@U&A@@H @@@?Y@?3UUUUUUUU@}/(@)@*@@@డS$List&lengthU,7N;NIU-7N;NM@ U07N;NNU17N;NT@@H@@@H@@@@?@P@@@?@@?Y@?@@@?H8@@@?@@?/@@ఐd$lfunUW7N;NUUX7N;NY@;@@@@@?@?C@¶msUc7N;NZUd7N;N`@'@@H:4@@@?Z@?Z@?R@@C @@VS@A@Up7N;N= @@@ఠ&dps_idU{8NdNjU|8NdNp@UA@@Gy@@@@ Y@?3UU~U~UUUUU@iwp@q@r@@@డRE,create_local%IdentU8NdNsU8NdNx@ U8NdNyU8NdN@@Gt@@@Gt@@@@G@@@@@@@ @@డT3!^U8NdNU8NdN@@&stringQ@@@T@@@@S @@@R@@Q@@P@@ ^2^2@^2^X@@@ q@@@@@@@@@@@@@@@@@@@@ @@@ S@@డR$name%IdentU8NdNU8NdN@ U8NdNU8NdN@@@G@@@G@@@@@@GkRRGkRg@@GI@@@@G@@@@ @@@@@@@@@ఐ#varV8NdNV8NdN@n@@@@,@@b@@@@@@)\@@&@@$_dpsV"8NdNV#8NdN@@V%8NdNV&8NdN@@n@@@@[@@+[@@*@@V/8NdNV08NdN@@H @@@@ @@,[@@@@ @@@A@V:8NdNf @@@ఠ+direct_kindVE9NNVF9NN@VXA@@@@@@0Y@@-3VIVHVHVIVIVIVIVI@@@@@@ఐg$lfunVZ9NNV[9NN@>@@@@@@1@@/@$kindVf9NNVg9NN@5@@@A@Vj9NN@@@ఠ$candVu:NNVv:NN@VA@@@@@@6Y@@23VzVyVyVzVzVzVzVz@2@9@:@;@@@ະ3 @@@?5@@@3@@A@A@3@@B@A@@A@%arityV:NNV:NNAఐ @@@@@@8Y@@9 @&dps_idV:NNV:NNAఐ3 @]@@@@@?Y@@@3@'+direct_kindV:NNV:NNAఐ| @?@@@@@FY@@GF@@@V:NNV:NN@@OI@A@V:NN@@ຐ3D@@@?6F@@@@A8@5+specializedV;NNV;NO@డS#Map#add%IdentV;NOV;NO @ V;NO V;NO@@V;NOV;NO@ @@@@@5@!a@5@!t @@@5@@@5@@5@@5@@5@HTaiHTa@@+Stdlib__MapF@* @@@@@@@_@@@@@QX@@X@@]@  @@@@^$@@@@\@@@[@@@Z@@@Y3W(W'W'W(W(W(W(W(@@@@@@@ఐҠ#varW:;NOW;;NO@@@ @@ఐҠ$candWG;NOWH;NO@@@.X@@@@ఐ #ctxWW;NOWX;NO @@@:-@+specializedW^;NO!W_;NO,@ @@ՠY@@@@@@:@@} @@cO@@@@x?@@@Wm;NN@@.A@@@/@@@0"@7@@1@@@2V@@@AWs4MM@@4@&A@YT@A7$@A@!@! @7Aఠ&choiceW=O0O8W=O0O>@WA@@@i@@@cT@AD@Q@@@`T@AB$tailE@@@_""|W@@@e@@@eT@eT@dGT@dHT@cT@_@@_T@AA@@A}@@A|3WWWWWWWW@r@@@@@࣠@#ctxAW=O0O?W=O0OB@WA@@;3WWWWWWWW@O@J@E@@@AC@@AEU@A8@O@P(traverse@ST@AI@OT@AGR@@@]T@AF@@AH@@AJU@A9@WW@@WA2traverse_lfunction@iT@aT@AN@"@@@`T@AL'@@@cKT@AK@@AM@@AOU@A:@X;?X;Q@@XA,traverse_let@T@`T@AW@@@@aT@AU@T@bT@bT@`T@AS@T@AP@A<@T@`(@RT@`)@@`'@@@`&T@AQ@@AR@@AT@@AV@@AXU@A;@X5X6@@XHA/traverse_letrec@OT@A^@NHS+rec_binding@@@agT@a@@@aT@A\@dT@AY@P@@@`Q@@@`PT@AZ@@A[@@A]@@A_U@A<@XbCGXcCV@@XuA4traverse_let_binding@|T@Ag@T@Ae@cT@Ac@ZT@AaRT@A`@@Ab@@Ad@@Af@@AhU@A=@XzIMX{Ia@@XA7traverse_letrec_binding@T@Al@@T@AjN4T@a@@@aT@Ai@@Ak@@AmU@A>@XgkXg@@XA0make_dps_variant@T@Au@T@As@T@Aq@X)lfunction@@@Ao ܠ@V@c!@@@@c4V@c"@@c#V@c@@@cT@An@@Ap@@Ar@@At@@AvU@A?@X^bX^r@@XA-traverse_list@CT@Az@ DV@f@@@f T@AxQp@@@]T@Aw@@Ay@@A{U@A@@XX@@XA@@@@"!@@!tAX=O0OCX=O0OD@XA@@_3XXXXXXXX@,8i@/@0@@@@@@Aఠ&choiceàX>OGOQX>OGOW@YA@@@T@`T@SUW@ArFv@@@WW@A@T@FW@AoSR@@@F~W@^@@@^W@A@@A@@A@@A3YYYYYYYY@2>@5@6@@@࣠@#ctxAY.>OGOXY/>OGO[@YA A@@.3Y-Y,Y,Y-Y-Y-Y-Y-@@@;6@1.@@A@@A@@AX@A@B@C,choice_apply@FT@A$tailDW@A@T,lambda_apply@@@W@W@A^W@_W@^vW@^uW@^W@^W@^W@^=@ՠAٰZt>OGO]Zu>OGOa@ZA@@m3ZsZrZrZsZsZsZsZs@GSw@J@K@@@@Z|>OGO\@@!tAZ>OGObZ>OGOc@ZA@@x3ZZZZZZZZ@@@@@@@@@ఐ!tZ?OfOpZ?OfOq@@@@@3ZZZZZZZZ@@@@Ġ$LvarZ@OwO~Z@OwO@Te@Z@OwOZ@OwO@@Td@@@B 3ZZZZZZZZ@$@@@@@ @@@@@Ġ'LmutvarZ@OwOZ@OwO@;'LmutvarTy@Tv!t@@@;@AA@V@AU&&4&6U&&4&J@@@VH @@Z@OwOZ@OwO@@@@@B "@@@@@#@@#@@.@@$@Ġ&LconstZ@OwOZ@OwO@M`@Z@OwOZ@OwO@@Mb@@@B6@@@ @@7@@7@@B@@8@Ġ)Lfunction[@OwO[@OwO@@[@OwO[@OwO@@2@@@BJ@@@ @@K@@K@@V@@L@Ġ%Lsend[@OwO[@OwO@;%LsendT@V)meth_kind@@@vUU@@@wUY@@@xSUa@@@z@@@yS@@@{@ES@V@AU=*A*CU=*A*@@@V@@[;@OwO[<@OwO@@$@@@B@@@Ux@@@B@@ @U}@@@B@@@%U@@@B@@@B@@@S@@@B@@@E@@G@@G@@@@H@Ġ'Lassign[bAOO[cAOO@;'LassignU@U!t@@@tU@@@u@BR@V@AV*<*!*#V+<*!*@@@@V@@[yAOO[zAOO@@@@@B#@@@U@@@B$@@@" @@r@@r@@ @@s@Ġ$Lfor[AOO[AOO@;$LforU<@U9!t@@@oU@@@pU@@@qP.direction_flag@@@rU@@@s@EQ@V@AVc;))Vd;)* @@@W@@[AOO[AOO@@"@@@B+@@@U@@@B,@@ @U@@@B-@@@"@@@B.@@@U@@@B/ @@@?@@ @@ @@@@ @Ġ&Lwhile[AOO[AOO@;&LwhileU@V@@@mV@@@n@BP@V@AV:))V:))@@@WT@@[AOO[AOO@@V!@@@B3.@@@V&@@@B43@@@ @@4@@4@@[@OwO}[AOO@@7@@@@ఠ!t\BOO\BOO@\7A@@T@`T@`vT@`RT@`_T@`%T@`4T@FxT@FT@ET@ET@CT@CT@CT@CT@C@T@CBT@BT@BT@B3\&\%\%\&\&\&\&\&@@@@ఐ\(traverse\5BOO\6BOO@`@@@^@]\@@B@@B@@ఐ#ctx\FBOO\GBOO@ΰ@@E@@ఐР!t\SBOO\TBOO@@@D+@@"@@w,@A@\XBOO@@డ'@&lambda&Choice\fCPP\gCPP@ \jCPP\kCPP@@@\z& @@@3̠\&@@@3@@@3@@3@&@&@@@@@@Bڠ@@@B@@@B@@B3\\\\\\\\@@@@@@@ఐ!t\CPP\CPP@ @@@@4@@[W@W|W@WvW@WkW@GW@GW@GKW@G=;@:@5@4/@@B@@B@@B@@B@@B3]]]]]]]]@pHA@B@C:3@4@5)"@#@$@@@@ఐ#ctx]IPP]IPP@@@@Yఐ$tail]'IPP](IPQ@@@!@@ఐk$prim]4IPQ]5IPQ@)@@nW@]W@B1@@ఐl(primargs]DIPQ]EIPQ@8@@W@C@@@ఐi#loc]SIPQ]TIPQ@F@@W@]W@]W@]W@CT@@b @@IU@Ġ&Lapply]hMQQ]iMQQ@;&LapplyW@@@@=@AC@V@AX)(&m&oX*(&m&@@@X @ఠ%applyР]|MQQ]}MQQ@]A@@,@@@B@3]~]}]}]~]~]~]~]~@@@@@@@@s@@s@@@ఐG,choice_apply]NQQ]NQQ@K@@@IHF@E>@@C@@C@@C3]]]]]]]]@!@@@@@@ఐy#ctx]NQQ]NQQ@,@@@\ఐ?$tail]NQQ]NQQ@'@@@@ఐB%apply]NQQ]NQQ@'@@W@WAW@W)W@W%W@W#W@WW@WW@WW@VW@VW@VW@VW@VW@V}W@VwW@VqW@VW@VW@VW@VW@VW@V W@U+W@TW@SW@RW@C]@@g6@@^@Ġ)Lsequence]RRR^RRR@2ఠ"l1Ѡ^RRR^ RRR@^A@@XB@@@BD3^ ^ ^ ^ ^ ^ ^ ^ @s@@@ఠ"l2Ҡ^RRR^RRR@^*A@@XQ@@@BE@@@ ^RRR@@@@@@@@ఠ"l1^*SRR^+SRR@^=8A@@%]@C3^*^)^)^*^*^*^*^*@.'@(@) @@@@@ఐd(traverse^=SRR^>SRR@h@@@f@ed@@C@@C@@ఐ##ctx^NSRR^OSRR@ְ@@M"@@ఐS"l1^[SRR^\SRR@+@@NT@B^@C2@@%@@3@A@^cSRR@@3$let+^kTRR^lTRR@@Ƞ@@@3@@@@3Р@@@3@@3@@3@@@ڠW@]W@]W@]W@[W@[W@ZW@ZW@ZVW@Z`W@ZW@ZW@YW@Z W@YcW@XW@XW@XnW@XW@WeW@GW@GW@GW@GW@GlW@GzW@GeW@GmW@G W@GW@G W@G W@DgW@DjW@DW@D)W@CW@CW@CA]@C!@@@C"]@C'@@UW@CCW@C#XW@C>\@C$@@C%9 ]@C@@@C]@C&@@C(@@C)]@Cఐ&choice^TRR^TRR@@@@]@@@C-@@C,@@C+3^^^^^^^^@@@@@@@ఐڠ#ctx_TRR_TRR@@@@qఐ$tail_TRR_TRR@@@ @@ఐ"l2_TRR_ TRR@@@]@C7,@@6@@-@_&URS@@"l2_.TRR_/TRR@_A9A@@Z:@@@ภ)Lsequence_8URS_9URS@3ܠఐ"l1_BURS_CURS@J@@3_@_?_?_@_@_@_@_@@N p@@@@@ఐ%"l2_PURS_QURS@ @@{@@.@@y@A/@@W@CD3_R_Q_Q_R_R_R_R_R@_@@@3@@D*@Ġ+Lifthenelse_cVSS _dVSS+@;+LifthenelseY@Y@@@hY@@@iY@@@j@CN@V@AZ,8)v)xZ-8)v)@@@Z@ఠ"l1Ӡ_VSS-_VSS/@_A@@Y@@@BJ3________@@@@ఠ"l2Ԡ_VSS1_VSS3@_A@@Y@@@BK@ఠ"l3ՠ_VSS5_VSS7@_A@@Y@@@BL@@@A_VSS8@@@@@@@@ఠ"l1_WS<SH_WS<SJ@_:A@@]@CE3________@=6@7@8/(@)@*"@@@@@ఐ렐(traverse_WS<SM_WS<SU@@@@@@@CH@@CG@@ఐ#ctx_WS<SV_WS<SY@]@@$@@ఐc"l1_WS<SZ_WS<S\@,@@^@CO3@@$@@4@A@_WS<SD@@$let+_XS`Sh_XS`Sl@@Q@@@CV]@C[@@W@CWW@C~\@CX@@CY` ]@CS@@@CR]@CZ@@C\@@C]]@CPఐ+choice_pair`XS`Sx`XS`S@@@@@@@Ca@@C`@@C_3````````@lvo@p@q@@@@ఐ#ctx`,XS`S`-XS`S@@@+@ఐǠ$tail`9XS`S`:XS`S@@@1@@@ఐ"l2`JXS`S`KXS`S@@@*W@Cn/@@ఐ"l3`WXS`S`XXS`S@@@3W@Co<@@`\XS`S`]XS`S@@AW@CpA@@K@@8B@q`bYSS@@W@ఠ"l2`oXS`Sn`pXS`Sp@`;A@@?T@@ఠ"l3`{XS`Sr`|XS`St@`@@@DZv!t@@@E[ @@@F[@@@G@DF@V@A[+&&[+&'@@@\P@ఠ"vk֠`ZSS`ZSS@`A@@\`@@@BR3````````@T@@@ఠ#varנ`ZSS`ZSS@a A@@-@@@BS@ఠ#defؠaZSSaZSS@aA@@[@@@@BT@ఠ$body٠aZSSaZSS@a'A@@[N@@@BU+@@@VaZSS@@ -@@ -@@@@ఠ#defa'\TT$a(\TT'@a:=A@@]@C3a'a&a&a'a'a'a'a'@LE@F@G>7@8@91*@+@,$@@@@@ఐ e(traversea>\TT*a?\TT2@ i@@@ g@ f e@@C@@C@@ఐ$#ctxaO\TT3aP\TT6@װ@@N&@@ఐV#defa\\TT7a]\TT:@+@@^@C5@@$@@ 6@A@ac\TT @@3$let+ak]T>TFal]T>TJ@@ ˠ]@C@@@C]@C@@W@CW@C\@C@@C ۠ ]@C@@@C]@C@@C@@C]@Cఐ&choicea]T>TRa]T>TX@Y@@@ @@@C@@C@@C3aaaaaaaa@oyr@s@t@@@@ఐ|#ctxa]T>TYa]T>T\@/@@@ ఐB$taila]T>T^a]T>Tb@*@@@@ఐ$bodya]T>Tca]T>Tg@@@f]@C,@@6@@-@]a^TkT@@$bodya]T>TKa]T>TO@a>A@@X:@@@ภ'Lmutleta^TkTsa^TkTz@ఐ"vka^TkT|a^TkT~@@@]^@@@C]@C]@C3aaaaaaaa@U'u@@@@@ఐ#vara^TkTa^TkT@ɰ@@1@@@C]@C]@C@ఐ䠐#defb ^TkTb ^TkT@q@@ @ఐI$bodyb^TkTb^TkT@(@@+@@@R@@,@AS@@W@C3bbbbbbbb@@@@W@@ @Ġ$Lletb)_TTb*_TT@Sˠఠ"lkڠb2_TTb3_TT@bEA@@S@@@B\3b4b3b3b4b4b4b4b4@@@@ఠ"vk۠bA_TTbB_TT@bTA@@]@@@B]@ఠ#varܠbO_TTbP_TT@bbA@@S@@@B^@ఠ#defݠb]_TTb^_TT@bp A@@\@@@B_+@ఠ$bodyޠbk_TTbl_TT@b~!A@@\@@@B`9@@@Jbs_TT@@ b;@@ b;@@@@@ఠ#ctxb`TTb`TT@b?A@@ ~T@C3bbbbbbbb@`Y@Z@[RK@L@ME>@?@@81@2@3+$@%@&@@@@ఠ(bindingsb`TTb`TT@b@A@@ T@`0T@DT@D%T@C@@% @@@%@@@C%@ఐ ,traverse_letb`TTb`TT@ @@@ @ @ @ @ @@C@@C@@C@@C=@@ఐ #ctxb`TTb`TT@W@@ J@@ఐ#varb`TTb`TT@N@@ T@CX@@ఐ#defb`TTb`TT@[@@ T@aT@Ch@@;@@@q@Z@@C^@Cq@A@b`TT@@$let+caTTcaTT@@ b]@C@@@C]@C@@W@C\@C@@C p]@C@@@C]@C@@C@@C]@Cఐ (&choicec&aTUc'aTU @ @@@ '  "@  @@C@@C@@C3c*c)c)c*c*c*c*c*@@@@@@@@@ఐ#ctxc>aTU c?aTU @@@@ ఐ٠$tailcKaTUcLaTU@@@ C@@ఐ$bodycXaTUcYaTU@Ȱ@@]@C.@@8@@ I/@]c_bUU=@@$bodycgaTTchaTU@czAA@@X<@@@ఐ"%lletsctbUU$cubUU)@@@@U@@@D@^@@@D@L@U@@@D@]@@@D@@D@@@D@]@@@D@@C@@C@@C@@C3cccccccc@j:@1@2@@@@ఐs"lkcbUU*cbUU,@@@UI@@@D ^@D"^@D!@@ఐx"vkcbUU-cbUU/@,@@_3@@@D^@D$^@D#+@@ఐ2(bindingscbUU0cbUU8@@@18@@ఐv$bodycbUU9|@A}@@D@@i~@@E@A@@@W@D*3cccccccc@@@@@@ Z@Ġ'LletrecccU>UDccU>UK@;'Lletrec]@  @@@I@@@H^/@@@J@BG@V@A^,''^,''?@@@_o@ఠ(bindingsߠdcU>UMd cU>UU@d"A@@  @@@Bf@@@Be3dd d ddddd@ w@@@ఠ$bodydcU>UWdcU>U[@d.#A@@^U@@@Bg@@@7d#cU>U\@@ @@ @@@@@ఠ#ctxd2dU`Uld3dU`Uo@dEBA@@ T@D,3d3d2d2d3d3d3d3d3@ 70@1@2%@@ @@@@ఠ(bindingsdEdU`UqdFdU`Uy@dXCA@@ T@`ST@DeT@DhT@D-@@ @@@@@@D0@ఐ $/traverse_letrecd`dU`U|dadU`U@ (@@@ &@ %@ @ @@D4@@D3@@D25@@ఐ L#ctxdwdU`UdxdU`U@ @@ vB@@ఐ|(bindingsddU`UddU`U@K@@ KT@aT@a\T@aT@D=V@@/ @@@_@N@@D?^@D<_@A@ddU`Uh@@h$let+deUUdeUU@5@ ]@DE@@@DF]@DK@@"W@DG#W@Dc\@DH@@DI  ]@DC@@@DB]@DJ@@DL@@DM]@D@ఐ Ƞ&choicedeUUdeUU@ @@@  4 @  @@DQ@@DP@@DO3dddddddd@@@@@@@@@ఐ#ctxdeUUdeUU@@@@ Jఐ y$taildeUUdeUU@ a@@ @@ఐݠ$bodydeUUdeUU@@@]@D[.@@8@@ /@_dfUU@@$bodyeeUUeeUU@eDA@@Z<@@@ภ'LletrecefUUefUU@%ఐ֠(bindingsefUUefUU@J@@3eeeeeeee@P p@@@@@ఐ%$bodye)fUUe*fUU@ @@{@@.@@{@A/@@W@Dk3e+e*e*e+e+e+e+e+@a@@@3@@ @Ġ'Lswitche<gUUe=gUU@;'Lswitch^@_w@@@O`-lambda_switch@@@P]@@@Q@CI@V@A`.'w'y`.'w'@@@`@ఠ"l1eZgUUe[gUU@em$A@@_@@@Bl3e\e[e[e\e\e\e\e\@ @@@ఠ"sweigUUejgUU@e|%A@@(@@@Bm@ఠ#locewgUVexgUV@e&A@@^@@@Bn@@@CegUV@@ n@@ n@@@@@ఠ*consts_lhseiV V,eiV V6@eEA@@TMZ@@@D]@Dv@@@D]@Dm3eeeeeeee@ LE@F@G>7@8@91*@+@,@@@@ఠ*consts_rhseiV V8eiV VB@eFA@@UM_@@@D]@Dx@@@D]@Dn@@/@@@/@@@Dq%@డdP$List%spliteiV VEeiV VI@ eiV VJeiV VO@@TK@@@TK@J@-@@Dz@@@Dy@TT@@@Du@U;@@@Dw@@Dt@@DsT@@ఐ"sweiV VPeiV VR@]@@@@@D@Dh@)sw_constsf iV VSf iV V\@3)sw_consts@@@^@@@@@`T@@@@@@@@@@A3,sw_numconsts[O@@@@@@@A`Z--`Z--@@a.@!3,sw_numblocks![Y@@@@@B@A`\.J.N`\.J.`@@a0@3)sw_blocks+^Р@[k@@@@`}@@@@@@@@@@C)@Aa]..a]..@@a1@3-sw_failactionC `@@@@@@@@D7@Aa^..a^..@@a2@@Aa[..a[..1@@a/@dW@@Tנ@֠@@@D@@@D^@D^@D@@f@@@堠@@@D^@D@A@fziV V(p@@@@ఠ*blocks_lhsfjV`VlfjV`Vv@fGA@@UHS@@@D]@D@@@D]@D3ffffffff@ @ @ @@@@@@ఠ*blocks_rhsfjV`VxfjV`V@fHA@@VE`@@@D]@D@@@D]@D@@,@@@,@@@D#@డeH$List%splitfjV`VfjV`V@ fjV`VfjV`V@@UC@@@UC@G@-@@D@@@D@UQ@@@D@V;@@@D@@D@@DR@@ఐ"swfjV`VfjV`V@U@@@@@D@Df@)sw_blocksgjV`VgjV`V@Ͱ@@Uz@~@d@@D@@@D^@D^@D{@@L@@@@s@@D^@D@A@gjV`Vh@@@ఠ"l1g(lVVg)lVV@g;IA@@ ]@D3g(g'g'g(g(g(g(g(@@@@@@@@ఐb(traverseg;lVVg<lVV@f@@@d@cb@@D@@D@@ఐ!#ctxgLlVVgMlVV@ ԰@@K"@@ఐ"l1gYlVVgZlVV@@@^@D1@@$@@2@A@g`lVV@@0$let+ghmVVgimVV@@Ƞ@@ W@FlW@EoW@Dʠ@W@D@@D̠@ .W@FW@EW@D@@D]@D@@@D]@D@@ W@E\@D@@D ]@D@@@D]@D@@D@@D]@Dఐ  +choice_listgmVVgmVW@ ư@@@   @  @@D@@D@@D3gggggggg@@@@@@@ఐ#ctxgmVWgmVW@ C@@@ אఐ V$tailgmVWgmVW @ >@@@@ఐ(*consts_rhsgmVW gmVW@;@@ W@^:W@D-@@7@@ .@ugtXrX@$and+gnWWgnWW#@@A'@@@3@G'@@@3K@'@'@@3@@@3@@3@@3@'@'@[W@DW@D@@@D]@D@f @@@D]@Dl@@@@D@@@D]@D@@D@@D]@DఐD+choice_listh'nWW1h(nWW<@H@@@FEC@B:@@E@@E@@E@@ఐ#ctxh:nWW=h;nWW@@ °@@9@Vఐ ՠ$tailhGnWWBhHnWWF@ @@?@@ఐ*blocks_rhshTnWWGhUnWWQ@%@@W@E @@3@@d@h[mVV@*$and+hboWRWZhcoWRW^@~@ @@@@E'\@E\@D@@@D]@D@ԠW@D@@@D]@D۠@@ @@D@@@D]@D@@D@@D]@DఐT-choice_optionhoWRWohoWRW|@X@@@VUS@RG@@E@@E@@E@@ఐ~#ctxhoWRW}hoWRW@1@@@fఐD$tailhoWRWhoWRW@,@@ @@ఐ\"swhoWRWhoWRW@$@@@@@E#@E @-sw_failactionhoWRWhoWRW@@@W@_W@E!)@@B@@*@~@@&@@ఠ*consts_rhshmVV@hJA@@uW@EtW@ESW@EX@E1E@@ఠ*blocks_rhs hnWW$hnWW.@iKA@@@E2R@@A@@@@@E5Y@@ఠ-sw_failaction ioWRW_ioWRWl@i"LA@@@E-f@@A@@@1@ @@E8@@@E7s@@@@ఠ)sw_consts i+qWWi,qWW@i>MA@@_5@@@@EV^@EC@EW@FW@EW@E`W@ED@@ER@@@EQ^@E=3iCiBiBiCiCiCiCiC@ga@b@cVO@P@QC<@=@>@@@డg$List'combinei\qWWi]qWW@ i`qWWiaqWW@@@_j!a@@@@@@t!b@@@@?H@@@@>@@@=@@<@@;@_M>}>}_N>}>@@_LA@,'@@@$T@@@EF@S@@@EEc@b@]@@EB@@@EA@@E@@@E?V@@ఐ*consts_lhsiqWWiqWW@@@Iy@@@ET_@EW_@EUk@@ఐԠ*consts_rhsiqWWiqWW@s@@x@@e@@y@A@iqWW@@@ఠ)sw_blocks irWWirWX@iNA@@@@@@Er^@E_@@@En@@@Em^@EY3iiiiiiii@@@@@@డhr$List'combineirWXirWX @ irWX irWX@@@@@%@@@Eb@@@@Eaՠ@3@@@E^@@@E]@@E\@@E[.@@ఐ*blocks_lhsjrWXjrWX@@@J@@@Ep_@Es_@EqC@@ఐ4*blocks_rhsj/rWXj0rWX)@@@3P@@A@@`Q@A@j4rWW@@@ఠ"sw j?sX-X9j@sX-X;@jROA@@@@@E^@Eu3jCjBjBjCjCjCjCjC@gz@{@|@@@Р,-@@@E^@E@J)sw_constsj[sX-XHj\sX-XQAఐ9 @@T@@@@E@1W@EW@E@@E@@@E^@E-@IJ@@@E^@E@F)sw_blocksjsX-XSjsX-X\Aఐ @@@S@R@@@E@T@@E@@@E^@EQ@K-sw_failactionjsX-X^jsX-XkAఐ @Y@_@@ఐF"swjsX-X@jsX-XB@@@q@@@E^@E^@Eq@jsX-X>jsX-Xn@@yt@A@jsX-X5@@ภ'LswitchjtXrXzjtXrX@ఐ"l1jtXrXjtXrX@ @@3jjjjjjjj@@@@@@ఐ"swjtXrXjtXrX@ @@@@@E]@E]@E@ఐw#locjtXrXjtXrX@L@@c@@@E]@E]@E'@@5@@e/@@@E+@@ @@@!@@@="@@n@A#@@`W@E3jjjjjjjj@T@@@'@@@(@@m@)@@h@Ġ-LstringswitchkuXXkuXX@;-Lstringswitchd@eK@@@Rc@&stringQ@@@U@e_@@@V@@T@@@SϠeg@@@X@@@Wc@@@Y@DJ@V@Ae1( (e2("(i@@@f@ఠ"l1kEuXXkFuXX@kX'A@@e@@@Bx3kGkFkFkGkGkGkGkG@@@@ఠ%caseskTuXXkUuXX@kg(A@@?@>@@@B{@e@@@B|@@Bz@@@By@ఠ$failkouXXkpuXX@k)A@@e@@@B~@@@B}.@ఠ#lockuXXkuXX@k*A@@d@@@B<@@@ykuXX@@x>@@x>@@@@@ఠ)cases_lhskwXXkwXX@kPA@@ZW@@@E]@E@@@E]@E3kkkkkkkk@kd@e@f]V@W@XC<@=@>2+@,@-@@@@ఠ)cases_rhskwXXkwXX@kQA@@[Xe@@@E]@E@@@E]@E @@0@@@0@@@E'@డj[$List%splitkwXXkwXX@ kwXXkwXY@@ZV@@@ZV@K@-@@E@@@E@ZU@@@Eᠠ@[;@@@E@@E@@EV@@ఐ%caseslwXYlwXY @\@@Z@t@V@@E@@@E^@E^@Eq@@>@@@@e@@E^@Ez@A@l"wXX@@@ఠ"l1l-yY%Y1l.yY%Y3@l@RA@@]@E3l-l,l,l-l-l-l-l-@@@{@|@}@@@ఐg(traversel@yY%Y6lAyY%Y>@k@@@i@hg@@E@@E@@ఐ&#ctxlQyY%Y?lRyY%YB@ٰ@@P"@@ఐ"l1l^yY%YCl_yY%YE@@@^@F1@@$@@2@A@leyY%Y-@@5$let+lmzYIYQlnzYIYU@@͠@\@F @$\@F@@F]@F @@@F ]@F@@  W@Fv\@F@@F ]@F @@@F]@F@@F@@F]@Fఐ+choice_listlzYIYblzYIYm@@@@@@@F&@@F%@@F$3llllllll@s}v@w@x@@@@ఐ#ctxlzYIYnlzYIYq@9@@@͐ఐL$taillzYIYslzYIYw@4@@@@ఐ)cases_rhslzYIYxlzYIY@@@W@F0,@@6@@-@el~ZZ0@$and+l{YYl{YY@@9@@@F]@F@A@@@F]@FG@@@@F@@@F]@F @@F!@@F"]@Fఐ-choice_optionm{YYm{YY@İ@@@@@@F6@@F5@@F4g@@ఐꠐ#ctxm{YYm{YY@@@t@Ґఐ$tailm"{YYm#{YY@@@@@ఐ$failm/{YYm0{YY@@@`W@F@@@3@@@m6zYIYV@@++@ఠ)cases_rhs mCzYIY_@mUSA@@@FH@@ఠ$failmO{YYmP{YY@mbTA@@@FI@@A@@@@@FM@@@@ఠ%casesme}YYmf}YY@mxUA@@:@S@@@Fj^@FW@x@@Ff@@@Fe^@FQ3mumtmtmumumumumu@>8@9@:3,@-@.@@@డl $List'combinem}YYm}YY@ m}YYm}YY@@0@@@0'@@@FZ@@@@FYo@5@@@FV@@@FU@@FT@@FS0@@ఐ)cases_lhsm}YYm}YY@@@UL@@@Fh_@Fk_@FiE@@ఐ)cases_rhsm}YYm}YZ@N@@R@@A@@bS@A@m}YY@@ภ-Lstringswitchm~ZZ m~ZZ@Šఐ"l1m~ZZm~ZZ@;@@3mmmmmmmm@i|@}@~@@@ఐ%casesm~ZZm~ZZ$@ @@۠@@@@F{@@@Fz@@@Fy]@F]@F@ఐ$failn ~ZZ&n ~ZZ*@@@*@ఐ#locn~ZZ,n~ZZ/@g@@f@@@F]@F]@F<@@JM@@hU@@@Fw@@UQ@@@AR@@W@F3n!n n n!n!n!n!n!@@@@V@@@W@@@Ġ,Lstaticraisen3Z1Z7n4Z1ZC@;,Lstaticraiseg@cb@@@ZfԠhw@@@\@@@[@BK@V@Ah3(j(lh3(j(@@@i@ఠ"idnQZ1ZEnRZ1ZG@nd+A@@@@@B3nSnRnRnSnSnSnSnS@@@@ఠ"lsn`Z1ZInaZ1ZK@ns,A@@'h@@@B@@@B@@@9nlZ1ZL@@[@@[@@@@ఠ"lsnwZPZ\nxZPZ^@nVA@@T@]T@FT@FT@F3n}n|n|n}n}n}n}n}@81@2@3*#@$@%@@@ఐǠ-traverse_listnZPZanZPZn@˰@@@@@@F@@F@@ఐv#ctxnZPZonZPZr@)@@"@@ఐN"lsnZPZsnZPZu@*@@/@@"@@0@A@nZPZX@@డ9&lambda&ChoicenZyZnZyZ@ nZyZnZyZ@@[@@@[@@@F&Z@@@F@@@F@@F3nnnnnnnn@Td]@^@_@@@@ภ,LstaticraisenZyZnZyZ@ఐ"idnZyZnZyZ@h@@@@@F]@F]@F @ఐ"lsnZyZnZyZ@(@@+@@oZyZoZyZ@@@@@F]@F3@@H@@iW@F6@Y @@@Ġ(LtrywithoZZoZZ@;(Ltrywithh@iQ@@@eh!t@@@fi\@@@g@CM@V@Ai5((i5()@@@j@ఠ"l1o5ZZo6ZZ@oH-A@@io@@@B3o7o6o6o7o7o7o7o7@@@@ఠ"idoDZZoEZZ@oW.A@@)@@@B@ఠ"l2oRZZoSZZ@oe/A@@i@@@B@@@DoZZZ@@I@@I@@@*$let+ob[k[soc[k[w@@ @\@F@\@F@@F]@F@@@F]@F@@ W@G\@F@@Fڠ ]@F@@@F]@F@@F@@F]@Fఐ&choiceo[k[}o[k[@X@@@@@@F@@F@@F3oooooooo@le@f@g^W@X@YQJ@K@L@@@@ఐ#ctxo[k[o[k[@2@@@ภ^o[k[o[k[@^@@@W@VkW@VlW@SpW@F]@F(@@ఐ"l1o[k[o[k[@0@@p]@F7@@A@@8@po[[@$and+o[[o[[@@9SW@F@@@F]@F@CUW@F@@@F]@FJ@@ @@F@@@F]@F@@F@@F]@Fఐ&choicep[[p[[@Ͱ@@@s@@@F@@F@@Fu@@ఐ#ctxp[[p[[@@@@ఐ$tailp%[[p&[[@@@@@ఐࠐ"l2p2[[p3[[@@@]@F@@3@@#@p9[k[x@@..@ఠ"l1 pF[k[z@pXWA@@@F@@ఠ"l2pR[[pS[[@peXA@@@F@@A@@@@@F@@@ภ(Ltrywithpd[[pe[[@Nఐ("l1pn[[po[[@(@)@*@@)3pmplplpmpmpmpmpm@3' @!@"@@@ఐ:"idp~[[p[[@@@f@@@G ]@G]@G @ఐ>"l2p[[p[[@@@=!@@0@@"@A3@@3pppppppp@@@@Ġ,Lstaticcatchp[[p[[@;,LstaticcatchjO@j@@@]@e@@@_@iJ@jb!t@@@b@l6@@@c@@a@@@`@@^j@@@d@CL@V@Ak4((k4((@@@l>@ఠ"l1p[[p[[@p0A@@k@@@B3pppppppp@B@@@ఠ#idsp[[p[[@p1A@@@A@@@B@@@?@@@B@lr@@@B@@B@@@B@@B%@ఠ"l2q [[q [[@q2A@@kD@@@B3@@@rq[[@@5@@5@@@ $let+q\j\rq\j\v@@z@\@G@\@G@@G]@G@@@G]@G@@ W@Gc\@G@@G ]@G@@@G]@G@@G@@G ]@GఐJ&choiceqH\j\|qI\j\@@@@ID@?<@@G1@@G0@@G/3qLqKqKqLqLqLqLqL@{@|@}tm@n@oQJ@K@L@@@@ఐ7#ctxqb\j\qc\j\@@@a@ΐఐ$tailqo\j\qp\j\@@@g!@@ఐ"l1q|\j\q}\j\@)@@!]@G;0@@:@@m1@iq\\@!R$and+q\\q\\@ @W@G%@@@G(]@G*@W@G&@@@G']@G)@@ @@G$@@@G#]@G+@@G,@@G-]@G!ఐ&choiceq\\q\\@~@@@$@@@G@@@G?@@G>n@@ఐ#ctxq\\q\\@Q@@{@5ఐd$tailq\\q\\@L@@@@ఐ٠"l2q\\q\\@@@]@GJ@@3@@@q\j\w@@/@ఠ"l1 q\j\y@r YA@@_@GQ@@ఠ"l2r\\r\\@rZA@@h@GR@@A@@@@@GV@@@ภ,Lstaticcatchr\\r\\@uఐ("l1r\\r \\@(@)@*@@)3rrrrrrrr@3' @!@"@@@ఐI#idsr/\\r0\\@۰@@@@@@Gg@@@@@Gj@m@@@Gk@@Gi@@@Gh@@Gf]@Gt]@Gn,@ఐT"l2rW\\rX\\@3@@S7@@F@@'8@AB@@G3rWrVrVrWrWrWrWrW@ @@@Ġ&Leventrg\\rh\\@;&Leventl@l@@@|m,lambda_event@@@}@BT@V@Am.>**m/>**@@@m@ఠ#lamr\\r\\@r3A@@l@@@B3rrrrrrrr@@@@ఠ#levr\\r\\@r4A@@$@@@B@@@1r\\@@@@@@@"h$let+r\\r\]@5@]@G@@@G]@G@@W@GW@G\@G@@G ]@G@@@G~]@G@@G@@G]@G|ఐȠ&choicer\] r\]@@@@4@@@G@@G@@G3rrrrrrrr@5UN@O@PG@@A@B@@@@ఐ#ctxr\]r\]@f@@@Jఐy$tailr\]r\]@a@@@@ఐw#lamr\]r\]@(@@]@G.@@8@@/@_r]"];@@#lams\]s\]@s[A@@Z<@@@ภ&Levents]"]*s]"]0@ఐ#lams]"]2s]"]5@m@@@@n3ssssssss@Q!@@@ఐ#levs)]"]7s*]"]:@X@@@@@G]@G]@G@@#5@@@A6@@ 3s0s/s/s0s0s0s0s0@f@@@Ġ'Lifuseds@]<]BsA]<]I@;'Lifusedl@l!t@@@~m@@@@BU@V@An?**n ?**@@@n@ఠ!xs[]<]Ks\]<]L@sn5A@@@@@B@ఠ#lamsi]<]Nsj]<]Q@s|6A@@m@@@B@@@1sq]<]R@@`@@`@@@#A$let+sy]V]^sz]V]b@@٠]@G@@@G]@G@@W@GW@G\@G@@G ]@G@@@G]@G@@G@@G]@Gఐ&choices]V]is]V]o@g@@@ @@@G@@G@@G3ssssssss@TM@N@OG@@A@B@@@@ఐ#ctxs]V]ps]V]s@?@@@#ఐR$tails]V]us]V]y@:@@@@ఐh#lams]V]zs]V]}@'@@v]@G.@@8@@/@_s]]@@#lams]V]cs]V]f@s\A@@Z<@@@ภ'Lifuseds]]s]]@ఐ!xs]]s]]@K@@@@@G]@G]@G3ssssssss@W'w@@@@@ఐ,#lamt ]]t ]]@ @@@@#5@@@A6@@3t ttt t t t t @f@@@@@At?OfOj9@@@:A@@ @@@R@@R@@RW@R@@@t>OGOID@ݠݰ@@@@@@A@@A@@A3t#t"t"t#t#t#t#t#@@@@࣠@#ctxAt4]]t5]]@tG`A@@3t3t2t2t3t3t3t3t3@@@@@@AtB]]tC]]@tUaA@@3tAt@t@tAtAtAtAtA@@@@@@@tJ]]@@%applyAtT]]tU]]@tgbA@@3tStRtRtStStStStS@ @@@@@@@@ &No_tmc[td]]te]]@#s|@@@A@@tzcA@@@@@ఠ9explicit_tailcall_requestȠtx]]ty]^@tdA@@c@@@R\@R3t|t{t{t|t|t|t|t|@+73@.@/%@@@ఐ?%applyt^ ^t^ ^@@@A@+ap_tailcallt^ ^t^ ^)@3+ap_tailcallG@@@p2tailcall_attribute@@@@@C3'ap_func n@@@@@@@AoaR,,obR,,@@p(@3'ap_argsmFn@@@@@@@@A@AooS,,opS,,@@p))@3&ap_loc"mI@@@@@B@AoxT,,oyT,-@@p2*@+3*ap_inlined+!5@@@@@D&@AoV-5-9oV-5-W@@p;,@3.ap_specialised4!3@@@@@E/@AoW--oW--@@pD-@@AoU--oU--4@@pH+@KC@@=@@@R]@Ġ0Default_tailcallt^/^9t^/^I@;0Default_tailcallN@@@@@@@AA@Aoo@@@pb@@@  @@W@@@Rw@@Z@@@Rz@@@ภcٰu^/^Mu^/^R@c@@@@Ġ4Tailcall_expectationu ^S^]u^S^q@;4Tailcall_expectation%@!@@@@A@AA@Aoo=@@@p@Ġdu!^S^ru"^S^v@d @@@@@@@R@@@@@@@@R@@@@@R@@@ภd u3^S^zu4^S^~@d@@@@Ġ4Tailcall_expectationu@^^uA^^@3Ġd!uH^^uI^^@d!@@@@9@@@R@@@@@@@@R@@@@@R@@@డs%raiseu^^^u_^^@@#exnG@@@!a@@@&%raiseAA_@@@_^BB_^Bg@@_@@@@@@@@S_@S@@S@@ภ&No_tmcu^^u^^@;(t@@@R@@@.A@A&@@%@ @@.@@@S_@S @@7@@@@@Au^ ^@@@A@u]]@@ఐS%applyu^^u^^@"@@U3uuuuuuuu@'5.@/@0@@@'ap_funcu^^u^^@  @@o@@@S @Ġ$Lvaru^^u^^@omఠ!fɠu^^u^^@ueA@@or@@@S$3uuuuuuuu@'@@@@@@@p@@@S%@@p @@@S&@@@@ఠ+specializedˠu^^u^_@ugA@@%R@@@ST^@S-3uuuuuuuu@C(!@"@#@@@డr#Map$find%Identu_ _v_ _@ v_ _ v_ _#@@v_ _$v _ _(@ @@!@@@5@!a@5@@@5@@5@@5@ @ U@@@@!@@@S3@C^@S1@@@S2@@S0@@S/A@@ఐm!fv4_ _)v5_ _*@K@@"@@@SC_@SBS@@ఐ#ctxvH_ _+vI_ _.@@@b@+specializedvO_ _/vP_ _:@ @@%Ơo@@@SSm@@X@@0n@Ġ)Not_foundv__;_Lv`_;_U@;)Not_found@@@@@@` A@A&_none_@@A@@`I@@@@@u@@@Sm@@@ ఐ>$tailv~_Y_jv_Y_n@&@@2@డs-prerr_warning(Locationv_t_v_t_@ v_t_v_t_@@@(Location!t@@@ 9@(Warnings!t@@@ 8$unitF@@@ 7@@ 6@@ 5@4parsing/location.mli4++4++?@@N@(#@@@ @@@Sv@@@@Su@@@St@@Ss@@Sr@@డsj/Scoped_location+to_location)Debuginfov__v__@ v__v__@@v__v__@ @@)Debuginfo/Scoped_location!t@@@ [(Location!t@@@ Z@@ Y@4lambda/debuginfo.mlibb@@S@'@@@@@@T@@@T@@T@@ఐ%applyw__w__@@@,@&ap_locw__w__@` @@o@@@T6@@w __w!__@@@@@S@Tc@T@@@ภ(Warningsw4__w5__@3Tmc_breaks_tailcallw9__w:_`@@;3Tmc_breaks_tailcall(Warnings!t@@@Tu@@@W[n@A2utils/warnings.mliySUySj@@@ V@@@@@@@Sb@Ti@@@@w@@@Ta@Tb@Sr@@w\_Y_g#@@ t@డu%raisewf`` wg``%@@@@@@@Ta@T@@T@@ภ&No_tmcwy``&wz``,@@@@@@@Ta@T@@@@@'w``-@@@@@w_ _@@_@A@w^^@@@ఠ$argsw`;`Iw`;`M@whA@@p/q@@@U\@@@U[^@T3wwwwwwww@@@@@@@@ఠ$kindwaawaa@wiA@@&@@@T_@T@@ఠ%aritywaawaa@wjA@@&@@@T_@T+@@ @@@@ @@T2@@ఐ+specializedwaawaa@?@@!i@@@T@TG@+direct_kindwaawab@!a@@7N@@ఐ+specializedwabwab@Y@@!@@@T@Ta@%arityxabxab@!@@@h@@*@@@V@G@@Uo@A@xaa @@డx6find_exact_application&Lambdax bb.x!bb4@ x$bb5x%bbK@@@$@@@ %aritym[@@@ @pΠrq@@@ @@@ r|@@@ @@@ @@@ @@ @@ @@ @sB0B0sBMB@@se@0+@@@%@@@U (&@@@U @%r@@@U @@@U $Πr@@@U@@@U@@@U@@U@@U@@U3xixhxhxixixixixi@@@@@@@@@ఐ̠$kindx}bbLx~bbP@@@%O@@@U#`@U%`@U$@ZఐϠ%arityxbbRxbbW@!@@g@@@U"`@U'`@U&-@@ఐV%applyxbbXxbb]@%@@X<@'ap_argsxbb^xbbe@ @@~r@@@U!@@@U `@U,`@U)N@@@@~(r@@@U@@@U@@@UZ@Ġ$Nonexbkbyxbkb}@f-@@@@@s@@@U8@@@U7@@@U63xxxxxxxx@r@@@ @Ls@@@U;@@@U:@@@U9 @@@డwx%raisexbkbxbkb@@@@@@@UQia@UP@@UO@@ภ&No_tmcybkby bkb@@@@@@@UVa@UZ0@@@@{1@Ġ$Someybbybb@cఠ$argsy$bby%bb@y7kA@@sa@@@UE@@@UD@@@ @@sl@@@UH@@@UG@@@UF@ @sw@@@UK@@@UJ@@@UI@@@ఐ)$argsyMbbyNbb@(@)@*@@3yLyKyKyLyLyLyLyL@3@@@@@AyTbb(@@u@F@@@A@yW`;`E @@@ఠ(tailcallybbbycbb@yulA@@@f@@@Un^@Ui@@@Uq^@Uj@@Uk^@Uh3yoynynyoyoyoyoyo@@@@@@࣠@$tailAybbybb@ymA@@3yyyyyyyy@)ybbycc@@@@@  @@ఐ$tailyccycc@0@@@@13yyyyyyyy@"@@@ภ4Tailcall_expectationyccycc@ภhyccycc@h@@@@@@Us_@Uw@@@@@@@Ur@ภ0Default_tailcallycc4@@5@@_@Uz'@ycc9@@)@C:A@_^@U|A@A@>@Р3DL"$D@@@3DODNDM@@@3@@@ 3DF @DE@@@3DD@@3@@A@ADB@D?3D<D;D:@@@3@@@3@@B@AD9@D63D3D2@@@3@@C@AD1@D.3D+D*@@@3@@D@AD)@D&@ADb@D_&Choiceyddydd@#dpsyddydd@@డ[$make#Dpszddz dd!@ z dd"z dd&@@@?dzG@@@*V@@@*UCDz'G@@@*T@@@*S@@*R@G@G@@@?w@@@U@@@UCV@@@U@@@U@@U3z.z-z-z.z.z.z.z.@@@@@@@࣠$tailAzEdd-zFdd1@zXnA@@H`@@@U3zGzFzFzGzGzGzGzG@@@@@zNdd, @#dstAzYdd3zZdd6@zloA@@HlHk@@@U@@@U3z_z^z^z_z_z_z_z_@2'H~@@@U@"@#@@@@zkdd2@@ภ&Lapplyzsd:dHztd:dN@ ֡'ap_funczd\dszd\dz@ภ$Lvarzd\d}zd\d@t6ఐ+specializedzd\dzd\d@@@$@@@U@U3zzzzzzzz@8JHH@@@U@@@U@I@J@@@&dps_idzd\dzd\d@$ @@tW@@@U`@U`@U@@- @@t@@@U`@U@ 'ap_argszddzdd@ఐu,add_dst_argszddzdd@sҰ@@@uu@@@U@@@U@z?u@@@U@@@UvG@@@U@@U@@UH@@ఐ#dstzddzdd@R@@u>u=@@@U@@@Ua@Ua@U`@@ఐs$args{dd{dd@@@zsuI@@@U`@Ua@U@@@Ua@Ua@U|@@N@@k @@@Ua@U@ds@@@V`@V@+ap_tailcall{+dd{,dd@ఐԠ(tailcall{6dd{7dd@@@@h@@@U@@@U@@U@@ఐ$tail{Kdd{Lde@@@h@@@Va@Va@V@@  @@@@@Ua@V@'@@@V`@V@'@@@V`@V@@ఐ %apply{qd:dQ{rd:dV@@@""@{ud:dO{vee@@"%@@@U`@V"@@ @@u@@@U@{dd'{ee@@@נu@@@U^@V4@@@V3^@V-B@@ @@W@U~@@@U^@UK@¡&direct{ee'{ee-@࣠@wAĠX~{ee5{ee7@X}@@@@F@@@VS}@@@@ภ&Lapply{e;eI{e;eO@Pu@@@Vr_@Vp@v@@@Vy@@@Vx_@Vu@t`@@@V~_@V|@?+ap_tailcall{e;e]{e;eh@ఐ(tailcall{e;ek{e;es@@@@iV@@@VdR@@@Vc@@Vb@@ఐ$tail{e;et{e;ex@@@"@@@@e@@@V``@Vj@C(y@@@V_@V@A(u@@@V_@V@@ఐˠ%apply|e;eR|e;eW@@@"@| e;eP|!e;ez@@"@@@VY_@V@@p@@v^@@@VX@|,ee0|-e;e{@@@F@@@VLW@VE@@VK]@V@\)tmc_calls|=ee|>ee@ภte|Dee|Eff#Aw%ຠ3zz@@@ iz@@@3zz@@A@Az@z@Az@z#loc|Wee|Xee@ఐ%apply|bee|cee@@@#2@&ap_loc|iee|jee@ @@z@@@V]@V>@!(explicit|wee|xee@ఐ9explicit_tailcall_request|ee|ef@ٰ@@z@@@V]@VU@@@E|ff"@@F@@@V]@V]@V^@ภtQRAtP@SA@|@@@V]@Vk@@|ee[@@G@@@V]@Vs@á1benefits_from_dps|f%f1|f%fB@ภk|f%fE|f%fI@k@@@G@@@V]@V@ԡ9explicit_tailcall_request|e}e|e}eAఐR @ @G @@@V]@V@@@|cd|fKfV@@#x@H@@#y^@|@@#z3@M@@#{@ఠ(_nontailʠ|fWf_|fWfg@|fA@@w@@@S(>@@w@@@S)A@@@డ{t%raise|fWfk|fWfp@@@@@@@V M^@V@@V3||||||||@U#@@@@@@ภ&No_tmc}fWfq}fWfw@@@@@@@V^@V@@@@#@@@A}^^ @@#3} } } } } } } } @k@@@| @@#@Ġ&No_tmc}fxf}fxf@@@@@|6@@@V@@@@ఠ0apply_no_bailout},ff}-ff@}?pA@@#@@@W+^@V3}0}/}/}0}0}0}0}0@@@@@ఠ+ap_tailcall}@gg}Agg@}SqA@@@@@W_@V@ఐ %apply}Tgg}Ugg@Ұ@@$3}R}Q}Q}R}R}R}R}R@@@@+ap_tailcall}\gg}]gg@Ű @@@@@V @Ġ4Tailcall_expectation}lgg}mgg@_ĠlM}tgg}ugh@lM@@@@e@@@VE@@@@@@@@VI@@@@@VL@@ఐ I$tail}gh}gh @ 1@@$=W@ภ0Default_tailcall}gh}gh @@@@Q`@ఠ%other}h!h-}h!h2@}rA@@ @@@VO@@ @@@WR@@@ఐ%other}h!h6}h!h;@@@@@p3}}}}}}}}@ 4@@@@@A}gg@@t@A@}gg @@ w@@@W^@W@  x@@@W@@@W^@W@ v_@@@W ^@W@ >+ap_tailcall}hGh\}hGhgAఐ @@@@ I@@@W^@W3}}}}}}}}@ j@@@ )*_@@@W&^@W$@ '*[@@@W*^@W(@@ఐ %apply~hGhQ~hGhV@ @@$@~hGhO~hGhi@@@P@@@A@~ ff@@РDBj]@Wj@@@Wi]@Wf@C&direct~hh~hh@࣠@zAĠZ~+hh~,hh@Z@@@@H@@@WT3~,~+~+~,~,~,~,~,@  @@@@@@  @@ภ&Lapply~<hh~=hh@ Ԡఐ0apply_no_bailout~Fhh~Ghh@@@$@@@WZ_@W\_@W[@@ @@x@@@WY#@~Uhh~Vhh@@@H@@@WMW@WX^@WE@@WL]@W_1@HĠH@@@Wu@@@Wt]@Wp@H@@@W{]@Wx@H@@@W]@W~@@డIc&lambda&Choice~hmhv~hmh|@ ~hmh}~hmh@@"#@@@"#@@@W1&""@@@W0@@@W/@@W.l@@ภ&Lapply~hmh~hmh@!>ఐ _%apply~hmh~hmh@ .@@%a@@~hmh~hmh@@"H@@@W:_@W?@@~hmhu~hmh@@' ]@W@@@W]@Wy]@Wd@~hmhs~hh@@%r@@@%s@@@~]]@@%u@~]]@@%w3~~~~~~~~@ N@@@ A@@%%%@%%@@W@@W@@WW@W @@@~]]@%h%h%)%(@%'%*@@%e%c%a@%_@%D@%=%8@@A@@A@@A@@A@@A3~~~~~~~~@%@@@࣠@#ctxA~hh~hh@ sA@@%}3~~~~~~~~@%@@@@@%}zA@hhhh@@%3@%%@@@@@@ hh@@zA@ఠ#taghhhh@,tA@@%@@ఠ$flag%hi&hi@8uA@@%#@@ఠ%shape1hi2hi @DvA@@%/@@6hh7hi @@@%@%@%@@W:@@  @@)blockargsAJhiKhi@]wA@@%3IHHIIIII@K=%@7@82%@,@-'%@!@"@@@@  @@#locA_hi`hi@rxA@@%3^]]^^^^^@"%@@@@@@@@@ఠ'choicesrii&sii-@yA@@4&]@W@@@W]@W3xwwxxxxx@'%@@@@@డ~ $List#mapii0ii4@ ii5ii8@@4Ѱ@@@@!;]@W @@W@4ˠ@@@W4ʠ)@@@W@@W@@W(@@ఐ&&choiceii:ii@@&y@@@&(&@&&@@W@@W@@W=@@ఐϠ#ctxiiAiiD@@@&HJ@(0ภniiKiiP@n@@@&`@WW@@ii9iiQ@@@&&@@W\@@ఐ)blockargsiiRii[@@@&@i@@Z@@oj@A@ii"@@డJ:find_nonambiguous_tmc_call&Choicei_iii_io@ i_ipi_i@@@i(]8@@@3@@@3(b:j8@@@3@@3@8@8Ѱ@@@y(m!OW@W@@@W@@@W@@@W@@W3@@@@@@@ఐ'choices,i_i-i_i@ @@&@@@W^@W^@W@@@ @@.#@@@W@Ġ&ChoiceHiiIii@+No_tmc_callMiiNii@@;:oG:@@@3@:q:p@@@3@A@@C@A:o@@:lఠ$argsbiicii@uzA@@:!`@W@@@W3gffggggg@M@@@@@& @@dY@@@X@@h]@@@X @@@డK]&lambda&Choiceiiii@ iiii@@$@@@$@@@XZ($@@@XY@@@XX@@XW3@y;4@5@6@@@@ภ%Lprimiiii@yEภ*Pmakeblockiiii@u۠ఐ#tagiiii@f@@'*"@ఐ$flagiiii@p@@'.-@ఐ%shapeiiii@z@@'18@@$ii@@yp@@@Xl_@Xv?@ఐ|$argsiiii@G@@y|"7@@@Xm_@X_@XR@ఐ#lociiij@t@@'E]@@Rij@@$@@@Xc_@Xkd@@y@@'He@Ġ&Choicejj  jj@)Ambiguous jjjj@@;; @ ;;j@@@3@AB@C@A:@;A;@@;@@@3;@;;@@; )~; @@@3@@@3; @;@BA@O@B@@@@@@?A;ঠ(explicit8jj9jj$A3;2)'@@X  @@@3;+@@AA;@;A;2@;/ఠ   @V{A@;<@@@X3DCCDDDDD@*@@@(subtermsPjj&Qjj.@3;>A?@@X 3@@A3;O:@@@-A;J@;G-A;6@;3ఠ2ambiguous_subterms^jj1_jjC@q|A@@;L)"`@X@@@X"@@@X!"@@@ljjmjjE@@^"`@X@@@X$_@X#-@@@o @@mb@@@X)2@@qf@@@X*6@@@@ఠ+term_choicepppp@A@@){@@@X`@X@@@X_@X3@{YV@X@WB;@<@=@@@1l$let+pppp@#9@*zL#@@@X_@X_@X`@X@@@X`@X@@ ,_@X@@X*2@@@X`@X@@X@@X`@XడL$list&Choicepppp@ pppp@@@>*7>@@@3@@@3*<>>@@@3@@@3@@3@?@?@@@?*J#,W@X@@@X@@@X*P> @@@X@@@X@@X3@h@@@@ఐ'choices pp pp@@@?*(@@@X`@X`@X@@E @@*qm@@@X`@X@z pq@@$args&pp'pp@9A@@y*@@@ภ%Lprim0 pp1 pp@zҠภ*Pmakeblock9 pp: pp@whఐ*#tagC ppD pp@@@(3A@@AAAAA@)@ @!@@@ఐ,$flagQ ppR pp@@@(@ఐ+%shape\ pp] pp@ @@(@@'` pp@@{@@@X`@X @ఐK$argsn ppo pp@(@@+@ఐ#locy ppz pp@@@(6@@M_@@7@A`@@@A@ppb@@Р&Choice q'q1 q'q7@#dps q'q8 q'q;@@డdZ$make#Dps q'q> q'qA@  q'qB q'qF@@@@@G@@@X@@@XK۠@@@X@@@X@@X3@!5.@/@0@@@@࣠$tail~ A@ q'qR q'qS@@P@@@X3@@@@@ q'qL@#dst~ A@ q'qY q'qZ@@PP@@@Y@@@Y@@ q'qT @@@ఠ)arguments q^qn q^qw@A@@@@@Y6b@Y +@@ఠ$infoqzqqzq@A@@@M!t&lambda@@@Y@@@Yc@Y B@@@Yc@Y @@Yc@Y Q@࣠@!tA@)qzq*qzq@@@@@Y@@@Y3-,,-----@{56qzq7qq@@@@@KA/г2&ChoiceFqzqGqzq@9JqzqKqzq@@г<=SqzqTqzq@@C@@@Y&@@@M@@@Y+ @@_qzq`qzq@@@U/@@@@ຐ3@@@ x@@@@A}@z)tmc_callsrqqsqq@ఐW!t}qq~qq@U@X@F@@+۠v@@@Y'd@Y+@@@Y*d@Y&3@[l@@@)tmc_callsqqqq@ @@@@@Y$@@@Y#d@Y(@@@qzqi@г3subterm_informationqzqqzq@@@@@@ @NvA@c@Y2}@A@z@ຠ3@@@ @@@3qp@@A@Ag@d@Au(explicitr rr r%Aఐ @+@@@@Y8b@Y93@@@@@@)argumentsr'r7r'r@@డc$List#mapr'rCr'rG@ r'rHr'rK@@9'@@@@%=@@@Ybb@YI@@@YBb@Yhb@Yab@YG@@YJ@9.@@@YH9-@@@YF@@YE@@YD=@@ఐ$infor'rLr'rP@G@@@ @@@Y_@@@Y^@@@Y]@@Y\V@@ఐ͠2ambiguous_subterms+r'rQ,r'rc@@@9`F@@@YUc@Yfc@Ydk@@T @@A@@@YAc@YTr@@@>qr ?rert@@Nu@ @@Ot@A@B q^qj@@డ%raiseLrrMrr@@@@@@@Yl A@@@Yb@Yk@@Yj3TSSTTTTT@qj@k@l@@@@ภ%Errorerrfrr@;@@@ @B@@A@@~డ/Scoped_location+to_location)Debuginforrrr@ rrrr@@rrrr@ @  @@@ @@@Y @@@Y~@@Y};@@ఐB#locrrrr@!@@*H@@#@@@@@Yx@Yc@YP@ภ?Ambiguous_constructor_argumentsrrrs@;@@@ @ A@@A@A@@ఐҠ)argumentsrsrs @g@@@@@Yb@Yb@Yq@@ @@@@@Yyb@Yw@@rrrs@@r@@@Yqb@Yw@@@@@@@ @ q'qGss@@J1 @@@X_@Y@@@Y_@Y@@I @@ &+W@YW@XbW@X_@X@@@X_@X*@ "@Oi@@@Y^@Y@@Y^@Y@ 'OdOc@@@Y@@@Y^@Y@ *O^@@@Y^@Y@ -OY@@@Y^@Y@@ఐ+term_choice# q q$ q q!@k@@-;^@Y@@@Y^@Y^@Yx@1 q q2ss%@@+f@@@+@Ġ&Choice@s&s,As&s2@,NonambiguousEs&s3Fs&s?@@;?V@-??T@@@3@AA@C@A?S@@?Pঠ&Choice[s&sB\s&sH@*rev_before`s&sIas&sS@A3>>@@@3>>@@@3@@@ 3> -Ơ>@@@3@@A@A>@>3>>>@@@3@@B @A>@>@A>@>ఠ!@}A@>Ġ&`@X2@@@X5c@&choices&sUs&s[Aఠ@~A@-&`@X7@@@X:v@%afters&s]s&sbA+ఠ@A@>̠&`@X<@@@X?@@@s&s@s&sd@@c'`@X.@@@XA_@X@@@@t @@@@@XB@@@@@XC@@@@ఠ&constr shstshsz@A@@f@@@Y_@Y3@ZW@Y@XHE@G@F63@5@4@@@ Р}W&Constrshs}shs@@ 3@@@@@A3@ @@@3j@f?@@@ jB@@@ @@@3j<,\@@@ @@A@Aj8@j53j2 ,X@@@ @@B @Aj/@j,3j)j( j'@@@ @@@ @@C@Aj&@j#3j jj@@@ @@@ @@D@Aj@j3j"jjj@@@ @@E!@Aj@j@Ajb@j_#tagssssAఐ @@,;@.$flag&ss'ssAఐ  @@,I@8%shape4ss5ssAఐ  @@,W@B&beforeBssCss@డ$List#revQssRss@ UssVss@@@|_!a@@@@|h @@@@@@|3e|4e@@|2M@@@@'_@Y@@@Z@@@Y@@Y@@ఐ*rev_beforessss@@@0@@@Z`@Z `@Z@@? @@j'@@@Y`@Z@%after ss ssAఐ @@j'@@@Z_@Z@#loc!st!stAఐ] @9@- @@@shs"t t@@@@@@A@shsp@@  డN"<>#tt8#tt:@?@@@Q0Q/@@@Z0@@@Z/_@Z$@ ?G@@@Z#@@Z"@@Z!3@@@@@@@ఐ]&choice#tt'#tt-@@@/J(8`@Z2@@@Z1`@Z.@)tmc_calls#tt.#tt7@ "@@-!@@ภ^#tt;#tt=@~@@@:_@Z6.@@ #tt&#tt>@@tz@@@Z7`@Z,6@#tt@@@@@Z9_@Z8=@Р T#dps$2vv%2vv@డh1delay_constructor#Dps32vv42vv@ 72vv82vv@@@TT@@@*b@PmPT@@@*a@@@*`PuXT@@@*_@@@*^@@*]@@*\@T@Tϰ!@@@@@@ZG@P@@@ZF@@@ZEP@@@ZD@@@ZC@@ZB@@ZA3dccddddd@@@@@ఐ&constrt2vvu2vv@@@>@@@ZW_@ZY_@ZX@@ఐ&choice2vv2vv@@@/(_@Z]@@@Z^_@Z[,@#dps2vv2vv@ а@@Pʠ(@@@ZU_@Z__@Z\;@@r @@ נW@Z;@@@Z?_@ZSD@ ء&Choice%tJtT%tJtZ@&direct%tJt[%tJta@@࣠@ AĠd%tJti%tJtk@d@@@@R7@@@Zqe@@@@డ^#not&tot~&tot@=ް@@@?n@@@Zv=@@@Zu@@Zt@@ఐb&choice&tot&tot@ @@0O)9a@Z@@@Za@Z@1benefits_from_dps&tot&tot@@@?@@@Z}a@Za@Z-@@1 @@uw@@@Za@Z|3@డ%apply&Constr'tt'tt@ "'tt#'tt@@gs@@@h{@@@Z@gs@@@Zgr@@@Z@@Z@@ZU@@ఐw&constr='tt>'tt@_@@h@@@Za@Za@Zi@@డS1&direct&ChoiceW'ttX'tt@ ['tt\'tt@@@0N@@@3N@@3@O @O  @@@0)a@Z@@@Z@@Z@@ఐ砐&choicew'ttx'tt@@@0֠@@@Zb@Zb@Z@@'tt'tt@@@@h@@a@Z@డ 0with_placeholder&Constr)tt)tt@ )tt)tu@@]@@@h@@@Z@@l[lZ@@@Z@@@Z]@@@Z@@Z]@@@Z@@Z@@Z@@ఐ&constr)tu)tu@@@i@@@Zc@Zc@Z@@3 @@@@ll@@@Z@@@Z]@@@Z@@Z]@@@Z@@Z@@࣠@'new_dst A)tu)tu%@A@@ll@@@Z@@@Z@@  @@ภ)Lsequence*u)u7*u)u@@]డS#dps&Choice *u)uA*u)uG@ *u)uH*u)uK@@@1o1m@@@3@@@3OW7@@@3O W4W3@@@3@@@36V@@@3@@3@@3@@3@O9@O:$@@@11@@@Z@@@ZO0WS@@@ZO(WPWO@@@Z@@@Z@@@Z@@Z@@Z@@Z3FEEFFFFF@njml@@@Z@@@Z@h@i@@@@ఐϠ&choice_*u)uL`*u)uR@@@1*@@@[ c@[c@[@O`ภxKr*u)uYs*u)u^@xK@@@W@@@[ c@[/@Ocఐ'new_dst*u)ud*u)uk@9@@WW@@@[ @@@[ c@[c@[G@@@@@@@Z@[c@[ O@ภ$Lvar+umu+umu@PఐƠ'new_dst+umu+umu@b@@me@@@[#b@[&@@@[%b@["p@#var+umu+umu@@@m@@@[ b@['b@[$~@@) @@@@@Zb@[@@+umu@@@@@Z@)tu@@@mm@@@Z@@@Z^@@@Z@@Za@[-a@[)}@@O@@a@Z@&tot{@@e@%tJtd+umu@@@T^@@@ZjW@Zc@@Zi^@[3@)tmc_calls3ww 3ww@ఐx&choice4ww# 4ww)@6@@2e+G^@[E@@@[D^@[A5@)tmc_calls4ww*4ww3@=@@TzTy@@@[?@@@[>^@[BE@@1benefits_from_dps),uu*,uu@ภy 01vv11vv@y @@@T@@@[M^@[QZ@Q9explicit_tailcall_request>5w5w??5w5wX@ఐ&choiceI6w[wgJ6w[wm@w@@2+^@[\@@@[[^@[Yv@9explicit_tailcall_requestX6w[wnY6w[w@r@@T@@@[W^@[Z@@@a$t@tHb7ww@@0@O@@0@@@0@@@Afi_ic@@03baabbbbb@ H@@@ @@0 @ rA@@000@0@0@00@@[@@[@@[@@[@@[W@[ z@@@whh@0000@00@@000@0@0@00@@A@@A@@A@@A@@A3@1h@@@࣠@#ctxA9ww9ww@A@@03@1f@@@@@0֠0A0ڰ9ww9ww@A@@03@1u0@@@@@@9ww@@$primA9ww9ww@A@@03@0@@@@@@@@(primargsA9ww9ww@A@@03@1@@@@@@@@#locA9ww9ww@A@@13@1 @@@@@@@@ఐ7$prim:ww:ww@@@1 3@1@@@@@Ġ*Pmakeblock<xx<xx@'ఠ#tag<xx <xx#@A@@/@@@\3@@@@ఠ$flag<xx%<xx)@#A@@7@@@\@ఠ%shape<xx+<xx0@1A@@<@@@\@@@.&<xx1@@1\@@1\@@@ఐ10choice_makeblock0=x5x=1=x5xM@1@@@111@1@1@11@@]&@@]%@@]$@@]#@@]"387788888@UD=@>@?6/@0@1)"@#@$@@@@ఐ#ctxN=x5xNO=x5xQ@@@1@1Аఐ$tail[=x5xS\=x5xW@@@1!@@@ఐk#tagl=x5xYm=x5x\@-@@1_@]:4@@ఐj$flagz=x5x^{=x5xb@:@@1_@];B@@ఐj%shape=x5xd=x5xi@G@@1_@]<P@@=x5xX=x5xj@@2W@]=U@@ఐڠ(primargs=x5xk=x5xs@°@@1b@@ఐ֠#loc=x5xt=x5xw@@@1o@@}@@1p@Ġ'Popaque@xx@xx@;'Popaque2@@@lo~@Atu@@@.@@@  @@13@@@@@1@@@@ఠ"l1AxxAxx@A@@-r_@]B@ఐ(primargsAxxAxx@@@2 3@@@@Ġ>lBxxBxxAɠఠ"l1 Bxx@A @@-W@]E@Ġ>h A@@ A@d @@@]J#@@@Bxx@@21%@@21%@@@ఐ"l1 Bxx Bxy@@@@@>3      @$#@@@@Cyy Cyy@@2F:@@2F:@@@డ+invalid_arg!Cyy"Cyy@@6q@@@!a@@@@vvfvwf:@@vuB@@@@@@@]P-b@]O@@]N\@@+choice_primBCyyCCyy*@@ECyyFCyy+@@%@@@]Ub@]Wb@]Vp@@. @@q@@@APAxx @@I@A@RAxx @@<"$let+ZDy/y7[Dy/y;@-@4-_@]d@@@]e_@]j@@-W@]f-W@]^@]g@@]h4ʠ _@]b@@@]a_@]i@@]k@@]l_@]_ఐ3&choiceDy/yADy/yG@3H@@@343|@3w3t@@]p@@]o@@]n3@@@@@@@ఐ#ctxDy/yHDy/yK@@@2@5ఐ$tailDy/yMDy/yQ@@@2@@ఐ䠐"l1Dy/yRDy/yT@'@@*@@4@@3+@[EyXyz@@"l1Dy/y<Dy/y>@A@@V8@@@ภ%LprimEyXy`EyXye@iภ'PopaqueEyXygEyXyn@@@@r@@@]_@]3@P$p@@@@@ภEyXyqEyXytA ఐ1"l1 EyXys@ @@@ภA@ A@].*@@@]_@]"@@EyXyp@@.0@@@]_@]*@ఐ7#loc EyXyv EyXyy@@@385@@GY@@6@AZ@@3W@]3        @@@@^@@39 @Ġ0Pbytes_to_stringHyyHyy@;0Pbytes_to_stringj@@@@o~@Aww@@@f`@@@  @@4.@@4.@Ġ0Pbytes_of_stringHyyHyy@;0Pbytes_of_string|@@@Ao~@Axx@@@xa@@@  @@4@ @@4@ @@ @@4A!@Ġ*PgetglobalIyyIyy@;*Pgetglobal@!t@@@@A@o~@A{{@@@c@@'Iyy(Iyy@@@@@\A@@@@@4bB@@4bB@@?@@4cC@Ġ*Psetglobal6Iyy7Iyy@;*Psetglobal@!t@@@@AAo~@A||@@@d@@IIyyJIyy@@@@@\c@@@@@4d@@4d@@a@@4e@Ġ&PfieldXJyyYJyy@;&Pfield@@@@@@@,mutable_flag@@@@CDo~@A$@%@@@@g@@sJyytJyy@@@@@\"@@@@@@\#@@ @@@@\$@@@+@@4@@4@@@@4@Ġ/Pfield_computedJyzJyz@;/Pfield_computed@@@Co~@AIAJA@@@h@@@  @@4@@4@@ @@4@Ġ)PsetfieldKzzKzz!@;)Psetfield@@@@@@@@@@@CEo~@AiBjB @@@#i@@Kzz"Kzz#@@@@@\*@@@2@@@\+@@ @1@@@\,@@@)@@4@@4@@@@4@Ġ2Psetfield_computedKzz&Kzz8@L@Kzz9Kzz:@@K@@@\0@@@J@@@\1@@@ @@5@@5@@ @@5@Ġ+PfloatfieldLz;zALz;zL@;+Pfloatfielde@@@@@AGo~@AD e gD e {@@@fk@@Lz;zMLz;zN@@@@@\4@@@@@56@@56@@@@57@Ġ.Psetfloatfield Lz;zQ Lz;z_@;.Psetfloatfield@9@@@@@@@BHo~@AE | ~E | @@@l@@Lz;z` Lz;za@@@@@\89@@@@@@\9>@@@  @@5_?@@5_?@@< @@5`@@Ġ&Pccall3Mzbzh4Mzbzn@;&Pccall@)Primitive+description@@@@AJo~@AM N PM N q@@@s@@HMzbzoIMzbzp@@@@@\<b@@@@@5c@@5c@@`@@5d@Ġ&PraiseWNzqzwXNzqz}@;&Praise@*raise_kind@@@@AKo~@AO  O  @@@t@@iNzqz~jNzqz@@@@@\?@@@@@5@@5@@@@5@Ġ$PnotxOzzyOzz@;$Pnot@@@Jo~@A5Q  6Q  @@@w@@@  @@5@@5@@ @@5@Ġ'PnegintPzzPzz@;'Pnegint@@@Ko~@AHS  IS  @@@x@@@  @@5@@5@@ @@5@Ġ'PaddintPzzPzz@;'Paddint@@@Lo~@A[S  \S  @@@y@@@  @@5@@5@@ @@5@Ġ'PsubintPzzPzz@;'Psubint,@@@Mo~@AnS  oS  @@@(z@@@  @@5@@5@@ @@5@Ġ'PmulintPzzPzz@;'Pmulint?@@@No~@AS  S  @@@;{@@@  @@6@@6@@ @@6@Ġ'PdivintPzzPzz@;'PdivintR@O'is_safe@@@@ALo~@AT  T  2@@@T|@@PzzPzz@@@@@\G@@@@@6$@@6$@@@@6%@Ġ'PmodintPzzPzz@;'Pmodints@!@@@@AMo~@AT  3T  G@@@s}@@Pzz Pzz@@.@@@\J"@@@@@6C#@@6C#@@ @@6D$@Ġ'PandintQzzQzz@;'Pandint@@@Oo~@AU H JU H S@@@~@@@  @@6V6@@6V6@@3 @@6W7@Ġ&Porint*Qzz+Qzz@;&Porint@@@Po~@AU H TU H \@@@@@@  @@6iI@@6iI@@F @@6jJ@Ġ'Pxorint=Qzz>Qzz@;'Pxorint@@@Qo~@AU H ]U H f@@@@@@@  @@6|\@@6|\@@Y @@6}]@Ġ'PlslintPRzzQRzz@;'Plslint@@@Ro~@A V g iV g r@@@A@@@  @@6o@@6o@@l @@6p@Ġ'PlsrintcRz{dRz{@;'Plsrint@@@So~@A V g s!V g |@@@B@@@  @@6@@6@@ @@6@Ġ'PasrintvRz{ wRz{@;'Pasrint@@@To~@A3V g }4V g @@@C@@@  @@6@@6@@ @@6@Ġ(PintcompS{{S{{ @;(Pintcomp@2integer_comparison@@@@ANo~@ALW  MW  @@@D@@S{{!S{{"@@@@@\S@@@@@6@@6@@@@6@Ġ*PoffsetintT{#{)T{#{3@;*Poffsetint%@@@@@APo~@AlZ 7 9mZ 7 L@@@&H@@T{#{4T{#{5@@@@@\V@@@@@6@@6@@@@6@Ġ*PoffsetrefT{#{8T{#{B@;*PoffsetrefE@@@@@AQo~@A[ M O[ M b@@@FI@@T{#{CT{#{D@@@@@\Y@@@@@7@@7@@@@7@Ġ+PintoffloatU{E{KU{E{V@;+Pintoffloate@@@Wo~@A] | ~] | @@@aJ@@@  @@7) @@7) @@ @@7* @Ġ+PfloatofintU{E{YU{E{d@;+Pfloatofintx@@@Xo~@A] | ] | @@@tK@@@  @@7<@@7<@@ @@7=@Ġ)PnegfloatV{e{kV{e{t@;)Pnegfloat@@@Yo~@A^  ^  @@@L@@@  @@7O/@@7O/@@, @@7P0@Ġ)Pabsfloat#V{e{w$V{e{@;)Pabsfloat@@@Zo~@A^  ^  @@@M@@@  @@7bB@@7bB@@? @@7cC@Ġ)Paddfloat6W{{7W{{@;)Paddfloat@@@[o~@A_  _  @@@N@@@  @@7uU@@7uU@@R @@7vV@Ġ)PsubfloatIW{{JW{{@;)Psubfloat@@@\o~@A_  _  @@@O@@@  @@7h@@7h@@e @@7i@Ġ)Pmulfloat\W{{]W{{@;)Pmulfloat@@@]o~@A_  _  @@@P@@@  @@7{@@7{@@x @@7|@Ġ)PdivfloatoW{{pW{{@;)Pdivfloat@@@^o~@A,_  -_  @@@Q@@@  @@7@@7@@ @@7@Ġ*PfloatcompX{{X{{@;*Pfloatcomp@0float_comparison@@@@ARo~@AE`  F`  @@@R@@X{{X{{@@@@@\d@@@@@7@@7@@@@7@Ġ-PstringlengthY{{Y{{@;-Pstringlength@@@_o~@A`b # %ab # 4@@@S@@@  @@7@@7@@ @@7@Ġ+PstringrefuY{{Y{{@;+Pstringrefu1@@@`o~@Asb # 5tb # B@@@-T@@@  @@7@@7@@ @@7@Ġ+PstringrefsY{{Y{{@;+PstringrefsD@@@ao~@Ab # Db # Q@@@@U@@@  @@8@@8@@ @@8 @Ġ,PbyteslengthZ{{Z{| @;,PbyteslengthW@@@bo~@Ac R Tc R b@@@SV@@@  @@8@@8@@ @@8@Ġ*PbytesrefuZ{|Z{|@;*Pbytesrefuj@@@co~@Ac R cc R o@@@fW@@@  @@8.@@8.@@  @@8/@Ġ*PbytessetuZ{|Z{|%@;*Pbytessetu}@@@do~@Ac R pc R |@@@yX@@@  @@8A!@@8A!@@ @@8B"@Ġ*PbytesrefsZ{|(Z{|2@;*Pbytesrefs@@@eo~@Ac R }c R @@@Y@@@  @@8T4@@8T4@@1 @@8U5@Ġ*Pbytessets(Z{|5)Z{|?@;*Pbytessets@@@fo~@Ac R c R @@@Z@@@  @@8gG@@8gG@@D @@8hH@Ġ,Parraylength;[|@|F<[|@|R@;,Parraylength@*array_kind@@@@AUo~@Ajj@@@]@@M[|@|SN[|@|T@@@@@\og@@@@@8h@@8h@@e@@8i@Ġ*Parrayrefu\[|@|W][|@|a@;*Parrayrefu@!@@@@AVo~@Akk@@@^@@l[|@|bm[|@|c@@.@@@\r@@@@@8@@8@@@@8@Ġ*Parraysetu{[|@|f|[|@|p@;*Parraysetu@@@@@@AWo~@A<l=l@@@_@@[|@|q[|@|r@@M@@@\u@@@@@8@@8@@@@8@Ġ*Parrayrefs[|@|u[|@|@;*Parrayrefs@_@@@@AXo~@A[m\m7@@@`@@[|@|[|@|@@l@@@\x@@@@@8@@8@@@@8@Ġ*Parraysets[|@|[|@|@;*Parraysets4@~@@@@AYo~@Azn8:{n8T@@@4a@@[|@|[|@|@@@@@\{@@@@@9@@9@@@@9@Ġ&Pisint\||\||@;&PisintS@@@go~@App@@@Ob@@@  @@9@@9@@ @@9@Ġ&Pisout\||\||@;&Pisoutf@@@ho~@Arr@@@bc@@@  @@9* @@9* @@ @@9+ @Ġ'Pignore]||]||@;'Pignorey@@@Bo~@Ayy@@@ub@@@  @@9=@@9=@@ @@9>@Ġ-Pcompare_ints^||^||@;-Pcompare_ints@@@Uo~@AY  Y  @@@E@@@  @@9P0@@9P0@@- @@9Q1@Ġ/Pcompare_floats$^||%^||@;/Pcompare_floats@@@Vo~@AY  Y  @@@F@@@  @@9cC@@9cC@@@ @@9dD@Ġ.Pcompare_bints7^||8^||@;.Pcompare_bints@-boxed_integer@@@@AOo~@AY  Y  6@@@G@@I^||J^||@@@@@\c@@@@@9d@@9d@@a@@9e@Ġ)PrunstackXa}"}(Ya}"}1@;)Prunstack@@@Do~@AH  H  @@@o@@@  @@9w@@9w@@t @@9x@Ġ(Pperformka}"}4la}"}<@;(Pperform@@@Eo~@A(I  )I  @@@p@@@  @@9@@9@@ @@9@Ġ'Presume~a}"}?a}"}F@;'Presume@@@Fo~@A;J  <J  (@@@q@@@  @@9@@9@@ @@9@Ġ*Preperforma}"}Ia}"}S@;*Preperform @@@Go~@ANK ) +OK ) 7@@@r@@@  @@9@@9@@ @@9@Ġ(Pdls_geta}"}Va}"}^@;(Pdls_get@@@mo~@Aa "b ,@@@@@@  @@9@@9@@ @@9@Ġ,Patomic_loadd}}d}}@;,Patomic_load2@@@ko~@Atu@@@.@@@  @@9@@9@@ @@9@Ġ*Pmakearrayg}}g}}@;*PmakearrayG@@@@,mutable_flag@@@@BSo~@Ae  e  @@@M[@@g}}g}}@@@@@\@@@@@@\ @@@! @@:" @@:" @Ġ)Pduparrayg}}g}}@;)Pduparrayp@@@@!,mutable_flag@@@@BTo~@Af  f @@@v\@@ g}} g}}@@@@@\ %@@@@@@\ *@@@! @@:K +@@:K +@@g}}g}}@@:N .@@+@@:O /@Ġ*Pduprecord"j~C~I#j~C~S@;*Pduprecord@%Types5record_representation@@@Z@@@@BIo~@AF  F  @@@n@@<j~C~T=j~C~U@@@@@\ V@@@@@@\ [@@@% @@:| \@@:| \@@Y @@:} ]@Ġ*PbintofintPn~~Qn~~@;*Pbintofint@@@@@AZo~@At.0t.M@@@d@@`n~~an~~@@&@@@\ z@@@@@: {@@: {@@x@@: |@Ġ*Pintofbinton~~pn~~@;*Pintofbint@8@@@@A[o~@A0uNP1uNm@@@e@@n~~n~~@@E@@@\ @@@@@: @@: @@@@: @Ġ(Pcvtbinto~~o~~@;(Pcvtbint @W@@@[@@@@B\o~@ASvnpTvn@@@ f@@o~~o~~@@h@@@\ @@@m@@@\ @@@ @@: @@: @@ @@: @Ġ(Pnegbintp~~p~~@;(Pnegbint1@@@@@A]o~@Awwxw@@@1g@@p~~p~~@@@@@\ @@@@@; @@; @@@@; @Ġ(Paddbintq~~q~@;(PaddbintP@@@@@A^o~@Axx@@@Ph@@q~q~@@@@@\ @@@@@;  @@;  @@@@;! @Ġ(Psubbintq~ q~@;(Psubbinto@@@@@A_o~@Ayy@@@oi@@q~q~@@@@@\ @@@@@;? @@;? @@@@;@ @Ġ(Pmulbintq~q~ @;(Pmulbint@@@@@A`o~@Azz.@@@j@@#q~!$q~"@@@@@\ =@@@@@;^ >@@;^ >@@;@@;_ ?@Ġ(Pdivbint2q~%3q~-@;(Pdivbint@Ր@@@@Aao~@A{/1{/j@@;@@$size0@@ @@@İ{/A{/V@@k@'is_safe1@@v@@@Ű {/W{/h@@l@@aA@@@@@+@@@kAAm@@_q~.`q~/@@*@@@\ y@@@3@@; z@@; z@@w@@; {@Ġ(Pmodbintnq~2oq~:@;(Pmodbint@@@@@Abo~@A1|km2|k@@;@@$size3@@G@@@ư>|k}?|k@@n@'is_safe4@@@@@ǰI|kJ|k@@o@@bA@@@@@g@@@@Ap@@q~;q~<@@*@@@\ @@@3@@; @@; @@@@; @Ġ(Pandbintr=Cr=K@;(Pandbint%@s@@@@Aco~@Ak}l}@@@%q@@r=Lr=M@@@@@\ @@@@@; @@; @@@@; @Ġ'Porbintr=Pr=W@;'PorbintD@@@@@Ado~@A~~@@@Dr@@r=Xr=Y@@@@@\ @@@@@< @@< @@@@< @Ġ(Pxorbintr=\r=d@;(Pxorbintc@@@@@Aeo~@A@@@cs@@r=er=f@@@@@\ @@@@@<3 @@<3 @@@@<4 @Ġ(Plslbintr=ir=q@;(Plslbint@@@@@Afo~@A@@@t@@r=rr=s@@@@@\ 1@@@@@<Y@@@v@@Ur=Vr=@@@@@\ o@@@@@< p@@< p@@m@@< q@Ġ)Pbintcompdses@;)Pbintcomp@-@@@Π@@@@Bio~@A)Z\*Z@@@w@@xsys@@>@@@\ @@@@@@\ @@@ @@< @@< @@ @@< @Ġ.Pmakelazyblockz z !@;.Pmakelazyblock@.lazy_block_tag@@@@ACo~@AO[]P[@@@ f@@z "z #@@@@@\ @@@@@< @@< @@@@< @Ġ,Pbigarrayref}DJ}DV@;,Pbigarrayref(@C*@@@Р@@@Ѡ/-bigarray_kind@@@Ҡ5/bigarray_layout@@@@Djo~@A@@@:x@@}DW}DX@@@@@\ @@@@@@\ @@ @@@@\ @@@@@@\ @@@7@@= @@= @@@@= @Ġ,Pbigarrayset}D[}Dg@;,Pbigarrayseth@Cj@@@Ԡ!@@@ՠ@@@@֠>@@@@Dko~@AT@@@vy@@ }Dh }Di@@@@@\ %@@@@@@\ *@@ @[@@@\ /@@@Z@@@\ 4@@@3@@=U 5@@=U 5@@ 2@@=V 6@Ġ,Pbigarraydim)~jp*~j|@;,Pbigarraydim@X@@@@Alo~@A@@@z@@:~j};~j~@@@@@\ T@@@@@=u U@@=u U@@ R@@=v V@Ġ/Pstring_load_16IJ@;/Pstring_load_16@C@@@@Amo~@A  @@@{@@Z[@@@@@\ t@@@@@= u@@= u@@ r@@= v@Ġ/Pstring_load_32ij@;/Pstring_load_32@C@@@@Ano~@A+, @@@|@@z{@@@@@\ @@@@@= @@= @@ @@= @Ġ/Pstring_load_64@;/Pstring_load_64@D@@@@Aoo~@AK  L &@@@}@@@@@@@\ @@@@@= @@= @@ @@= @Ġ.Pbytes_load_16@;.Pbytes_load_16$@D&@@@@Apo~@Ak')l'A@@@%~@@@@@@@\ @@@@@= @@= @@ @@= @Ġ.Pbytes_load_32@;.Pbytes_load_32D@DF@@@@Aqo~@ABDB\@@@E@@@@@@@\ @@@@@> @@> @@ @@> @Ġ.Pbytes_load_64@;.Pbytes_load_64d@Df@@@@Aro~@A]_]w@@@e@@@@@@@\ @@@@@>5 @@>5 @@ @@>6 @Ġ-Pbytes_set_16  @;-Pbytes_set_16@D@@@@Aso~@Axzx@@@@@@@@@@\ 4@@@@@>U 5@@>U 5@@ 2@@>V 6@Ġ-Pbytes_set_32)*!@;-Pbytes_set_32@D@@@@Ato~@A@@@@@:";#@@@@@\ T@@@@@>u U@@>u U@@ R@@>v V@Ġ-Pbytes_set_64I&J3@;-Pbytes_set_64@D@@@@Auo~@A  @@@@@Z4[5@@@@@\ t@@@@@> u@@> u@@ r@@> v@Ġ2Pbigstring_load_16i6<j6N@;2Pbigstring_load_16@D@@@@Avo~@A+24,2P@@@@@z6O{6P@@@@@] @@@@@> @@> @@ @@> @Ġ2Pbigstring_load_326S6e@;2Pbigstring_load_32@E@@@@Awo~@AKQSLQo@@@@@6f6g@@@@@] @@@@@> @@> @@ @@> @Ġ2Pbigstring_load_646j6|@;2Pbigstring_load_64$@E&@@@@Axo~@Akprlp@@@%@@6}6~@@@@@] @@@@@> @@> @@ @@> @Ġ1Pbigstring_set_16@;1Pbigstring_set_16D@EF@@@@Ayo~@A@@@E@@@@@@@]  @@@@@? @@? @@ @@? @Ġ1Pbigstring_set_32@;1Pbigstring_set_32d@Ef@@@@Azo~@A@@@e@@@@@@@]@@@@@?5@@?5@@ @@?6@Ġ1Pbigstring_set_64  @;1Pbigstring_set_64@E@@@@A{o~@A@@@@@@@@@@]4@@@@@?U5@@?U5@@ 2@@?V6@Ġ(Pctconst)*@;(Pctconst@5compile_time_constant@@@@A|o~@A -@@@@@;<@@@@@]U@@@@@?vV@@?vV@@ S@@?wW@Ġ(Pbswap16JK@;(Pbswap16@@@io~@A@B@L@@@@@@  @@?i@@?i@@ f @@?j@Ġ'Pbbswap]^@;'Pbbswap@&@@@@A}o~@AMOMi@@@@@mn@@3@@@]@@@@@?@@?@@ @@?@Ġ/Pint_as_pointer|} @;/Pint_as_pointer@@@jo~@A9:@@@@@@  @@?@@?@@  @@?@Ġ(Psequand  @;(Psequand @@@Ho~@ALQ  MQ  @@@u@@@  @@?@@?@@  @@?@Ġ'Psequor  #@;'Psequor@@@Io~@A_Q  `Q  @@@v@@@  @@?@@?@@  @@?@Ġ%Ppoll$*$/@;%Ppoll0@@@no~@Ars@@@,@@@  @@?@@?@@  @@?@@@@ఠ(primargs9E9M@A@@+O_@]@ఐA-traverse_list9P9]@A@@@A@AA@@]@@]@@ఐX#ctx9^9a@C@@@)+@@ఐ4(primargs9b9j@@@@'8@@"@@A#9@A@9A@@డd&lambda&Choice nv n|@  n}n@@=@@@=@@@]Bn=@@@]@@@]@@]3@3YR@S@T@@@@ภ%Lprim)n*n@ˠఐ$prim3n4n@j@@@k@ఐt(primargs>n?n@!@@s$@ఐv#locInJn@^@@@w/@@MnNn@@=@@@]_@]7@@L@@@W@]:@] @@@~@@@AY:ww @@@3UTTUUUUU@o@@@A@@@@@@@@@@@@@@]@@]@@]@@]@@]W@]@@@i9ww@@@@e@d@@c@f@@@@@@@@@@A@@A@@A3qppqqqqq@AV@@@࣠@#ctxA@A@@@3@AT@@@@@@@A@@A@@@3@Ac@@@@@@@@@%termsA@A@@@3@@@@@@@@@@డe$list&Choice@ @@@@@WڠC;W@^@@@^ @@@^ C#WҠ @@@^@@@^@@^3@.:@@1@2@@@@డf$List#map@ @@P*@@@@@A[@^@@^@P$A@@@^P# @@@^@@^@@^+@@ఐB &choice  @AҰ@@@B CxB@BA@@^.@@^-@@^,@@@ఐ#ctx@@@A:M@Cఐ$tail*+@@@ABZ@@./@@@B B@@^8_@@ఐ%terms<=@i@@AQl@@@A@@X^A@@@^[@^;\@^'w@@ @@AUW@^z@ A@@AlAkAi@AhA`@@^K@@^J@@^IW@^F@@@W@ANANA#A"@A!A$@@AKAJAH@AGA;@@A@@A@@A3_^^_____@BD@@@࣠@#ctxAp q@A@@A_3onnooooo@BB@@@@@A`A` AAd~@A@@Ah3}||}}}}}@BQAp@@@@@@@@m#A@ఠ"t1!@A@@AvW@^Y3@$A@@@@@@ఠ"t2"@A@@AW@^Z@@@@@@ @@^]@@ @@డf$pair&Choice"&",@ "-"1@@@@D(`@@@3@D.`@@@3@@3D2@`@`@@3@@@3@@3@`@`#@@@@DCAW@^e@@@^h@DKAW@^f@@@^i@@^gDP@@ @@^d@@@^c@@^b3@jtm@n@oe^@_@`@@@@@ఐC&choice"3"9@B߰@@@CDC@CC @@^@@^@@^~@@ఐ#ctx*":+"=@@@B+@Dఐ$tail7"?8"C@@@B 8@@ఐ"t1D"DE"F@A@@E@@1@@C3F@@ఐCU&choiceS"HT"N@C@@@CTDCO@CJCG@@^@@^@@^Z@@ఐ#ctxf"Og"R@@@BTg@DҐఐ$tails"Tt"X@ٰ@@B\t@@ఐ۠"t2"Y"[@|@@@@1@@Co@@"2"\@@@C@C@@^t[@^@@ @@BgW@^r@# A@@BBB@B~Br@@^@@^@@^W@^'@@@@BcBcB;B:@B9B<@@B`B_B]@B\BQ@@A@@A@@A3@C@@@࣠@#ctx$A]q]t@A@@Bt3@C@@@@@BuBu%ABy]v]z@A@@B}3@CB@@@@@@]u@@!t&A]{]|@A@@B3@B@@@@@@@@డg&option&Choice@ @@@[ѠEP[@@@3@@@3EU[Ơ[@@@3@@@3@@3@[@[@@@[EcC@@@^@@@^Eh[٠C@@@^@@@^@@^3@@LB@C@D@@@@డ&Option#map+,@ /0@@@@!a@_!b@_@@_=@B @@@_<B@@@_;@@_:@@_9@*option.mlioo@@.Stdlib__OptionI@&!@@@@CC[@_n@@_q@C C@@@_o @@@_m@@_l@@_kI@@ఐDo&choicemn@D5@@@DnEDi@DdDa@@_@@_@@_^@@ఐΠ#ctx@@@C>k@Eఐ̠$tail@@@CFx@@@@@DD@@_}@@ఐ͠!t@@@CU@@@@\D@@@^[@_\@_{@@ @@CVW@^@ A@@CpCoCm@ClCa@@_@@_@@_W@_@@@]_@@ఐDƠ&choice@D@@@DF24@@@_@DF( @@@_@@@_@@_@@_@@_3@D@@@@ఐF%#ctx@D@@F\@FN@@ఐE !t@DҰ@@Fe@@2@@F_@)@@F`D@F8A@@Fs@FnFi@@_@@_T@_F:@@@=O0O0 @F/F/F F@FF!@@F,@F+F*@@A@@A~3@FX@@@࣠@#ctx8A@)A@@F>3@FV@@@@@@Ġ$Llet%&@Ǡఠ"lk9./@AA@@@@@_30//00000@Fr(F\@@ @@@ఠ"vk:?@@RA@@@@@_@ఠ#var;MN@`A@@@@@_@ఠ#def<[\@nA@@@@@_-@ఠ$body=ij@|A@@@@@_;@@@Lq@@F=@@@@@ఠ#ctxA@A@@EX@_3@Vb[@\@]RK@L@ME>@?@@81@2@3+$@%@&@@@@ఠ(bindingsB@A@@;X@_@@@@@@@@_@ఐF,traverse_let".@F@@@F@F@F@F@F@@_@@_@@_@@_7@@ఐ#ctx/2@@@FD@@ఐ#var36@H@@;Y@_S@@ఐ#def7:@V@@;Y@_b@@;@@@k@T@@_Y@_k@A@@@@ఠ$bodyC>H>L@A@@BX@_3@~@@qj@k@l@@@ఐG7(traverse>O>W@G;@@@G9@G8G7@@_@@_@@ఐ#ctx!>X">[@@@"@@ఐŠ$body.>\/>`@@@FY@`1@@$@@GT2@A@5>D@@ఐM%llets?dj@do@Ld@@@@@@`@@@@`@c@@@@`@@@@`@@` @@@` @@@@` @@` @@` @@`@@`3^]]^^^^^@ble@f@g@@@@ఐB"lkpdpqdr@@@@@@`+X@`-X@`,@@ఐE"vkdsdu@@@@@@`*X@`/X@`.+@@ఐ(bindingsdvd~@@@8@@ఐ$bodydd@B@@E@@j@@CF@u@@C@@@G%@Ġ'Lletrec@;Ǡఠ(bindings>@A@@GgGy@@@_@@@_3@@@@ఠ$body?@A@@ @@@_@@@$@@G@@@@@ఠ#ctxD@A@@FX@`63@70@1@2%@@ @@@@ఠ(bindingsE@ A@@;X@`7@@@@@@@@`:@ఐGҠ/traverse_letrec@Gְ@@@G@G@GŠ@G@@`>@@`=@@`</@@ఐ#ctx%&@@@HL<@@ఐv(bindings23@E@@;T@`GK@@*@@@T@C@@`IY@`FT@A@A@@ภ'LletrecHI@<\ఐY(bindingsRS@X@Y@Z@@Y3QPPQQQQQ@lwp@q@re@@@ఐH(traversede@H@@@H@HH@@`W@@`V@@ఐ#ctxuv@@@"@@ఐ$body@@@GsX@`^1@@$@@H2@@A @@@@@`O7@M@@H@ఠ#lam@  @A@@H3@e@@@@@డ+shallow_map&@@@@@@ Z@@@ Y@@ X@@@@ W@@@ V@@ U@@ T@q?w?wr?w?@@+[@@@@@@@@`g@@@`f@@`e@@@@`d@@@`c@@`b@@`a3@@H@:@;@@@@ఐI(traverse(0@I @@@I@II@@`{@@`z@@ఐݠ#ctx14@@@I#@@'5@@@II@@`(@@ఐl#lam69@2@@I&5@@b@@I&6@@At@@@A@@I1@I0I/@@`@@`T@`@@@@I,I,II@II@@I)@I&I!@@A@@A3@Ii@@@࣠@#ctxFA';R(;U@:A@@I;3&%%&&&&&@Ig@@@@@@$lfunGA6;V7;Z@IA@@IE354455555@IwIM@@@@@@@@డK-map_lfunctionH]_I]l@@@@@@ S@@@ R@@ Q@N@@@ PN@@@ O@@ N@@ M@>>>?6@@Z@@@@@@@@`@@@`@@`@N@@@`N@@@`@@`@@`3onnooooo@;GI@>@?@@@@ఐI(traverse]n]v@I@@@I@II@@`@@`@@ఐp#ctx]w]z@Z@@I#@@]m]{@@@II@@`(@@ఐs$lfun]|]@2@@I5@@b@@IT@cVT@`9@A@@I@II@@`@@`T@`@@@;;@IIII@II@@I@I@I@I@I@@A@@A@@A@@A3@J@@@࣠@)outer_ctxHA@A@@I3@J@@@@@@#varIA@A@@I3@J$I@@@@@@@@#defJA@A@@I3@I@@@@@@@@@ఠ)inner_ctxK@A@@JX@`3@"I@@@@@ఐN/declare_binding@Jg@@@M@@@`@@M@@@`젠@b@@@`@@`@@`@@`"@@ఐh)outer_ctx9:@R@@J2/@@@ఐj#varJK@R@@J>@@@ఐe#defVW@I@@JCL@@Z[@@@N0@@@`@JO@@`Y@a Z@@O @@J\[@A@i@@@ఠ(bindingsLtu@A@@JT@a3tssttttt@mxq@r@s@@@ఐJ4traverse_let_binding @J @@@J@J@J@JJ@@a@@a@@a@@a@@ఐɠ)outer_ctx @@@J$@@ఐ)inner_ctx@.@@1@@ఐԠ#var"@@@J>@@ఐР#def#&@@@JK@@@@@JNL@A@@@@ఐˠ)inner_ctx,.,7@Y@@3@]g`@a@b@@@@ఐm(bindings,9,A@ @@l@@@@@ޠ@s@@a$@& @@s@ @@@ A@@J@J@J@Jؠ@J@@a9@@a8@@a7@@a6T@a2$@@@@JʠJʰJJ@JJ@@J@J@J@J@@A@@A@@A3      @K\@@@࣠@#ctxMACWCZ@-A@@J3@KZ@@@@@@(bindingsNA)C[*Cc@<A@@J3(''(((((@KjJ@@@@@@@@@ఠ#ctxO<fl=fo@OA@@KPW@aF3=<<=====@"K@@@@@డ$List)fold_leftRrvSrz@ Vr{Wr@@@@@@KnW@aK@KW@aM@@aO@@aN@@ @@@aL@@aJ@@aI@@aH3gffggggg@*@@@@࣠@#ctxPA{r|r@A@@!=@@@@fSAঠ"idrrA3"idKF@@@:!t@@@@@@ 3#def P@@@@@A@AWC**XC*+@@!@@A[B**\B**@@ @ఠ Q! @A@@@@ah3@o>U@5@6@@@#defrrA!ఠR@A@P@@@ak@@@rr@@K[@ae@@@@ఐO/declare_binding@L"@@@O@@@ar@@O@@@at@@@@au@@as@@aq@@ap3@<DA@C@B1.@0@/@@@@ఐ#ctx@I@@@@@ఐ]"id  @@@O@@@a[@a(@@ภ)Lfunction@Q1ఐc#def$%@8@@QV@@@a[@a[@aD@@ @@g@@@a[@aJ@@56@@@P @@@a@@@a[@aX@@o @@LQY@DrE@@@@@@a^@@a]X@aX@a @@ఐA#ctxXY@+@@L@@ఐ?(bindingsef@#@@L&@@@@ '@A@jfh@@@ఠ(bindingsTuv@A@@K@@@aW@a3{zz{{{{{@?JC@D@E@@@డ$List*concat_map@  @@@@!a@5L!b@3@@@L@@K@Lf@@@J3@@@I@@H@@G@|}@@{[@'"@@@@LsL0L/@@@a@@a@L}L|@@@aJL9@@@a@@a@@aI@@ఐLT7traverse_letrec_binding $@LX@@@LV@LTLS@@a@@a\@@ఐ#ctx%(@f@@i@@ )@@@LfLe@@an@@ఐҠ(bindings*2@@@L{@@l@@|@A@@@@ఐ͠#ctx 8: 8=@@@3@@@@@@@ఐ(bindings8?8G@ @@LT@a@@@@@⠠@ @@a@( @@@ @@@ A@@L@L@Lݠ@L@@a@@a@@aT@a@@@4CC@LԠL԰LL@LL@@L@L@L@LL@@A@@A@@A@@A3>==>>>>>@M@@@࣠@)outer_ctxUAOIbPIk@bA@@L3NMMNNNNN@M@@@@@@)inner_ctxVA^Il_Iu@qA@@L3]\\]]]]]@ML@@@@@@@@#varWAoIvpIy@A@@M3nmmnnnnn@M@@@@@@@@#defXAIzI}@A@@M3~~@M@@@@@@@@ఐRӠ.find_candidate@QS@@@@@@aOR@@@a@@@a@@a3@ ,M0@#@$@@@@ఐ3#def@ @@M=@@ @@gR@@@b@@@b@Ġ$None@ @@@@{R@@@b @@@b 3@,@@@ @R@@@b@@@b@@@ภA@ఐ~#var@e@@Mz@@ఐN(traverse@N"@@@N @NN@@b(@@b'/@@ఐ)outer_ctx @@@M<@@ఐ#def@r@@MI@@"@@N9J@@>@@MT@b/M@ภܰ"FA@GA@NT@b@@@b"Z@b4]@@-Q@@M_@Ġ$Some89@5ఠ$lfunYAB@TA@@Sp@@@b@@@@@Sw@@@b@@@b@@S~@@@b@@@b@@@@ఠ)functionsZab@tA@@MT@c9T@b^T@bvT@b53gffggggg@1*@+@,@@@ఐMޠ0make_dps_variantxy@M@@@M@M@M@M@@@b;M@@b:@@b9@@b8@@b7@@ఐ$#var@ @@N!'@@ఐB)inner_ctx@*@@N14@@ఐ^)outer_ctx@H@@NAA@@ఐv$lfun @K@@N@@@bI\@bK\@bJU@@J @@NV@A@ @@డQ$List#map$*$.@ $/$2@@\@@@@N.T@bcZ@bRNT@bkZ@bP@@bS@\ @@@bQ\ @@@bO@@bN@@bM3@@@@@@@࣠@]A@ఠ#var[$9$<@A@@NZ@ba3@@@@@ఠ$lfun\$>$B@'A@@N_T@bpZ@bb@@$8$C@@@@ @@be@@ @@@ఐ-#var2$G3$J@,@-@.@@-310011111@I8)"@#@$@@@@ภ)LfunctionB$LC$U@TYఐ8$lfunL$VM$Z@@@7@@@@@@@bo@@"@@@O@ @@br$@[$3\$[@@@@@b_[@bu[@btX@@ఐ )functionsm$\n$e@~@@ @@@@OLT@b]h@@@N@@@Au@@N@( A@@O@O@O @O O @@b@@b@@b@@bT@b.@@@II@O O NN@NN@@O@OO@@A@@A3@O@@@࣠@#ctx^Agg@A@@O3@O@@@@@@eAঠ"idggAఠ_@A@ @@@b3@O&O5@@@@@#defggA'ఠ`@A@T@@@b@@@gg@@OE@@@@ఐ#def@@@@@U @@@b@b3@196@8@7& @@@$attr@Tǰ@@T@@@b@b@-tmc_candidate@Tx @@g@@@bV@b@@ఠ)functionsa  @A@@W@b3        @+@@@ఐO0make_dps_variant@O@@@O@O@O@O~@@@bO|@@b@@b@@b@@b@@ఐ"id23@L@@P&T@c '@@ఐ#ctxAB@@@O4@@ఐ#ctxNO@@@OA@@ఐ#def[\@@@O@@@cX@c X@c U@@L @@OV@A@g @@డ$List#mapuv@ yz@@]@@@@OP(T@c,V@c@@c@]O@@@c] @@@c@@c@@c 3@@@@@@@࣠@}dA@ఠ"idb@A@@O3@@@@@ఠ#defc @A@@O @@ @@@P@P@@c%@@ @@ຠ7"idAఐ. @P@+@,@P3@F5(P@"@#@@@>#defAఐ4 @@P*@@@@@g@@@@P@p@@cW@c8W@c7H@@ఐ)functions$@l@@o@@@@PvT@cX@@@@ภ),2 ,\Aຠ"id,4,6Aఐj @4@@@@cDV@cE@#def',8(,;@ఐQE2traverse_lfunction2,>3,P@QI@@@QG@QDQ?@@cN@@cM)@@ఐ#ctxC,QD,T@@@P6@@ఐ#defP,UQ,X@t@@Q^W@cUE@@$@@Q\F@@@OW,Z@@PT@c;J@ภ`,[XA@YA@ˠ@@@c?V@c[X@@i,0a@@PT@c>\@me@@o^@fA@@P@PP@@cc@@cbT@c`@@@vggn@PPPP@PP@@P@P@P@P@@@AP@@A@@A@@A@@A3@Q@@@࣠@#varfA^s^v@A@@P3@Q@@@@@@)inner_ctxgA^w^@A@@Q3@QQ @@@@@@@@)outer_ctxhA^^@A@@Q3@Q@@@@@@@@$lfuniA@^^@@Q @@@c3@ Q*@@@@@  @AQ,@@@cY@cгQ3^^@@@@@c@@^^@@@Q@@@@c@@@@@ఠ'specialj@ A@@Yh@@@cY@c3@5C;@>@2@@@డ#Map$find%Ident@ @@@ @4 @@@U@@@c@S"0Y@c@@@c@@c@@c.@@ఐ#var78@@@Q;@@ఐ)inner_ctxFG@@@QJ@+specializedMN@S @@YĠW@@@cU@@B@@+V@A@V @@@ఠ*fun_choicekab@tA@@RY@c3a``aaaaa@hvo@p@q@@@ఐR&choicers@R@@@R@RR@@c@@c@@ఐҠ)outer_ctx@@@Q @@ఐР$lfun @@@W@@@c@c4@$body@W?@@SZ@c=@S ภ @@@@SZ@cJ@@?@@SK@A@@@ డC!=9:@@!a@@}@@@'@@&@@%&%equalBA@@@@yy@@Q@@@@u;u:@@@c@@@cY@c@ @@@c@@c@@c3@@@@@@@ఐ*fun_choice'@@@@&Choice(.@)tmc_calls/8@@1-@@-!@@ภ);=@@@@:Y@c.@@ @@@@@cZ@c4@డ@-prerr_warning(Location*CG+CO@ .CP/C]@@4@@@4@@@c@4@@@c4@@@c@@c@@cV@@డ/Scoped_location+to_location)DebuginfoS^eT^n@ W^oX^~@@\^]^@ @4| @@@4|@@@d4u@@@d@@d@@ఐ$lfunt^u^@u@@X@@@d@d@#loc^^@X@@@@@d@@^d^@@4@@@d@d[@d@@ภ(Warnings@4Unused_tmc_attribute@@;4Unused_tmc_attribute4g@@@V[n@A4_x 4`x6@@@4gU@@ @@5 @@@cZ@d@@@@4^@@@dY@dZ@c@@@@ @@ఠ&directl@A@@X@@@dvY@d 3@@@@@ঠ$kindAXఠm@A@X@@@d%@¶msAXఠn@A@X@X@@@d-@r@@@d.@@d,@@@d+6@&return  AXఠo@!A@@@@d1G@$body@X@@@V@@@d4V@$attr)*AYఠp@AA@Y@@@d7g@#loc:;AXఠq@RA@@@@d:x@@@FG@@Ys@@@d;~@ఐ$lfunRS@S@@Y@@@d=Z@d<@A@[ @@@ఠ$bodyrf g @yA@@TT@eT@dyT@dZ@d>3mllmmmmm@@@@@mj@l@kNK@M@L>;@=@<@@@డwd&direct&Choice  @   %@@$3@@@T+T@dA@@@dB@@d@'@@ఐB*fun_choice & 0@@@A4@@@@5@A@  @@డ*lfunction'484B@$kindY@@@¶msW@o!t@@@ꠠ@C@@@@@@@@&returnK@@@$body@@@$attrY@@@#locy@@@Z@@@@@@@@@@@@@@@@5566@@eK@FE@@CY@@@dYA?@>@@@dW@~@@@dX@@dV@@@dU;@@@dT9L@@@dS7Y@@@dR5@@@dQZN@@@dP@@dO@@dN@@dM@@dL@@dK@@dJ3!  !!!!!@@@@@@tఐQ$kind34D44H@@@Z@@@dZ@dZ@d@ఐT¶msG4JH4P@а@@@@@@d}@@@@d~@@d|@@@d{Z@dZ@d8@ఐW&returnh4Ri4X@@@@@@dzZ@dZ@dL@ఐ$body|4Z}4^@V@@Y@ఐX$attr4`4d@@@Zc@@@dxZ@dZ@dm@ఐ[#loc4f4i@#@@0@@@dwZ@dZ@d@@ @@@ @@7@O @@@A@@@@ఠ#dpssmsmv@A@@Z@@@eY@d3@@@@@@@ఠ)dst_paramtyy@A@@@@@dZ@d@@@dZ@d@ະ-#var@డ,create_local%Ident@ @@Ӱ@@@@@@d@@@d@@dD@@#dst  @@@@@@@d[@d[@dX@@% @@@@@d[@d^@f&offset#$@డ,create_local%Ident23@ 67@@@@@@@@d7@@@d@@d@@&offsetJK@@MN@@)@@@d[@d[@d@@% @@@#loc]^@ఐ$lfunhi@i@@[@@@d@d@#loctu@[ @@@@@d@@@{y|@@@A@~y}@@@ఠ#dstu @A@@ܠ@@@dZ@d@@@dZ@d3@@@@@@ະ^@@@dZ@d@&offset%@ภ&Offset(.@ภ$Lvar04@kఐ)dst_param5>@0@@{@@@dZ@dZ@d@@@dZ@d@@&offset?E@&@@G@@/F@@@@@dZ@dO@@5@@VZ@dR@2@@@dZ@d@@ఐ-)dst_param@a@@M@@@dZ@d@@@dZ@dZ@dq@  H@@t@A@ @@డ2duplicate_function&LambdaLPLV@ LW Li@@@\P@@@ E\S@@@ D@@ C@===>@@X@@@@\]@@@e\`@@@e@@d332233333@@@@@@@డJ*lfunction'GLmHLw@@@\@@@e@@@@e@@@@e@@e@@@e@@@e@@@e\@@@@e@@@e\@@@e@@e@@e@@e @@e @@e @@e @@Ðภ'Curried@;'Curried\P@@@$@@@@B@@AA!D!YB!D!`@@@@@  @@\[@@@e?[@eC[@אఐ?.add_dst_params@ǰ@@@:9@@@eM@@@eL@@p@@@eI@,@@@eJ@@eH@@@eK%@@@eG@@eF@@eE@@ఐ)dst_param@3@@hg@@@ea@@@e`\@ed\@eb@@ఐ#$lfun@@@]@@@el@eg@¶ms@\@@_@;@@@e=@{@@@e>@@e<[@er\@e\@@@e_\@em\@eh@@ @@S@@@e;[@eq\@e[@Cఐa$lfun#$@$@@]S@@@ex@ev@&return/0!@\ٰ@@@@@e:[@ey[@ew@^డ{##dps&ChoiceI"/J"5@ M"6N"9@@'<@@@XX@@@e@@@evP~s@@@evH~p~o@@@e@@@e'<@@@e~@@e}@@e|@@e{3@@ఐ*fun_choiceu"Nv"X@@@@@vnภm"@"D@l@@@~@@@e\@eP@vqఐ #dst"J"M@Z@@~~@@@e@@@e\@e\@eh@@"."Y@@@@@e9@e\@er@Ȑఐ$lfunZfZj@@@]@@@e@e@$attrZkZo@]@@]@@@e8[@e[@e@ఐ$lfunp{p@ٰ@@^@@@e@e@#locpp@]|@@w@@@e7[@e[@e@@ @@^@@@e@e[@e6@@@@;@@@<`@{@@=:@A@mo@@@ఠ'dps_varv@A@@`@@@eY@e3      @P^W@X@Y@@@ఐ$'special@@@Z@@@e@e@&dps_id&'@Z@@@A@*@@ภQ01A@ఐ#var>@@@X3;::;;;;;@3A:@;@<@@@@ఐ&directLM@@@XX@e@@"@@XT@e@ภ{Z*A:@ఐb'dps_var g@&@@YZT@e+@@ఐ#dpstu@f@@XX@e9@@ @@XT@e<@ภ< QA;@RA@XY@e@@@eX@eK@@2[A@XT@e@@@eX@eT@@e@@@@@eZ@qj@@@k@@@l@@@m@@@n@@ 9@Jo@@ @ pA@@Y@Y@Y@Y@@@eY@@e@@e@@e@@eT@e@@@^^@XXXX@XX@@X@XX@@A@@A3@Z@@@࣠@#ctxwA@A@@X3@Z@@@@@@%termsxA@A@@Y 3@ZY@@@@@@@@డk$List#map@ @@g/@@@@Y#YV@e@@f@g)Y*@@@fg( @@@e@@e@@e3@+7Y7@.@/@@@@ఐZ9(traverse@Z=@@@Z;@Z:Z9@@f@@f@@ఐ`#ctx#$@J@@YZ#@@'(@@@ZLZK@@f(@@ఐc%terms56@2@@Yi5@@N@@YbT@f 8@vA@@Yt@YsYk@@f#@@f"T@f x@@@C@@F@Z@ఠ'rewriteyP  Q @cA@@@@@@f`T@f%@@@f_T@f&@@f'T@f$3]\\]]]]]@Z@@@࣠@!t{An o @A@@3mllmmmmm@Z'v  wJZ@@@@@  @@@ఠ#ctx|"@A@@^h@@@f/V@f*3@(8@@ @@@ຐ[ơ+specialized'2@డX#Map%empty%Ident5:@ ;>@@?D@ @[!a@5@@@5@[@[E@ @@[b4@@@f3V@f=V@f;@@@f:?@@@%F@@GB@A@@@ఐ[(traverseJLJT@[@@@^@@@fU@@@@fT@@@fS@@fR@@fQ3@^le@f@g@@@@ఐs#ctxJUJX@ @@^@@@faV@fcV@fb@@ఐ!t JY@}@@#@@4@@$@?@@@A@T@ff@A@@@%StyleT\c\h@0AAР$Misc%Style$Misc-\k.\o@ 1\p2\u@@@310011111@[s@@@@@@:\\ @ @@ĠFw{Gw}@@@@@@@@i_3GFFGGGGG@6A.@1@@@డs5register_error_of_exn(Location]^@ ab@@@@#exnG@@@ &optionL<%error@@@ @@@ @@ <@@@ @@ @<y44<y44@@<_@'"@@@@@@@if@@@ie@@@id@@ic@@@ib@@ia3@I@@@@@Ġ%Error@/?ఠ#loc̠@A@@@@@i}3@h@@@Ġ?Ambiguous_constructor_arguments@/ ঠ(explicit @0Ġ@@@@@@@@i @)arguments A0$ఠ͠@A@@@@i@@@i5@@@"@@@@@@iY@i=@@@6@@ @@@iA@@@R#@@@@@iF@@@@ఠ)print_msgР'5'>@A@@@*Format_doc)formatter@@@lY@i$unitF@@@sY@i@@iY@i3@zs@t@uFC@E@D@@@࣠@#ppfA0'?1'B@CA@@(3/../////@58'19Fy@@@@@  @@డ*Format_doc'fprintf*Format_docKEQLE[@ OE\PEc@@@G@@@k$@&Stdlib&format!a@jY@@@k"S@@@k#@@@k!@@k @@k@4utils/format_doc.mliQ@@by@+&@@@j@@@l @#@*Format_doc'printer&stringQ@@@s@@@sZ@lxZ@l@ Z@l@@@@s@@@sZ@oZ@l @ Z@l#@2-@@@s@@sZ@qZ@l&@ Z@l)Z@l*@@l+Z@l'@@l(Z@l$@@l%Z@l!@@l"Z@l@@lZ@l@@lZ@l@@@l h@@@l @@@lW@@l@@l3@@@@@@@ఐ#ppfEdEg@ @@@@ภ°hvAภ̠%Alpha ;%Alphao@@!b@@!x@!c@@@@@@ !a@@@@@ !d@!e@!f@@@@@+"@@@@AOAYAA''(.(j@@@o@ภ,Char_literalS;,Char_literal!a@!b@!c@!d@!e@!f@@@@@$charB@@@ߠ)%!@@@@BLAYAA%%%%@@@l@z@@@@l[@l[@l@ภ.`.Formatting_litb;.Formatting_lit!a@&!b@'!c@(!d@)!e@*!f@+@@@@L.formatting_lit@@@ +($ @@@!@BQAYAA")()(#))@@@[q@ภo%Break;%Break@@@K@<@@@E@@@F@@@G@C@GC@AD|  E|  9@@@}@@"@ @@@@@l[@l[@l @A @"@@@l[@l[@l+@@@(@@@l[@l[@l6@@@Z@@@l[@l;@ภj)i$this.@.@N@@@l[@l[@lO@ภ=ภeEdKI@I@f@@@l[@l[@lj@AT@l@@@l[@l[@lu@@_@r@@@l[@l[@l@@f@@@@l[@l@ภ45s+constructorx@x@@@@l[@l[@l@ภHIภPQ@@@@@m[@m[@m@A@@@@m[@m[@m@@@@@@m[@m [@m@@@@@@l[@m@ภL~+application@@@@@m[@m[@m@ภ`21ภh@@@@@m/[@m3[@m2@A@@@@m0[@m5[@m4 @@@@@@m1[@m7[@m6@@@8@@@m&[@m.@ภȠHG#may @ @,@@@mD[@mG[@mF-@ภܠ|{ภC#B)'@'@D@@@m][@ma[@m`H@A2@J@@@m^[@mc[@mbS@@=@P@@@m_[@me[@md^@@D@@@@mT[@m\c@ภQ"beV@V@v@@@mr[@mu[@mtw@ภ&'eŠภ./msq@q@@@@m[@m[@m@A|@@@@m[@m[@m@@@@@@m[@m[@m@@@@@@m[@m@ภ*\]۠/TMC-transformed@@@@@m[@m[@m@ภ>pqภFxy֠@@@@@m[@m[@m@A@@@@m[@m[@m@@@@@@m[@m[@m@@@@@@m[@m@ภt&%"in@@ @@@m[@m[@m @ภZYภ ! @@"@@@m[@m[@m&@A@(@@@m[@m[@m1@@@.@@@m[@m[@m<@@"@`@@@m[@mA@ภp/o'several4@4@T@@@m[@m[@mU@ภCภ k KjQO@O@l@@@n[@n[@np@AZ@r@@@n[@n[@n{@@e@x@@@n[@n[@n@@l@@@@n [@n@ภ:;y)different~@~@@@@n*[@n-[@n,@ภNOภ$VW@@@@@nC[@nG[@nF@A@@@@nD[@nI[@nH@@@@@@nE[@nK[@nJ@@@@@@n:[@nB@ภR%ways.@@@@@nX[@n[[@nZ@ภf87ภn@@@@@nq[@nu[@nt@A@@@@nr[@nw[@nv@@@ @@@ns[@ny[@nx@@@>@@@nh[@np@ภΠN M&Please@@2@@@n[@n[@n3@ภ!ภI)H/-@-@J@@@n[@n[@nN@A8@P@@@n[@n[@nY@@C@V@@@n[@n[@nd@@J@@@@n[@ni@ภW,disambiguate\@\@|@@@n[@n[@n}@ภ,-kˠภ45syw@w@@@@n[@n[@n@A@@@@n[@n[@n@@@@@@n[@n[@n@@@@@@n[@n@ภ0bc"by@@@@@n[@n[@n@ภDvwภL~ܠ@@@@@n[@n[@n@A@@@@n[@o[@o@@@@@@n[@o[@o@@@@@@n[@n@ภz,+&adding@@@@@o[@o[@o@ภ`_ภȠ'&  @ @(@@@o)[@o-[@o,,@A@.@@@o*[@o/[@o.7@@!@4@@@o+[@o1[@o0B@@(@f@@@o [@o(G@ภv5u"an:@:@Z@@@o>[@oA[@o@[@ภ  IภqQpWU@U@r@@@oW[@o[[@oZv@A`@x@@@oX[@o][@o\@@k@~@@@oY[@o_[@o^@@r@@@@oN[@oV@ภ@A(explicit@@@@@ol[@oo[@on@ภ"TUภ*\]@@@@@o[@o[@o@A@@@@o[@o[@o@@@@@@o[@o[@o@@@@@@o|[@o@ภXภ`* attribute@@@@@o[@o[@o@ภtFEภ|  @@@@@o[@o[@o@A@@@@o[@o[@o@@@@@@o[@o[@o(@@@L@@@o[@o-@ภܠ\["to @ @@@@@o[@o[@oA@ภ/ภW7V=;@;@X@@@o[@o[@o\@AF@^@@@o[@p[@og@@Q@d@@@o[@p[@pr@@X@@@@o[@ow@ภ&'e#thej@j@@@@p[@p[@p@ภ:;y٠ภBC@@@@@p([@p,[@p+@A@@@@p)[@p.[@p-@@@@@@p*[@p0[@p/@@@@@@p[@p'@ภ>pq$call@@@@@p=[@p@[@p?@ภR$#ภZ@@@@@pV[@pZ[@pY@A@@@@pW[@p\[@p[@@@@@@pX[@p^[@p]@@@*@@@pM[@pU @ภ:9$that@@@@@pk[@pn[@pm@ภΠn mภ֠54@@6@@@p[@p[@p:@A$@<@@@p[@p[@pE@@/@B@@@p[@p[@pP@@6@t@@@p{[@pU@ภC&shouldH@H@h@@@p[@p[@pi@ภWภ !_~ec@c@@@@p[@p[@p@An@@@@p[@p[@p@@y@@@@p[@p[@p@@@@@@p[@p@ภNO͠"be@@@@@p[@p[@p@ภ0bcภ8jkȠ@@@@@p[@p[@p@A@@@@p[@p[@p@@@@@@p[@p[@p@@@@@@p[@p@ภf$made@@@@@p[@p[@p@ภzLKภ@@@@@q[@q[@q@A@@@@q[@q[@q#@@ @ @@@q[@q[@q.@@@R@@@q[@q 3@ภb!a/tail-recursive,&@&@F@@@q#[@q&[@q%G@ภ5ภ]=\CA@A@^@@@q<[@q@[@q?b@AL@d@@@q=[@qB[@qAm@@W@j@@@q>[@qD[@qCx@@^@@@@q3[@q;}@ภ,-k"orp@p@@@@qQ[@qT[@qS@ภ@AߠภHI@@@@@qj[@qn[@qm@A@@@@qk[@qp[@qo@@@@@@ql[@qr[@qq@@@@@@qa[@qi@ภDvcwba@F@@@q[@q[@q@ภW)(ภ_@@@@@q[@q[@q@A@@@@q[@q[@q @@@@@@q[@q[@q @@@/@@@q[@q @ภภǠG F* attribute @ @+@@@q[@q[@q ,@ภ۠{ zภB "A( &@ &@C@@@q[@q[@q G@A 1@I@@@q[@q[@q R@@ <@O@@@q[@q[@q ]@@ C@@@@q[@q b@ภ P"on U@ U@u@@@q[@q[@q v@ภ%& dĠภ-. lr p@ p@@@@r [@r[@r @A {@@@@r[@r[@r @@ @@@@r[@r[@r @@ @@@@r[@r  @ภ)[\ ڠ%calls @ @@@@r"[@r%[@r$ @ภ=o p  ภEwx ՠ @ @@@@r;[@r?[@r> @A @@@@r<[@rA[@r@ @@ @@@@r=[@rC[@rB @@ @ @@@r2[@r: @ภs% $$that @ @ @@@rP[@rS[@rR @ภ Y  Xภ     @ @ !@@@ri[@rm[@rl %@A @ '@@@rj[@ro[@rn 0@@ @ -@@@rk[@rq[@rp ;@@ !@ _@@@r`[@rh @@ภo .n&should 3@ 3@S@@@r~[@r[@r T@ภ  B ภ  j  J i P N@ N@ k@@@r[@r[@r o@A Y@ q@@@r[@r[@r z@@ d@ w@@@r[@r[@r @@ k@ @@@r[@r @ภ9: x#not }@ }@@@@r[@r[@r @ภM N  ภ#U V    @ @ @@@r[@r[@r @A @ @@@r[@r[@r @@ @ @@@r[@r[@r @@ @ @@@r[@r @ภQ "be @ @@@@r[@r[@r @ภe 7  6ภm     @ @ @@@r[@r[@r @A @ @@@r[@r[@r @@ @ @@@r[@r[@r @@ @ =@@@r[@r @ภ͠M L,transformed. @ @1@@@s[@s [@s  2@ภ  @ @ ZZ@sZ@sZ@lZ@lbZ@lt\@r @ @sZ@sZ@sZ@lZ@laZ@ls\@r\@r \@s#\@s&\@s@@@s [@s h@@ N@.\@rߠ$\@r3\@r6\@r9\@r<\@r@@@r[@s ~@@ d@ǠD\@rϠ:\@rРI\@rѠL\@rҠO\@rӠR\@r@@@r[@r @@ z@ݠZ\@rP\@r_\@rb\@re\@rh\@r@@@r[@r @@ @p\@rf\@ru\@rx\@r{\@r~\@r@@@r[@r @@ @ \@r|\@r\@r\@r\@r\@r@@@r[@r @@ @\@rs\@rt\@ru\@rv\@rw\@rx@@@r[@r @@ @5\@rU\@rV\@rW\@rX\@rY\@rZ@@@ra[@r} @@ @K\@rE\@rF\@rG\@rH\@rI\@rJ@@@rQ[@r_ @@ @a\@r'\@r(\@r)\@r*\@r+\@r,@@@r3[@rO .@@ @w\@r\@r\@r\@r\@r\@r@@@r#[@r1 D@@ *@ \@q\@q\@q\@q\@q\@q@@@r[@r! Z@@ @@ \@q\@q%\@q(\@q+\@q.\@q@@@q[@r p@@ V@6\@qˠ,\@q̠;\@q͠>\@qΠA\@qϠD\@q@@@q[@q @@ l@ϠL\@qB\@qQ\@qT\@qW\@qZ\@q@@@q[@q @@ @bZ@qPZ@q^Z@qh\@qk\@qn\@q@@@q[@q @@ @ \@qm\@q|\@q\@q\@q\@q@@@q[@q @@ @ \@qt\@qu\@qv\@qw\@qx\@qy@@@q[@q @@ @' \@qV\@qW\@qX\@qY\@qZ\@q[@@@qb[@q~ @@ @> \@qF\@qG\@qH\@qI\@qJ\@qK@@@qR[@q` @@ @U 6\@q(\@q)\@q*\@q+\@q,\@q-@@@q4[@qP #@@ @l M\@q\@q\@q\@q\@q\@q@@@q$[@q2 :@@ @ d\@p\@p\@p \@p \@p\@p@@@q[@q" Q@@ 7@ {\@p\@p\@p \@p#\@p&\@p@@@p[@q h@@ N@ \@p̠%\@p͠4\@pΠ7\@pϠ:\@pР=\@p@@@p[@p @@ e@Ƞ \@p<\@pK\@pN\@pQ\@pT\@p@@@p[@p @@ |@ߠ \@pS\@pb\@pe\@ph\@pk\@p@@@p[@p @@ @ \@pj\@py\@p|\@p\@p\@p@@@p[@p @@ @  \@pp\@pq\@pr\@ps\@pt\@pu@@@p|[@p @@ @$\@p`\@pa\@pb\@pc\@pd\@pe@@@pl[@pz @@ @;\@pB\@pC\@pD\@pE\@pF\@pG@@@pN[@pj @@ @R3\@p2\@p3\@p4\@p5\@p6\@p7@@@p>[@pL @@@iJ\@p\@p\@p\@p\@p\@p@@@p [@p<7@@@a\@p\@p\@p\@p \@p \@p @@@p[@pN@@4@x\@o \@o\@o\@o \@o#\@o@@@o[@pe@@K@\@o֠"\@oנ1\@oؠ4\@o٠7\@oڠ:\@o@@@o[@o|@@b@Š\@o9\@oH\@oK\@oN\@oQ\@o@@@o[@o@@y@ܠ\@oP\@o_\@ob\@oe\@oh\@o@@@o[@o@@@Z@oaZ@ooZ@ow\@oz\@o}\@o@@@o[@o@@@\@oq|\@or\@os\@ot\@ou\@ov@@@o}[@o@@@\@oa\@ob\@oc\@od\@oe\@of@@@om[@o{@@@6,\@oC\@oD\@oE\@oF\@oG\@oH@@@oO[@ok@@@MC\@o3\@o4\@o5\@o6\@o7\@o8@@@o?[@oM@@@dZ\@o\@o\@o\@o\@o\@o@@@o![@o=2@@@{q\@o\@o\@o\@o\@o \@o @@@o[@oI@@/@\@n\@n\@n\@n\@n\@n@@@n[@o`@@F@\@nנ\@nؠ,\@n٠/\@nڠ2\@n۠5\@n@@@n[@nw@@]@\@n4\@nC\@nF\@nI\@nL\@n@@@n[@n@@t@נ\@nK\@nZ\@n]\@n`\@nc\@n@@@n[@n@@@\@nb\@nq\@nt\@nw\@nz\@n@@@n[@n@@@\@n{y\@n|\@n}\@n~\@n\@n@@@n[@n@@@\@n]\@n^\@n_\@n`\@na\@nb@@@ni[@n@@@3)\@nM\@nN\@nO\@nP\@nQ\@nR@@@nY[@ng@@@J@\@n/\@n0\@n1\@n2\@n3\@n4@@@n;[@nW@@@aW\@n\@n \@n!\@n"\@n#\@n$@@@n+[@n9/@@@xn\@n\@n\@n\@n\@n\@n@@@n [@n)F@@,@\@m\@m\@m\@m\@m\@m@@@m[@n ]@@C@\@mӠ\@mԠ)\@mՠ,\@m֠/\@mנ2\@m@@@m[@mt@@Z@\@mà1\@mĠ@\@mŠC\@mƠF\@mǠI\@m@@@m[@m@@q@Ԡ\@mH\@mW\@mZ\@m]\@m`\@m@@@m[@m@@@\@m_\@mn\@mq\@mt\@mw\@m@@@m[@m@@@\@mwv\@mx\@my\@mz\@m{\@m|@@@m[@m@@@\@mg\@mh\@mi\@mj\@mk\@ml@@@ms[@m@@@0&\@mI\@mJ\@mK\@mL\@mM\@mN@@@mU[@mq@@@G=\@m9\@m:\@m;\@m<\@m=\@m>@@@mE[@mS@@@^T\@m\@m\@m\@m\@m\@m @@@m'[@mC,@@@uk\@m \@m \@m \@m\@m\@m@@@m[@m%C@@)@\@l\@l\@l\@l\@l\@l@@@l[@mZ@@@@\@lݠ\@lޠ&\@lߠ)\@l,\@l/\@l@@@l[@lq@@W@\@l.\@l=\@l@\@l C\@làF\@l@@@l[@l@@n@Ѡ\@lE\@lT\@lW\@lZ\@l]\@l@@@l[@l@@@\@l\\@lk\@ln\@lq\@lt\@l@@@l[@l@@@\@ls\@l\@l\@l\@l\@l@@@l[@l@@@ Z@lhZ@lmZ@ll\@ln\@lo\@lp@@@l[@l@@@(;\@lA@@@lc[@lz@ %a:@ this@ constructor@ application@ may@ be@ TMC-transformed@ in@ several@ different@ ways.@ Please@ disambiguate@ by@ adding@ an@ explicit@ %a attribute@ to@ the@ call@ that@ should@ be@ made@ tail-recursive,@ or@ a@ %a attribute@ on@ calls@ that@ should@ not@ be@ transformed.@@0@@@ld[@s[@s@@@@xU@@@l[@l`@@డ+inline_code%Style@ @@fa@@@sv@@@su@.utils/misc.mli,QQ ,QQ3@@$Misc@@@t%@@0[@tail_mod_cons]@@@@{[@s4@@డ+inline_code%Style&+@ ,7@@3@@|J@@+[@tailcall])9*D@@,8-E@@[@sY@@డ+inline_code%Style>FT?FY@ BFZCFe@@X@@o@@1[@tailcall false]NFgOFx@@QFf@@[@s}@@ @@~@&A@NY@s$@A@!@@ఠ&submgsbc@uA@@|P#msg@@@t@@@t~Y@s3lkklllll@Rsl@m@n@@@@ఠ#sub~@ǑA@@@@@@sZ@s#@@@sZ@s@@sZ@s @࣠@$info!A@ǜǝ@@@@@s3ǜǛǛǜǜǜǜǜ@1(ǥǦ[@@@@  @ǺA"г%4tmc_call_informationdzǴ@@-@@@s@@Ǻǻ@@@4@@@@@ఠ#loc"@A@@P@@@s\@s3@1>6@9@+@@@డx/Scoped_location+to_location)Debuginfo@ @@@ @Q @@@Q@@@sQ@@@s@@s)@@ఐm$info@5@@K@@@s@s=@#loc@Kɰ@@Ƃ@@@sG@@4@@KH@A@@@డ>#msg(Location(*)2@ ,3-6@@#locŠQ@@@ @@@ @&Stdlib'format4!a@ ʠ*Format_doc)formatter@@@ Q@@@ @@@ @@@ @@ @@ @Q e eQ e @@Qn@:5@@20Q@@@s@@@s@/[@sǠ(@@@sɠ#@@@sʠ@@@s@@@s@@s@@s3zyyzzzzz@@@@@@Rภ$Some[ఐʠ#locȒ8ȓ;@@@R@@@s\@s\@s@@@ @@@s"@@ภI{H|Ȭ<AFภSȅȆ =This call could be annotated.@@@@@t'\@t*\@t)B@ภgșȚ@@;b[@t[@t&]@t@@@s\@t\@t$@@@s\@t\@t% @@@t(\@t5h@@<@Y]@s @@@t\@t#t@>L@L@_@@@t\@t9\@t8@@SY@@à-&y@@@s\@t@@c@@@d@@9@QeA@Z@tIl@A@i@డǜ$List#map@  !@@~`@@@@@@@tv[@t\@@@tu[@tZ@@t]@~b@@@t[~a@@@tY@@tX@@tW376677777@@@@@@@ఐˠ#subIJ@ @@@@@@ts@@@tr@@tq@@9 @@@~2@@@th~1@@@tg@@tf#@@డ$List'flattenop@ st@@@}!a@}@@@@@@ @@@ @@ @VW5@@UR@"@@@@@@tZ@tZ@tZ@t@@@t@@@t@@@t@@tl@@డ:$List#mapɺuɻu@ ɾuɿu@@~@@@@F`@@@t]@t@@@t@@@t]@t@@t@@@@t@@@t@@t@@t@@࣠@!t#Auu@A@@*3@@@@@@@ఐ!tuu@9@@@@:3@@@@)tmc_callsuu@F @@< @ u u@@@LG@@t^@t^@t"@@Y@@@CR@@@tBQ@@@t@@t-@@ఐE)arguments'_k(_t@@@\F@@@t@@@t\@t\@tE@@+@@@@@t@@@t[@t\@tR@@@@u@@@tZ@t[@t[@@%@@\@@@@A@N@@ภ$SomeU V @Rడ{&errorf(Locatione f @ i j @@#loc=S@@@ @@@ #subH$listK@@@ @@@ @@@ (footnoteZS+delayed_msg@@@ @@@ @['format4!a@ X)formatter@@@ T@@@ :@@@ @@@ @@ @@ @@ @@ @Tg11Th12@@T[@SN@@KT%@@@t@@@tIG^@@@t@@@t@@@tDB@@@t@@@t@@@@C@@@u X@u[A@@@uX@uZ@@ufX@u}@@@tX@uX@u@@uX@tT@@@tQ@@@t@@@t@@@t'@@t@@t@@t@@t3@@@@@@ภఐh#loc    @@@T@@@uY@uY@u@@@ @@@u @ภ%ఐР&submgs2 3 @/@@@@@u@@@uY@u!Y@u=@@ @@@@u#A@ภ$None@@@@@u%@@@u$P@@ภ-.^ _ Aภ8%Theta: ;%Theta۠@@!b@ !c@@@!a@@@  !d@!!e@"!f@#@@@@# @@@@APAYAA(k(k()@@@1p@ภEwxJ@J@X@uX@uSX@ujX@uXР̠X@uRZ@u\Z@u]@@@ukY@ut@@`@/Z@u5X@uQ@@@uTY@ug@"%ts@s@8@@@uUY@uvY@uu@@zy@@A.@@@u Y@uP@@ఐ砐)print_msg  (@z@@X@u@@  )@@@@@@@@@t@@@@@@@@@i@@@i@Ġ%Error  *2  *7@Gఠ#locΠ *9 *<@%A@@7@@@i@Ġ?Ambiguous_constructor_arguments  >M! >l@Gpঠ(explicit+ m, m@HzĠ2 m3 m@@@@@@@@i@)arguments> m? mAHఠϠ@VA@@@@i@@@i@@@N m~O m@@ɤ@@@iY@i@@@6@@n@@@i@@@QZ m@@@@@i@@@@ఠ)print_msg$h i @{A@@@d@@@uY@u_@@@}Y@u@@uY@u3wvvwwwww@2qj@k@l>;@=@<@@@࣠@#ppf&Ǎ ̍ @̟A@@ 3̋̊̊̋̋̋̋̋@-̔ ̕@@@@@  @@డ\'fprintf*Format_doc̥̦@ ̩̪@@Z@@@@@@u@Z@72@@@}@J@}Z@uZ@u@ Z@uVZ@u@@uZ@u@@uZ@u@@@ui@@@u@@@u!@@u@@u3@IUk@L@M@@@@ఐ\#ppf@ @@x@@ภ ðXAภ͠ ภՠz@@@@v [@v[@v 8@ภ&ภO.N52@2@P@@@v$[@v([@v'S@A=@V@@@v%[@v*[@v)^@@H@\@@@v&[@v,[@v+i@@O@@@@v[@v#n@ภ\$thisa@a@@@@v9[@v<[@v;@ภ23pѠภ:;x|@|@@@@vR[@vV[@vU@A@@@@vS[@vX[@vW@@@@@@vT[@vZ[@vY@@@@@@vI[@vQ@ภ6hi+constructor@@@@@vg[@vj[@vi@ภJ|}ภR̈́ͅ@@@@@v[@v[@v@A@@@@v[@v[@v@@@@@@v[@v[@v@@@"@@@vw[@v@ภͲ2ͳ1+application@@@@@v[@v[@v@ภƠfeภΠ- ,@@.@@@v[@v[@v1@A@4@@@v[@v[@v<@@&@:@@@v[@v[@vG@@-@l@@@v[@vL@ภ|:{#may?@?@`@@@v[@v[@v`@ภNภwVv]Z@Z@x@@@v[@v[@v{@Ae@~@@@v[@v[@v@@p@@@@v[@v[@v@@w@@@@v[@v@ภFGŠ"be@@@@@v[@v[@v@ภ(Z[ภ0bc@@@@@w [@w[@w @A@@@@w [@w[@w@@@@@@w [@w[@w@@@@@@w[@w @ภ^ΐΑ/TMC-transformed@@@@@w[@w"[@w!@ภrΤDΥCภzά έ @@ @@@w8[@w<[@w;@A@@@@w9[@w>[@w=@@@@@@w:[@w@[@w?%@@ @J@@@w/[@w7*@ภڠZY"in@@>@@@wM[@wP[@wO>@ภ,ภU4T;8@8@V@@@wf[@wj[@wiY@AC@\@@@wg[@wl[@wkd@@N@b@@@wh[@wn[@wmo@@U@@@@w][@wet@ภ$%b'severalg@g@@@@w{[@w~[@w}@ภ89vנภ@A~@@@@@w[@w[@w@A@@@@w[@w[@w@@@@@@w[@w[@w@@@@@@w[@w@ภ<no)different@@@@@w[@w[@w@ภPς"σ!ภXϊϋ@@@@@w[@w[@w@A@@@@w[@w[@w@@@@@@w[@w[@w@@@(@@@w[@w@ภϸ8Ϲ7%ways.@@@@@w[@w[@w@ภ̠l kภԠ32@@4@@@w[@w[@w7@A!@:@@@w[@w[@wB@@,@@@@@w[@w[@wM@@3@r@@@w[@wR@ภ@$OnlyE@E@f@@@x[@x[@xf@ภTภ}\|c`@`@~@@@x[@x"[@x!@Ak@@@@x[@x$[@x#@@v@@@@x [@x&[@x%@@}@@@@x[@x@ภLMˠ#one@@@@@x3[@x6[@x5@ภ.`aภ6hiƠ@@@@@xL[@xP[@xO@A@@@@xM[@xR[@xQ@@@@@@xN[@xT[@xS@@@@@@xC[@xK@ภdЖЗ"of@@@@@xa[@xd[@xc@ภxЪJЫIภвг@@@@@xz[@x~[@x}@A@@@@x{[@x[@x @@ @@@@x|[@x[@x+@@@P@@@xq[@xy0@ภ`_#the#@#@D@@@x[@x[@xD@ภ2ภ[:ZA>@>@\@@@x[@x[@x_@AI@b@@@x[@x[@xj@@T@h@@@x[@x[@xu@@[@@@@x[@xz@ภ*+h)argumentsm@m@@@@x[@x[@x@ภ >?|ݠภFG@@@@@x[@x[@x@A@@@@x[@x[@x@@@@@@x[@x[@x@@@@@@x[@x@ภBtu#may@@@@@x[@x[@x@ภVш(щ'ภ^ѐё@@@@@y[@y[@y@A@@@@y[@y [@y @@@@@@y[@y [@y  @@@.@@@x[@y@ภѾ>ѿ=&become@@"@@@y[@y[@y"@ภҠrqภڠ98@@:@@@y2[@y6[@y5=@A'@@@@@y3[@y8[@y7H@@2@F@@@y4[@y:[@y9S@@9@x@@@y)[@y1X@ภ FaJ@@@@yG[@yJ[@yIk@ภYภ#$ahe@e@@@@y`[@yd[@yc@Ap@@@@ya[@yf[@ye@@{@@@@yb[@yh[@yg@@@@@@yW[@y_@ภQRР#TMC@@@@@yu[@yx[@yw@ภ3efภ;mnˠ@@@@@y[@y[@y@A@@@@y[@y[@y@@@@@@y[@y[@y@@@ @@@y[@y@ภiқҜ%call,@@@@@y[@y[@y@ภ}үOҰNภҷҸ@@@@@y[@y[@y@A@@@@y[@y[@y%@@@#@@@y[@y[@y0@@@U@@@y[@y5@ภe#d#but(@(@I@@@y[@y[@yI@ภ7ภ`?_FC@C@a@@@y[@y[@yd@AN@g@@@y[@y[@yo@@Y@m@@@y[@y[@yz@@`@@@@y[@y@ภ/0m'severalr@r@@@@y[@z[@z@ภCDภKL@@@@@z[@z[@z@A@@@@z[@z[@z@@@@@@z[@z [@z@@@@@@z[@z@ภGyz)arguments@@@@@z-[@z0[@z/@ภ[Ӎ-ӎ,ภcӕӖ@@@@@zF[@zJ[@zI@A@@@@zG[@zL[@zK@@@@@@zH[@zN[@zM@@@3@@@z=[@zE@ภàCB'contain@@'@@@z[[@z^[@z]'@ภנwvภߠ>=$!@!@?@@@zt[@zx[@zwB@A,@E@@@zu[@zz[@zyM@@7@K@@@zv[@z|[@z{X@@>@}@@@zk[@zs]@ภ K%callsP@P@q@@@z[@z[@zq@ภ!"_ภ)*gnk@k@@@@z[@z[@z@Av@@@@z[@z[@z@@@@@@z[@z[@z@@@@@@z[@z@ภ%WX֠$that@@@@@z[@z[@z@ภ9k l ภAstѠ@@@@@z[@z[@z@A@@@@z[@z[@z@@@@@@z[@z[@z@@@@@@z[@z@ภoԡ!Ԣ #are@@@@@z[@z[@z@ภԵUԶTภԽԾ@@@@@z[@{[@{ @A @#@@@z[@{[@{+@@@)@@@{[@{[@{6@@@[@@@z[@z;@ภk)j*explicitly.@.@O@@@{[@{[@{O@ภ=ภfEeLI@I@g@@@{,[@{0[@{/j@AT@m@@@{-[@{2[@{1u@@_@s@@@{.[@{4[@{3@@f@@@@{#[@{+@ภ56s&markedx@x@@@@{A[@{D[@{C@ภIJภQR@@@@@{Z[@{^[@{]@A@@@@{[[@{`[@{_@@@@@@{\[@{b[@{a@@@@@@{Q[@{Y@ภMՀ"as@@@@@{o[@{r[@{q@ภaՓ 3Ք 2ภi՛՜@@@@@{[@{[@{@A@ @@@{[@{[@{ @@@ @@@{[@{[@{ @@@ 9@@@{[@{ @ภ—ɠI H/tail-recursive. @ @-@@@{[@{[@{ -@ภ«ݠ }  |ภ³ D # C * '@ '@ E@@@{[@{[@{ H@A 2@ K@@@{[@{[@{ S@@ =@ Q@@@{[@{[@{ ^@@ D@ @@@{[@{ c@ภ“ Q’&Please V@ V@w@@@{[@{[@{ w@ภ' ( e Ơภ/ 0 m  t q@ q@ @@@{[@{[@{ @A |@ @@@{[@{[@{ @@ @ @@@{[@{[@{ @@ @ @@@{[@{ @ภ+]^ ܠ#fix @ @@@@{[@{[@{ @ภ?q!r !ภGy z  נ  @ @ @@@|[@|[@| @A @ @@@|[@|[@| @@ @ @@@|[@|[@| @@ @!@@@| [@| @ภu֧'֨ &#the @ @ @@@|'[@|*[@|) @ภÉֻ![ּ !ZภÑà!" !!! @ @!#@@@|@[@|D[@|C &@A @!)@@@|A[@|F[@|E 1@@ @!/@@@|B[@|H[@|G <@@ "@!a@@@|7[@|? A@ภÿq /p(conflict 4@ 4@U@@@|U[@|X[@|W U@ภ! C!ภ !l K!k!R O@ O@!m@@@|n[@|r[@|q p@A Z@!s@@@|o[@|t[@|s {@@ e@!y@@@|p[@|v[@|u @@ l@!@@@|e[@|m @ภ ;û< yú"by ~@ ~@ß@@@|[@|[@| @ภO!P !ภ%W!X !! @ @!@@@|[@|[@| @A @!@@@|[@|[@| @@ @!@@@|[@|[@| @@ @!@@@|[@| @ภSׅ׆ )reviewing @ @@@@|[@|[@| @ภgי"9ך "8ภoס"ע !! @ @"@@@|[@|[@| @A @"@@@|[@|[@| @@ @" @@@|[@|[@| @@ @"?@@@|[@| @ภĝϠO N#and @ @3@@@|[@|[@| 3@ภı" !"ภĹ"J )"I"0 -@ -@"K@@@|[@|[@| N@A 8@"Q@@@|[@|[@| Y@@ C@"W@@@|[@}[@| d@@ J@"@@@|[@| i@ภę WĘ&fixing \@ \@}@@@} [@}[@} }@ภ-". k"̠ภ5"6 s""z w@ w@"@@@}&[@}*[@}) @A @"@@@}'[@},[@}+ @@ @"@@@}([@}.[@}- @@ @"@@@}[@}% @ภ1cd #the @ @@@@};[@}>[@}= @ภEw#x #ภM"؀ "ݠ" @ @"@@@}T[@}X[@}W @A @"@@@}U[@}Z[@}Y @@ @"@@@}V[@}\[@}[ @@ @#@@@}K[@}S @ภ{ح-خ ,+conflicting @ @@@@}i[@}l[@}k @ภŏ#a #`ภŗɠ#( #'# @ @#)@@@}[@}[@} ,@A @#/@@@}[@}[@} 7@@ !@#5@@@}[@}[@} B@@ (@#g@@@}y[@} G@ภw 5v,annotations. :@ :@[@@@}[@}[@} [@ภ 8  I7@ I@ŭ {Z@uZ@uZ@u\@}%B@ @}Z@uZ@uZ@u\@}\@}\@}\@}\@}@@@}[@} @@ o@Ӡ&\@}n \@}o+\@}p.\@}q1\@}r4\@}s@@@}z[@} @@ @<\@}^6\@}_A\@}`D\@}aG\@}bJ\@}c@@@}j[@}x @@ @R\@}@L\@}AW\@}BZ\@}C]\@}D`\@}E@@@}L[@}h @@ @h\@}0b\@}1m\@}2p\@}3s\@}4v\@}5@@@}<[@}J @@ @+~\@}x\@}\@}\@}\@}\@}@@@}[@}: @@ @A\@}\@}\@}\@}\@}\@}@@@}[@} @@ @W\@|\@|\@|\@|\@|\@|@@@|[@}  #@@ @m\@|Ԡ\@|ՠ\@|֠\@|נ\@|ؠ\@|@@@|[@| 9@@ @ƃ\@|\@|\@|\@|\@|\@|@@@|[@| O@@ 5@ƙ\@|\@|\@|\@|\@|\@|@@@|[@| e@@ K@Ư\@|\@|\@| \@| \@|\@|@@@|[@| {@@ a@Š\@|x\@|y\@|z \@|{#\@||&\@|}@@@|[@| @@ w@۠.\@|Z(\@|[3\@|\6\@|]9\@|^<\@|_@@@|f[@| @@ @D\@|J>\@|KI\@|LL\@|MO\@|NR\@|O@@@|V[@|d @@ @Z\@|,T\@|-_\@|.b\@|/e\@|0h\@|1@@@|8[@|T @@ @p\@|j\@|u\@|x\@|{\@| ~\@|!@@@|([@|6 @@ @3\@{\@{\@|\@|\@|\@|@@@| [@|& @@ @I\@{\@{\@{\@{\@{\@{@@@{[@|@@ @_\@{Р\@{Ѡ\@{Ҡ\@{Ӡ\@{Ԡ\@{@@@{[@{+@@@u\@{\@{\@{ \@{à\@{Ġ\@{@@@{[@{A@@'@Nj\@{\@{\@{\@{\@{\@{@@@{[@{W@@=@ǡ\@{\@{\@{\@{\@{\@{@@@{[@{m@@S@Ƿ \@{t\@{u\@{v\@{w\@{x\@{y@@@{[@{@@i@͠ \@{d\@{e%\@{f(\@{g+\@{h.\@{i@@@{p[@{~@@@6\@{F0\@{G;\@{H>\@{IA\@{JD\@{K@@@{R[@{n@@@L\@{6F\@{7Q\@{8T\@{9W\@{:Z\@{;@@@{B[@{P@@@b\@{\\@{g\@{j\@{m\@{p\@{@@@{$[@{@@@@%x\@{r\@{ }\@{ \@{ \@{ \@{ @@@{[@{"@@@;\@z\@z\@z\@z\@z\@z@@@z[@{@@@Q\@zڠ\@z۠\@zܠ\@zݠ\@zޠ\@z@@@z[@z@@@g\@z\@z\@z\@z\@z\@z@@@z[@z3@@@}\@z\@z\@z\@z\@z\@z@@@z[@zI@@/@ȓ\@z\@z\@z\@z\@z\@z@@@z[@z_@@E@ȩ\@z~\@z\@z\@z\@z \@z@@@z[@zu@@[@ȿ\@z` \@za\@zb\@zc\@zd \@ze@@@zl[@z@@q@ՠ(\@zP"\@zQ-\@zR0\@zS3\@zT6\@zU@@@z\[@zj@@@>\@z28\@z3C\@z4F\@z5I\@z6L\@z7@@@z>[@zZ@@@T\@z"N\@z#Y\@z$\\@z%_\@z&b\@z'@@@z.[@z<@@@j\@zd\@zo\@zr\@zu\@zx\@z @@@z[@z,@@@-\@yz\@y\@y\@y\@y\@y@@@z[@z@@@C\@y֠\@yנ\@yؠ\@y٠\@yڠ\@y@@@y[@y@@@Y\@yƠ\@yǠ\@yȠ\@yɠ\@yʠ\@y@@@y[@y%@@ @o\@y\@y\@y\@y\@y\@y@@@y[@y;@@!@Ʌ\@y\@y\@y\@y\@y\@y@@@y[@yQ@@7@ɛ\@yz\@y{\@y|\@y}\@y~\@y@@@y[@yg@@M@ɱ\@yj\@yk \@yl \@ym\@yn\@yo@@@yv[@y}@@c@Ǡ\@yL\@yM\@yN"\@yO%\@yP(\@yQ@@@yX[@yt@@y@ݠ0\@y<*\@y=5\@y>8\@y?;\@y@>\@yA@@@yH[@yV@@@F\@y@\@yK\@y N\@y!Q\@y"T\@y#@@@y*[@yF@@@ \\@yV\@ya\@yd\@yg\@yj\@y@@@y[@y(@@@r\@xl\@xw\@xz\@x}\@x\@x@@@x[@y@@@5\@x\@x\@x\@x\@x\@x@@@x[@x@@@K\@x \@xà\@xĠ\@xŠ\@xƠ\@x@@@x[@x@@@a\@x\@x\@x\@x\@x\@x@@@x[@x-@@@w\@x\@x\@x\@x\@x\@x@@@x[@xC@@)@ʍ\@x\@x\@x\@x\@x\@x@@@x[@xY@@?@ʣ\@xf\@xg\@xh\@xi\@xj\@xk@@@xr[@xo@@U@ʹ \@xV\@xW\@xX\@xY\@xZ\@x[@@@xb[@xp@@k@Ϡ"\@x8\@x9'\@x:*\@x;-\@x<0\@x=@@@xD[@x`@@@8\@x(2\@x)=\@x*@\@x+C\@x,F\@x-@@@x4[@xB@@@N\@x H\@x S\@x V\@x Y\@x\\@x@@@x[@x2@@@d\@w^\@wi\@wl\@wo\@wr\@w@@@x[@x@@@'z\@wܠt\@wݠ\@wޠ\@wߠ\@w\@w@@@w[@x@@@=\@w̠\@w͠\@wΠ\@wϠ\@wР\@w@@@w[@w @@@S\@w\@w\@w\@w\@w\@w@@@w[@w@@@i\@w\@w\@w\@w\@w\@w@@@w[@w5@@@\@w\@w\@w\@w\@w\@w@@@w[@wK@@1@˕\@wp\@wq\@wr\@ws\@wt\@wu@@@w|[@wa@@G@˫\@wR\@wS\@wT\@wU \@wV \@wW@@@w^[@wzw@@]@\@wB\@wC\@wD\@wE\@wF"\@wG@@@wN[@w\@@s@נ*\@w$$\@w%/\@w&2\@w'5\@w(8\@w)@@@w0[@wL@@@@\@w:\@wE\@wH\@wK\@wN\@w@@@w [@w.@@@V\@vP\@v[\@v^\@va\@vd\@v@@@w[@w@@@l\@vf\@vq\@vt\@vw\@vz\@v@@@v[@w@@@/\@vȠ|\@vɠ\@vʠ\@vˠ\@v̠\@v@@@v[@v@@@E\@v\@v\@v\@v\@v\@v@@@v[@v@@@[\@v\@v\@v\@v\@v\@v@@@v[@v'@@ @q\@v\@v\@v\@v\@v\@v@@@v[@v=@@#@̇\@vl\@vm\@vn\@vo\@vp\@vq@@@vx[@vS@@9@̝\@v\\@v]\@v^\@v_\@v`\@va@@@vh[@vvi@@O@̳\@v>\@v? \@v@\@vA\@vB\@vC@@@vJ[@vf@@e@ɠ\@v.\@v/!\@v0$\@v1'\@v2*\@v3@@@v:[@vH@@{@ߠ2\@v,\@v7\@v:\@v=\@v@\@v@@@v[@v8@@@H\@vB\@vM\@vP\@vS\@vV\@v@@@v [@v@@@ ^Z@uTZ@u^Z@ub\@ud\@uf\@u@@@u[@v @@@\@ufopqr@@@u[@u@ L%a:@ this@ constructor@ application@ may@ be@ TMC-transformed@ in@ several@ different@ ways.@ Only@ one@ of@ the@ arguments@ may@ become@ a@ TMC@ call,@ but@ several@ arguments@ contain@ calls@ that@ are@ explicitly@ marked@ as@ tail-recursive.@ Please@ fix@ the@ conflict@ by@ reviewing@ and@ fixing@ the@ conflicting@ annotations.@@$@@@u[@}[@}@@@@,l|@@@u[@u@@డ-+inline_code%Style@ @@@@# @@0[@tail_mod_cons]@@Y@@.[@}@@L\@@&@f]A@Y@}d@A@a@@ఠ&submgs'@A@@-@@@~@@@~Y@}3@@@@@@@ఠ#sub(@+A@@@ߞ@@@}Z@}@@@}Z@}@@}Z@} @࣠@$info*A@67@@@@@}365566666@1(?@i@@@@  @TA"г%4tmc_call_informationMN@@-@@@}@@TU@@@4@@@@@ఠ#loc+b1c4@uA@@jx@@@}\@}3feefffff@1>6@9@+@@@డ/Scoped_location+to_location)Debuginfo7@@ AP@@Q\@ @j @@@j@@@}j@@@}@@})@@ఐm$info]a@5@@eY@@@}@}=@#locbe@ec@@@@@}G@@4@@KH@A@-@@డ#msg(Locationiwi@ ii@@@@k7@@@}@@@}@[@}@@@}@@@}x@@@}@@@}@@}@@}3@}@@@@@ภhఐ#locii@@@kh@@@~\@~\@~@@@g @@@~ @@ภίήiAάภιk j "This call is explicitly annotated.@@O@@@~H\@~K\@~J@@ภ,+@@Ρ`[@~3[@~G]@~7@@@}\@~1\@~E@@@}\@~2\@~F @@@~I\@~Vf@@<@ο]@~ @@@~4\@~Dr@>L@L@@@@~5\@~Z\@~Y}@@S%@@)-&E@@@}\@~0@@/@@@0@@@1A@UZ@~j8@A@5@డ$List#mapapat@ auax@@ư@@@@n@@@~[@~}*@@@~[@~{@@~~@Ƞ@@@~|Ǡ@@@~z@@~y@@~x3@@@@@@@ఐ#subaya|@ @@@@@@~L@@@~@@~@@9 @@@2@@@~1@@@~@@~#@@డW$List&filter!%@ &,@@@@@@a@@@~\@~@@@~@@~@@@@~@@@~@@~@@~T@@࣠@$info,A@37@@!@@@~3@g@@@  @A( г+4tmc_call_information9M@@3@@@~@@2N@@@:@@@@ఐ)$info*R+V@'@*@!@@f@@@~@~3.--.....@8 @@@(explicit9W:_@f@@@@@~^@~@B-C`@@@g@@@~@@~]@~]@~D@@w @@@p@@@~t@@@~@@~O@@డ$List'flattenhi @ l m@@@@@`@@@~Z@;[@~[@9[@/[@~@@@~@@@~@@@~@@~@@డ$List#map@ @@@@@@`C@@@!^@ ɠ@@@ @@@^@ @@@@@@ @@@ @@ @@@@࣠@!t-A@A@@*3@1@@@@@@ఐ!t@9@@@@:3@B@@@)tmc_calls@` @@< @@@@LG@@_@$_@#"@@Y@@@&R@@@%Q@@@@@-@@ఐĠ)arguments  @@@?`@@@1@@@0]@4]@2E@@+@@@@@~@@@~\@6]@-R@@@@Š@@@~[@8\@~[@@%@@a@@@~Z@:[@~d@@.@@4e@@@5.@A@:@@ภ$SomeA!B!@>డg&errorf(LocationQ!R!@ U!V!@@@@'m@@@U@@@T0@@@S@@@R@@@Q=@@@P@@@O@@@@@@nX@@@@oX@@@X@x1@@@BX@X@y@@zX@J@@@L@@@M1+@@@N@@@K'@@I@@H@@G@@F3@@@@@@:ภ%Ωఐ#loc!!@9@@n%@@@wY@~Y@}@@@$ @@@ @LภBƠఐՠ&submgs!!@/@@[r@@@u@@@tY@Y@=@@ @E@@@A@[ภE@@^@@@@@@O@@ภћ͠њΰ!!AљภѦؠ ภѮ  @@тX@pX@X@X@X@Z@Z@@@@Y@@@)@јZ@X@@@@Y@@"%t<@<@ѡ@@@Y@Y@@@CB@@ɠ.@@@mY@@@ఐ점)print_msgT!U!@I@@X@@@Z![!@@@@@@@@@A@(@@W@@@i@@g"h"@@2@@@i1@@@ภ$Noner#s#@@@@{1@@AIFw@@@yz$@@@2@@@is22@@@ir@@@iq@@ipV@PV@L2?@@2/@@^@@@TV@io2E@A@ww@@@2H@ A@A@ysA@A@B@cA@qB@@J@ޮ@ܗ@'@ @v!@@p@\j@@@H@@5/A@ B@k@x@ @@@@@@@db@NL@75@ @32@2A2@22@@@3@2@@@3#TmcB@@$ؠ@m젰@L@ĹC@_@@@ʠ@kܠ@ND@-}@Iɳ@@ H************************************************************************A@@A@L@ H BMMBM@ H OCaml CC@ H  D D3@ J Frédéric Bour E44E4@ H Gabriel Scherer, projet Partout, INRIA Saclay FF@ I Basile Clément, projet Cambium, INRIA Paris GG@ H !H"Hj@ H Copyright 2020 Institut National de Recherche en Informatique et 'Ikk(Ik@ H en Automatique. -J.J@ H 3K4KQ@ H All rights reserved. This file is distributed under the terms of 9LRR:LR@ H the GNU Lesser General Public License version 2.1, with the ?M@M@ H special exception on linking described in the file LICENSE. ENFN8@ H KO99LO9@ H************************************************************************QPRP@ 5 Error-reporting information for ambiguous TMC calls WTXT@ * When [explicit = true], we have an ambiguity between arguments containing calls that have been explicitly marked [@tailcall]. Otherwise we have an ambiguity between un-annotated calls.  V* In the OCaml value model, interior pointers are not allowed. To represent the "placeholder to mutate" in DPS code, we thus use a pair of the block containing the placeholder, and the offset of the placeholder within the block. In the common case, this offset is an arbitrary lambda expression, typically a constant integer or a variable. We define ['a destination] as parametrized over the offset type to represent formal destination parameters (where the offset is an Ident.t), and maybe in the future statically-known offsets (where the offset is an integer). ∠ * The type [Constr.t] represents a reified constructor with a single hole, which can be either directly applied to a [lambda] term, or be used to create a fresh [lambda destination] with a placeholder. P Y* [apply constr e] plugs the expression [e] in the hole of the constructor [const]. * t* [with_placeholder constr body] binds a placeholder for the constructor [constr] within the scope of [body].  * We may want to delay the application of a constructor to a later time. This may move the constructor application below some effectful expressions (for example if we move into a context of the form [foo; bar_with_tmc_inside]), and we want to preserve the evaluation order of the other arguments of the constructor. So we bind them before proceeding, unless they are obviously side-effect free. [delay_impure ~block_id constr body] binds all inpure arguments of the constructor [constr] within the scope of [body], which is passed a pure constructor. [block_id] is a counter that is used as a suffix in the generated variable names, for readability purposes. Š Q we choose a placeholder whose tagged representation will be reconizable. o~eip@ Note that the delayed subterms will be used exactly once in the linear-static subterm. So we are happy to delay constants, which we would not want to duplicate. uv9]@ /* The type ['a Dps.t] (destination-passing-style) represents a version of ['a] that is parametrized over a [lambda destination]. A [lambda Dps.t] is a code fragment in destination-passing-style, a [(lambda * lambda) Dps.t] represents two subterms parametrized over the same destination. f * A term parameterized over a destination. The [tail] argument is passed by the caller to indicate whether the term will be placed in tail-position -- this allows to generate correct @tailcall annotations. q * We want to optimize nested constructors, for example: {[ (x () :: y () :: tmc call) ]} which would naively generate (in a DPS context parametrized over a location dst.i): {[ let dstx = x () :: Placeholder in dst.i <- dstx; let dsty = y () :: Placeholder in dstx.1 <- dsty; tmc dsty.1 call ]} when we would rather hope for {[ let vx = x () in let dsty = y () :: Placeholder in dst.i <- vx :: dsty; tmc dsty.1 call ]} The idea is that the unoptimized version first creates a destination site [dstx], which is then used by the following code. If we keep track of the current destination: {[ (* Destination is [dst.i] *) let dstx = x () :: Placeholder in dst.i (* Destination *) <- dstx; (* Destination is [dstx.1] *) let dsty = y () :: Placeholder in dstx.1 (* Destination *) <- dsty; (* Destination is [dsty.1] *) tmc dsty.1 call ]} Instead of binding the whole newly-created destination, we can simply let-bind the non-placeholder arguments (in order to preserve execution order), and keep track of a list of blocks to be created along with the current destination. Instead of seeing a DPS fragment as writing to a destination, we see it as a term with shape [dst.i <- C .] where [C .] is a linear context consisting only of constructor applications. {[ (* Destination is [dst.i <- C .] *) let vx = x () in (* Destination is [dst.i <- C (vx :: .)] *) let vy = y () in (* Destination is [dst.i <- C (vx :: vy :: .)] *) (* Making a call: reify the destination *) let dsty = vy :: Placeholder in dst.i <- vx :: dsty; tmc dsty.1 call ]} The [delayed] argument represents the context [C] as a list of reified constructors, to allow both to build the final holey block ([vy :: Placeholder]) at the recursive call site, and the delayed constructor applications ([vx :: dsty]). In practice, it is not desirable to perform this simplification when there are multiple TMC calls (e.g. in different branches of an [if] block), because it would cause duplication of the nested constructor applications. The [delayed_use_count] field keeps track of this information, it counts the number of syntactic use sites of the delayed constructors, if any, in the generated code. Lj * Create a new destination-passing-style term which is simply setting the destination with the given [v], hence "returning" it. 렠 s* Ensures that the resulting term does not duplicate delayed constructors by reifying them now if needed. _ * The TMC transformation requires information flows in two opposite directions: the information of which callsites can be rewritten in destination-passing-style flows from the leaves of the code to the root, and the information on whether we remain in tail-position flows from the root to the leaves -- and also the knowledge of which version of the function we currently want to generate, the direct version or a destination-passing-style version. To clarify this double flow of information, we split the TMC transform in two steps: 1. A function [choice t] that takes a term and processes it from leaves to root; it produces a "code choice", a piece of data of type [lambda Choice.t], that contains information on how to transform the input term [t] *parameterized* over the (still missing) contextual information. 2. Code-production operators that have contextual information to transform a "code choice" into the final code. The code-production choices for a single term have type [lambda Choice.t]; using a parametrized type ['a Choice.t] is useful to represent simultaneous choices over several subterms; for example [(lambda * lambda) Choice.t] makes a choice for a pair of terms, for example the [then] and [else] cases of a conditional. With this parameter, ['a Choice.t] has an applicative structure, which is useful to write the actual code transformation in the {!choice} function. ` @* An ['a Choice.t] represents code that may be written in destination-passing style if its usage context allows it. More precisely: - If the surrounding context is already in destination-passing style, it has a destination available, we should produce the code in [dps] -- a function parametrized over the destination. - If the surrounding context is in direct style (no destination is available), we should produce the fallback code from [direct]. (Note: [direct] is also a function (on [unit]) to ensure that any effects performed during code production will only happen once we do know that we want to produce the direct-style code.) - [tmc_calls] tracks the function calls in the subterms that are in tail-modulo-cons position and get rewritten into tailcalls in the [dps] version. - [benefits_from_dps] is true when the [dps] calls strictly more TMC functions than the [direct] version. See the {!choice_makeblock} case. - [explicit_tailcall_request] is true when the user used a [@tailcall] annotation on the optimizable callsite. When one of several calls could be optimized, we expect that exactly one of them will be annotated by the user, or fail because the situation is ambiguous.  .* Apply function [f] to the transformed term. G Remark: we could define [pure v] as [map (fun () -> v) unit], but we prefer to have the code explicit about using [unit], in particular as it ignores the destination argument. AABB[@ * The [find_*] machinery is used to locate a single subterm to optimize among a list of subterms. If there are several possible choices, we require that exactly one of them be annotated with [@tailcall], or we report an ambiguity. Р here is how we will compute the result once we know that there is an unambiguously-determined tmc call, and whether an explicit request was necessary to disambiguate FFGCG@ & we know there is at least one choice GGGH @ [choice_prim] handles most primitives, but the important case of construction [Lprim(Pmakeblock(...), ...)] is handled by [choice_makeblock] EPPGPP@ o [choice_apply] handles applications, in particular tail-calls which generate Set choices at the leaves KQQLQ_Q@ other cases use the [lift] helper that takes the sub-terms in tail position and the context around them, and generates a choice for the whole term from choices for the tail subterms. OQQQRYR@ * mutable bindings are not TMC-specialized [SS[ST@+ decompose hVVhVV@+ transform kVVkVV@) rebuild pWWpWW@+ decompose vXXvXX@+ transform xY YxY Y$@) rebuild |YY|YY@ in [try l1 with id -> l2], the term [l1] is not in tail-call position (after it returns we need to remove the exception handler) ZZ[4[j@ [ In [static-catch l1 with ids -> l2], the term [l1] is in fact in tail-position \\ \2\i@ o Support of tupled functions: the [function_kind] of the direct-style function is identical to the one of the input function, which may be Tupled, but the dps function is always Curried. [find_exact_application] is in charge of recovering the "real" argument list of a possibly-tupled call. `P`\aa@ If we are calling a tmc-specializable function in tail context, then both the direct-style and dps-style calls must be tailcalls. bbcfc@ [@tailcall false] is interpreted as a bailout annotation: "we are (knowingly) leaving the dps calling convention". It only has sense in the DPS version of the generated code, not in direct style. ffgg@ * An ambiguous term should not lead to an error if it not used in TMC position. Consider for example: {[ type t = ... | K of t * (t * t) let[@tail_mod_cons] rec map f = function | [...] | K (t, (u, v)) -> K ((map[@tailcall]) f t, (map f u, map f v)) ]} Calling [choice_makeblock] on the K constructor, we need to determine whether its two arguments are ambiguous, which is done by calling [choice] on each argument to see if they would be TMC-able and if they are explicitly annotated. These calls give the following results: - there is an explicitly-requested tailcall in the first argument - the second argument is a nested pair whose arguments themselves are ambiguous -- with no explicit annotation. This determines that the arguments of K are not ambiguous, as only one of them is annotated. But note that the nested pair, in isolation, is ambiguous. This inner ambiguity is innocuous and should not result in an error, as we never use this inner pair in TMC position, only in direct style. This example shows that it would be incorrect to fail with an error whenever [choice] finds an ambiguity. Instead we only error when generating the [dps] version of the corresponding code; requesting the [direct] version is accepted and produces the expected direct code. jIjQpup@ Whether or not the caller provides a destination, we can always provide a destination to our settable subterm, so the number of TMC sub-calls is identical in the [direct] and [dps] versions. -uu 0vv@ - The important case is the construction case ;ww;wx @ 1 Some primitives have arguments in tail-position ?xyx}?xyx@ in common cases we just return Gy|yGy|y@ * we don't handle effect or DLS primitives  `||!`|}!@ # we don't handle atomic primitives &c}`}d'c}`}@ 3 we don't handle array indices as destinations yet ,f}}-f}}@ : we don't handle { foo with x = ...; y = recursive-call } 2i~~3i~~B@ T operations returning boxed values could be considered constructions someday 8l~W~[9m~~@ c Lazy blocks should never contain a recursive call directly: either it's a closure (Lazy_tag), or a variable (Forward_tag). The case 'let foo = recursive_call in lazy foo' could be translated to use tmc in the cases where 'foo' might be of type lazy or float, but given the fragility of such a transformation we choose not to. >u?y @6 more common cases... D|%)E|%C@ 1 Support of Tupled function: see [choice_apply]. JK@@*./ocamlopt)-nostdlib"-I(./stdlib"-I1otherlibs/dynlink"-g0-strict-sequence*-principal(-absname"-w8+a-4-9-40-41-42-44-45-48+-warn-error"+a*-bin-annot/-strict-formats"-I&lambda"-I%utils"-I'parsing"-I&typing"-I(bytecomp"-I,file_formats"-I&lambda"-I*middle_end"-I2middle_end/closure"-I2middle_end/flambda"-I=middle_end/flambda/base_types"-I'asmcomp"-I&driver"-I(toplevel"-I%tools"-I'runtime"-I1otherlibs/dynlink"-I-otherlibs/str"-I4otherlibs/systhreads"-I.otherlibs/unix"-I8otherlibs/runtime_events2-function-sections"-c爐 ;/builds/workspace/main/flambda/false/label/ocaml-freebsd-64 ?>3210/.-,+*)('&%$#"! @@012gTa d3@@@(Asttypes0E\eǥ]k6e5Build_path_prefix_map0gMOBnM`8CamlinternalFormatBasics0oZ2t,ݠ0CamlinternalLazy0;x#5䢜hLm*Cmi_format0KuEB젠*Data_types0-k(.I7)Debuginfo0.6硏]fSvi#Env0؞X:Fݗ)*Format_doc0Mv9630A %Ident0y43a$+,Identifiable0XnAZ4eҠ0 [, U(Z)Load_path02&9Q҄;L(Location0nݹV 2f-V )Longident0@#j,6.Nt蠠$Misc0  =73 Z +Outcometree0yl4>Yfܠ)Parsetree0Z<4$PC$Path09{ְZsv)Primitive0{mV|{J %Shape0OĸT>b&Stdlib0y{x!O!.Stdlib__Buffer0_?K|/V>O}~Nࠠ.Stdlib__Digest0 Jjrڵ6.Stdlib__Domain0iW',P6wz.Stdlib__Either0FԤ) 4'>.Stdlib__Format0)n[-Ob/Stdlib__Hashtbl0^iaxG$+,Stdlib__Lazy0OM>x9V`@66tʔt@sSs]mw@@@Hߓߝ@=KSIV7@pz.̒@ɳɽ@qq@=h_{{E@@[;@J-r[@@J@@;;fifs@"@@@Α@@<=AXAb<羒@qqư怔@z{@r|s}@GG qްHR@@Kg!ߐˬ@UGְ,6@ߑϐF@hr@ܐܚE@}/@66=@ƕ@]ۑ] NؒӰpQ@!!cceE@@VFNd@+@ڰ`S]@@N@@JʑJ԰@j@Xu@ˋ˕@4IS~@@?x?歒@İy@jqj{Űʑ@@đ@;b;l:5@""?@ˑհ% @8B*4@)`@4@@>?>I@99 *4@vB@@͛|@ѐ@ΑܰL@S]@ >@@@ز @>_(2@""