#!/usr/bin/ocamlrun Tп)*VD C 2" @(()*…c( `Љ „5?[o n2$ ]ž()* ^Ÿ()* ^Ÿ()* ^ ()* ^Ѓ(]Ѕ(]š()* ^œ(]Ї(]Ї(]Ј(]L()* ^Њ(]Ќ(]š(]™()* ^œ()* ^Є(]І(]›()* ^Ћ(]­(]›(c!]з(cC%c!c%C +ѓџџџI( ]Ш ]Щ h haг()* &c!](c!]P(]ž%g ^Ÿ]ž("g ^Ÿ]ž(!&!&&^Ÿ(g ^Ÿ]ž("g ^Ÿ]ž(!&!&&^Ÿ(Y]™Z(h()*VD C ]Ш ohaг o2' ()*]Ў „V  ]Щ'5?[ˆ)џџџџ]Щ џџџџh `Љc]ЇcVnџџџџ @ ]Щ'(m]Щ mh `Љco @2&,џџџ ,œџџџch &)*‡‡  ]Шo }V5 % $)*‡‡  ]Шo }V5 % `Љ(h6'h6')* _и]•(Y]žZThY]™Z(h(]ž]™()*c _()*‡‡  ]Шo }V5% `Ђ()*]Шh `Ђ(VD C Y]žZTh2%c(,уџџџc]— %lЖ6'lЖ6')* _и]–(6^% ~V5&^Ъ ‡0†: T „-T(2%]Ш ,Яџџџc %6^Q(5 ^ЭV5 ^ЭV5%d(c(V5(5(‡ˆџ5%()*]Ш ]Ш n]Щ h haг haг(gџџџџ u(‡(m()* ^V(()* ^V((6@[6@[+јџџџ +юџџџ6? +иџџџ +Хџџџ +Еџџџ +Ћџџџliv„gTg>iv џџџџ6]6]6]6 ]6!]6"] +^џџџ+Hџџџ +9џџџ+џџџ +џџџ :+ќўџџ +Шўџџ ,Кћџџc]•i]–j]– +Ћўџџ +žўџџ +’ўџџ +„ўџџ +Zўџџ+4ўџџ +&ўџџ +ўџџ +џ§џџ +№§џџ +ф§џџ +й§џџ%+Д§џџ ,Œћџџ(+ˆ§џџ +t§џџ +шќџџ+нќџџ +бќџџ+Сќџџ+Бќџџ+œќџџ+ќџџ+‚ќџџ+vќџџ"+fќџџ +Vќџџ+Aќџџ+2ќџџ !+"ќџџ +ќџџ + ќџџ :,+ўћџџ +шћџџ? +ећџџ +Хћџџ +Йћџџ 6#^ы.  + ћџџ +—ћџџ +‹ћџџ +ћџџ +xћџџ +lћџџ> +\ћџџ +Pћџџ +Gћџџ +>ћџџ +2ћџџ +(ћџџ +ћџџ +ћџџ),* +ћџџ213 +ѕњџџ79 +чњџџ +оњџџ +вњџџ> +Уњџџ +ЖњџџBD +ЅњџџG +™њџџLKM02468:<>@BDFHJL_acegkmoqsuwy{}ƒƒƒ‡‰‹>QB9$T)*V D 2&()*|V  $eq o  n n2  n2  n n$ )*cџџџџ }UH\ n^ nџџџџ? T\C^ C_€џџџџ C~V  C^"…рџџџc C_ zUКџџџc()* "…._ {V ^2$ o$ _ {V ^ 2$ o$ )* nn  ,‰џџџ ^^$)* +гџџџ +џџџ ,ЧўџџO |V hh$ e q oh^ ^  h   h c h $)* " ^"ˆ^ _ 2' _()*Y #Z( CyV D _([)* " ^ _ 2&)*f џџџџq zVcT5%6 @[ ^"†^ _ˆ 2&h_( _()*Y"Z( CyVD ([)* nn ? {V0^ ^"h}V I^ C^"h}V IC( {V^ ^"†( {V(@[)* +Žџџџ ,жўџџ,ѕўџџ, џџџ+\џџџ,џџџOk qџџџџh {U\ ^  # џџџџzUьџџџcџџџџj {U%\ ^h ^  _h"" џџџџzUнџџџci{Vd ^h ^i _h _( )*? Oџџџџh {U\C ^ " I џџџџzUьџџџcC()*?hOџџџџ }U\^ C" I zUьџџџcC()*VD C _  2&(VD C h"^ ,жџџџi &:()*†( ^ @ џџџџ2&,цџџџc Oџџџџ &)*O „:(c ^ h " ^i џџџџ }U\^ " _  zUыџџџc()*c Oџџџџ }U\^ " zUяџџџc()*O „:(c ^ ! ^i џџџџ }U\^ ! _  zUьџџџc()*c Oџџџџ }U\^ ! zU№џџџc()*‡‡ Oo }U ‡  Oo}V5&8$% {V$џџџџh {U\n ^ n_  џџџџzUъџџџc(cџџџџ }U\n ^ n_  zUъџџџc()*‡ ‡  Oo }V5'8$% nџџџџ }U\ _  zUёџџџc()*‡ ‡  Oo }V5(8$%„:( ^ ^iџџџџ }U\n^ _  zUьџџџc(VD C Oˆ h ^ &2%:(,рџџџ %)*V D C On2&()*V/D Ch Oџџџџ }U\ ^ n_  zUьџџџc On2&c()*,Џџџџ h "^ ,Иџџџh "()*O O „„:(c ˆT^ n^h џџџџ }U\^ _  zUюџџџcc џџџџ }U\^  n_  zUьџџџc(O „:(c ^ ^i џџџџ }U\^ _  zUюџџџc()*: ^h џџџџ }U\^ Q zUяџџџc()*„:(c ! ^i џџџџ }U\! _  zUяџџџc(+Юџџџ +Ђџџџ +jџџџ +џџџ +фўџџ +‰ўџџ +ўџџ +у§џџ +n§џџ +I§џџ + §џџ +цќџџ +Їќџџ +•ќџџ ,Їјџџ+Zќџџ +ќџџ +тћџџ6)? +=ћџџl  +Тљџџ  ! #&(*>9*T)*V D 2&()*V D C @ 2&(VD C 2! 8$&c()*VD C ! 2" @(c()*V D C ! 2&c()*VD C "2'()*VD C 2# &()* VVD C DC "  2# @( Uc(5+8$%)* VVD C DC " 2' Uc(5,8$%)* VVD C DC    # 2$U(5-8$%)* VV!D C DC    2   ' U(5.8$%)*VD C !V 2&(d()*VD C !U 2&(c()* VVD C DC "V 2' ( Ud(5/8$%)* VVD C DC "U 2' ( Uc(508$%)*VD C ^hyU 2&(c()*VD C yU 2&(c()*VD C D C ^„(2&5?[)*VD C D C yV(2&5?[)*VD C C ^hyU2&(c()*VD C C yU2&(c()*VD C C ^„(2" @(c()*VD C C yV(2" @(c()*VD C !V( 2&5?[VD C D C 2! D C @ @@(51()* VVD C DC 2" @@(Uc(528$%)* V0V)D C DC "…  2# @( 2# @(  ( ()*„(V D џџџџ2&536 @[)* V/V&D C DC "…  @ 2'  @2'  & &)* V/V&D C DC "ˆ  @ 2'  @2'  & &)* ƒ„ДVБD V€D VwC CC "…5 "… c @ @ @(  "… c @ @ @( c @ @ @(  "… c @ @ @(  "… c @ @ @( c @ @ @( T-T)V&D VC C "… c @ @(c @ @( i x o " 3" 3"h ')* ƒ‹„ЎVЋD V{D VrC CC "ˆ3 "ˆ c @ @ @(  "ˆ c @ @ @( c @ @ @(  "ˆ c @ @ @(  "ˆ c @ @ @( c @ @ @( T,T(V%D VC C "ˆ c @ @(c @ @( i x o " 1" 1"h ')*,в§џџ,ўџџ ,<ўџџџџџ! †( & )*VD C !V  @2' @2'! !@()*,Юџџџhh ')*VD C !V  @2& 2&%,мџџџc %)* VVD C DC "@2' U(548$%)*,Эџџџ h ')*VD C !@2&()*,уџџџh &c &)*VD C „(џџџџ 2&558$%)*†568$%,бџџџ &VD (578$%VC (588$%h&,јјџџ+єџџџ +сџџџ +Юџџџ +Дџџџ8$ ,ђјџџ+ƒџџџ ,§јџџ , љџџ+iџџџ ,љџџ,-љџџ,?љџџ,Qљџџ+0џџџ ,yљџџ,Ёљџџ,Ьљџџ,њљџџ,њџџ,$њџџ,Pњџџ,|њџџ,”њџџ,Љњџџ,Чњџџ,уњџџ,§њџџ,ћџџ,2ћџџ,Nћџџ+Вўџџ +~ўџџ ,Yћџџ,xћџџ, ћџџ,зћџџ"(+ўџџ    !#%')+-/24379<>=BBFHGKMOQ>)+99TМ)* o(‡aˆz‡рˆі ‡ј …ўрџџџ((‡AˆZ‡Рˆж ‡и …о ((‡'ƒ\ †(5:(5;(ƒ „ 5<(5=(]еV d]Щ h S(l]Щl\h Sgd ql0ni Sg l qrl0nj Sg rl0nk S(‡ˆџ5>8$%(+ьџџџ +‡џџџ +cџџџ +?џџџ +4џџџ >9?TЩ)* ~V5?[ RyV(  2$)*†5?[ RyV( џџџџ 2')* ^Ю()*h ')*‡]Ш ~V5@8$%Y #cdZ(6 CyVc([)*‡]Ш }V5A8$%Y   ]Ш  cdZ(6 CyVc([)*‡џџџџ]Ш ~V5B8$% ')* ]Шџџџџ ')*‡]Ш }V5C8$% ]Ш $)*h ]Ш $8?&8?&)*]Ш„(!h R !h S(8?&8?&)*]Ш „(]Щh џџџџ }U\R! S zUюџџџc(c?h ]Шџџџџ }UM\R їџџџ ‹ўџџџ ŒT%TT ƒST TT]еVdTgTe Cn I zUЕџџџc]Ш CyV(C]Щh Ic ]Шџџџџ }UЁ\R ‡" ƒ\x†#-Trƒ „ #g\CS€gnCSTgg\CS€gtCSTV ]еVCST7l\CS€gd ql0nCS€g l qrl0nCS€g rl0nCSTg\CS€CS€ zUaџџџc(]ШChaг]ШCnI]ШChaг]ШCnI(€]ШCnI()*V?D Ch?h? +оџџџ89 "Cџџџџ]Шp Cn]Щ ]Шh haг]Ш?  +‘џџџ89 "(5D()*c ]Шџџџџ }U\R ! zUёџџџc()*‡‡ ]Шo }U‡  ]Шo}V5E8$%aг()*‡‡  ]Шo }V5F8$% `д()*‡‡  ]Шo }V5G8$%]Щ h aг(]Ш ]Щ h haг()*]Щ h `д(+№џџџ +лџџџ +Аџџџ +‰џџџ +Tџџџ +/џџџ +уўџџ +‹§џџ +V§џџ +J§џџ +?§џџ +!§џџ +§џџ + §џџ ,§ћџџ+ѕќџџ +вќџџ ,ќџџ+Мќџџ +ќџџ+bќџџ +1ќџџ +$ќџџ +ќџџ     "$&(*>9HT!?[V +іџџџ?&c&)* ^Чc(c]с D Ch]х D C іџџџivџџџџ lqpџџџџh? +дџџџlџџџџlўџџџl§џџџlќџџџlћџџџlњџџџlљџџџlјџџџlїџџџlіџџџlѕџџџlєџџџlѓџџџlђџџџlёџџџl№џџџlяџџџlюџџџlэџџџlьџџџlыџџџ6I? +‹џџџ6J    "$&(*,.044886=?> "9KT5)* ^b(6L^c(5M ^Z(5N ^V(]R(5O ^T(5P ^S(5Q6R6S +№џџџ +хџџџ +вџџџ6T6U +Уџџџ +Иџџџ +Ќџџџ   >  9VT5)* ^{(6W^|(5X ^o(5Y ^V(]g(5Z ^i(5[ ^h(5\6]6^ +№џџџ +хџџџ +вџџџ6_6` +Уџџџ +Иџџџ +Ќџџџ   >  9aT5)* ^’(6b^“(5c ^ˆ(5d ^V(]€(5e ^‚(5f ^(5g6h6i +№џџџ +хџџџ +вџџџ8K џџџџ6j^‰6k ^‚ +Иџџџ +­џџџ +Ёџџџ   >  9lTKc Mc LG h E D C> M c K(G (G (G F(G F()* Gn D^Ъ()*‡  D^Ъ?(c()* D^Ъ()*‡ o ]Щ h Daг?(c()* o ]Щ h Daг(G Go ]Щ h GDaг(d M( :ihhhhh ]Ш6m 8$" +сџџџ> ()*h 8$>$+ёџџџ% :hhhhhhhl]Щl]Щ "> ()*]Ш " ˆTdMcD]Ш En}VМD]Ш GEon|VGEoh D G D8H TB7KD]Шjp8$" GEon}V5n8$!]Щ  G Eoh G D8H JG FnLGoMcMGoMEoKG h Oџџџџ }U\ ^ h|V o _ zUфџџџcE Dh 8H EnK()* _А h|VG M G GFn E D C>M ()* _Џ h|VG M G GFn E D C>M (5o +Яџџџ +žџџџ +Іўџџ6p +‚ўџџ +wўџџ +Gўџџ +&ўџџ +ўџџ +ю§џџ +р§џџ +Щ§џџ +З§џџ +Ќ§џџ +Ђ§џџ +™§џџ +§џџ +n§џџ    ">9qTђc(C%!F(!F(c!F(c!F(G oG oF^(G oG oE^(G F^(G ˆG G oE^(G F^()* G o D^()* `Ц W"*2_!G MG M i2&?[c!cj2&c!ck2&YG C^!l@ZT CyVcl@T[ D C 2&5rG !cl2&]НV  ]ОE^y( D^y()* ,bџџџG G GGGGG MM G M Y ch "Z( GM M MMMM CyVD ( +~џџџI[c( cGhD8* cM(Gj ph ^h ^8q ^8q^ hhC8* I hhD8* J hhE8* K hhF8* LM(5s?6t?hhhhhh8q8qhhhld8qld^8qld^hld^hld^> +cџџџ +Kџџџ +Dџџџ?  +Ыўџџ +'ўџџ+ўџџ+ї§џџ+ф§џџ+а§џџ +Ц§џџ +М§џџ +В§џџ +Ј§џџ +ž§џџ +—§џџ    >9uT})* {Vc^Ъ ƒ$1 „\g\"" 2&ƒ\ " 2& 2&„\ " 2&" D C !"l 2&()*]Ш ,„џџџcl &)* ^Ъ ƒ(ƒ{ "  o8H#@(  h!   oџџџџ 8H#@()* ~V(^Ъ †_‡:Пџџџ ŒTeTd†0`T[‡{S‡РS@џџџ W@@@@DDDD@@@@@DD@@DDDD@DDDD@D@@DDD@@@DDDD@@@@@DD@@DDDD@DDDD@D@@DDDT T„`( 2&)*,jџџџ]Ш &)* ~V5?[ ^ЪyV   2' ^ЪyV„(  џџџџ2'  2')* ,Иџџџ]Ш ' ƒ(ƒ{5v6 @[g}(g)()*Dh C 8$/$)*E Dn}V " DC8$?  Dn J()*Dh C $)*]Ш Dn E }V "DCh 8H  J()*h}U h}U ]Шo }V5w8$! Dn E }V "DC  8H  J()*D E ~Vd " C_Ы J()*E ? T\Cjp ICDn}Uёџџџc7K C}V7KDn|V7K IT5x8$!C]Щ Dhh C8H ICK(c JF IC]Ш K(c J(D()*‡D ~V5y8$% C^Ъ()*‡ ‡  Do }V5z8$%]Щ hC8H (Dh C8H'†dT8K }V7KT ]Щ h >(+нџџџ +Яџџџ +œџџџ +}џџџ +tџџџ +kџџџ +Xџџџ +§ўџџ +нўџџ +šўџџ +nўџџ +]ўџџ+4ўџџ +!ўџџ +ўџџ +№§џџ +§џџ +Сќџџ  +Ђќџџ   >9{TХ ( +љџџџ&c(! +іџџџ8{8{i$)*! %8{! 8{!(]Шjp 8{%c( +јџџџ&(c()* +ѕџџџ8{8{+шџџџh$8$&8$&c( +јџџџ&c(+њџџџ(+љџџџ%()*8$+8$.8$-+эџџџh$)* ~V%R ƒ%" 2&0 4443 $ )*" 1&)* V h " "T " 4ќџџџ&)*V c !  "T ! 4њџџџ&)*  ! 4јџџџ&&)* !D" 4іџџџ+чџџџ $)*]Ш 2, ;џџџsџџџџџџžџџџЙџџџЬџџџc & )* ! ,ШџџџcC! " & )* R рџџџ ŒT8W"TT! @ !2'  3' 2')* R †|кW|жжжжжжжжжжжжжжжжжжжжжжжжжжжжжжжжж|жжж„жж|Žжжжжжжжжжжжжжжжжжжжжжжжж—#жv˜vжжжжЋжQжжжжожжжжQжжжжжжжжЌ—#QvvvжQжжЋжЋQжжжоЦQжжQжж| &6|  '6}  '! 8$!! '! E! ! ! $ ! ! '  '! „sT5~ 8H!8$"68$" yVT      " ! ' ! „c i8H"T5€ 8?!8$"68$" ! ' !      ^Q ! ' !      ^ ! ' ! 8$!! ' R Јџџџ Œ T+W!!%%%%%%%%%%%!%%%%!%%%%%!%%%%%!%%!T'!     ln ^Q ! '  ”џџџ ŒTAW !      ^cTT!      ^“TT!      ^|  ! ' !  # „{ !! ' !' ^()*+єџџџ       ,Ъќџџ!§џџh'E%)*cl^ h _i _j _k _l _l _& )*cl^ h _i _j _k _l _&)*cl^ h _i _j _k _&)*ck^ h _i _j _&)*cj^ h _i _&ci^ h _& @&)* oџџџџ_()* ~Vc^ +рџџџ"& 2+Шџџџ()*! Œ ,Эџџџch &W !(/: & +џџџ( +qџџџ( +Oџџџ( +'џџџ( +љўџџ( +Хўџџ()*VD C V "2& &c()*,йџџџh &! E D Cnn()*()*l)zVl}zV "()*„aeTd lryVEKV DnJ(CnI(chhA +Яџџџ +Гџџџ +Їџџџ #()*V 5‚8{"Tg%8{" &)*8{"(]Ш 8{! +шџџџ +Шџџџ #8{%)* }V%R ‡: „_Ci2&‡ 8рџџџ W"-----------TTgi # 2&T  3& 2& 2&ўџџџ {V ^Ъ "2%()* }V%R †~­W~ЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉБЉЉЉБЉЉ~EЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉЉжОЉЮЮЮЉЉЉЉхЉЦЉЉЉЉЖЉЉЉЉЦЉЉЖЉЉЉЉЉожОЦЮЮЮЉЦЉЉхЉхЦЉЉоЖоЦЉЉЦЉЉˆЉE #3% #  # ,5џџџ !џџџџ2& '(gs 'gc 'gi 'gf 'gB ' '  }V gi'^Ъ Јџџџ Œ T+W!!%%%%%%%%%%%!%%%%!%%%%%!%%%%%!%%!T gi' gi #& ' {V^Ъ„% h4ќџџџ"2%2%()*]Шџџџџ ,ф§џџgўџџЭџџџc !c(' ~V%^Ъ ƒ%2%3% ~V%^Ъ иџџџ Œ­џџџ ŒTW TTT ƒTT1% " 1% yV(')*„(g)Tg} 2,eџџџ…џџџ %)*]Ш ,жџџџ & )*  ƒNƒn(gu ]Шџџџџ _Ы()* |V7R ƒ* 8{"2&VD C 8$!8{" 2& 5ƒ6 @[()* o 8{!l% 8{",Ѕџџџ89! "8{%)*! D C]Шhl $ )* yV„( |V 8H' 8H" V h  8H T  o  8H ()*]Ш ~Vh@(R ‡1†:  ]Шoџџџџ8H#]P@(„-i2& 2&,МџџџYdh"Z(6 CyVgsh'[5„ G!8$"6…8$"8$%)* G!')*5† 8$"6‡8$" 8$!8$"6ˆ8$" i8H"8$"6‰8$"8$%]Шh ')* 8H')* n%‡(8$!6Š8$"8$%+чџџџ +лџџџi ! +Щџџџ +Мџџџ > +zџџџ +hџџџ +Mџџџ ++џџџ +œўџџ +€ўџџ +Qўџџ +щ§џџ +в§џџ  +#§џџ  +§џџ +ењџџ : +њџџ +2њџџ +"њџџ +Ќљџџ+Вјџџ   +rјџџ +8ѕџџ +Lєџџ+>єџџ +)єџџ +єџџ +єџџ+ѕѓџџ +сѓџџ +Юѓџџ +Нѓџџ +Бѓџџ  +–ѓџџ +…ѓџџ! > @ D C G F E C>@   > #9‹T/)*VD C D C ^V( 2& 5?[ ~V(^Ъ„ 2%(]Ш ,рџџџY g 8H"!Z(6 CyV([! h89 # !89 &)*D C W E  E !l ]Ш oo8H" h8H# ]Шo 8H# 8$" 8$"A( E !l o8H" 8$"6Œ8$"A()*E D C W  ! ]Шn8$&]Ш8$&)*Y   8Kh Z( CyVD 68‹"e8$L% CyVD 6Ž8‹"c8$L%[W cjq­ћI—хю9Ch %CC{VBC^ Y 8$!!ZT(6 CyVD6 ^ЭVT5 A@[T[€(TіCi I(Ch I(CC{VC^ !€(TЪCC{VC^ I€(TЌCC{V@C^ Y ]P!ZT(6 CyVD6‘ ^ЭVT5’ A@[T[€(T^CC{V@C^ Y ]PIZT(6 CyVD6“ ^ЭVT5” A@[T[€(TCC{V@C^ Y ]!ZT(6 CyVD6• ^ЭVT5– A@[T[€(TТCC{V@C^ Y ]IZT(6 CyVD6— ^ЭVT5˜ A@[T[€(TtC 289 &D CC{V;C^ 89"VC^ !€( 6™6š6› 6œ8$" A@[T C T\C^ !€џџџџC{Uъџџџc(?@[ {V  ^T5 W+FZC6ž ^ЭV5Ÿ ^ЭV 6 8‹ TcTcTDE D C  6Ё8‹ T)C  6Ђ8‹ TC  6Ѓ8‹ T#5Є ^U5Ѕ ^V 8{!@[8{!@[)*VC T OlШ8{! C    + ,џџџ€T˜\C^ ]Ш‡ic ^Ъ„-bY  "ZT6 CyV? !T[ Y  ,ƒќџџ !ZT% CyV D ?!T CyV D !T[€T"Y!ZT CyV D ?!T[€C{Udџџџc( )*gШ8{! #8{!6І8‹&)*6Ї 8‹#! !89 &Y 6Ј"ccZT6 CyVc6Љ?6ЊA@T[ Y 6Ћ"ccZT6 CyVc6Ќ?6­A@T[ 8$" 8$&5Ў@[)*E D C W   6Џ8‹$ C  6А6Б6В  6Г8‹$ )*8$" 8$&)*VDC 8$"+нџџџ89 #8$&5Д(5Е?6Ж?6З? ,Уљџџ+Ыџџџ +yџџџ +nџџџ +џџџ +јўџџ +кўџџh?   +њ§џџ   + њџџ ,Фљџџ+hњџџ +ѓљџџ  +иљџџ    >9ИT–g ]Щhl }U%\ejph ^Ъ6Й8‹"8H  zUнџџџc(g]Щ  gh8$? ()*gh 8$/$8$:!lџџџџ ^В 8$F!()*‡‡  ]Шo }V5К8$% _Б(]Шh _Б(+ѕџџџ +аџџџ +Йџџџ +Јџџџ +џџџ +Uџџџ  >9ЛT„D&G%c]ф%?E&E&G%G&G &G &G &G&G%)*! r lџџџ?o o}V 2&()*!]^li !s]^^[ ^Y ^W6М8V^T^S ^T^V2&()*!]sl !]s^pl<l!s]s^p ^n ^n ^l6Н8a^i^h ^i^V2& (d !shy()* !^"(5О !] !] !] ^#^ ^#^ ^#()*]y "]z()*]‘ "]()*5П ^V5Р8$% &)*5С ^V5Т8$% &)*…џџџ?…5У8$% &g7 Dr Jgџџџ? D C^l7 Dr C^ns D C_(c! "(c]ф?%c! "(gk ^Ъvlj ^Ъvli^Ъvh^Ъnnu()*8$! 8$"8Л%)*+ъџџџ +Чџџџ Ohl6 }U\ C_ zU№џџџc5Ф?h l78$"l6n }U2\g7 r r  ^C "IC!  C^u  C_ zUаџџџccJ()*g7hChC8* D J(chl7^@(+єџџџ +иџџџ +_џџџ +џџџ +џџџ +џџџ +иўџџ ,Ќ§џџ+Йўџџ ,Р§џџ+šўџџ,ь§џџ+{ўџџ8l„ +dўџџT+Qўџџ+)ўџџ +ўџџ + ўџџ    >h6Х]С@ +C§џџ +7§џџ ++§џџ +§џџ+§џџ+§џџ+ћќџџ +яќџџ +рќџџ +жќџџ  +Щќџџ  +Мќџџ GGG G G GGGGF>    > 9ЦT[" Yl€l@k@i@8$*#@Z(6 CyV ‡ш[2%[)*VC T5Ч ,Жџџџc %" Yg€6Ш_и]йZ(6 CyV ‡ш[2%[)* ,Юџџџc %)*gџџџ8Ц F!s  6Щ8‹ &‡"V5Ъ8$%^Ъ„. h8H'џџџџ2%,еџџџ]Шџџџџ %)*]Ш ]Шo †5Ы8$%h 8H')*]Ш ƒ џџџџ "V 8$&8$" 8$&! D '! D C    8$&!V]Шўџџџj 8H#jh 8H#@(6Ь@(‡[Ÿџџџ ŒT T†Ac(d(+сџџџ ]Шj|Vc ^Ъ !Vd ^Ъl:y( yVc(^Ъ ƒ"ƒ\8{"2%h3&h3&)* yVjp3%^Ъ ƒ"ƒ\3!1% 2&jp3!g"8{"1%d }U\g\8{" zUяџџџc(]Ш 8{!l" 8{" ,aџџџџџџЭџџџc !g"8{"8{%)*]Ш ]Ш~V]Ш ]Ш ]Шo 8H# 8H! 8H!^Ь(!VO]Шj}U 5Эjh 8H#^ЭV;]Шj}U 5Юjh 8H#^ЭV']Шk}U 5Яkh 8H#^ЭV]Шk}U 5аkh 8H#^Э(]Шi}Uc ^Ъl/zV]Шi}Uc ^Ъl\zV]Шj}Ud ^Ъl:z(†5?["V(џџџџ2%,уџџџ]Шџџџџ %)* ^Ъ l/yU l\yUl:y()*]Ш ]Ш~V ]Ш ]Ш ]Шo 8H#^Ь(!V']Шj}U 5бjh 8H#^ЭV]Шk}U 5вkh 8H#^Э(]Шi}Uc ^Ъl/z(g/ 8H &)* ^Ъl/y()*Y! ƒ h 8H#TZ(6 CyV([)*Y! ]Шo  8H#ZT6 CyVT[6г ^ЬV(()*]Ш 8{!l' 8{"c џџџџ }U$\^Ъ„'  8{"T ^Ъ 8{" zUоџџџcg' 8{"8{%+Џџџџ +tџџџ +Hџџџ6д6е6ж +2џџџ +%џџџ +џџџ +рўџџ +Нўџџ Y5з]рZT6 CyV5иT[6й !  " #   >  6к6л6м +Tўџџ +Aўџџ +ѕ§џџ +œ§џџ +n§џџ Y5н]рZT6 CyV5оT[ +&§џџ +ќџџ +<ќџџ  +ќџџ  +ќџџ   >6п6р6с FGGGG G G  " #   >  8K6т ^ЭVm5у ^ЭV:5ф ^ЭV5х6 @[G G G GGGG G F E D C> TUG G G GGG G G F E DC> T)G G G GGGGG F E D C>  G G G GGGGFE D C +Жњџџ +•њџџ+‚њџџh8Ц D!  +3њџџ +!њџџ +йљџџ   >9цT€)*VD C ^V( 2" @()*V  D2" C&()*VD C 89"V 2& 2" @((VD C V2!6ч8$" 8$&(5ш(VD C V2!6щ8$" !8$&%5ъ(Wr‘АЯрџ/@Qbs’5ы(5ь(C W&D C 89!„(5э !8$"6ю8$" 8$&D C 89!„ 6я8$&5№ !8$"6ё8$" 8$"6ђ8$&5ѓ D2!8$"6є8$" C2!8$"6ѕ8$&5і D2!8$"6ї8$" C2!8$"6ј8$&5љ D2!8$"6њ8$" C2!8$"6ћ8$&5ќ C2!8$"6§8$&5ў D2!8$"6џ8$" C!8$"68$&5 D2!8$"68$" C!8$"68$&5 C2!8$"68$&5 C2!8$"68$&5 C2!8$"6 8$&5  C2!8$"6 8$&5  C2!8$"6 8$&5 D2!8$"68$" C2!8$"68$&5 D2!8$"68$" C2!8$"68$&VD C V2!68$" !8$&%5(VD C V2!68$" !8$&%5(V/D C V2!68$" !8$"68$&5 !8$"68$&5(V/D C V2!68$" !8$"68$&5 !8$"6 8$&5!(V/D C V2!6"8$" !8$"6#8$&5$ !8$"6%8$&5&(V/D C V2!6'8$" !8$"6(8$&5) !8$"6*8$&5+(!Vd(W''''""'''''''d(C2!VD2!V d(D2%c(!Vc(W'''""'''''''C2!VD2%(C2%D2%d(VC WD2%D2! C@((VC WD2%D2! C@(()*W,22,,,,,c(C WD % D2" C2"& C2& D2" C&V D2! C!@(W'''27722222''c(C Wc D C@?@(D2! C2!&C2%D2%W(4@EOYaiqyc(d(C?(D2! C2!@(D2! C2!@(D2! C3!@(C3%D2! C@(D2! C@(C2!?(C2!?(C2!? (C2!? (C2!? (D2! C2!@ (D2! C2!@ (W1=IUZdnv~†Ž–Јd(c(C W D C@?(D C@?(D2! C2!@(D2! C2!@(D2! C1!@(C1%D2! C@(D2! C@(C2!? (C2!? (C2!?(C2!?(C2!? (D 2! C2!@ 2!@ (D 2! C2!@ 2!@ (W___— =b‡_ђ_YƒC WmmmmmmmmmmFmm5,!D(5-!d(D WT65.!C C@?(D WT5/!C C@? (D Vƒ50!d(51!( ^V52!(! ^V53!d(! ^V54!d(WcTdV% "V!658$" !8$"668$"! @(WT57!D D@ C@(D WYYYYYYYYYYYYYYYD C "V58!@ @(^V 59!@(!^V5:!d(! ^V5;!d(5<!2! 2!@(C WmmmmmmmmmmFmm5=!c(5>!D(D WT65?!C C@? (D WT5@!C C@? (D Vƒ5A!(5B!c( ^V5C!(! ^V5D!c(! ^V5E!c(WcTdV "V 5F! @(WT5G!D D@ C@(D WYYYYYYYYYYYYYYYD C "V5H!@ @(^V 5I!@(!^V5J!c(! ^V5K!c(5L!2! 2!@(5M!D2! C2!@(C Vƒ5N!c(5O!d(5P!2!?(D Vƒ5Q!d(5R!c(5S!2! C@(D Vƒ5T!d(5U!c(5V!2! C@(C W[[[[[[[[([[[M5W!c(5X!d(5Y!C?(C WT5Z!C?? (5[!D C@?(5\!2!?(C WWWWWWWWWCWWMW5]!c(5^!d(C WT!5_!C? ?(5`!C? (5a!D? (5b!2!? (C Vƒ5c!d(5d!c(!6e8$"!2!? (C WYYYYYYYYYYYYYY5f!D(D C WTLT#C !6g8$" !8$"6h8$"! @ ? (D Vƒ5i!d(TV 5j!D? (D W!!!!!!!!!!!!!!5k!c(5l!C? (! ^V!6m8$" !8$"6n8$"!? ( ^V5o!(!6p8$" !8$"6q8$"!2! 2!@ (C WGGGGGGGGGGGGGG5r!D(D WThT7T5s!C C@ ? (D Vƒ 5t!?(TV5u!c(DV5v!c(W5w!D C?@(D ! ^V5x!c( ^V5y!(!6z8$" !8$"6{8$"!2! 2!@ (!6|8$"!(!! !V chh  !>(!V chh >(Wœœœ8ЖКЭтїœ'œ^•C2! D2! F F" E E" DD" CC@>(D CCV !U!V'2! 2! F F" E E" DD" CC@>(CV;! ! 2! C  "2! F F" EE" DD" "@ C@>(Tч?[C2! F E D C?>(D2! F E D CC@>(D2! F E D CC@>(C ! ! 2! ? "F E ?  "@ D C "@>(C ! ! ! ! 2! ?  "F ?  "@ E D C "@>(C ! ! ! ! 2! ?  "F E ?  "@ D C "@>(D C !U; @ ! ! @ 2! 2! F F8$" E E8$" DD8$" C "@C>(!U; @ ! ! @ 2! 2! F F8$" E E8$" DD8$" C "@C>( @ ! ! @ ! ! 2!2! @  "F F"?  "@ E E"h@?  "@@?  "@8$" DD"h @ "@  @ "@8$">(D C !U; @ ! ! @ 2! 2! F F8$" E E8$" DD8$" C "@C>(!U; @ ! ! @ 2! 2! F F8$" E E8$" DD8$" C "@C>( @ ! ! @ ! ! 2!2! @  "F F" E E"h@?  "@@?  "@8$" DD"h @ "@  @ "@8$">(?[)*VD C ^V  2#@( 2# @()*W9IYis‹•ŸЉГНЭc(d(C W D# C@?( D# C@?( D2# C2#@( D2# C2#@( D2# C2#@( C2#?( D2# C@( D2# C@( C2#?( C2#?( C2#? ( C2#? ( C2#? ( D2# C2#@ ( D2# C2#@ ()*Vh!@ C!D2#'()*W(+.4BPZfox!6}8$"8$!7$8$+!?[c(d(C?( D2" C2"@( D2" C2"@( C" D2& D2" C' C2"?( C2"? ( C2"? (V D2! C!@(W,(D2! C2!@(D2! C2!@3%C2!?(W(C D WTD @2! C @2!@(W(D D@2! C@2!@(V D2! C!@(W(4A?[c(5~(ch C?@@(D2! C2!&c D C@3!@(C2%W!!!!!!!!!!!!!!D2! C2!&C3%c @(WD2! C2!&c ? @(V D2! C!&(VD2! C!8$&()*V C " D 2&(V D2! C!@()*VC D2" 3"8$"h @8$&()*VD 2" C 3"8$&()*WUUUUUUUUUUUUUUUC WT-c(C 89!„cT56 @[c? 89!!D#?@(?[! "()*! ? 'WnnnnnnnnnnnnnnnC WTF! 89!ˆ?[89!„)89! ?h ! #@ ! D#C@?@(c @(?[c @6€@(c @6@(c &)*! !^VcT5‚6 @[!89!„  !@?( !@ !@?(C 89&)*C @@I(C 89&!6ƒ!@?(5„%€C8$! 8$&)* ! T#\iyV5… !8$"6†8$"8$."! ^Uйџџџ(?( & &)*WwwwwwwwwwwwwwwwC W2WTJC D C WD C@ @^(WTC D C WD C@ @^( ^(Wd(c(Wd(c(Wc(d(%%%%WC(D 89!„5‡T5ˆ !8$"6‰8$" C8$&ПџџџŒc(d(c(5Š?6‹?6Œ?6?6Ž?6?6?6‘? +кџџџ +Ъџџџ ,Vщџџ,oщџџ,~щџџ,œщџџ+…џџџ ,Гщџџ ,ащџџ,ыџџ,ыџџ,Лыџџ+cџџџ ,чыџџ+Vџџџ,ьџџ+Iџџџ,?ьџџ+<џџџ +-џџџ +џџџ ,cьџџ+яўџџ ,ьџџ+eўџџ ,Ньџџ,еьџџ,ъьџџ +Iўџџ +?ўџџ +6ўџџ ,эџџ,!эџџ,\эџџјэџџ %,Љюџџ+с§џџh? +Ъ§џџh I +О§џџ  +Ћ§џџ6’89!? +—§џџ +…§џџ +x§џџ +8§џџh?  !#05:=D,Хєџџ,Œјџџ,­јџџ ,‡љџџ,1=,™љџџ+ђќџџ ,њџџ,!њџџXњџџ,Пњџџ5@,Цњџџћџџ9ћџџ9,Vћџџ+Хќџџ +Зќџџ &DI+5ќџџ ,Mћџџ+ќџџ ,Uћџџ'+ќџџ ,]ћџџ(K,cћџџƒћџџšћџџ    "$&)+-/13579;=?ACEGIKMOQSUWY[]_acegikmoqsuwy{}ƒ…‡‰‹‘“•—™›Ÿ>PQ9“TKc 3&)* 8q# Œ!  C! 2&W"")06<BIIPW^^eelszˆ–ЄЋВЙРЦЬвиоъэ!1%!1%!d(!e(!f(!g(!g(!g(!g(!g(!g (!g (!g (!g (!g (!g(!g(!g(!g(!g(!g(!g(!g(5” &5• &5– &5— &5˜ &!8q!?(c(5™ &)*8$!!7u ?[C 8q!oIC 8q!oI(€8q!I(5š?i?h?h?h? +рџџџ8q +Нџџџ +Љџџџ6› ,‹ўџџ‘ўџџ   >  9œTк)*VC ? ?8“:# D2&()* i8u $58$%d 8u "(c 8u "(c 8u "(c 8u "(c 8u "h @?(f 8u "i 8u " @?(d 8u "h 8u " " @(d 8u "h 8u " " @(d 8u "(c 8u " !U5ž 8$"8$!7u ?[c @(e 8u "h 8u " @(c(d(c 8u " ?(e 8u "h 8u " @(e 8u "h 8u " @(e 8u "h 8u " @(e 8u "h 8u " @ @@(c 8u " ?(c 8u " ?(c 8u " ? (c 8u " ? (c 8u " ? (e 8u "h 8u " @ (e 8u "h 8u " @ (d 8u "(c 8u "h @(e 8u "h 8u " @(c 8u " ?(c 8u "8u @[c ^Ъ8“ %,%ўџџ+ёџџџ6Ÿ]Сhl@6 6Ё6Ђ6Ѓ6Є6Ѕ6Іlt6Ї6Ј6Љ6Њ +Рџџџ +Бџџџ +›џџџ +‹џџџ +џџџ +iџџџ +Sџџџ +Dџџџ +5џџџ +&џџџ +џџџ +џџџ +ьўџџ +жўџџ +Рўџџ +Њўџџ +›ўџџ +”ўџџ +ўџџ +wўџџ"+Pўџџ +Dўџџ%+)ўџџ&+ўџџ +і§џџ +ф§џџ +и§џџ +Ь§џџ +Р§џџ +Д§џџ +Љ§џџ> 8u  > +u§џџ ?9ЋT8И"c8$L%8$(!I(8$9!I(c?h?6Ќ?8$?8$?h?h? +кџџџ +Эџџџh6­ ?6ЎA@6Џ ?6АA@6Б?6ВA@6Г8“7?6ДA@6Е ?6ЖA@6З ?6ИA@6Й +sџџџ Yw5Кjhh8K^8ц!8H#^ЬVd I8И# C8q! 8œ 8Ћ" 8“%! CiyV 8“(!6Л 8“!8$"6М8$"C8$."CiyV 5Н 8“!8$"6О8$"C8$."C8$+!8“)!CV#5ПC8$."5Р 8“!8$"C8$."C8$+!CVCC 8“,#TCV#5СC8$."5Т 8“!8$"C8$."C8$+!8“8! F E D CCV}5УC8$."5ФC8$."5Х 8“!8$"C8$."5ЦC8$."5Ч 8“!8$"C8$."5ШC8$."5Щ 8“!8$"C8$."5ЪC8$."5Ы8“!8$"C8$."C8$+!8“<! 8“=!8“=!CV 8“M"8“=!T8“=!CV8“K!TCV8“L!TCV8“H!TCV8“L!T 8“>! 8“@! 8“A! 8“D!8“D!8“D!6Ь6Эi8“!8“!8“!8“! ]Ш„T5Ю8$" ]Ш„T5Я8$" ]Ш„T5а8$"6б 8$"8$" 8$" 8$" 8$" 8$" /C8$."7$/CzV.C8$6!#ZTT8u CyV97œC8$!6в8$"8œC8$!8$"6г8$"8œC8$!8$"6д8$"8$!T5 CyV D8$!T[   >  9еc8$P!:9жcaml_alloc_dummycaml_alloc_dummy_floatcaml_update_dummycaml_array_get_addrcaml_array_get_floatcaml_array_getcaml_array_set_addrcaml_array_set_floatcaml_array_setcaml_array_unsafe_get_floatcaml_array_unsafe_getcaml_array_unsafe_set_addrcaml_array_unsafe_set_floatcaml_array_unsafe_setcaml_make_vectcaml_make_arraycaml_comparecaml_equalcaml_notequalcaml_lessthancaml_lessequalcaml_greaterthancaml_greaterequalcaml_output_valuecaml_output_value_to_stringcaml_output_value_to_buffercaml_format_floatcaml_float_of_stringcaml_int_of_floatcaml_float_of_intcaml_neg_floatcaml_abs_floatcaml_add_floatcaml_sub_floatcaml_mul_floatcaml_div_floatcaml_exp_floatcaml_floor_floatcaml_fmod_floatcaml_frexp_floatcaml_ldexp_floatcaml_log_floatcaml_log10_floatcaml_modf_floatcaml_sqrt_floatcaml_power_floatcaml_sin_floatcaml_sinh_floatcaml_cos_floatcaml_cosh_floatcaml_tan_floatcaml_tanh_floatcaml_asin_floatcaml_acos_floatcaml_atan_floatcaml_atan2_floatcaml_ceil_floatcaml_eq_floatcaml_neq_floatcaml_le_floatcaml_lt_floatcaml_ge_floatcaml_gt_floatcaml_float_comparecaml_classify_floatcaml_gc_statcaml_gc_quick_statcaml_gc_counterscaml_gc_getcaml_gc_setcaml_gc_minorcaml_gc_majorcaml_gc_full_majorcaml_gc_major_slicecaml_gc_compactioncaml_hash_univ_paramcaml_input_valuecaml_input_value_from_stringcaml_marshal_data_sizecaml_int_comparecaml_int_of_stringcaml_format_intcaml_int32_negcaml_int32_addcaml_int32_subcaml_int32_mulcaml_int32_divcaml_int32_modcaml_int32_andcaml_int32_orcaml_int32_xorcaml_int32_shift_leftcaml_int32_shift_rightcaml_int32_shift_right_unsignedcaml_int32_of_intcaml_int32_to_intcaml_int32_of_floatcaml_int32_to_floatcaml_int32_comparecaml_int32_formatcaml_int32_of_stringcaml_int32_bits_of_floatcaml_int32_float_of_bitscaml_int64_negcaml_int64_addcaml_int64_subcaml_int64_mulcaml_int64_divcaml_int64_modcaml_int64_andcaml_int64_orcaml_int64_xorcaml_int64_shift_leftcaml_int64_shift_rightcaml_int64_shift_right_unsignedcaml_int64_of_intcaml_int64_to_intcaml_int64_of_floatcaml_int64_to_floatcaml_int64_of_int32caml_int64_to_int32caml_int64_of_nativeintcaml_int64_to_nativeintcaml_int64_comparecaml_int64_formatcaml_int64_of_stringcaml_int64_bits_of_floatcaml_int64_float_of_bitscaml_nativeint_negcaml_nativeint_addcaml_nativeint_subcaml_nativeint_mulcaml_nativeint_divcaml_nativeint_modcaml_nativeint_andcaml_nativeint_orcaml_nativeint_xorcaml_nativeint_shift_leftcaml_nativeint_shift_rightcaml_nativeint_shift_right_unsignedcaml_nativeint_of_intcaml_nativeint_to_intcaml_nativeint_of_floatcaml_nativeint_to_floatcaml_nativeint_of_int32caml_nativeint_to_int32caml_nativeint_comparecaml_nativeint_formatcaml_nativeint_of_stringcaml_ml_open_descriptor_incaml_ml_open_descriptor_outcaml_ml_out_channels_listcaml_channel_descriptorcaml_ml_close_channelcaml_ml_channel_sizecaml_ml_channel_size_64caml_ml_set_binary_modecaml_ml_flush_partialcaml_ml_flushcaml_ml_output_charcaml_ml_output_intcaml_ml_output_partialcaml_ml_outputcaml_ml_seek_outcaml_ml_seek_out_64caml_ml_pos_outcaml_ml_pos_out_64caml_ml_input_charcaml_ml_input_intcaml_ml_inputcaml_ml_seek_incaml_ml_seek_in_64caml_ml_pos_incaml_ml_pos_in_64caml_ml_input_scan_linecaml_lex_enginecaml_new_lex_enginecaml_md5_stringcaml_md5_chancaml_get_global_datacaml_get_section_tablecaml_reify_bytecodecaml_realloc_globalcaml_get_current_environmentcaml_invoke_traced_functioncaml_static_alloccaml_static_freecaml_static_release_bytecodecaml_static_resizecaml_obj_is_blockcaml_obj_tagcaml_obj_set_tagcaml_obj_blockcaml_obj_dupcaml_obj_truncatecaml_lazy_follow_forwardcaml_lazy_make_forwardcaml_get_public_methodcaml_parse_enginecaml_install_signal_handlercaml_ml_string_lengthcaml_create_stringcaml_string_getcaml_string_setcaml_string_equalcaml_string_notequalcaml_string_comparecaml_string_lessthancaml_string_lessequalcaml_string_greaterthancaml_string_greaterequalcaml_blit_stringcaml_fill_stringcaml_is_printablecaml_bitvect_testcaml_sys_exitcaml_sys_opencaml_sys_closecaml_sys_file_existscaml_sys_is_directorycaml_sys_removecaml_sys_renamecaml_sys_chdircaml_sys_getcwdcaml_sys_getenvcaml_sys_get_argvcaml_sys_system_commandcaml_sys_timecaml_sys_random_seedcaml_sys_get_configcaml_sys_read_directorycaml_terminfo_setupcaml_terminfo_backupcaml_terminfo_standoutcaml_terminfo_resumecaml_register_named_valuecaml_weak_createcaml_weak_setcaml_weak_getcaml_weak_get_copycaml_weak_checkcaml_final_registercaml_final_releasecaml_ensure_stack_capacitycaml_dynlink_open_libcaml_dynlink_close_libcaml_dynlink_lookup_symbolcaml_dynlink_add_primitivecaml_dynlink_get_current_libs„•ІОgбяq\-Out_of_memory)Sys_error'Failure0Invalid_argument+End_of_file0Division_by_zero)Not_found-Match_failure.Stack_overflow.Sys_blocked_io.Assert_failure:Undefined_recursive_module,really_input%input @ F@ @ G@&output A C D F@ A C D G@%%.12g!."%d%false$true.bool_of_string$true%false+char_of_int/Pervasives.Exit_j№_jџ№_j№_jяџџџџџџ_j_j<А5Pervasives.do_at_exit@А(array.mlаD*Array.blit*Array.fill)Array.sub,Array.Bottom@)List.map2*List.iter2/List.fold_left20List.fold_right2-List.for_all2,List.exists2 @@,List.combineА'list.mlеK-List.rev_map2#nth(List.nth"tl"hd@"\'"\\"\n"\t(Char.chr@5String.rcontains_from4String.contains_from2String.rindex_from1String.index_from +String.blit+String.fill*String.sub@)Sys.Break&3.10.1@"%d_iџџџџ_i_i_i_i_i_iџџџџ_i€_iџџџ@"%d_jџџџџџџџџ_j_j_j_j_j_jџџџџџџџџ_j€_jџџџџџџџ@"%d_nџџџџ_n_n_n_n_n_nџџџџ_n_n@ %Lexing.lex_refill: cannot grow bufferР @@џР A@@@,syntax error.Parsing.YYexit3Parsing.Parse_error@А)buffer.mliI4Buffer.add_substring>Buffer.add: cannot grow buffer*Buffer.nth*Buffer.sub@!% !"!"!'!'"%_А)printf.mlrH"'' )printf: premature end of format string ``"''4 in format string ``1, at char number 8printf: bad conversion % index_of_int: negative argument @! "%s"%s.bool_of_string)a boolean-int_of_string*an integer-int_of_string*an integer/float_of_string'a float/float_of_string'a float ! (one of: #(?)&--help%-help9%s: unknown option `%s'. 1%s: wrong argument `%s'; option `%s' expects %s. #%s: option `%s' needs an argument. (%s: %s. %-help&--help"%s#%s %-help= Display this list of options%-help&--help= Display this list of options&--help%-help( %s %s !}!|!{* %s %s%s &'Arg.Bad(Arg.Help(Arg.Stop@$%02x0Digest.substring@_i_j аA_j,Random.int64_i,Random.int32*Random.int!xмbR+ЭF4єњаБJЮ$xЃФШlG%Tgж‘Ч,ёw06С“'7+ё‘ †K:FЙ|‘кHгtcZХЁ–/>гYС2>vn эŒ†'›b"?сЕŸ ?xс †9Я=Уš”dФL6Ф?}#ЎSO§ѓY1 ~$шN~с˜ф3ї"ЫОо(QЙdщ*Y“=LаЗяџ §Њ"ыЧ.’.2yŽм( L2o<НэGљ<ж*еO7язh9b6oУ –z@ G@ A C E@(%s%06x%s7Filename.chop_extension4Filename.chop_suffix "./".\#../#..\"./#../ !."..!/&TMPDIR$/tmp$'\''!."..!\$TEMP!.!."..!/&Cygwin$Unix%Win32А+filename.mlЊI@", ", $True%False!)!($not !)!($not !)# & !(!)# | !(!)$ => !(!)%not (!)"]("![!)"]("?[!)'always(!)(alwaysp(!))sometime(!)*sometimep(!)%next(!)' until !(!)( unless !(", ", %]), $or(["])$or([ &])), +always(or([#]))+always(or([ &])), +always(or([#]))+always(or([ &])), +always(or([#]))+always(or([ #34 #33 #38 #37 #35 #36 #39 #40 #41 # : +51 : AND : #53 #55 #57 #58 #59 #63 #43 #42 #47 #46 #44 #45 #48 #49 #50 #52 #54 #56 #60 #61 #62 #64 #65 "1 "2 #66 "76"75#67 "78"77#68 "8 "7 #12 #13 #14 #69 "6 "5 #10 "9 #11 #70 "3 "4 %71 : #15 # : &19 : #16 #17 #18 #20 ' : q = )21 : p = #23 # : -72 : UNTIL : #24 #28 #25 #26 #27 #29 #30 #32 # : %73 : %74 : *trouble =  @@А.fofunctions.mlђ_(constant&hiddenАWD#NVV&skolem! /simplified to: !)!(4Fofunctions.Illegal14Fofunctions.Illegal24Fofunctions.Illegal34Fofunctions.Illegal44Fofunctions.Illegal54Fofunctions.Illegal64Fofunctions.Illegal76Fofunctions.NonMonodic  @@@@9skolem is a reserved word9hidden is a reserved word;constant is a reserved word $NV_V cannot start any word: reserved #NVV cannot start any word: reserved )Folex.Eof, ВоџпџO ы6Ьb­яџ№џёџіџїџјљџњџћџќџ§џўџџџCŽй$oѕџєџ !ѓџђџКP›ц1|Ч]Јѓ>‰д j Е K – с , w Т X Ѓ ю 9 „ Я eАћF‘м'rНSžщ4Ъ Вџџџџџџџџџџџџ!!!џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ Вџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ (, #$ "!&%   UNIEB:-.' ()*+,6/012345789;<?=>@ACDFGHJKLMOPQRSTVWVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX (,џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ#$џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ џџџџџџџџџџџџџџ џџџџџџџџ џџ џџџџџџџџџџџџџџ џџџџџџџџ џџ џџџџџџџџџџџџџџ џџџџџџџџ џџ џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ џџџџџџџџџџџџџџ џџџџџџџџ џџ ''''''''''џџџџџџџџџџџџџџ''''''''''''''''''''''''''џџџџџџџџ'џџ''''''''''''''''''''''''''((((((((((џџџџџџџџџџџџџџ((((((((((((((((((((((((((џџџџџџџџ(џџ(((((((((((((((((((((((((())))))))))џџџџџџџџџџџџџџ))))))))))))))))))))))))))џџџџџџџџ)џџ))))))))))))))))))))))))))**********џџџџџџџџџџџџџџ**************************џџџџџџџџ*џџ**************************++++++++++џџџџџџџџџџџџџџ++++++++++++++++++++++++++џџџџџџџџ+џџ++++++++++++++++++++++++++,,,,,,,,,,џџџџџџџџџџџџџџ,,,,,,,,,,,,,,,,,,,,,,,,,,џџџџџџџџ,џџ,,,,,,,,,,,,,,,,,,,,,,,,,,----------џџџџџџџџџџџџџџ--------------------------џџџџџџџџ-џџ--------------------------..........џџџџџџџџџџџџџџ..........................џџџџџџџџ.џџ..........................//////////џџџџџџџџџџџџџџ//////////////////////////џџџџџџџџ/џџ//////////////////////////0000000000џџџџџџџџџџџџџџ00000000000000000000000000џџџџџџџџ0џџ000000000000000000000000001111111111џџџџџџџџџџџџџџ11111111111111111111111111џџџџџџџџ1џџ111111111111111111111111112222222222џџџџџџџџџџџџџџ22222222222222222222222222џџџџџџџџ2џџ222222222222222222222222223333333333џџџџџџџџџџџџџџ33333333333333333333333333џџџџџџџџ3џџ333333333333333333333333334444444444џџџџџџџџџџџџџџ44444444444444444444444444џџџџџџџџ4џџ444444444444444444444444445555555555џџџџџџџџџџџџџџ55555555555555555555555555џџџџџџџџ5џџ555555555555555555555555556666666666џџџџџџџџџџџџџџ66666666666666666666666666џџџџџџџџ6џџ666666666666666666666666667777777777џџџџџџџџџџџџџџ77777777777777777777777777џџџџџџџџ7џџ777777777777777777777777778888888888џџџџџџџџџџџџџџ88888888888888888888888888џџџџџџџџ8џџ888888888888888888888888889999999999џџџџџџџџџџџџџџ99999999999999999999999999џџџџџџџџ9џџ99999999999999999999999999::::::::::џџџџџџџџџџџџџџ::::::::::::::::::::::::::џџџџџџџџ:џџ::::::::::::::::::::::::::;;;;;;;;;;џџџџџџџџџџџџџџ;;;;;;;;;;;;;;;;;;;;;;;;;;џџџџџџџџ;џџ;;;;;;;;;;;;;;;;;;;;;;;;;;<<<<<<<<<<џџџџџџџџџџџџџџ<<<<<<<<<<<<<<<<<<<<<<<<<<џџџџџџџџ<џџ<<<<<<<<<<<<<<<<<<<<<<<<<<==========џџџџџџџџџџџџџџ==========================џџџџџџџџ=џџ==========================>>>>>>>>>>џџџџџџџџџџџџџџ>>>>>>>>>>>>>>>>>>>>>>>>>>џџџџџџџџ>џџ>>>>>>>>>>>>>>>>>>>>>>>>>>??????????џџџџџџџџџџџџџџ??????????????????????????џџџџџџџџ?џџ??????????????????????????@@@@@@@@@@џџџџџџџџџџџџџџ@@@@@@@@@@@@@@@@@@@@@@@@@@џџџџџџџџ@џџ@@@@@@@@@@@@@@@@@@@@@@@@@@AAAAAAAAAAџџџџџџџџџџџџџџAAAAAAAAAAAAAAAAAAAAAAAAAAџџџџџџџџAџџAAAAAAAAAAAAAAAAAAAAAAAAAABBBBBBBBBBџџџџџџџџџџџџџџBBBBBBBBBBBBBBBBBBBBBBBBBBџџџџџџџџBџџBBBBBBBBBBBBBBBBBBBBBBBBBBCCCCCCCCCCџџџџџџџџџџџџџџCCCCCCCCCCCCCCCCCCCCCCCCCCџџџџџџџџCџџCCCCCCCCCCCCCCCCCCCCCCCCCCDDDDDDDDDDџџџџџџџџџџџџџџDDDDDDDDDDDDDDDDDDDDDDDDDDџџџџџџџџDџџDDDDDDDDDDDDDDDDDDDDDDDDDDEEEEEEEEEEџџџџџџџџџџџџџџEEEEEEEEEEEEEEEEEEEEEEEEEEџџџџџџџџEџџEEEEEEEEEEEEEEEEEEEEEEEEEEFFFFFFFFFFџџџџџџџџџџџџџџFFFFFFFFFFFFFFFFFFFFFFFFFFџџџџџџџџFџџFFFFFFFFFFFFFFFFFFFFFFFFFFGGGGGGGGGGџџџџџџџџџџџџџџGGGGGGGGGGGGGGGGGGGGGGGGGGџџџџџџџџGџџGGGGGGGGGGGGGGGGGGGGGGGGGGHHHHHHHHHHџџџџџџџџџџџџџџHHHHHHHHHHHHHHHHHHHHHHHHHHџџџџџџџџHџџHHHHHHHHHHHHHHHHHHHHHHHHHHIIIIIIIIIIџџџџџџџџџџџџџџIIIIIIIIIIIIIIIIIIIIIIIIIIџџџџџџџџIџџIIIIIIIIIIIIIIIIIIIIIIIIIIJJJJJJJJJJџџџџџџџџџџџџџџJJJJJJJJJJJJJJJJJJJJJJJJJJџџџџџџџџJџџJJJJJJJJJJJJJJJJJJJJJJJJJJKKKKKKKKKKџџџџџџџџџџџџџџKKKKKKKKKKKKKKKKKKKKKKKKKKџџџџџџџџKџџKKKKKKKKKKKKKKKKKKKKKKKKKKLLLLLLLLLLџџџџџџџџџџџџџџLLLLLLLLLLLLLLLLLLLLLLLLLLџџџџџџџџLџџLLLLLLLLLLLLLLLLLLLLLLLLLLMMMMMMMMMMџџџџџџџџџџџџџџMMMMMMMMMMMMMMMMMMMMMMMMMMџџџџџџџџMџџMMMMMMMMMMMMMMMMMMMMMMMMMMNNNNNNNNNNџџџџџџџџџџџџџџNNNNNNNNNNNNNNNNNNNNNNNNNNџџџџџџџџNџџNNNNNNNNNNNNNNNNNNNNNNNNNNOOOOOOOOOOџџџџџџџџџџџџџџOOOOOOOOOOOOOOOOOOOOOOOOOOџџџџџџџџOџџOOOOOOOOOOOOOOOOOOOOOOOOOOPPPPPPPPPPџџџџџџџџџџџџџџPPPPPPPPPPPPPPPPPPPPPPPPPPџџџџџџџџPџџPPPPPPPPPPPPPPPPPPPPPPPPPPQQQQQQQQQQџџџџџџџџџџџџџџQQQQQQQQQQQQQQQQQQQQQQQQQQџџџџџџџџQџџQQQQQQQQQQQQQQQQQQQQQQQQQQRRRRRRRRRRџџџџџџџџџџџџџџRRRRRRRRRRRRRRRRRRRRRRRRRRџџџџџџџџRџџRRRRRRRRRRRRRRRRRRRRRRRRRRSSSSSSSSSSџџџџџџџџџџџџџџSSSSSSSSSSSSSSSSSSSSSSSSSSџџџџџџџџSџџSSSSSSSSSSSSSSSSSSSSSSSSSSTTTTTTTTTTџџџџџџџџџџџџџџTTTTTTTTTTTTTTTTTTTTTTTTTTџџџџџџџџTџџTTTTTTTTTTTTTTTTTTTTTTTTTTUUUUUUUUUUџџџџџџџџџџџџџџUUUUUUUUUUUUUUUUUUUUUUUUUUџџџџџџџџUџџUUUUUUUUUUUUUUUUUUUUUUUUUUVVVVVVVVVVџџџџџџџџџџџџџџVVVVVVVVVVVVVVVVVVVVVVVVVVџџџџџџџџVџџVVVVVVVVVVVVVVVVVVVVVVVVVVWWWWWWWWWWџџџџџџџџџџџџџџWWWWWWWWWWWWWWWWWWWWWWWWWWџџџџџџџџWџџWWWWWWWWWWWWWWWWWWWWWWWWWWXXXXXXXXXXџџџџџџџџџџџџџџXXXXXXXXXXXXXXXXXXXXXXXXXXџџџџџџџџXџџXXXXXXXXXXXXXXXXXXXXXXXXXXџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ @&parser2 is not uppercase \     @ >џџ > t   4'+( tIџџIџIџџџIџIџIџIџIџ"џџYџџIџIџ]џ]џIџIџIџIџIџIџ џџ(џ)џ6џ5џEџџaџџџ tџџ%џFџKџ>џ1џ-џ#џ/џ4ќџM* ъ& !"#4,-%*./01235 !"#76$% " !" 8 ) 9 !"# !"# !"#$%$% ъ        !"#$%              5 6         џџџџџџџџ фTOK_EOFTOK_LPARTOK_RPARTOK_LBRACKETTOK_RBRACKETTOK_NOTTOK_CONJTOK_DISJTOK_IMPLTOK_EQUIVTOK_COMMATOK_FORALLTOK_EXISTSTOK_ALWAYSTOK_ALWAYSPTOK_SOMETIMETOK_SOMETIMEPTOK_NEXTTOK_UNTILTOK_TRUETOK_FALSETOK_UNLESS*TOK_IDENT@ 6Specify the output file. If not given, stdout is used."-o 4Specify the input file. If not given, stdin is used."-i eInclude the 'order' statement with the list of all atoms in the input formula (experimental feature).#-alš  &Random0™6“T€ГkЫЧюQ?7‡l  &Foyacc0И# М<яs‘м kyоўe  &Foyacc0И# М<яs‘м kyоўe@CODE“МDLPTDLLSPRIMЁDATAgхSYMBlCRCSžCaml1999X008