SQLite format 3@ 9;9.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @@1d$ ] HOL-IMP:threads=2elapsed=127.092cpu=211.936gc=11.368factor=1.677zXZִF! l. ]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSxĂ8Zc:{?1F2wDܗE兞Bz+ tgeo [X 0Ph*l+73"׹%aG26j&1vq kiHgzEbrߊg*DCl$% nSQ༽BlNu&Kz6Q p$D+k#ݿ}5[/7`i0'[ZMX5Hs*9G%coϚѤs*d?&9\\.cY~k"pMc_"rEd*PGVk^2,ͰaT>۷[CQ h^O~Һ?V}'EJ ur3[l?`,!_/}@XT\Q)mDoM( =U͝T6q2*EzËw?2ͪ M:eӛ ^O8exB7ȂD|w#xHŝ_} \ZJ6 5/Gwq* h1=,d)A(#7)M.}nxv(QsT˴_&2ǎȖ]0456qZDpM ¥1E3,.pys8bdsg_Ye%Ee$[8؏J]LDd0q`w^pkCL`2TiexmqF΃}~-")ǢJZ4\*inWqb2A5>V tm0٥vRevNS` 6\%GʕKȥsӇ#?Oyp(q2!={` rq|t~kBjHGɔfhEQE=Q"ltX#jes\J Xc㩖1.+_68IE4acyG #}wS[edvĉH= eGKQ02kܘr!6<)fz-*Y)@kw|QPbi_7imZ͜X؜{&Mp9b90}BPgjvF=D#B93/(W? 5C}IpQ-e,~ĺ0x(6md5P:\R:rw~cr. ipYʫwv:B?&gFBX ah u]M=#F_jL Y7>|3 5owҩ- $/؎/,N|'@1` ǜ;:c!SspF?wC'dE UrBr{|ͪҽ"Vmpgt~\bVrӠABꎇ,e0M7Ld3[X Fè(aTx6/9fe(~:I6ņpb7Fvcn𔺽5Ģ)v[R@A;'Wg sJA G;BTvTwlQ̧p"H9HO/"P5&z_88= d_TvZoj?#pf E51l[+n1KL`Qtsl驺=/AK5lSΩ/~0+&/5m`qgrݤT,e;b Cys%jLME2r`2f>PL#  pq<*7Ļfc?1bu#j ~~S>]=bjw!WӍ~pcd9(T,KeGz< `(9tJ=ވ?52b$hFΊSnfrg{|ԛ[RTLjל^833LǚB׋iԆf!٘(: 8CƘ@ӌ԰bT>QOe=Xd)+'k ?.xcaD{:+ۺX'}PH=Z.KrLT(WLJm qd>=u/]=Ny0:TfۚBvl ggYZ7zXZִF! CI]ŗXiɟ1,plnQBmjszu_&Z"!nk5 >q#.#埡`ѭxܵ&.Iy5TVjx_9'3fxmIxYIC\/;[q!'4D1}Hۖ4v;]4ۃpi>ZpF,j[ @CBym@%CZz~)NAjۡ7d4߽5]}؋ WQZ*ZN.ّ][ ck"(aX')C!Re6^" I-۝OSe:ء/Q:   HOL-IMP `9~ytoje`g-% HOL-IMPHOL-IMP.Abs_Int3document.tex7zXZִF! *{]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiC)İ7~9F5<*QH#X}3=\y.*dϾ_`I3~2|'r5p+&xs0MWO-BJT6,08|  vq*uGEƫuϗovS]tC rzC4139+{W^|,ƕ ϔnC"Ne5$bAڰ`r#siyGN _ l!h#jjv,<:\}Ѻ t [VWQAGWҖS +ۆA7/lɦQ be4>; vǯU" n{R܀Z7炝nTٴԙ1F~Y rx~X ݡC~5D FPמo  k} Ee^'м$(lMa[^8p:&9d2ؾщZaCtF`֘L+nUu][EV%Kh<q?喨|N77vaa?W(9ohF>П.sUuE_a@b$IVd 6\ v 3sf!@OK\%csi纜]~O@. F9#HzG[0J<}}ln躐 4:S)bC揎Lz fQPBtį= xE+J9]|ט6(<)ms쯧bC#T9"Rfiک2Ü跺InWѲ*=xLP lCq:mwwKd| qąQHjftI:՘s KRp O@X{F`)T0ˎEόڼ#0Xh]>DŠݠ0Ư[K֜6:}䒨2/qOgU6MbU:P}Fxf"@j@^#:vc 6Rc0Rw 0%ڝ 08 jhm:dkttǛ[;o!D -+zx hl΢% _T8OzrpҬ;V j >I| -X̾*ZdȻVtm%ݎTz Q(s2X`}碶!~:Sa1 }[iVO~·>Ά3Fjl67RwϑFvzAu0 /{y^X޳q9=M ͖2M a$Mi]>V[81M+8gb@t.a1S$QXtCrMgS] kYemqX WC::"/p~}: -.܁Q7 2{e$QiX WE:\th3į"

P(f~AQuyOs)WT'Q2j'uE4\92<33W;C Z83706.5,4*3(2&1$0"/ .-,+*)('&%$#"!     7 | *  T9 Q 5 |ZW   -  Q J [h %1 J o v-5%HOL-IMPHOL-IMP.Abs_Int_initdocument.tex7$#%HOL-IMPHOL-IMP.Comdocument.tex6&'%HOL-IMPHOL-IMP.Procsdocument.tex5)-%HOL-IMPHOL-IMP.Def_Initdocument.tex4%%%HOL-IMPHOL-IMP.Stardocument.tex31=%HOL-IMPHOL-IMP.Complete_Latticedocument.tex2-5%HOL-IMPHOL-IMP.Def_Init_Expdocument.tex1,3%HOL-IMPHOL-IMP.Collecting1document.tex0$#%HOL-IMPHOL-IMP.ASMdocument.tex//9%HOL-IMPHOL-IMP.Hoare_Examplesdocument.tex..7%HOL-IMPHOL-IMP.Abs_Int_Testsdocument.tex-.7%HOL-IMPHOL-IMP.Sec_Type_Exprdocument.tex,3A%HOL-IMPHOL-IMP.Procs_Dyn_Vars_Dyndocument.tex+4C%HOL-IMPHOL-IMP.Collecting_Examplesdocument.tex*4C%HOL-IMPHOL-IMP.Procs_Stat_Vars_Dyndocument.tex)%%%HOL-IMPHOL-IMP.BExpdocument.tex(5E%HOL-IMPHOL-IMP.Procs_Stat_Vars_Statdocument.tex'&'%HOL-IMPHOL-IMP.Hoaredocument.tex&5E%HOL-IMPHOL-IMP.Hoare_Sound_Completedocument.tex%-5%HOL-IMPHOL-IMP.VCG_Total_EXdocument.tex$-5%HOL-IMPHOL-IMP.Def_Init_Bigdocument.tex#+1%HOL-IMPHOL-IMP.Poly_Typesdocument.tex"%%%HOL-IMPHOL-IMP.Varsdocument.tex!')%HOL-IMPHOL-IMP.C_likedocument.tex /9%HOL-IMPHOL-IMP.Def_Init_Smalldocument.tex%%%HOL-IMPHOL-IMP.AExpdocument.tex/9%HOL-IMPHOL-IMP.Abs_Int1_constdocument.tex$#%HOL-IMPHOL-IMP.VCGdocument.tex.7%HOL-IMPHOL-IMP.VCG_Total_EX2document.tex-5%HOL-IMPHOL-IMP.Denotationaldocument.tex#!%HOL-IMPHOL-IMP.OOdocument.tex/9%HOL-IMPHOL-IMP.Hoare_Total_EXdocument.tex0;%HOL-IMPHOL-IMP.Abs_Int1_paritydocument.tex*/%HOL-IMPHOL-IMP.Abs_Statedocument.tex%%%HOL-IMPHOL-IMP.AComdocument.tex%%%HOL-IMPHOL-IMP.Folddocument.tex*/%HOL-IMPHOL-IMP.Sem_Equivdocument.tex1=%HOL-IMPHOL-IMP.Finite_Reachabledocument.tex+1%HOL-IMPHOL-IMP.Small_Stepdocument.tex*/%HOL-IMPHOL-IMP.Live_Truedocument.tex+1%HOL-IMPHOL-IMP.Collectingdocument.tex,3%HOL-IMPHOL-IMP.Sec_TypingTdocument.tex0;%HOL-IMPHOL-IMP.Hoare_Total_EX2document.tex &'%HOL-IMPHOL-IMP.Typesdocument.tex ,3%HOL-IMPHOL-IMP.Hoare_Totaldocument.tex )-%HOL-IMPHOL-IMP.Compilerdocument.tex +1%HOL-IMPHOL-IMP.Sec_Typingdocument.tex )-%HOL-IMPHOL-IMP.Abs_Int2document.tex)-%HOL-IMPHOL-IMP.Big_Stepdocument.tex%%%HOL-IMPHOL-IMP.Livedocument.tex)-%HOL-IMPHOL-IMP.Abs_Int1document.tex-5%HOL-IMPHOL-IMP.Abs_Int2_ivldocument.tex)-%HOL-IMPHOL-IMP.Abs_Int0document.tex*/%HOL-IMPHOL-IMP.Compiler2document.tex(-% HOL-IMPHOL-IMP.Abs_Int3document.tex rDTV=]2!z%HCZlka[@7P|}y?ۛ\*5n>?? #WjAm's@0H&+h5'sXT6/ىkN6[䵈y<f pR{z9^` %?x)9Jzj AO555_`0hV~*h2>.Շ*ډ蠲qKra8J>z;l:Ʉny3w2o=&߄-#:Wݎɵ.޸#dZ2 3R[<=j%QtZ{v^~tiI̝Uhu x%~  IƦQE"i )FkD|+beHy1ԭKyjwy^!40SX+Je<'Jqs;OʗQ iȲ' 7UK/G,_0<-օ?sb-#rH /_Xy@se球jkZtSTM yKӚԏBXd*Q"x7[x,M!V"@^8z>--d(+Sgv͕%fE||p,.?, '%Vaw<@jsIwJ(LІz-]0 bMBzW  bصjoXp{D V\ohY0ƹ_,ӕVZGh&٩P]=qn!2is3Al$Xe3c~glDS̠Ün( -a ژ+\"B/戳ymHׄzZi!\aq|`.>Qk/b["LQpZz[)aWX\7-Jiקsf[m%i6ܧ^d_R 1m6 ;%E)TOo&% b+~^@t1hѼK6#T/.Pr#jďqm6{}aAcilj3j*]Oڙ4َףjT2_Q_]a YA6?u͜Qdb7m!z # k-<ʣ%'Io~]<UA;}H& ( xI}Hv-lӠB$}K#@C"ݣ L {4dƝt+ɴaY4?\e5]urbG/C|&=]4Jjh6;™L0wBm9C5X.ϜwdT7^6τGZVL4t^QzJ&*REכ:lɏ:[:%JUF/u#+dÜ5֑ |Ac@nCNʲL,3;G"WAy0d%4;]_Ѓ 3wBBLm5uQsO~/ *rqt32e9.H#(K Fi<*pPQsSYQa.yRKZ$x:[jϠ?IyOg%dq-\C'z6#~@zY\=5]~B.1̉4 u/wW9K]Nx UewcȹD6ï=?ȣ128.Pu`sN)Ysx_lQHfSM+5L0 &%˭.0TɆ3J8v7tR+pn?/&zM 5ahWJaXp,*_$|\)1[598|M,Lj#n>.m %Y,յ_ 'L|;bцјO9=;%Y^ Ļ(Ұ4_t#w/.C Q%Oz!}!2!3qDRF'z)VTl ~ hʵ#&/#,a~H m F,6Xi J!]/Gۡ;&ͧ%B6Ub,C]j"!_Hj4xjJA⡤1ȻغCvZe?C*;WaJR,\Τ=PjK -1*Ŵ?"OEi.Y~I!ˑ{՝ M=FQ/՗34X9aהnAV˾W{M_k7E`)Z)C# ]ó^AsWe2`ymZ[OQIVo[RhAZ9ޛ|Ll=v[C5@h(6XRc=J\:upmS"YŹGq L@8ce[.WI4K^ ʕ7`nrRЎTQE +9unT/bt.n1;hp-Y-0 !`z-/ZMA;$‚+ޱ g#pns8W>EW@09~g _8Ft)HT4!.*O@B̊)M:^ZŅ8]Iv ɻ?_hFrIEE%f!I*5($q:2 8?jq$y Re8D ڄxSH,~ f'ՙ_"̴Cpe!6r.^̮ fV]RIHIЬtt%) < %mj"9 Z=!f#k K.iltm?"]\+6aMcMTN[{, >|եe7^W/@KeaFӇ-1oPoIT9>'?g?1#$?D=g%[Mȓ!,"f]/=!u j,v O*(", b5 qvEswz| Wl{*;A-t;H|8ӥ l|!$„9K_lm7ݿb$:LJAq9Yq{8?d3_j"|=ahJd{ n^wWj\) \~nFj}ƾEHR"xho;QXۘmvؓF,|~_zuS}LkPʎ2G8}:I6ؚcGiX9Kz gN]r r)Y32?tq0)lI9Ԇr:EjP~}vN+mͳ Yf ӼLvY.>m'pJ-IF6`ͬH7!*^)/f_ 彍CU {Au1K!yY;"X=:opw:qaE)ȇHdߩj}wXjMAsMl$1i_]hؗ[->hkچ t~/ Y*wQ7(g*ᵗ>,9_ ;Fx`huqIg7'9O)mzȞi!yvp V/8FjZSVV[il e\T@xsz̗iQjjFlDN8LqHQ`t\'_/4&M69pA%~~TF#K2JƱ.s!qc N蘓;\钚sR7A0_Ƞ섪Y.}0ZŒR}60{KYMgPYø3 bxLSM*`KP =j "7[ ogojNz9â藖8h#s?s֦4&_0ߺBQY\+&#q+DpHNs^+5Զ _.Ɂ\T]OTe҇݋0#?grܓ7izZkjΕղ"u)MId!S/PiKzV \i_f' n,0mc @ԟamkUvVdpYEX%Xg(J}Z0> ކ J>~*t&5L%s#$dth8)A50% L "A޹BgB~\b]3}z@/(](]WU(/E2J>,!yJMd jnFTCȇ 0ف9 =o3}~KTFi:f04k'_pY!ܨDgkrD8Kmp&k:o | n zݏBEPmc+sEJU22fs"zTI*emd9}Qm(Y#٪K*TCMx &s֣H:êT: *6#4 pH=**C8b;x9F,sYbNMw2 ks)^7ZP~_׻i1`ݵV *ABQjc,,3l_]PݝIA%㧏իd\+0қB(3<#)Cm #-61 . r^Y r1{ P5uރ‚Ҳ03ڭ[E)!Cmu!UxΝayN8u tT<)8N M[~JZO  Ul#7@"Yd*9Mx'Bl]SϷ;u Fۊ#ͨ6(>6Γ3[놦9i$0~cM?$]@njRk$42R d$׿y 2 3v~` Ili'$X:ųK|$q @ƅ9Dp7"918h }Aw2 E2vR\9P+g{[ 9*֒o&ZQqz{z˺( }{ SOyEz*,0ӞD(VvJdPd628L w ;q,=xI+$$$lBX`QឥFuRէmr"-7;Qli1ȭ%;YyRE'Y3YzFuǍcX p:ā7thxiL, SEonu䣶t^j$PtM^^qԍ[VI>[?0elb7]^h3o[4fxO6UDrV5o_UK gYZ OxRUh Jb`C7:l*KȢ@512]'c*Z[a(Sz@|s{yQ75VoMjxɲlLr2hݖۀu!Ϥ[TlVi@Ʉ (EHec_!# '\WDBW'Zs 1pYfۯkrxb*h@$ }k&BaM"jw=T‰և1SdLe1Cl;*2DupWLD9fx.t9at.>?tun~ctlMN8t0ZR:gL#DTgSWp=i:XeYfez ΍ٰFHqJ@7*e~UJHVfoj1UP#cڋv<؄ؓVx$+E,VaЍ$t_.\B] M!w?̓ҁ)c") S qT,2axQ2aOśtΗ Cjh.ǀ0O<a\6TR &gַ~ќ [bk]{|F>Ěq$*yqmL7Ĵ P5[oEBMW87X>ƶ-ᴊJ;^ (k#ɖ}ПtۓCnۙpQA$M.L)8n^ZSᩥ\?&H~.\$C8H <ƾrW ) &Ze!\E_̖ۺf t!w ݼ1\ͯyߖQC"Qqo)SLJqiz7h+GcLXDP[#uck0/ZU"OzEpA눫'T0/9N߻F U,[5K@Kd-(jX0!uhI"ߝ`"g0:6kpĭڵakhz6fp.=c@ɋl"!D21fWeX)2<}c% =?5 H{ +3 xcԣ= #Pb: WN/zϭd0c)Ip{>P0=I<{vp8zïi67YבӎIi( 9Wԃt]Na^ A-#`[6mOBM :+<[388#;4:ǖ{ mds1V'z=nEmzLi]L\DaRR&`fL›XVI!6t4ɮo,zd0z n{B3ˊk>#3Yp~FXZ^ edum6\.՝"_ YWVtOe0^avVzQ3WRe! 6ˊU4+8M!mbWRݶH y;(̩}`%f9co~k"&>M }I(ROLZ{Y=r W " %y;x|ɉ433Lh"~]'ҿo"l6jƻrZz kJ rl唤ر''ټ 9[j?48+0"kYMUf%s:\sH@@8f/ED %)ҏ>ڨ>W2JsǙnS}MAfK+lY9%/AyG1w&`jOa[(Qu(YqM[pPmTb-y\>p}_2\D!ira-RCWl>Dgw dJh@-)?lO*A N(7@y#= `+y)rdJCpr t%]2#If34ق7pC^vK4) ٕ| Omr, 0@&M\݉6;Mj=`Յ;xU8a`T?S|nu ؔ}ArUsZH0K=3}qՂ?ta\F扌V0LQvz 8u1r I[!*$8N ͊ "J)4 SV8 D'в|MU"4VWÂ_csKP]EYK8pף;oNjM|&e|V/YWʐ U U[$j erhp]߂U p_I%O8# ydmO)HxJ7/ZQr{ *X:FI,YװO%J0i6y *L,%s{yl pTHk2IH5E:rnQ~f#.Q 4S\éOOq♔TjYUxȐDqȂ 3gS9>O>c0!r&B0$_Sv'VYo o/R2lX_]@샙՞;dI_nU,HX)U:nLR dKJt/LUV@cvhZ Rُm4/v\^oD'Ȍq,OCh%O,ۘD"٫QkvQiM2cس)`'N-|NG3SK To$)/K,Rm) |"PԺ {3۸y F*x~pʆ^hAUEm70񈤶jRLAh&N@F[nAos@\+b$Np `N|aB: @Q<{wnZZ%-GYLfY31 j?y^FہbUG1~ߝR eB*qؕ5U]z6[O҇bQm\qStVOH̤L&bI!,y8z7" 9ڏ?̱zKa >(R4Wב(lӄv*6~ޡ2 d:ɿ$/]􍮳\ '/jeklx9c d3oe!>Z~[{nE\=') "2>e \{t ˒=B-"G%wW_9~d&e>wC^]Dbe_''#j;VX av=,5Dz扊2o1 ӕD.^ ءUWKGq[FşV֡M--3 PP)ǥX#nhc5K?R#&f2Hhqu#{Kg_wۉtgנ׫jE3 ]t]GRFŭuo*AbDǔȿzaqWd*E Zf"eZ}H,c;k^ͭ ?/o=pjm$PYt̰q4G1[~wf_?d⻣g4eew VਫK{Ѫ7zJxKA>.=vC3V sYԖڃVĀ\@l߶f!~dHb:7;e&'4 bδ}b:J ,8yIV yA^كad3 4EyntBGסYApG7D" 0]VˬQTz6WzvPޟ2X{q@EOsjmOq-24Y/M #ϢwT7ESS-0-<,6e[ B)E[``odK%aA<\5LL(XVtc.+ox؛`|B\ \*j*3# { 62@XL_H;B~4#Ov7M׌]Dqm \3mSgmpL~@:3淕3.È=tc&/"Jv[qE A ON U|ש~Ϭ'\'Uqh"Ʉ ?9{b(9_t?k2P o(G- !̴>*{c˄+WL0 ʝT$ l^v08pv]GsqE CTnA dTGIZ1*gU4f3D/ʾG(+#t1 lx$f`UdT#D| /| Zb$DjmS,-L&O: d+b5V-3K=ujjXN%rY$:o~թ@0hV R|_ܤ &=a\sV7];qĪY0QD`9򀗝sm8?Gu[UCa6 ݉}ÃB{x AP ']E=/:@QuE5:4zwhtzvL$ڴoĞZQ ZG[:яkOTh_Difb+=bV*\VZ{Թ 1U X󙟩Efgk^{!DP:9Ry}X=T07x[c .G1mQ0+P!U4ԪE(?"}tvyD2rj0iFg am;$UiۂE5(CNn #u [G|%u?/J:î^v8? vaVyx_TN5ٖK|Q&hF$/2gjZA(4k0tv/3{%Fy*®I1> %{dn M!k;"TyK"ʨ naQ- :W)]5!P^_TNMBJWr#&fJ^:߇vypsh yї482v;Gc\V뛏߉,*wJ ryZZty.! bA J7gy7kQ>4Ҏod)"^Չu@@Qn9ĬFh\@v7 qqOrka%U lѸK;VAٽHj8ҁv5;P}L. HZЈuև+7m'E8dzz-hߜyߓB.c1OeǓlqOYVss ާYϕ|pXaxqf!N+X@mBz)ϻi:zn[q"HMPS$r֥Q  4R> gߦiV͌B7_p){$DZjpj9w/j#`IDe(1#6B<|Q}m1K)πI{}zKo]|XCȕu66ҹmYU(&%TEG+ ; nDx)/"o璉ç%Ƌqo. Pb ܉sFp?E K;TaZ@& /t鯰SPp֕CP!SR{ Jp5I4 +:NBba . rrł0M=ݢkߔ\7 4Jv|(4Iz@Akٔ.8 d¡&qH!FO}{@>4^2;]i.1U@YRLn8;EkVfy0_O64G=Zjiu5 $ sBxYRMi$˻{Ё,JOq~[\ahON.Q8QaWAkM6xk|"Y(iJ O=(9SXe3J!>t˟HlZ)0eɂ~w!,=sCox_ƺqMJBϘZB{q1`-fL4k6\}w^?HfޫO?| xAyH^o}J2,.d:_B_ww,oܒǗqxLDˡOs.); u6wob+T`WzbP]?979ŀ.uc*:f@'wڍQNLmJ7+aK Gs,L@Qx;'1{: {t"ԥi xEkhˇ}N9NqdWwIKvs^d-.FZ70^Jj^dD4(fWkGssaD}nևuuJYU=&8wgf*HEs&=.n*WLLABPy 5\Μ~r-$Z3H(-e٨. ھW{Z~p)qE ݨϾ 26>p9RR 扥W]|j(Z0TrkYMqJ^.6˧MzsgYZ   g-% HOL-IMPHOL-IMP.Abs_Int3document.tex7zXZִF! *{]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiC)İ7~9F5<*QH#X}3=\y.*dϾ_`I3~2|'r5p+&xs0MWO-BJT6,08|  vq*uGEƫuϗovS]tC rzC4139+{W^|,ƕ ϔnC"Ne5$bAڰ`r#siyGN _ l!h#jjv,<:\}Ѻ t [VWQAGWҖS +ۆA7/lɦQ be4>; vǯU" n{R܀Z7炝nTٴԙ1F~Y rx~X ݡC~5D FPמo  k} Ee^'м$(lMa[^8p:&9d2ؾщZaCtF`֘L+nUu][EV%Kh<q?喨|N77vaa?W(9ohF>П.sUuE_a@b$IVd 6\ v 3sf!@OK\%csi纜]~O@. F9#HzG[0J<}}ln躐 4:S)bC揎Lz fQPBtį= xE+J9]|ט6(<)ms쯧bC#T9"Rfiک2Ü跺InWѲ*=xLP lCq:mwwKd| qąQHjftI:՘s KRp O@X{F`)T0ˎEόڼ#0Xh]>DŠݠ0Ư[K֜6:}䒨2/qOgU6MbU:P}Fxf"@j@^#:vc 6Rc0Rw 0%ڝ 08 jhm:dkttǛ[;o!D -+zx hl΢% _T8OzrpҬ;V j >I| -X̾*ZdȻVtm%ݎTz Q(s2X`}碶!~:Sa1 }[iVO~·>Ά3Fjl67RwϑFvzAu0 /{y^X޳q9=M ͖2M a$Mi]>V[81M+8gb@t.a1S$QXtCrMgS] kYemqX WC::"/p~}: -.܁Q7 2{e$QiX WE:\th3į"

P(f~AQuyOs)WT'Q2j'uE4\92<33W;C ZJ? a%#<\g5>nBmpk%ݦ]._k[G,× jGfC CBhl1 QJNڋ#FoB9=fU@ ܋Fcmk?fe o -% c6Lܙ0ȆLDK_TvwYiCSİ7~9F5<*QH#X}3=\y.*dϾ_`I3~2|'r5p+&w&hƗ~/`cܝTdw= .Qvz^4tyMǻ^%`o܅}a{fɘ? (X}cKIlDIdƻ"ѓxeKW$'x)r˟4b-#qjUﱠѥ];B?2C%fk4c" fS< Z.8 &>sFKc R9p# @K\̌=VRpf^ݙ1Y7jv;sz%LQY4GNX|*[~fnn,KB̂f`0:kPM>gەSߑ yE_o[!U}2;P67բ\aW H :w`DvZ4Jp,$:fHGD8+qޖU0kJί6BGMPϦ<3CDg[Á\S>jnט-$T/>GdioF!ǶsM( 1Y*g@5$ $߾ p cS$!'7ڤ** ߧQM$rx H/% DHOL-IMPHOL-IMP.Compiler2document.tex7zXZִF! &]A-MՋhvG"uIBm5XJ#CBs!W0RkQ-t`;m1*}Y~TmrlP[=eƻ.Cw]@$:g\8iLx`r@ف+ HLqN&Ы 6fa:,9?DI/CkS*^m>;lR{ZkŒJ8V86GX&Z|[N\HWVI]*4_^n<~ hc~e~[3Fvf+M6DQJyKdZNM3.lwUچuʋ>ÚRX`gI\2luhf}Npff9R Tc_n(5X&4߽X 72o9B?!;^h.6Qm e-~qSA*:tN Hk|vxmk1n>A=$ڀ r:Nz8 V[`d1<5Zmڛʆ)Dds  Rdnuc)ػ .՞|#-I$wKqĈx\iul}N1E }w|xkԈ M1%6^"|li{#E–r{R~OVAÄu+c_RTK#~qTI {SBSAL.Z~]T5s^(,twIET Ք^NNV5Iw7؄i 6?7h9̼XR-O|鲻lc+"2?@Hˤ7{jL p0›ͽe7*L}{ϧ_.u1 _4$`"N2rdmQiʇ7BP\a _qagxF?^ 2PF>o\!b ib4oFY:=;82{& &:P̸Y!ō 4 !9]Aˮ`/Nd-hKkucg4K/^c^$F}_mvݓb~~ȧz/)P&~ڮ+05\U6B]I~H#\)J{)WVCrCe/Rǥ5h7cQVtV_/ !0veg*#\~c%kpXrmῳ>=IΦӬ-xadh8\qV=p)EwD q[O/GqE3%XDh81 MFhW^!:wE!*ax[ yW_-5AJZb~~Ckb5;Qȭ'bIS˛3CUb5Q,M)2Z)%qn*fT3 )JQΫ3B,XfF 1:(+ǩ[^2ݿ"XCo 욒 *ajKg.տ`ua]4`t軜o K컆^{Kl,JY1OlD6c: cGz_Z^g)׿nK `2-|X74=,I4dlRg+d>6U&F0p-lj\\7߂A0(|_令ԃ廊7(sv9ZaUsQ ^,o2y eXZ(,87Vn1_ !e5PC-wu` jܼQ3_{#Ac""E<7VxT[K:isE؝D)sҡMrזgF)rDX<-w~Ib;ZW9GH ,cȲF1Sb&x?}&3zS~ESqՐN)I;RW2M^j02he&ǝ"D5f]caKv>oWuƄJ7uE 9[ =Xh x \yAIDS1ɨBZ4@ίR;R<SlGa~GM'! 9m%dnU_j} ͎X 8{hpq#ss`ΰ5Ҟz6lߑh232#T/ė^ rhZVA%b]#U@[|&nA[!eԍI2~c uJuU?`[.Q/\o$8?vN cuw|5f=UM82`So/_<@X/?&nE׵l0?u=CK$z-C/]\.UHM[{A-5?*jZ= $wrJ quĹSvUMt? dDguhTC+j]aelm`XSe[W-:ЬB,3r4\~_X" _}a1`C!YG" 4m%6b(Zy}mY#IM,]g{e)tOC 8"=Y_sk"]2Q#*(txY'5aRh`j,J;9Cp;c%4RPTbco(R9Nqo~d:M•3+hR`VqPDz8]m a,.!TZ* tOKU3.YF(ܩZ#9VαT(??NRku#P :Z^TϜur+G^(]}>pً,ϾӷeAO/$Py| {Q`̥o8X] [ B:Ug(j配,Ťgc5MmHc>rT5o3Uj}N.8RRy^!>SLʒaфH,hB¼kߞLeJfP;׀.Y9[)6Aݬf"7ӁV[%W!k˜+F\דк\-<U 2r-m)Ca* g:XʶѲjQ S[,!:2ow&rF"M\z!H`e?x땺*:p>1}z3^Q>o5$PTJC G&4ZZb^`v;[N-PcmJWJ^R$^7Ȍj߳QvW$(‹< iZ-Vu .wl{Hm&2HgLդX C(:ӈϓE!('aNr3@%4y|^GL—9NK89~a?}y^"5ڑDJr`zMݏ1J|Y[%fo۰;#[)_\)й+imQyqGnWȃ\T51eJI, yObC(/3t ZX"Ўڠ'ErjxCe_IusgdNl+D6 aX*'uQ$3;[kʈEϒ_rڬ;Y{+n4]QEwMF[e5} C`w93+\5^Pj `b!׈x\ QFBtm\+w(D8Hv[۰KYimF-&KX aytH@!0Fm@=C6x(rh`2/͕܁"vg'm~>:H{njf5јabDO"f~mpLzSyL)j.3ŒEp) .uTH,=tdw.Me@y )i~/X~bஊfar_2K)%LIX {+tp{1e;9g9ۇQGB?ZҘ Y.gR:hLqv2BPE_}jW !V5bRuk퉊6h!pU%v%,"W^eJ" b$:hTzߧ=NiWMʀ6hM@̬T0vA8C'3%a*=Ke:?!4d5@a˹zrvUs/I7Tu ,bz1-'9ؒ>B /v;q,c!pʡ+;y `u3o=l7m'AeuVo{ecIgJbK갹I} XpEBFqI=cس2uPZY;߄t('ƕ`&Jpɫ bȄVV,h^>%P^< >ޣ?;n)}70ԡeoeo0P`5wQ;j'!dsk! (pw4w$W"xlZx g\ċ:ҰZg>a9Q)\]n xvEla_5ba9PvRE&Pnt`j+)5ɀ>) 3%glm5ZD5e86=.W͌X5º?M r|M_{?* 0(|ЪZVV'b}{]YgnⳢ6]KL"]0:ghrZT;o(E;`Qm˹$1Gpm:;&.]W"'6;>.øڦJUؖ+Q,vzA_^`hps#S""bbu jS M q\(EqEzǤϩzھJ'uá`‚pAl96D`%g*(#{eFE-+N/F蚸3ɂ#u]\;~vÓa/PiD/AЫUOf顧Og8HϞϋ2-s7BO yI}a*Au@p1@B "RqS F\#fM"AT ~Hz?ʔr2m"nt}%ׇGՠ@*4"rilQ}pܬU*OzƙLՠn% d+1IXu1:do8;].5(\cmx$P&&k^uyϿ4?-?n\DZ9^<W=X]k. 9=+^W j;4NX.ڢݮe|ױ¦4(|`8|,kʄ]H O ntkUKUJG!] IưDj3\dZ&|3Yx0dSRQuLuaNt.r2]ڙ#y;謸;~5ٽTĆ%P p^*p2͞hߖd&8PY(,̪bg"st%/$Q1t@rc#E*ie-]| KtG ӃQ^p۬x4RS8"hC%8?%$Q@VCŨGrz^ܕOr8?=v1#"4d^|п6%{_㊈ c+6\4#ꏔm2bV; ʽ) jLgT;"~N8@ؘ!t2sN\|;649Sdq\[ql 7be^;׀2g+nfl3_kbfT[^j3}qeWx*BjWx9{P>Qk0Ɍ>}2zKS&l4: />}BAsj-kAv*"^͐D\ngiFҌj6=XJ-~[r3#f->LdajK |ðYZ2|r`^\U?T!םԻ#nCg7 d@gM A)aWWƺ9(~  s5*Ir-B58Fh^R+0z gk54ܸb%U^ ~2J$D3<:OU*>/c@N?50,D]:tA:o i1d1sP'-#̱T~u>ŠD03%TZ!upA~՝J> }P1A)ݪiޮpk;5X7шs7\[ҺK;}< |MoHV/L) ʒx\H饽fU[z_ɂ536c aetGF]Ne ^Mn=f) mAj,U`82'J~#Ռܐ6=* p65s k]r4䢳gLX>{YG7Q Œv7qC`wge%u?C5XR*Hd45b0kLR2L+Tt(ϐ㕮 x*TzMua{ aiW2- F ~}qfe' 7„ hMOG[4YB~EQgp%nB/CFQ0UP{ϑX1&fϏZ[`͈ ,B̓S Q6F7n Y| f,EN(s}^*TEoĢ*|V%z/0H%%ҀqB,^.d z:&F۔]+d5]\~ho(Nip"g+p0 l#{$.%rfLɦ4|3ƺOLQ*V=/Gv,#LEnyҙF!p 3 }B&VkáB06>vD7oq-:t pV|ʆhʬe+M`=W? RwǑ% q c@nMB&S߾E,1b{."phio $՟uI;p;m/r[妅JWJھNq3]g]3q\1@R e&SkA<*S!HY:ٻDŽU >I b=tx+ꋙY4ns0O Iphz4۵IKYd̓Lb)h/Q>z~UCW3 MM˨h\3ZJYفI lSWU2!Ջ,axA*k_ͨ9|dPO;oE[P߳BRs2Y^ Pz硬g *g^*:U:%j*鲛=0B[ Mc7ߛ >S .DtTANS#!0Sp~rnDWOvhX:,)4|㗀)R} +k=$-]r*4$' wQ 0!MʞOsG{_v?%q}X+ c:^%Hyit+|"6Ni_` *iDPj| bI>[~VpwD'>lBʶ)&}zM8?a#obْ\?ϝHp`:Wۣ"-3fb7ݹ>_7YaB0Y.la'*^}N_8(m/Oգfw>ǩܭыEL,6m$Mڸx߯\{>on,&3z_zNJ䢀gD _2i(uh\<7[dۅMV%yL}ʰ5 lw P\W@ !kӐgue̛\=ot(TOِbq2h02 w>3'oJ"B)yZ8`*8R,gT gB!Vh4-@2?.*+C9VXfOt9]e~݌&07CՕtg"&Qmt}GsX j?qu:O Ӂ ֈG(zJI"Ix[qǛ+HàHaޙW*,73~^(T#ȯ&{:\ݓzZD>wWBgFqm[u?ڋo,W؜cSȤ?5\"W=E>Ee/Q 7(ݴMG~gu="ã@o.fgANa$& P =D_p)D eB|7^\ʛwk_)c3bΦn$0L12lzlj-m{!Q r*E5iJTw7t=nl\nvsw:/M4=YGt.j Kn0yxC3vh+]nU>j`Y,LzTyiF(Ak_eNIZA٤k>WBM匙~Eĭ# "9d 1҃Briźa .cA"$Qg;(PU`I->ak8xpn<{,e-EoX ?y{)zG#¡Esy`Uɍz(MSPld8tMD(a5+͙6#;WPBn"yw= kB6ʆB'~"⪤lt 堽/@yyfOP+mL|丝}T$*hOy@FS XP(sk ?Gs֕~C䌿eW#+ Ԣm~[YW>WsqĔz,n)MF(ǐB@\Vxi-AM]lg4unOfջNav,3YG(FV@B^AFhuzn=CjKI*@Sr&3DK^9lz{MR)cl̂ HyyĿsAzY sQES;HYV'U!zȕz3Y  'A{['e:TC JY?uܫ/%T9^٫m:-nɸ^I L]bG2kp=i?LY#AbZ;zpi!V)P^̅~"PT&ھ;kMll\m[ F"ez^ϙn´MIO%ks'A< HMP"8"oKKs%5AjHG %H lfJg|qTR<,l za|K@P4z؃;S^+-1DBK ۩]@Xs瓛_ D̞= =jΞrᡮ^ (kuCIi]kv3o .hOQG0Ѝ`Aɗp G~|ExZ{Zw?ZqOS%X1Yj;_e("Qny@mkrJIq~*cy{ESefyl5]#\L چZUL8HbGB2b9k!{tZRИm%ҟ/b! BAY2N+adV(3zo&p,fsv!fyq8' 6z#FhvWM_ F38p.^SHb2?0]!cf|D“n jL9 @z@is>Y3Mks%E);b՚@dj]]e͈Ʃ$ $Ï7` g T>R~=7h`u.Z߀x P} p!ñeY5{gYZ J5% DHOL-IMPHOL-IMP.Abs_Int2_ivldocument.tex7zXZִF! xL]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiCM NMs8^GU`G4HT 6kA1:qS\3h:@Knjl%O~xY >* j5[ʀH^-Gy4șUc m76dX>j, ߑur{P;WvBLwƽW 5o-kC ETdD,~>j ͙};^2jcS k˪zUE/F#0S?+-zщ:(5#d(õ~LRN@Mᑏ/콯qϨ_ƪk  <EGnCpW|\#PQl;[MYd4PUԎψhzK{qI3ɯQ2O.}yXtܜ4`s8mHjn&QCus@q(dU-Lm"Upt$):R1?s—n$ڒIJ٠nkTroxfUJ lBDxt k]} >cR#œ=1 WguSOML#v27$r)OaCW'N*4gR\߮e>Q $urV7P$ҰKO^nTϫz7 "&]1(Ҝ9TC'!Ԝ Es5uù˿NV<}_ʼnRPqE!ipo@brm1{ N])XhKgV ]'$p4ÌǙ^2jPdGʌ|g̓Q`ak &RNEGFb/o= L-?l=SF[x4k2nox Snq͒ڪ9UDɅ|~KB3,iZy~6> ۔1`?L'd e4|##218y0ok5Kh "xPn)oUiSIOcrms|ƀya@7^e^]FzoB޼H)Vkq ex -^d*6^dDJU0]ڴyNC : bf.{)pa{˴֮Jw5}_9Z)z!"3~A 2+ŽF{h*sR{w c<1{Mg*Aß4L΁n^7F+_= hڳhHo7އx0Q!O9SE gqTkuHfp$5T"ԭ/nZxE$ #Axzl3uI(pcW/B ^--Qͷ!5ŗFGV$Zan}b^M;H*ɝXy}Qq6y _WKJx>36t59/Z^/ .惱 D!W^zKJ|Ͽ_Zo<0Fq(Ss7^QhRXB6α7ߺ+~76Q5 )P|E"1(,l.ªu+7Xe'Ad>L[%$%Mź*|n)wch(U_`^ju,1!SԈ׳ZD'>WBE\QYkC}AKetloeY;ӿ?7z2?XiDkm#]DW%» oR)n8Az"i62f߾,C[z!rRbmB3՞^W Ef?+רQiS챴%n*u3Mn{ 0reѹf2ym{/k#z8R$fM ̄0$\ t4%<iX?YvQ߶1L\ef*7'47%_mV3lC5b>= ֿ*l/ %2/N]*=;iZ'L⧡b``a*t]xW;{i@:QӰ1/#S>A(=1qa6-&dIKG ([Vry~$4Dn31NWPSV3`ΗU JΘgX$ڠ_\+)5-3]bE&Hw:̎LSe8֣(BC[|'t@I7460[3v6[FAsk1ZDEÁ Fn5q!?˟u|9˓&ݔh=3o[.;vwAT~eo]^" &b(1he%XXCbRGx ]TG-p>H~q䍟PAs\&#~a>Toш_%8I\C31{_#]vڜ^0 q$u<")أ'wʜ^/5o?̨5IwN:{Ap`Tܣ-Gk&W Z[_Dm IX~&b4ZhNzfaXGCY6gA:"jT\) q @吟`yS)N*R j5RDoxk$:67#DU8ֱɏB(]R/ YahvgXUPѼ9=EσeDÄt38͕ \f -S++%4AުR2ވ|@uNKbe]1)D<:@]%֜s9E:W/N2ӣ.l7^C{YΈjɵ4ZG˹'g EpD4_. X\޳Š˦VU۩ Q͎2XjH8my3(8/OYXxD%`u ^6gFtFC61{ED]T!mB,S 0g6޹h)7":X>>\24:*78v}X5lWHˌNΧ9e&>:d咬N"r79\$i@+>ۋwՈ)y#FJuqer։RDWN2V2@قAo 69Y$O:!ga0V5ơxnp'TwDrq#챰eg |v)<4bpy@` 5*=jU`5Jm)fljjp/Gmx Ŭ?b9߷+:Y0AX.F@䬨J}iIї$%p]v?r]G,GUXx*&ٻbAf=~oz(uDqvKz5#LїאLR[GQO ,ݸ!T8*rN:`Ҥ~791OC6W[Y?wѝ%[L`i l܃&zZ/N5ןHґ[zdS̿Ӡ}*]GK-)J4G*A@c%kueVu$nr?1c I~*nZ+ l% sRwٌnMR& qmtoP1ݼAD 'fmTr=o]9Sbrz'QE%E:xdx\{.{[uy=Sa{6Ute(@.7u$2ZK涐ZE1y]mt3D{ t(՛U.4 ]/`͸]Wt.gYZ 6?6~%% W]dqHDguZ:LHU,kZI^"e/Šj&F2*áU`h <~w֔W <; sUvὩ+/sj E@A pm!ԍj*wöc-aBqk(P@2zO5^]/ץ/Ⲟ}TZ[[ei}'ڧ'I]0ތ3?Zƕ sE t\ IV7-X .I^,91MؑLf@ἲC#fѦe{tc6Lܙ0ȆLDK_TvwYiCFİ7~9F5<*QH#X}3=\y.*dϾ_`I3~2|'r5p+&wf@"5;ᱼ~ItH{!%%cOUݙ*t٦yNH(Pt >!beٷmZ>&gc|C&_p~!j52ldBm&d+pj.D6藛{JlWPV=WTQU'WflKe)1vbr}WްHɕw;$#@ huRɿj *HfchA&Q;X2{x!vĬ bg N1׌hwS{iWz?ڶY5iW](QI ^ RimX{#cUˉʀGh2y B߭PBTaÚ3[eL'[>YK:vVbOŖ f-Y`@D@Fլr{I_7N~'ɛyXŇ1xú;=$NC  w7dV2u)/m8Peʹ1;GowC p>? . <@5#C3Zmo;ʎߓ4w*Қ}VCzjoշm1ó>s^5vP-Bu^ =j};2}e7  UZ:! b ΰTPkM缊T]! SA$W`@rvrnXʦmTW-4R󖸅IJK>^ˎ}y/+A,u}coūyL^L~&Xx}hueƒG9 V;v`ցb QZw6oxDh=9F4+T=9P,@y@)pb8JکR 홰 'aDYm?`)Z݂FDLLab]$I-Aԯ?mN)뻘o1ϐU董z}:\e~GQ Ev*N. oR7 Pb -s&ܮ_չA- XӋeF+R4jf,5LC^:iv:Iټ:=O(ځKߨY^;vԧ 8^\3;1PD UE!G;٨-!fZ$UDS(n 9-PDz[eA*f$nXtar_d iYjS;2g4ck'+IwVm28Rk4wnt¦vн`֠:.NŐCu3ԧxxT-XTeU %[3$ె653"b-ʹtK41wz=FKuq>/so}hiҫh8iCQMR} 6*Ka{7 2`=VAE@hdO7k̍v~"Q[A#9еe`+7)(Jo'r ):Yn5˥t$c,m %sӃ41%\he8'?p"7VP_985~!¹]h̤¾)|JEg[v<_@%OG/ =Nph5&t:Ȑ:0TK$Pk1fْҳx:kU)ls0A\C1vƠC؋ĵ$p;a@YRP..Op.].iFvtpSt^ɹfXwxI, ML æTEch@BG? +'̸>ݬo=#]CnDd8‹[ Q4DDSRbjB*{2bqL!3 :+M%ҙ uÙσ|܀s.}7<+r}_Ω{*=1-56CCRܮlM|cgC ~=3OF gig+Jrw#eA!c7մ" G72̵Cs6+kf‡oojVr>"<+-fNN]|ڸȆU&@E|iܠN 'dШ;VIs1]IqK2IDk/Mzʳ~=<mbC uF$Q<gp6HE!"u;TSvoq1\Ap6=JYtWtv+yL\,Aʮ P\%_P0F~3ۇZ&@5p34C8qĞ1 i $7u? ڱgKeoG,̈ z*@ nEK WaF &6kE.Xy[\فE+rQEYPeHpv]-pwsZk[Ŭ\p UIĥthQ/ݑ|[ڢC5:t݌$VpLo!bB vFx;"pc`|pTq3}$;DP.Z=.EH q \kQOp$ѬwXjB]As$×_rm M=>1J=NE$,ڣ~VX:Ws%-e챩FoI,*[96-qZG&RI|.`Q3|Tf>^R5l-7fD g޴XXX7T. 5_ 6ّ~KΘө@ւYRhixb"1IG'KAG%݃w'm>-KHTpZ|wA%'S5v\TQ"hS'(b-W d{:[]2jX* ( wNPa@U^dչ)0vfP`zK̴d~)Ma(,y*0!,EQ.YĦ.bRI(76yjvw9z\9x ,_k?<՞ldKѬ$ׅe&fmPhs4ϕ5QT8XŇYCGy.hu~ȴdjJq ޓxJ?ݚ߳@;Iʕa ۝4MCVJ%tBp 6u*>'dXX[c#]R[vس0:b1զS+@ Z)+06Z\( T"׍?S4HhFЕ">Oo+l\m3LcfԇbMw*ByߍBg8_5-a5~;A1!iknoձcNkrkpU9ae^ek&ğC6b6ȓN.rmȼ9z"UۤTŒ$wngAhMq$lcA}$ˏ*j˃r`g򓞺W$I}$mP"` +[矕 ۟c >xLjSO@}Z<|n q܂;ȷnWUw^[fq a|ynoW?TKCŀ1xi1x<}M'lf~؉yz2RoIl Km3M:*Ys|aI3џ9EvTi>Dci>=;j Xt?yTFt<8M銹&NؖC "oSz%| Ѳm 08L lj=+F Lh_M{e*qﲄ&V&BXn)^"Нbsᎇ{Ygp i G%$*$.Ux"i8e/N˝ z&zgSۇ;\>uG4lqWθg.1*HxR!jFu [ULtP '-t ?W([:WUn:G8my0pV\hY1{2ՊKi`.vrzÓV >WEIU&F,jtXwϻFU{|]&+L͓f=;%- y%yGN*[: zUN`)=jਖ.8xe!("xR<+k'/<}_%\2:el H 4hblMTO{v̖)A{418VOX` iy-0S6fF$io%2tę iRnUcefjD;8\)⑧V+1X KOF?&yTN(1j6Z;0ǫ:(@NrVRd`uJ9~ IM z;uv¨T78:9JfLilI֦Vrwb BIR$&6msʑXDd\za}FTaJ:=vvM!B|A?Px(Ȥȓg9ܤd]IBܵ [/ .uW&̥#xA&>Isz{+:CIQv. TK.Q>~PL>4 ɑP|0cd#펩#Ȱ.@Co) Ghnu&H'H-1JVAQ-f'494ClSV8LM(^Z)W]Ocf?Mދyu aS=":\"_[h13[2B)tzC D1.au:iaܹvil4_F &%<0wq:ϭLS鐛 u֩{Cx}C"8 Qn`#Fa)C5C'B3xj1Qp~ӗC==N?j1!5bT~6/ړVnd~|EFE:w[5;PqTh|WAlxT~ԍ5'+ćiiRDBŖ>o6_!hүב \QgO"Ix⌃RSm:l9;>d4/ rQPi0F8%CW d!u;q?P[9Ex_ox  IW-Tu1ݹ^ 'oCɽb~qQ/e| +PQNB 6rl@ӂZwFeaݾG6Q"ܕ) ; A}(8p$T$u`"}}%~r׫!;ॖFCHͨ]v44WAJ`ͭ5ܝ"5Khl %㟚ܱNؐ5G \L/#ܹ8M`rX=$^IPk[^@f0ɭYxtaɑlR&^B/+V`W43gMj0?<,ړ$-i cLۀ`>Y6D0xo 0Dg̅10G\f{/t,ic|kz#2 b,<&AtPd ݂460}G_ vҩ@Z><{o2* S}Q=je^ ɺԉ J\\2n,('] Gc C:~=h]nyv6gvEQo#B8T%8.pr ~ǘd`ߡ;ڼuʸMjI($.5\ƌJ&F Y ko/+LB/mF$ihDb s/ GphɄe!o Np:7R.݆Et{O` [: x,aYs3:0nݤ"U2KS 0 )BWv d@xԁ=8pŢcW蒏T!ȷbնq:~|wcHBJ"lT67ʟ;n I;HqׄJ#lٷg+z]el HԲưXƾv$iW:~"3-#Wvm L2/6x2zH)bTJG}Ù%I_C'XV$j#ԡ'd +FgqQYݪzAxdM)+_w,Eu^Dlͫ\˟u'I9aO.n#ФkPtTG}zϨJds~*?1$f}nb'l~nA_?W|>+Jl__? 3@ѽl8?8SCKe)v'k;}iKFw{DTxIJoFz /}]`?$mw1!=Hu^Nm( X7p]-xx%l|puŷdڤGBtJ?x*eڝveBF,*Svhd"9]9@ o1 pkKrwlw]$8yhy3?Or;^Twʿӟ3wutZfz}Vb ёljZJ^(2%En!a\`wHiSiP8*b+.MKm^7+ѥxŠE]>v~\>_xˢ=[L3zZJA3#a5"ipݹI2-SDwgO?&ӫ7RDliUUɆyKY7B%fK,ZIN{ciL;r 6]+"Fdu0:dy_r bzV4]ǰߎI\a{QIU$4NsMO%ɫ@ǙU9@taNLg=b0%{ 7 \Й0v^_(~71{ɡ1dli;޿Ž*y:JeXwT}]>/?$v}E TnE{-jg]Vfo0WoV au):=cT߭aޡ7C0m?XU%WT{,|vjhCx._W9qrL#|T.\8oLoc=%}2?й:Se!zZu?zX#0<9~ٱC(ưCNƒL0!ѻD>ې(saձ. sZW5V8PJ1KM,09exXLAb3<٠CRTgUc#e ?5!Yf t3 ]=$b.`T^k;!lgdH/O$qԕQ=sƐƝ1ȩʣOc/2X)/lʇw3>7% QUkqO:3a ]q!ìHXkjAj _< |t>+ 7R_s$~4-sVtgYZ P 1% THOL-IMPHOL-IMP.Sec_Typingdocument.tex7zXZִF! z]A-MՋhvG"uIBm5C16xcޅy7tZ:TxgV,]Si/Uߗu.b¥C:{nF266gmT+\ \7Y|ao*'Օt`=E$g7T>j99WPJOo\ƲLh7Kyz- 3ܡvp̤ ǼWNp(3\6\B<.ًi\/ **î^K؏by7<c6Lܙ0ȆLDK_TvwYiC柚İ7~9F5<*QH#X}3=\y.*dϾ_`I3~2|'r5p+&xs|~bw eD9/ZO ZZF j;AiJaf]Ҹw+$W U+5QW:]IQs>9ŠZ~cP8an$ٙ:x0S+e}Ȅql3[V"_}R>(?{9N eNV ٱʡ$U*q'$g1%6sRl?td&-% HOL-IMPHOL-IMP.Big_Stepdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Effb^uO7[@uџnTw$i-H-+ oH^zL˺[ewce{hλe-|]#EEuA,:#n)=_8YP0[jRC{pNyNj[5[6+6rUDP}/ $#Q_iL xڿ::v=hk"Rb !Ǥ;|]~]੥Q5U֜P TgxjA=|'%eCt Li d0cH{y/x(CG򚖥`.R;1t։M3Q}kNe,'L?!u)\ϭĨvRC*z'Myp"?;c^+Z%*\qxALwA2JƣD4R*`~mσztS?;8oLqUAċ?W|fωcȻީZѱ>v_oDO%!m؂`秐dzy}աJ.[y6}AA:!K֌*<;DUEW|oUy{m f5-Ef w1Embr.tm[p Uڵw"Oj nU#90kr.'/tָ@P]~c"%*@QgVhcƆB əyqQ*թA`ɂ8o/z.挠]b=;yIplX{DgaJ_^O_Ь1[ҹŦH2b%@Ld%A'7I!W]~odvd~: i e6;P}c ה|y+R+'iۤb al+-0hu{gF_G]tfGeI<{-tǒM?G"Ѽwތ'ׄ>C!!xQuVs,_IBa22C jH{ŕ3$_ 1ڗB'y )إޒXW '3WF &NP>p@ {LԼU B)8l6 h@ˈ1h۬۴sQ/%ܝ<2>.;NKl K(9ֹD#=+ɝ=0 s"tB`8Ԭ\H>4LF7t|TH;Z/JBPBe(qa_AW2Qm |K7㜱ӎ " N>zQؘ\~ݡ;_Xs죛۴t\ hڥnUxisqx?S+?ܜxڃ\bIPjf}`>TcY({ϓxK~,Z WGQ1UA;u?q(f{!G-lܳUN`F#*R.??WzQsb6:Q6)8$#.uWMo_98 BM/nҏE i^+#%P7BxL+f/A5v˷,%p\~xaѺ̣g){P XJ3&"/{c%1|/rG &)( T`lN85&I9j"otߧ b M jlrO*ky&2 CD|=O?A Eh'zNtb5 !Cl HWVƎPIˍ$o{ Q2n *g$UINeDfL͂t2$.RƏٺ3K#J-߷rkݭ=DlBi`TKʹ4䙳E \_T8>uSAxƃ60 /^t˨O,ډE9t7:~|E_S†Z b$?4saŇ/ m]b†-@M` _kh(OC﹕^_ԝ -x![-z薿7αPǯYc' VwA9L~Se0) B?,4XPc\,>jWir`;"L d2dOq=0N$P8/:80AEҿ ~ƽ}nvT9MKy,/y^o?z}gp٤Bvg4DEPt|^1:vvbgjd]5ͯa;ߺ{!:?7*uɆ"\4O[L8_<<"`!![G*2̆±fJ~ا6맪S0ݬF9YwCZq{NG hu#l^n1e [&ɲdKRt76¦k`kLx NQuaOnZEM h<2j\kqJv]8HAizӻ0 ,CCxԦI3InxBxNQ[ 2Nz%ʡJ1z%t䢫- chKƿ wCFfb'N(Ïvz@"M;1l'9\W0G^)6Zrj*y*%bxX͗f!YFc ̰/fKU(%M )[#9 I8OH,]LF?>Z&-?ƨr(Zzaцe2m& 9A'yYgY6?T}Z~'!;ܺUq2A0il@9Wmi|y]qvO E=YD@qFw61e`tAאx/n8ؽGD0›7DY}sNC`Rk0*urTr7M0?;_T۳.]cOoھ[>?B| cSj`4/#A(6 :LSE:Kvމ=#aY6ͿULAbRcN5S;WIXI7Iʡ7!55(9xoދ&lu\UmbuT2_3W E ,G]ΆlI$xm;tDWl~=ŝ,_˦sw؍x~KaJHW4|8QL؜WDlZYWV l7Xg8 :J2(K*R$~a8$udfB:#;Jz?K^ǒcǶdBĆVWW4dq-r8M.9~uK|mP ~#;l 'V%&h@1c 0 J{b7+G/<9՟nY1d֖#BnU?Zt5ؤ,#MXra: Ri|* xm u=5(9){d ݔm[_rˁRXVJ^`1VrrHm'g)GMlg :VoZ ^~m.KacHWMvϲ r퓤 @kA5\)ڹ272i4bÉ^Lns\U"'E\ڳy95_α1rmMOv{8qxB}[+yn{!'/[ﴟԚ#z394Hiw{\G$0\:'EUgYZO uB[Xhm:YVH#< ܆0b$0JOM_1>WŃcPCq9-&`9.y?02ZRR*B W*(R朷@U \gRI7E_z|ឭOHq_iŒ56^mxP(&҅?J*Qt2"ӼjG]{Tl t0o(^N_*4s+<@L[{ NUE ԭSގ-}[\|X8~Y3d0E!17('g^Oh;|Z⏐P<ED }R  et'5t=h]pO& oJ ZA"./!@bK>=YCѿʖ?,\(/ȫ(sDZ7jVD?h)g&ZF#,as hXu}+r0TMGNPv߮Q/[nD(f$r v^i3JGĂJY $ůEc\s>NhO8> aw] + ży$3?!̗opYMQ( ^UQ-q=X jkbnHqQYdEM’qaZA; D"2j5eK-e'7x汖=ֹ-iz/C͔:?\'n$A\'V|P~g8_ӊnUrx{g(b_ӷɡKVI]-JO  B*vuܗ ih> ) nAu05/$]<7C6;]XP0}N'n± Վ?k!Nf4LSQ ;7UlMW4ɣ8[THfpk x| Y#8wʚ#qME(8)H"]g% w|Lְ~n,PI̛u4Ӛ+HeYO%U7&d/6 Z4?%fASZ=qƣI!MāZS(UW%k-`i voD"-aO94B&7-o!YܷgxaT a+HiAo;nTW \rK)c VܩH̲yt?=nh}M<qYd}_p^e 8wGhsQn%-`њk$'z@h(t54汰MM6zƟ\nQY> KzE{c-Z ]#x| qx=0•?>A콎WdBS#Wtj-%}}=~'h0["\ ԍ8V?'k3|,Ϻ( `QW:}k?[)7ӌ-^ ,ƮV‰<9NTZu-L`w?`بwq9Xtax":Є."ˎ^u$/{صb5Xx9NɆ+[ R;o&-چ"#[j=)b4]. t\cOQyD-kwi":kҹAd?,Sxh->{6 O;">;)Fl?<{P[D;ٰN`B5zzkٹ"<#9ŤkmNx~J!2WE\9.ָ ˓/%EC^IgH$7jˆk+mꥲP ro Φw\j]^{@fE?)(%MHq|O}UyIEL#͜wXx9cd:uX'Ք (H+(s3ۮ)sJp|i/$Lɩ'kuvBS7՚d8Jb4M˩8f2(@ kyr(0ȹ .p0CE :f1TpXHowlR1|\kKnQ9Y@7ZǍfR-w0RS"E5Pe%Dz#4y%?[tPXf5ܸ\0;l<#l!'Ĕy,#1A/ 9+_恃&lǚKsMHh%׌;|W^CiXU5BڔeW S1^Q{+ _໖w ePOYQj>@ТU^&bPYbORV"a*Դv*T؍ (Sf[P&dͅi:m{ Yztnx1F"t`J-85~d5brbPX7n:(S^qeA&LZi\ޟZhiYW^\š쇖 ,~ i/{j/G <jT#8 :"ohe-sBXwE~Bpb)$b#ݖ5J4Z釡ܕadȢUbMۖ*70T X(m!|N gYZ`k $K{ȓ}o2c`і6GueDZ1:pj26"i?OXrZj蠁ހzR0?>?ei%KsTjERcw|yUtRv@= ~6$<4"#]ٰX=ѐN MHZ/O3n /MVwû 6`+Q{͏U|%|o+DeջlE"\@ tuc?z<˾o0LVN$ =nZuW&U (l{_͏ ` ^YnW Bv#~WD?F=lf4|EsPPsAnʬt=OssHL,e&_ʔ: aX\/WRC-]ic;$r*OޗH ,6)\rFLW׫ ȩq9y.U}GԤcRvn4\ MMT껆9[ryHw1ÄatxbİItr*0셠N Oɚ!)@=Q0[Ut;1<5AkeEm᚝ C6:nbKӷSQ+ԖٹN҆ḁ _ ~s,ɒWN6|MS?q+yg/+O W3yavҴc `y kSYo"Ϻ M`?n9MR{CҼ{k'q,ܻ*LnlINoÁ􇅼):!b$vC]łI-$BڈudO1W+~@b[!ӇaUݭ[7那q[䀶}AݶJݬpYD60VhCeԐߟ 릨/0D{BIr(o-APO8<4?7Vehw[zLQLwD681cJ$  F)M&9msZd 'V(*@A`/" & Aay(`΅D+6B۬EԶ1 !I 1֡W1?eԜ6)"+ڞz M\fܿ$U?dnrie W r#EЀݟ&<2&=6uׂl|\N۔^@v[9J$ k`#债''#+ؔSL`4 Mq`KYεOKJ\fњcڄD׎3Yr+;wRh-n "I_BEDe)"\[\rmj8\"C2o*1RrWeSkDXA!rcK3gqa,F,Y%N+P{[ejuR(db$gnƸ=yq%RKa7`w *a2wk PCxdz\EEqR5/nso/lG#}vZG/6bΊ ly8ۼ5G8=L̼zǗJU6?Eq!EjnMvw: qyBI;K?6n^︕/q9%Jl7p>ăn::<B*j]y32],g X' 4ۮ̈́bf H%J̸vS(#ޡo!c>Ҝ7~c0=SXRR%0;<@11)?]<!`N n"1*a* #bWc,Xq:Iuaq`>*"V{ۭ Iz0Y+H_P]I?x'[J6܄[Rd;/AC0 1 [ Rqѫ/Ig=w WL$W4ӰՑA }hR Vڧ$-px~6ٔ(>׼?=Gv1-37͉weF679h ĶA&}}k~KUcdK>r|feGΓ)\A+BO?踉ΪGdWJ|j:D[eJ*n'''AKVl#rKŸů<ζ5<3j:m\#g+ݲÍR[0O7M|cy y Pzܧ4sg߀90_T= _ԌDId+_9MXKpy+vk%Feĸm!qlX>傆`KƁ1?3_qcc5qʎkU% T D(@mžC';K]^4_2!jJ5l۴[X3X(ETޏəy ҵ2Mu))8)f?c%aBF?\i TlI.持F:jA ]HKjM|$.FG}hQmd͌Ü WַNm1wSxyw!yXEuLjUo0\r!({6)p 5\jWy_`UreTIܟUY/sPzp0N{^V&{(>7Jgӡ-ۥkXN?,UjP֍$]IY3<ݜ೿=>xk@m C/wxDP좃d׍^Oo_\7]Io8{?]|8\#Y+{6rv&gE~SG.>ت4J]jdF< mY5a ۧ`|1f+8 6[kGWȿD<PFK9UzoK]r-m܁9=!F!;;/s! TwfV뿥ךEa~:oSD)Hb5"X+ K DR]M$ ȣ?kP14<,mW>/K}bGSoÇJ,W0 .'_L߼JlU50 #츢NKC(87k_RT3( 5&T` >Aۻڕo_tͳ U qѱatR aqΥznq#$ݠl0fV(anOr' cI1Ze9g"C'FI }ʑ<7Z)}RgYZ < wcs<,1% HOL-IMPHOL-IMP.Collectingdocument.tex7zXZִF! c]A-MՋhvG"uIBm59V{eiN3PVS<,R^Z*ۛ%^ Mmq$Mmžd.3?EQ+-zt~d? _>%yN44_Zc9X)g2?#:-ϽhEzo axg54cPw.@6sלrwhRBe1}&|2MJ%KOWH&'Kl?.PX/^U{%U{SRhfRM`8s"T H;j~?y^6t"ރf;-t 7613[G~`m&`8%7VWs yvEO}/^"7ꈤߢ%̊yhFtb>qKTˍ-:C51;e! ;% \HOL-IMPHOL-IMP.Hoare_Total_EX2document.tex7zXZִF! ]A-MՋhvG"uIBm5ۙ,H`&Š#̺COM{aic875sW=OH}7`倅 @zP'8.Q.o&Q=0_c%u0Ktg(u`<7T)ĕԨR\1~ONb&|R+ '% HOL-IMPHOL-IMP.Typesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5uXu,{ToUciJXmz9y:KZHQ?~>_R~FdD3\iOkq-?\&_Z? >+U%|*# $P&; ܎/3NI wVeؽ'h|-3'{rBn ꭎEp'4OzSdXA44}&Lf =85]vzEԏY1ҖZd 8T<_'߼wQLjnNX(”m!-nN9u.:[,r T U 3% \HOL-IMPHOL-IMP.Hoare_Totaldocument.tex7zXZִF! 8]A-MՋhvG"uIBm5ۙ,H`&Š#ֽ̅j+@8(gtZ$Z^?)Vš/< kE6JMsG8b|EVY ]z 7bB-4y±0T|rYͪeo;YU>Z2~+azn^u!nVaQ$ߞ# &szZ!sJ Ȼ]>Fz#57;ru~D|@@K+WC4eM~=aD gv5QDR~ AF:PXY ˨ e`i1E;7{Ĵi< yxNK-rqÉIK?VtIBGa5Gt 2i+ KQcBOEV]1]͋Rw.Jn@ib7;/=8.I,a/ le։g=N -% tHOL-IMPHOL-IMP.Compilerdocument.tex7zXZִF! j]A-MՋhvG"uIBm5XJ#D뾽gR<%5A8KVg0])u'~,y3X=tҜ!ג]SlfWkSbT.ޑ=382b E2 Ռudh `SCo~pvyD$M;[:Ψz~WV ֨l5׬(<6$QeV>k jvF@ߎ7YO>㼭UVU}\`cs1vV]s&mxK%fh _I Ci=R#R3kql WVtfwŋuaGKM'Y<. u x\ZTiBrݿEe䡍F SE4[_?ptOIʞœ2ߟa¬ZYQ4Y_ ǣ(N!dJGQUƬĻi bd{Q]ccY}6[AǶp6B4Ryt?vR8_d=FѤ,+fpj:yȕTΜsZRx* 5 8*kDp9nCj,M:wwR!.b5I,GٞWZ1-4˥\p$\5^g[Ӕh́&X5A#4mbwiZN B̙|ϼ}cXen@~ [ SKi mxߖS^X1?=JxibBN ؿ/_YEMr~ymHjj4f&yZ-%Y2b3_ eS.DLO8fI揙fG/ ѕLQ6W7JA\vJB˾ .z}qyboRn6Y8w܅j>S*~ooXJWl(6e4${\eNŸFcI-J) 'Ӝ/M2mvטIL6CR!4;Z/YXB2a9 Zn#w }gTl{@ Zo Mn`%=,޹k'rZ E!LqꥍUվUM:GCMn3& M?try5+:ܽx0w^jUoޖ\&[ U)Icɵ&VWFXs#ٰCnΫjv1(k(=a4p{+mxY39Xw8SAL=@Eze *s![QNqc+r^VW4>$dD%mfQ&./?JaP~pW6b1~cdʚ珤Kczp-%#tmːtMRHrg%z6|ѳީu{}4S}wC }zvz>\]vnK3xT޵0606ƝFg`lMk-mT)͸Iw[x:q:wfMIKMt\{AyD1sT]4^|@B<[UVؚcfCM;毎U,b,0" gx:YC^~7ǧXU鐞gʲg0EЯnR"#*6:$vOUAf& ,e<~>ܚ69S-s䟼 >I^i dž⹷OeH#E)XB^ۆpLЇa߶  Cϣj*J3 !TңXէ@r,5v0/"lIW!7v0@^+{zҝt df6*ocOOWw7q͠21`‹me Hʩ9l`T190:c*('}+ɋ vf2 'nz`jnNnHD2=gw#o@Tunw]맹%ipS-$SBuHT.l XIR`ޤÖ E8TLS(rj3B"gLJ#bY{fÇ=Ь5Žg+`Ճ $9j@`V]b|X.LQØ1^*"danrvL.JA &yyq_eƇdi[3gcY!*6s!ڣb\q4VGeU0V܅Q.nDx pE8KdIH\&m#2}mF(zH'їN߮{\xQFq{cm,˒L'qc*vqEɠ_޿ՙ_W@ěe'&; j"bKЛ/]A &'ᶀC"+ꄭ) HWB{=~c7뻻r~4by܋JM$35+t^޲ ٶue)t̻NCaP VLՔ+'~&pN^WҡgIR/$̰D rs??Kx)D~J- 25wG՘eBnOSBm.78Q)%4 @v]'H|ב_-Z%hlx[mեOBA[r^7-r}/ajFCSrd0GKmP)Jމ=U1Jw]n!7m,޴$e(? X6=ʑ9f YF#m{ޤ `&8"^F{ŞsBVpeK؈v nMyV41^`Z5Y [48H8VԅS'dj퇄|cZ6*_fTidS@ˑzw&WB~?LG' VSvN2rᒞrcf[U$QR)JXHd)K Co"N6YV\,YpRR s1Lw'}c!> M+euTmUlNFK[~Qown!eö 8X j ⌜qmjCp8d` >22pQ' O7`3\M.b; KǸmxyB /#̵ٙ$ q! YHȤfT+39p<{vwb5&j|_#G,<ڗ!DFglSWkE"^rDLmLauɼk>fFѥ[zAtlNI(ߔbj#\Jkt{DOi^9> g' ÷F^3e <:Z-$;46Z]n.kmG}r4-/j[TY^5Ŏ02Gz$N-M)mypPKu[0d5 . ;>޽TzP^=h2>͕Zyx&NsBj^ 5S97\ $ 4Mo<~MT_h;bgf%#}‰_>9 2A#ӹ7wt9pk"F y%AH$Jrn-XDžapP}A4|=)#VM\쨒ͪV؇n8gLX-=􃅍'[ ܔG]U֍m #T=HC VZN!r@$SǏNa"e[[ &J)U> vo2Q,)r~(MBǿ! W׵O =Z0S ?| ]7ڕ.lVT|8wڲ ic]jz_Rmt->x9-㏚J@k7u\3N4wY`q˩2Z+/GCQ^#? GcGͫՑ(7eB*ʷ^tne#Tmh؟ OJf=kon Q<+xh4IRl䝌GDT CX5`tH?n~O8]/ڛn'=Kn17 z]"ihfQ:.:ч]ξc:٫;l7{c|u㭋TMbݍVcwq? AIk?p]44QڎĘ~Ug!k.tվgc5R\rg56ӘPw:B\n^J w;ˠ $cY)"XA Dah$ƀRov kģ9n4s @URrӚ_Fg^/.lkS5[3hMpt6XX¢=g&$ \ jC}q#+¨2 hw%ۀz-IZ82dKVq:мHڧzݮV{Xy\6lw2C־GVi1xtyR[L 4 FNTB/,9Y}mG(;\1v9SvtX5CxR0ƄHv T[=t@jP{ ugV/lvΟBYBk. Lh/y@56"cz w&p&~N 8l๝9-)ZnKknnƏZ^m|imÇu+*'ܷ\Yi?Q6%O~UJq [4o5~-) u A?(~Ӣ.Q㪟SafwNo·*S' *V4|3WyspbvXW$`;f($*}""IAd}FzUL%%9V-5x41,W{ӱxpYN,>C(;ßU =boMsm CZ,^myXGpy={a6AkE^f,O4jSke89?g%߅o%̷4Dd\e&=U yAФt(2~ŞXK> 4y!/籪⓳z%qȴݛdW#6 w6nh@cb{!047&R`/@N V£xl`=w^M^6~ԙ]Ij8.6d MX{ȲԽ\ƈ% g('ukP-m,rz0knpyl"ѽC BN=2]v!,T[ؒ'⸽ Ӓ+4cB/B,?Y^bh =N\@|!#Wԋ7!1:&쑷}J[hDљǃ3+Y KP-%xo*w@VVm.Єt:=$0Yim4liҺ`jdp09LJJAE$G`Ғ.dF!AO mZ.ܿ!~g$d4=(VK Ɂ_s;(Lvf^{8+h|tPv+b5Ǭ`z絋 IlNIZ aI0C&!wĘ8rTI>M PLR[jyT ;og^r\ A]eLB/p)vUn2yfDYGF 7F?86[ υԢ0`o~KC(+1 D͍cߦh٦|pcKRS7L<ƴd_)0(\;<#>A<^n9OZH:5ι=Jl8xޱ_`\Kx?$R&*hF`%[9pqdv\mV`yFZj /-4 o[ VމSU\6(2/[ ez RXE@wVo#;XULd)9*i mc%lBJ]t/oFéocQ{!k|3n(h^B =B.!Xޅ .b(DЯ})[ID-1ROHUee;>wuPbnS)x gvM!_wB/oR~\%NwX_UD*vқpSA(`KDתG֕h 7l gݣ<ρ&C#Cyoa:zG z@'zߴVg$ йU0逆H\&:؊ *D.bu\ 23f~^ Pq6 u [9Œ^!Hemnݷ$`kwk.fy._ie#+lw> T0|õY W1 p Dpv|O69dWkt)[5s%.ȶBll˦w" Z^iiS*#KxAE·LTCoZiOC<%0hep cVIuVznqMW|g)BaGXI!ևG=|B( NJ.*J( 7<~U+r9uq[nBU#Bl-JKۭ]Xno.߅hWLjͽLyC 2A#XÜtXńMIJ(6=(uifx7E-Lmhw>)s~Ļi{_3C*€ Lq~X%C')Cn&T!Wy-`'ݵX b?87wO|A/_RLWpVX} * d^I^)n,_:D{pgeXI jߤkt7Yvr1vH j_DY~&5Gw!kp7-y!婮;Q܋ɽFǾ :8(~I5'/ID^'&}d'qGθuȤ^T4>FF{I+ߧ LSHdb+f[IVpС^x0*n?:#g s3AD]25([/$Sl3nO޸YHV[՘&8nv *(c@E@^g>1|tdZEfW2ª@j@Ώ&H qYekɶM+e&hkJ@FHFha)U8|HNIRwmR$j-G&8qZ+*<!Z4dcIjךWIfN5z ٮX,m }1/f>^ΕѪ~o}I,z1/:S<6_RF k6>I͡TgT+l8%-Vx">^PǫZ11ޖD5Rnλ >WmB7k%-+H`FGǨ/{`|r"6k>L9B'v 2aw)=Ј&÷w%rV-ߡO]xb|7o)Nk|# ʔ9 &`ímh&.=-a #WyRqfD=.1k8h &B,C7_bJK֮Ɲ,c^q<=k; $mwXՓ=Qz5"@X:n?T!6~͏i#{KWRMEG↯-;U@NaA:71Sm OLyxMg> ƿZf$vHE_RR #wfw;^M51`>d1z` Nho\*&Gz1 w11~n=GUtBX?U>&+@Nuo.mzfQ_M)Ndn.Ӗ2-*᷻b{h|'e˜nVj\I/H[1ݴt?H\r9M$d[ᶓ@dIVܘ'O~wdq|*5F$%e7꒛I9Ixʏf%aIibb9>A64=ShlYUH!YhDMam.}lfS*W"cv1N{$C'K9NRfX /@>vܯYa1ӰV=ML[ ܑ_p|7?%g (yR^%5{T8 aA[:/OX^V-g7:eTقovvh*^^>zY.].RyȰuܵZ?Oa2jؠ>eޡf(pq5Sy>{)%H#W䛙a:DDIʛkOGsW "ʱPٽc,oW̓ |⹠XZ1g]Y=g|7̪4# -}I#߶,˧##]gYZE6#8 (WN3,y tҷ.}>6Q*,+G`ՠV1.{e}LWS7&(Τg.9Gyfy ,[nFlټdثgH JD-;{ZT=obT> v۴x'^g{/B!qaPb֠W0o"kI;|H8n$@I;ՎG  c#M0/5> -<4mijkEA3ֆc+K<6F2dN0HndIS |g)Ӻ32J/`á -e ̈2z*",`b(49Bo?%)nڹn1,*۳36:Yv e5HqY&U $x]KEH@)LnXv W..֚ D& ԒɀYPJCi={3ŠLw#0ȑ{" \Xx>j \QӲ/v<sG:U"Uur@}tŃ5;hgmۓETfJyGX'JybUdG&ƶ%p#]PP5Xb ~M4MLYzD6xp~TG1skbQm ōN@%Fz$Jdt Uyu8临xN]TfݿMj/J[G<%_u,E-Qt)/2![ykW(fQ k.WGLw0Iʭh[ 0T.Q'T$AՑ3Y ,^cIw|h'C䐬?poY1j~Q^= K+A5c-+cJUgw/\!*<;APT^kIRdw(]6Ӟ9+鍄w`G-ؤ.u XY2-2%E p%1GV,#yޘ o[#V7Ppn[NHHlJ:uJuIb1G`ѿE=_UNn \+CL+6( ZD_Kf[qJy-WjGg/qZ,Y9㧀Mxd_"샰V@zoՁD/itW~6SѨAK ^!r04<ԇ\JcJ;QC({qV9 M;pojZ8w-Q F[T":4PX2✂V*.STYfT@ifnN{S i@q+u_4'r6/A6eVD{2'P)RG 9;ʃ NtwAwdmDU-4)[;2/^F`]\rq3)A{|yw~t&H cd inT{E(AfrEppJPl;_nD}1Za#½ }76d\-\g2Q /j-E"Dzs?,T@1a +`o",LSu<5H 8SMW;j.Dzʞ"c%K;=ri {kŢ{ʱ%LN.2V 0$< 8g\^:-  >V[v8F Z@r&>G_bi@& ~ 8* |iQ;CeOnшQq V>Z]-1?Ԉd$VbSþmD4_եPv&v)ċ*IxuÀ?LsS4`tW{!z%^HhUF?Kji890&uIc|AY.6Pq֩`$>D0 ߦv+seyh:ua2b}5oñaݪXz[;&S$z?4BtvNaNG>3@.;vA }]w<Ǭi`+~( *hQwaX|rThM4LZD57]3B EPs)<#C39AROk;QFW4dJ9LM8v%J^oRoFpC'ڋKʺ0H}C nuCG_VS:_%ck  l.V̥uPc։e #g"T z}y.E9pky LG/B b|wec tRkRqMc1\̆o]`|&|ޔ1#d~OǯYeᢜBe=G|_|_.UQ:k?m]Drk s*"K#kaZSV>yi,dt)ctˠP*@aRV 9x_W-iXm@-{"%CSI +x&lvv9Ckp0,ۓ:YbFqv{&>sÇwvbм4nT,%7v.tx`7](p%UƉ6sG4 ^Hʨq+%"T>88u'V:}zS؊cE m̤ۗ k6:ɩ3 ik0zU{eMcIL2wz)lQnR1Z; EӏMA) ]\t25{d0qk5hVBg|xQڤozTԢoM^yxOA?qZ tA\)y)χE(0NN0_r%,ZrͨR0hvlCg++ydНwA f5@f:P[r#,8׀y,{-ʿI,| }4TlUZb(*3*jW1wMJ#V; # <}Nu X3Sna.gڍaڤo'-'g]1T.?ǤۇR-Ƒz[#2J(d?y\s_q&81\ԭ#3Z;CMiu-@U2|'^p 1Za0G`:1Ί/BI+٥;X}򖚳YT2䕿` 6?窐D ol!8-V\չj?ePa n;u޺DKj]A ۉ}OldaV`^NWM`1&r,c݁˩V H)RPXfsF*ȐyarqNpL\<(\4HG9[wuC BK.VݓE7/Q'' S%d?v3&R7Um=>qގ;gؠ|;S i&>v!2\ba=e)udc|V^yQ>1۝$z#u-[gYZe!߶5Vйlgê+%BvG>5DE:w`u0]]Y[alLz7C%81l〟fSFekŊPò?T1o1/GhN}_P}}̦{!!ym٘AzHGD Jr$A[QeԸn`?7:jˆP b~8Kw} ĎMAFf]; To~8oϭ6Ȑ_ViLb2og-x UkJ8'4/y~k+51Z(qMt[Hy);wɨf%o/T3hϮ& ;ЂM<\N@t'bBԣw2 82\ ,,!*؊?AQt)tDM_0pr1ihnR*[g1G v [H<5^Ӂ'}ѡCǙid癫h%gt`Do @V:&Eiڗne5ir(]) @_nju0#׆k֧5>{ǒjzƩ,ntGܾ"nD>cB=%6=p*4%MKǮcMwWpcne)@=1OL )CAFw~,\2Ci愹8)?Zp4)a{Vd ZG0'0r𯚧ÎK6?$Ʒ^tro [mX(PgЧ%'0~ G }Q@Khn8JYlzf=>g_AG!+6T*uL6hqH^cUf,Gj!,XŎ ANxwsU&18L+7lN%%NG Y\]`_C8d2 SrQRӱaŲ@'^Ɵ/N2Rc;ݮkJXChǤ$N>ZG-ON/m-A*c]_Qi(F#| *}I_Jˋϥ(L0i^^8$ݐ3 0Ave[RKՙbpO@"=z+'ߢbXуy82՞|$I~3XniψH2w6Kד y rk6_6+IJVG(T掇 41g:y;5ԉ_2 =>7&D3xbn^6GſOGfmv RgrtWG2" Yob/zH3׾o<+Cts!mk =Hŀ*VQ !Rj2wVB5N'4xZM eocC:ȵ+X!d蓸G&9I'ij7nk'xsH >1$ۡԮf,q4[~bX;A?G}wŏ,V@j3[f[Hn.^5 ={L8zST*00soHRMYh.[bzAaNΐ;| ʱܯjX mNVl =/YlMfO0q28,xV2 ;/ƚ0|Z\ `u(&xXTUlZp4n{]SkHUnkT0`0jc<ׄ9 NѠ6TW*0eHE/9ri?&`۪y3?Eu% ,. & <'\Q"eu# gԐ+٘=&"ݳ"xĈ&=TΤ9$:wĵ#TGro459BB=:*^0`+~I퉏B=L!&iT!zbg1H`\Sn7(0MR+B,~orZ0&o Pknev⯲2\0yh!C>ˮ>Y77#¹pJe#ʀ,6ȿ+M Fiy†3xF-CxFf)*)or1ܛx$m85gi w WvWoZSs_p|vd]`?]Xb/2MbZڱ*RQX[1=Đ 0QrN w퉮P:ntu40;0 \(;ƽ^h4xyCj;,="+srI_˻719[H4kalzc&)ڤ㹿rY54[vYYdíx)~=h`qΦ]6~M w'>LC!vѳ8܋A83,AC<%hȓiy]W^n",^3(.[%xtxU+14vVAmam]Q(U:[i8X7fg!s7q01$r.D52qehltriD=mW3YǜL2\û2Jf AܥKy6t2kWL)*;5/ Y@吘T/J?J,?^"? !FJ@o#Gʭۢ;U@CQ=dͺ1V~Sk}CDvv&[qeuDpy/qS8Z-Dx)kX t=uwH<69#ؔzx="#HoOƕVPX-}ci=4aCc dg!YÛasd喦&=%`61#C!9ʵPYUu.\=.3͓&'M;O(M4 rYRlꬽ TD cr&bQ9Khzl@Ғ60n>QP[8hDXr]JZ~׎vf@VgZ+Sio&:} a\pV1^"+íPn $$}ڊXoL*Z R]mH 4̇ q<"G-c9r4ԚT@0%v'=7;1PC7B40r6dS`<{F`Wg :xa aY PMuJnU;,NK!Rl] :K}ʥja)y?}-f(p iiœ \kՠCˈNgunJ/_ 3pmNxx#5gYZ g/% HOL-IMPHOL-IMP.Live_Truedocument.tex7zXZִF! *y]A-MՋhvG"uIBm5#(LeL[%!|iJXB9d,uVɨ`B/%I?_L=<~REr[''q/i%d)~&|H[p[?M-{7OiU3;ǩCfaJqjV@Ѹ2Z;VP'ڝ J `uP޿ %x]okF͢pSn `Q9cwpU=GUc8=;_ZrKgH^MzlDg/*y>氷 ^ೂ.+sR֘:3X MVoyG#CU 6  F->^@ɬ_ \1% lHOL-IMPHOL-IMP.Small_Stepdocument.tex7zXZִF! E]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6P빺uƻKkz.K,iN~~?8Ulh\J}nq;8ubQ>pͥ~rhbIZi=]i[iSX%oHw訕v1G(vŸx`P.đLo()*D1ORzW[ޝf! P szuwma½oi_/虚>we]P aնDt!ZoذISmDůqn0gu}i@f_ „ 17psķ[ߍjC!y7, ?(jr`/\ipSp9ێy'?BDjhG| UMG$ʯb5}Y32Ae?D\NP$,r p@  N8NVC =DzT# @ࣧ%i}H|`v*$jygE&XWAzqK^v6C>-@* `,iJ$_OJfͣ#(amS#'GnY T:2)c8H~]6 /CD2gfm˺yw^#hOSg(HTW%UeNk'3>"rH~s,ҖseP SZgWAj4dupA/ [|̃|χQq{@= ];9e$oW5wd=1 ޚN׊'P7ZA`A [铞M׀rAnV.Oіwv̖.d\Jv|kYJMJ!2tCR  *T&0K0?5Է`1.Ε?'MҬ9 _b Bwc+%8],OXq /yY/c`e_]{xxmPКnuw LEpKH$c4xѝȟqrX[p3Gwrjdm|mZ.gry-aNm.r48" N1VU | k)tBL5)l q̀D1'5QnzQҦ9ZJ&Xcf 3BtrLT:ҋ({G(i]naƩk3qLҀoGF*#Ihhm>sqhbl+<.J1n'ƃ|e .9LʦCґ5 b'pۃ&Ѧs-$/pZOj$~2vIfzqHO"O"~K jhf/fEQRG_ѼhYΒK U69J"8Eg8pybvp޸PfYmO:eZbk$'jD 'RC5E1r xxX8%Pi}fhw7pߒƇ0 ޝ-E_Ͱ;ǽ?uپۭ/2kܟPgǒ<:€]ɿf_ȐXOeJf"fJݠ{($*M֯SB K%}엜bz"mK]mO[~f<҈[ W9Z+Yð@87 ""d# JWﯴSɪh}*gPb"jW` n/ڮOjc;э`Hۗ]GP$mY&ޒ!GTwpn/, "}H3d71i}<3Ͱn䴟BE!+; {'h`OyiiHtȃ0Ȏ&1V|񽯔8ng/jTsܞ+fQQch.*FճnҞjux'{ +fh"]-GO ]<'??2f)jvzS ϲ}/^&atz"ij{˟}#Y85O &#dƫqgt5!jelL׻{3(_/ꁖYmAXDҐ=ǩ au H[TCɯ_eTZ\-|Sl䲶W6 &R,^/F<'ܦ 훆 7D8Bx12r*"1ͳș hWh*! f=4 cHPt瞊mP!e&L *?4 = StTu v?Gٴ%֖ՐуX7:OpCḱPDeNlM>1L/LYCe_,Ұo+|؂ >|p5\?)8ȳn 0cc= }`c"g)~],80AnD=T3$5tTamkk{聓80cD}h ЊS¹@Z|ZkC(>b$-A*v G%@B*m[W=η"r6d]\JϪhցyp~>^4c^203ЗFXUE%\oG_u1O}OyAl ?6Roo]i&vxYl5@!@򙎽r?}53eWX/o_NRM e薬MR\/[4F`XR m"=#3[F@D3:NԴ="u~|_ILE/#mHaåBI;}PƠ6RgYZ =% ,HOL-IMPHOL-IMP.Finite_Reachabledocument.tex7zXZִF! ]A-MՋhvG"uIBm54"?O~tHGDD[ѿ:@UxLoGqadQΒՄOO p}-)cP2W'3hYnKF \X.L5HJ,==utӷICy`.8g;s?X Ȩ)6VP$hXLEY2q{΋š*Hb쳐xP^'k1)ARP%N NmӪyFp\/nw|eqqBkPr DC3&州UHqinf O70#ۗx"=0e5}|qelH @_fuK &-wh2} li QCDXE\74Ѡ-{-xg3(>r]ʌژ8L\4PY;{85j=>ﶷ=½#Pvp*ߴ50%s!KkTnܷ-*HW G 얿֗vGRS(Z>m(ªf*w4LUK8I)"yJ( 1ruS YB5>1YCa##OEw3W| ! ?ʘ e 7Q *Ѡh#T8WZ?#T[GFHy&}`e\Ni+0:|r:c$l8 )A hܥH)PZ{A\O (Yח%TO*D^+8YwDkUhwC0[!WׅN(L0g#CQN4LV-v!kvOsKJ@4M֑^ dWM9;"n10Nmƒf9q⳵$-}gEӟVĞ4*W=G&L`@": QA4D)?dXWe䆟)*[zu@Jr; tԿX2C)!dO:wrHca:9jyjG !hU>=ϑjmŒ>%%2<\U4R} nƈ#7xHaFD:}}~8*μhg~^{nkBge>2OA6^giz.awH?~;;O !쾶:fn](͔gu IyLBڠz)5lCp[F?L;&P =~:ِf-d Ze=/\Lk8ma{j !^@ zU * ѧ*8 $m_zLҒגN*= ãGL!xX=T ;m - $kfiXEߺ֗(Ø|cC˛K2n F#C M,xd./e`McQh@I9pJ`U)ia{N^sRϠ[L0oŒX$x&^1ߧȧ{G1 ИWz{gQ1Or#oܰbٛ.<^!g ijD i] Ò~RjWB7jݲm>-]YUZ i 4tTZA.n(>Dd Kl9WQ u4y5:hJӥy$dEެ,I?rl|_8sNqA xKox5ƌWTʫ+G2GeTD@ xbk{}P>J<Ee~18+a8c$T1Sjq֨\4n~>T MOW&+l Z!ѝiFNzTצ hKPf-^cWJoF2Y KD3`Z1t_O~]UTdh;ѐY0sWFH]⯉%l/1f?(κ%y Z4ch,L5*F\jbv('v k a^dPA쭻C`3؉aD`%LN\,?rO9h%Z=Y7,ugUװw#lݕcu7j2osaK!qEe"ѝ؍N+l\:[ZTPHPo?N\ 4y@=雞&y4 ?#A& $V| r$IK8VzB&$ZѤ+ !n.Nsq{[oO ʾ)rvZt{9+$@h(kKwƔ}hOӍX-D Ljb[dtYtBdz?rO REd&cSdیCjÑM=Y^^%r2K,!ZᎵ"iհL ϊ#Ԅ2 ypd!NO%csMĎxyetX\<բLWz:g35\} EGUZT@GE w? aDdp䬙a҃po=I ' cAj6."%dZMmf2[=δCca'q-ʐdl i]Fܵ=A? -oOlIsޒ=!6"$F}1'/.gYZ /% lHOL-IMPHOL-IMP.Sem_Equivdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȣ?;Lã7|mKZOM" t<tc |l98]LHh쏻]ٿ6j)m)GS' g 2RBcLmjk@A, :}}rnI]d1_&˓ z X=U(Vhu{>IlUJN4 .`QHB^@t.V+&J He)^.Qmm JCt~BE/ӧY0,XpвzqB]~D1G]2kO 8n`"圩eY"{ȁR7nLta{`yTY7 &rTZĉJ|V tF ff4*emzJСe^PQM5UJgBkܫh3>4p$$̒@ $Ƅ:5QɣO#*j /_REIEAQ&m>Ͽ uýԊG5?Ùp@? ѭԱ dQp.v {-XqXpX<{2I. JbQiXկe3ʮn:3.┬#%>FYE ZɇbRvCɞ<ɬ6=Bmp(gq+uAk '/-}.BbW4m{+57[k^YʟXanټN.vv4NM[jp X &b ӶJq!.QXg5X}&Ҵ,+Oq;a<yDkNV3 uR@QWHcC`;$-FeL1,Uohg3gnp2CZG~kWnJӹ|޳u;yf|ڠK>,3oD;;$SmlRB%HIowkx | ׊, 1OjiE#f K? =. ܽ,#p']jVl+G9$OWVQ~zt-l CK@$zՈGb I s5[ӐU 𶂄~ȚST'h.q! 9V|GoFx(\WYIM?..o:uU"JTv%@ROeW>pq/ *l ~ЯjG!=(yp\]>G%{O9Z2'ӧ3]6&Bb.gzCNȲIhrY QFMOmEh)roz5A#N4溻MdzہdgS7w{|S$#I63| Tĩ˯Qu?)+NѡCJ!p=$cV)zn/˙ Gǘ>0T*YǫoRg" :E?ih<%oyNt93!y{V^ W|-+Vl2v-u>fF˞rqmJd*\滑8:`)p'H8y Lk0@Ir%1;G$S.F,RV7j*yӻ< p~бO.v8asG8)uQ>UbjVO(Yuq:hg}Gvcn|L%{L {(k+5ҷ>ݕBlJY{I9ף0ևM"8O䨾-(#͵B:P2)j@«^b[g?s6J{ qHM(`]"?ؔǫT8=Mzp?y_y rgYZ .%% HOL-IMPHOL-IMP.Folddocument.tex7zXZִF! ]A-MՋhvG"uIBm5nG e4J$ Z <; ]7F =D:\(Ѽ~+ z=fbK{ҁd -2<:1:TÀEإ?7 =#܏|[_"L\荬FAv,N?':MǕ1NXhl',ܮaryM3? l܉zwWtz="*)Umya(y@,Ejfw% M>ݩO؟NW i0%zl BH0TBǙ@s eu$jE0/6ӧ0^&Ӯnꨏŭ:^Ͷ1\g@9lK4[5fѫE<ܴG&pysu fXX@2{x*OKвlJ S;-_cİziy[iZ>П`O Cy vKܼ)F6E9}p TwbōeD3DLXl}E QHIL#b- B|Bؼ.JT|(g# eF5.R&XŖit6xɬ8|7NUEWⷾ?8wb?3>+MfV}ID2> VcCn:޹pwKrjf˨$q,Q"=ceyG[Ƹ"KȀ /Isѿk*0B.֘3{U;.Bw=OflZb*&X/EZ=M6!pH ZL›d+)i|#I5l`ՒM\rm>zC)@x*M_A(Tn臩4lfiM@,Nj@Vݍl;8(cWblBV/ P#'cfdzX?#RnSqi,l&O͎VL޺6P=7kazfP-~.!7O7@"ô*UZtZq ɜa~L'Vn$FQvy~+a7$ry;/;4ej&B1Pw BKءAqyrl[թk-䏵`_88T`nGO(D^*._r [ Ppf@^uKךyzC5@ghct}zEDN6+J:KcVٽTIvɱS:}=D!CBYhK䖄VWGS,g`=_w$bU7riПgVXjI$U2yJ96T,,)Gd)F =EoߟJf { EFHy Lw 41C.=` CZ^'1.MYjH9oi"̪(/ӂ}šu.NmoxBLTIs۪*Ss_N{*^Ve~~Mb59bvY)^GTYdGshZ9h>׏AZ, L7B`!m .`/H ҆Ql܏ĠQ?lV s jkHaV yt!ua:~o00o93C5%"X(DseI^W$zH OjBR d b@)0:FY-n+c<5JmgQNS0$*4(}ˍ6Aej˕mH=T) ρ;IDzE3OuD + \H:U7=%et]iV񂧺UhNg0 L!0\˄Ec!ЖczP.M!X:մ]gɲjN<Z9Aᨷ 9eP@J k0g{/|EP@טo07!!ZBկ][3r4RJ _K~ X.奕R ej >a/`/t>RI+ꄨdfgf tY+SAn^` ˃h#8) TkVS琪r\(H1N,/j7@ gyevHvZ7u"b*I% Z<3GMq½66ʬw@;W2~1dAlˏzw@n"Y2=KLc Y97jqKG)o)uaw>J>.sL8 0_ZtOh\۔&MyeIv}H/Xc%@k5uC /-"q#ۨqdsi!\- 9&JjLnͅ-It~8Rj,so_""l?(M3p.JtD (#%?n_~j.i{W+$ D[o2 V+˺,z,c05 rV2C^%k(^XM7TԗW:8jl1>-H\ TZɡ_rKyL3 ߟM-:2eƾ"Vŝ'h`Azp=.LcJgYZ J%% THOL-IMPHOL-IMP.AComdocument.tex7zXZִF! ]A-MՋhvG"uIBm5j~6?n%p@UCˮz"5J eČV N¤}7R=RSϞLm嶶7>ծWE#(Y܏cjmfD Jlf2$>:pg#dߠ$;/CAe|șSO݄ߵiׇΩ g_,1X PW,y+dDVFL]<ޓWJQ[;9Oʗ^fV׺MłxN(7*s$F6Jm\)^3;`OƸt1[Nf-&(N^WxdQ(N@iA2U⁊qwi-8NmOHUzl,l]/l :'hBXg{FՓx%P07A9G4w v{ci XU"-D6]vyݿgDg1cLڙ)|./KazOL-"I/HGo!}cru;K]IC|Wo\&Lz?jy`ZJb=I wJh&P;Et*6M7ճ lTT!RR.pko0Uu'Ko~?XxJd{:r7] p@v:)ݜAG']o}ؿhu -}w'deٰUM ;H8!-Nce`RfƸAfkԪH7)>lU[@5^(S_- ~a|Q!VǏP"+xK擈lP N9(1jM. 5ӚNa GZzcz~ԗm?WUx)c[V]bqLI! XZt#խZ9J髊_Q[%{JJ#`(>jS]B)z"-sd{umf`B6}_`*ċ tƘ&mRmaɜeFZ)ڿ-x+19WZh7ɌwZ +~ÞuO*@a W 3˸.S_Rnp&Mxp>6Z*le(5%4 \B.\h$Rs=И$i90rըD4M*ar/h5D(f'~)/`d#=&t;4j!wis{9a3nV!_G_sQf tP]lWH,@|˭Gz"i\^CQ-4bDѓˇkL Q#7X[p[:ݴK0BQ h˪, ̊1?X/9:Y9m( [R7;w:`HR킕`]s,xR$`6.I-<в#h6>ܿ]^ס08ͱkR%#&5p< _s!Rg8"9;gWǪ='ULJiVW֋Nr&wiAtv@_ȱjL(UcccCq!:axʣWrI+O˓c> }jdVYal%GP!l ?v@MXH`Q,t&.!bGWM$n緼"Bw(t(qlYcǵ]Et"(nX;Դދ-Y/@KHɩ>Ro60lz_1DQeHd\J~"imR"k֚(ѽ 'L`kiyvvh+ת6͓$0. : `Djj=1 'k\׹D L'WWL.Nv ŕKߖTDAy \1~N#*)Á2a4IO>Xu7=f!V1_ȚK-L lP1 ]#S 9 A UrTZ+d"\?U+񝂘#lfahj8p]wo#A@Pkf}ߺ >j,S$:XG#tvt.հIfq.4 tmT 88 &U/BW>L!|[e4ۀuA⸚Dn}c(P.[vPUX@0t*>ݺh9gxBitLf.āT&gEN #+]D`Y3 ]t\1$QfXQT_>3$ᨅ{՝Ϥl6չFP ^N gtбڪ˾_<;.l?hɠ(o{2G!N^o?ڦjW+gX cw9|BΚ2U/) 7XΊ<2M$}?aFû>qmvWdoIB>7TgYZ +/% HOL-IMPHOL-IMP.Abs_Statedocument.tex7zXZִF! ]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDKgvJֹ9^x4w I%};&Y> 򜝪dPh0eRln&:]ܓ_P*~=l6؜Fx' `kJrRe2i+d[]+/3pL8OfhU‚t5)Rzm<ڗ@t&XhAT-/;+'k5lTF@40Nܨ^۲D5pq8i (NhӘٸnz/JSr `/>ԓwLﴳy!CxL,BQ]N 0h< }v\.Z=SxU3go0g"Լ_i~⩦f=Ob$䘳a4u]3KOrLFUjcȰ:ԗځ".cQQF͞ՇxJi~|wQ 񸁆-60warOh/D\tߥ4cMqgl$܎p ojBIjFOL'ޠA0o84hh[)1w|O߬j=Z))HbƜUclCoh@q62EDVq4j23ʠzrcϲB@(ܓFwPi4r[4hI@ZhAbJӦ~iw|.x:bhPr3cT'|m{m4"uRto h0B=u79̥I}ˊA,I6S; #ÿohP`i,|><"% 0$'1&@Z&Пl|edwhoOʗH&'ב*s/p.I}B_vy5>/\||iZs؞d`҉M/ WC!&T..*'Oˉ'T7,&1f;+ :O+֍Š>uOr&t֯_eK]_wWӣ{/Y>4a01[ε ~B1C6:Ҩ^Se8'*}E`Q XDDZ3"gE_XO䊃 08ntH,ht$ UVIrxʎnчF0 %C吹]G;+1)HγrfqeG ƔB.=<#U6G49!q1zv_ezl{)qєe6dyD *>Ak;rFޠycs v.>#`v+(EWuX]x:mZw+`R8"Karb$Xo^P$GVL%^1õ'kI,P:hq"#\' F zR91b6ivps߭|0/2sYh-vN(,Uhh .E26-^ >u*b2AbExSUlVzëBH,Cf&Fcf ۤD*fxB;aoD'Z0:u|1<2}LuI喝?q\J' V_5IF1KukdaP2<.zZnFPYK>czRQx3pB׿jd̼բp"{~t) EjkbjrnL{X*Gr(fmߞf~< Lwt0`rA ] y݄Aȱpt2l nyv K_%yST82TRZ6Zqo,$V"4MyxiύNa"Y!ʅ#- mZ~S9fN+e]hyzp֩yZ\ՙg2t]!Y<ͨs,7n=8YXrl +$B3a99ힵBZP=f IGҧGS[nwhcr'- ac]+-H_^=֩«,VЅ1 fSR,V*GbmWMӆ6AS-HHFi+~hgYӛIEysAĚXpg8(^R?Yk]!DClDohÃ_,Mҗ #)BhΠ;0a.l`h|dO810v6جYOnhlf։P~;EJQ%4|>ƚx$(h>btLsES 2_g2~9 "cvu@ڽ.v܇"bɔC@4xc6Lܙ0ȆLDK_TvwYiCIMZGMCHT7ZN\yehA0YW_e9㵫^rcĦƤQ@%%UKahӮހYC?3Q% AŵdA >VBSX܀}ږa ǃY`JeP"$Q`a~Y-HA"ccmtIܚ:3/35В?W,;A;i e )wvI`"Mj&^R,r:~a)%ז{oVt.6nFo-aۃl&#1閼 qwW,uh@|E I)QsZE a> E:U.^v@VXϟr}GOj@tT؈Ɂ8Q^iuG~2Pqb.s$x`l#M0SDuxR8Ƣ715oJ1EέlEXaޖ5kKG-k)xxKMAEΈM=[9*yGoC9=,Ew>`v<7Pn]jzIJ(kqKʥ@g`y Zphm.ؤFUxcP9]u]}¦,ɲp9%Olo|5ZM$#Fz xBP]:4n[lI[^ă^% a#!::8^JoIh$=Llz?7u<8f;.^khٚ, |MmVUEğk\1CRT}4ސf > n"qEտ\2TW GPgu2*KEQ AuMBR&ЯaOWԘ̯S,5h=wH8r~z2M_{XJXqPc[|yL"Yߠ F?(݃Pxg\gE6Z+RwRj^u:cT~g/M/o,a6Sʩ|!%<犮,Txm9o1 Ṡ9Tɽ*xeJ];3D +2^?e$$& %Β`xUP>``lAPÜScTpڬ0Ī'G2Ǽ] M: |?/ɰO֖{_'B. \YlɃ߽1a#D}\b.g'iIhdͰo =\< 7\\0ps|n`hU*(SiQg;0=N'3u_ۄވvdgA_s늄Q:DD" OَwΆzP2fG;Qؒ/O7<z񗾹p3P[ѩj)?3S)Ct;P酷W .^+ E$}nqgfe?8!>Ҧ]WܳDFwz3 Wo)OV栥,]}Y~ò4RU 6t=gޡ7HoLsޡ#(Y-R /(?|-ZͼAr6j"\2HbH2c,8T! dΫ5;G+QzH׌qt;zȹFMvG7OA.Œ+↖l/))mĐ3 ۍuǘ=%{'-I(S'%*s̈L`hZb35Z~4G9XΈL+~sWkHyBRu֍:I\+[>}mo=xªRPCmgSWeNz(Q9:^NJDpMO|:?2"pWK[  O8;vłHF޿u:m.HOk{EX.ו.M}K[pIlDRb~T5e&mAO hyX43S)( ܐP-klHDMt3eE8OiH 4ˋn2$`HjCGo$ıL]l3]a}OGI>WwDI ˿Ѡ9_maN)z, Sⳏ[.X%H:~򑝰 J.{`tz :{CJe!yT&T>#X9-CbDB~O WP4e :ASoIνXGe>alW敆o!R9{i!΀]!͉0i'hQ΁ sA8C9 R^A|2S)۽9K6e7DҦ V幫 l |=Z2"6Ǒt8aEvjS. 퀸a &iޣgYZ `9% lHOL-IMPHOL-IMP.Hoare_Total_EXdocument.tex7zXZִF! o ]A-MՋhvG"uIBm5ۙ,H`&Š#̺COM:"N=K|uPU=Xp-֏猱meC}Yg3aP̷`7 k]T`SC\e3E' !w KSCYuң!oHZ.{C^*RO`b j},D?Q*. ae!!IЄݢ:vE) v E苈/q LH#ZWl &r4Hj#W&:W~oԧXO3uls9yEJ @;!^|pLB><^.1/bHAKǐ ur4:[ ~zY&% #%ŀv~UQФ׮砽jwSŀEՍ< W6>ۍjf-٣d uwJ$:KLrF9t*`oVvTmuɁO}eӡ_(GX7F"ZaւnCZe&!fJ,U:F=m/W#dȺ"87^6|LIjv^aUtj?G|mrN٪e!og1dz=!2SRf-<>@Ԙ埲!8{u(H\]ԹTTmȄ͒S5A}65i gz9 tvǙȬ P |tSDi"F:mA,oI#%eX':Ed (/О#D6vWOꃙe-~*npBWYrm:(O|Pn4H5 "sikdZ%s]31顖|G]'}#nBdzzǑՖ̦gbP/i.2t,M5bxG0g֦h(szazb0&m^Xa} ݪ3֞'jД ȏ:{ Rh,׃kUՙ4*IԀꛑ # N b^솖^XzSC{ F@u#J5.gK4f)iZ߬sM2%c[R@XWxWe zF ,$Ӗw>QM[0+P2Bw $|8FNdLAw %;&zqnCTRbY4bS4r :q aRt˶arjE_*s)z}޺0`W$df_ቍ;%o0ߺ7WiY\2ՌxW[zq)ḥg,:1x0L1zkO2\THcGwƥ kݯa #Y9Ϳ7)/f,if%>6HU r*x qp: WY9Djl=_ 9f? קlL̓g!չ(mll;ͬcdڵѝT:9j$unQ";SXHÈԸ"LJUrS Ѻea2Sō^~^VWYiZfX?p| vxul5,L]W7ȭF7zoMaq g_Q=|M$ x spqmb((o+D/ON&DzV6P&LSrY&4΂M(ֶ*i^ Wt习ji$r;uFY\áK4L=ڰ^h*=e6B6jmtď(`sm>ô3@|2tD7g7)]ӿX4c? iǫ!T41.}憅:.8FZ`Mg;>~[+brjԼ4Uo+.;z?XK*}Ѩ=ox}Vz TgNɮA/ԛ!~ĸܢjG87UU -Xzu7kQ\aH8kϖ  TOEUoV`&/xJ ϴEO4Id]Go႙ȁ ot8T$Gn~#^8HD='(DFhₑ(7leFKF. 7EC[>S yiCKU]Lg̴NO:a^E+ydse L N(P$Wx:8NmHB5XʳV|*j(G>z-H唚v>&Yۏ6AML>Kֿ7jJ"F I#]\{ lۆj o*Ncc  <.-<_؂IO-M?{𽴗 7!8={T'*Kw2ʇkgKD1hi|p>?OL o1 $7c: MFGo~Eb}&v3J,Yv\$'{wmL('ĭHQb-.ά@s}8Yw-.lٛ%!`=ꊏUUˀpil%>[瓼*zqeă@fJѱ%KN=ң@ xE=dfMfiÇfi\.F~ )g^TW G?ИBF`^cr35?Ж}o7;\Ő20 FSIV΅ 8 x{j҃/a˗'؝h7z\e_$t8(0(9|cr)so E>V679z܎"6xfJ dY3,_B [ WrصVs@[(}m@;G(z3`>/m̠qzuaegx5d_>:l/M'{m; />kX+K"0U3=*ms '9s?KayrKhEB-8ŵrrY_',z 8*st4kf("El%׌! U>Rb!y!g#O4AD . A?*'?\/g$p"P}XIu̗-$KK#77_"7>Wi#e'TsCGGs)zPc nCͱI:6 *T>]ݶwj@f{k|xAˤ}pmdw%}tEo2MGzv#!KqL3T՞T@PK|1ܻ|lg#ix=c%o+^ l5֍(>k,!*!e-X)I>u ,CNr bx{ ?"C$vrz>'f|j9JEqrgYZ gg5% \HOL-IMPHOL-IMP.Denotationaldocument.tex7zXZִF! &]A-MՋhvG"uIBm5֑I*p~m|(sLy˯LQT^C6DSfz{LJpC.e{}m٥M<-Cx-Hߣim{K*I>]~|;|^ST?tlh^L%= I{eBE%6UyV>nM>zPOttq?]nw9`;ȔDt^*H}mzQ֎_'-uqYJ\QAC]\7'WR47'g~,RJ;W*2ڽu!7w/dwbv=ri ;@!s]ݾNTanvQopWWy#R6%_CH 7=Γdk)F RąN33r̩zأ÷D<g1K%PYbw d?ҫEDa1uB7_߹MkXE=7)`q jɗ_m6% >mq1#aeb [lJ>fa8=֎xWxn qX( g|rqPE-Dse(D .1jI[#YOSs>_Jơ9V'ri֮[ Rl~e}.][ffA=qmAh`cXdDίH;T>?GYc8ڃ6GGl}R %Ɲduۻ2~n L4ۤdg Z4N}`i8FO J(,c}(['_hW`kQU3RȨN =/|JCOE eYKK(2Hn >/x&}V]8@_5aux>h( H1 B84֩ |`r $uV#[~QTcAXݺgba|AQ c2?٤#13SJ2VAN ]Fq^gf٬+}wۑQ]jZdLь1 /_U7~l{v"DNplCq 蠞:^p,S ~bOyWE$9:f҅/I [绕dHe}i-ْ\˩ Q䦘H tˆs E3MwrT\(gc[ ԝb4,e.u$N/:l̪l_F(b%6 ZfZ>-Z޹d,Y<$"7hEۘsǑ5'ns/7ԟΥBp9KVi¤N!"ҵq&Z1}g :F0cXt޴M-7nR(*UNs"azuj}s` Ԫ5\sJH3*1vw}Ӛ̛̌ :s`׳.rqL)5G{ַ-!qF=Fx?E'xDS>X?*'4eG~p9ws I[ra24w µau'_irwQlVtlI< &]ڝ6 F\O-ωL  ~  V)hMBmAfpyQY rW0#vX`8R)ULb#A :P@'Wk a2],7Kƈ e6B?eG8ά\6R$iև0Y4ܯ[>ϼ x ٧,fǐ$HxE߇i*h_.}@GrV`/{jF"I9G"Ah(F`hҒcYF6QNn?HĜCWwB6R ޱ2Ôо3KG%z,! /q`; k6 DPD sῑLmsF789nn>\|@a[•2]ed 搛N\CX2ؒ, z HSs[]fKoUb'$Z2Q?HKq!TuV+d=e.j7]-힪T/L%)؍峌_H6v7RJ!)_TVd]1dU4Y-?Q ݜI&-> 8.ƜBj\5^3]n5QX#3nu[c28N 8 6k-[V_dgPʬYʬoQ}/Зx˥[r@"WPa#muG`mH.غl>pt]opQu7;&DpyI$]td`Qb|\2@0u̚?!VrYhP1/A+Th(qމmb۴$"7^t]qfR>ݤv;% Y cw>SȊ&`8B2n(aF|#JI`n0]+Ev[L0c }n*htڠ<6D1ud+u)g:$۹yS8B$>wOUֆ7ki~R4;3';t`InTXB`Jod ]_Lxm21Vܼd3Ž9^C PT$Eu{mw=L`5WMF#z3zHv"워ˠ0*6 I4 mX?ei4up,FFa\ĤáVαgYZ   s7% HOL-IMPHOL-IMP.VCG_Total_EX2document.tex7zXZִF! aT ]A-MՋhvG"uIBm5헐ܦ-1>Ixst 0Ռ?OjW3lKQH;mws){H}_ňpϗpUv2iƢE9|RH`@~= K¤AI2Tr0ȼGjA>\G[^XkHA6$+-y LZ$D_G̳[2{ !Z#Z)/ @WdĦ8 'O%mNb$U M1|^LT^IKݾ{\-peqP:0(+p-wCUE;h6Ԋ)#QBmvD59RQ% ʲT(s) V.X)/x7I'6&GConCЕPi?-{.N@_@q>u"Q΃0u"u"$ q m!gc1qABv@LPz\) 鋃&G8 rJDo_(>c sƩ<~HD!sO4{ {2Kx2K*59dS1qid&ZB[12y ZPP~┰R6Yc/jd'Ƒ<Wj؀#r,rQpDqֳ<97 i\5̙,Fcb_~c>T͑vV73V"/[ӡcgɷPєUi9A1.#0r}F}2v#k(ʀ.F815Ai%gW7R?WӜسS[[;suA'xtFitH7DK"c-IxV=z7 6Sv0vo֋NԿ״<7luf a7k8:1i^Ax,YAQrf"{m0ަǤn,[s95Z%P4}Ceu˥ $2ɦ 0BWGA,H˜rٗ{?q 719||5ˉ!a{VK +dMLdR_c"Iǻ*Yy-C(bC #1k#lEw6y%@(564wgظIC'{{ un Q,EhҜzÞ4hHM]&l?TYˑF= &q9vR܇9W9Hp6KoVo%=\0{VaDq (›v?%nu2vQ4oĄ|pV2y.r:$c:13F>w,u^0u&SO@9W V|sPKU/ʦ#BTn(( F5͂zX4D$rm?]pОKιojik8A/Cv~Y8 7m8[n=# A 蘐h_ˤn_s%c<ݽߗV|"?HQOm( *4sN#9uP&$M?jn|oEzR[ ;% VeAw"gΔN)Cל Ab4rDY:-4*W"7>Œq2_? k^"eZ}4>]GLj}N!˞]1'~b&QKE0̏lMJf Df6c~[fk絲@Wt爃S3yS5PA^' J +c)W{Χ}(B-yNiF{-&k*gYZ PP-#% HOL-IMPHOL-IMP.VCGdocument.tex7zXZִF! \ E]A-MՋhvG"uIBm5헨#^柛:r:!dbפA|>9@;ʼ>](DeOu*if0Q56؈hGl;hp?`) oɿ|"usa$Gie~_X[ֺEGC$fɆ_I>twj櫾gkBfUnwԟ!ph<ĴOw \GX 8j>JyTqqunLtoō@Co}D.Rx1P/"|bwT[`ŷ$G<<Yt"w u(ɍHwy}Z74IpkI/P6ai]#'ͽ2o=u AET ]7tDQBN4WV E!KH-5@hn/( {M#$pxxa1][+"Q!DfK~ ߩ֠|d>+3 ׫(qkaMI WX7ĞiVb(m~c^@t)Bn9]'lXłlyXR瞙_%X0n-KīBd u=9 5ʡR8T?&#n?CoE=H/#Ĩvl!]:Z3-\Iut_)}1 oVj&[bUt4-NgY:Qd~DgM8C@X3r/%Tܱ d-C}AR7} ZLt&ˈϪVz#$s12xE,@^ɽ/4L| v>&l!{Ǿs> B4{5VP2Yi4`KxmYBrU3oY̻.ҠYLJ2k6)3eBC jGS{-k3|Պ $FZڅwfHD"Hp_b]vY3N[LL> IH! ?9?-!c7UY=oqq1O}D(𣨜1DKgyNc\ kW6z`MYDI«9Efp-!v@KӉ'|\]-zMIPc6; =OYOHpg=Z9`3F0ño{ON;- gv7Dً0bF'n2-USdlDvW)BZH?R`oEd)W݁ YlN_z*dL?t<8$ٔ}r2GU+30UӘ4謨#^VA=at]:@h܇*!Đr*MQu".x%$kӋ]9~L`-!Nk/@]8ڽ1?pakӌxWGd*d.*uϚq<!1<նӱiE0bmzjj\8Msw\ KU$\?LYtN^"CY㷔X]ߔ9uTqM,?/@HFo -WAv,ۏMc6Lܙ0ȆLDK_TvwYiCIMLy~݈z1wEϒQG`qIk\%QfBA(Z.H%m>ԓ;@n615>ȌPGAZ25TZ[WNC: M 7@c٭$ xZ*xZF{wp;^r#C_KW#[%mu`ΆSp5&x]RLi\Rk:7VxJ? Q@_h>NNKAj&JtC.7q1 4LU![MaLf+nN=¨ѷasH6NVڹ %q"}LuʆqO寛 (Qzz +)=%Qx @{_Ful_Dc6UpUZ{Ѡ*H\kRVǫb$!o[1d.WF)4 3#Pc^JAp<ִ.ԁg&+z8Q<]k%gJ˿R B2bl ¯a͜>qsF0`)9E|\|ڿ#!I Q@]%z6C`/ɗ$PQuA ݾ+:EڲH0yܢ>#R`d#;ʟ{$^˦I cy5ה-ۙFJ\'U6lwEg\All% #k ҸbR ׀K`ͷ-YԊE-'bzk N''*{$2!pj7>-iYD9H~yFjKQ1j՝}9!gzO`ᕽ :,fU0>nvGi,1⃴L~;aeZtqo޼`b!)2C"1r>RR# F!$kJfFG?1KIK3Е 'mҬBB k)|B-wޕ@-΄Dw&'@ѹ2EcJԐꦅ؟g޽UC-ȗO$ MߥdzY5BDNk\e%w`H+U/t.+F]nԖr __S7pܿi#hi :هa̞ΤG̈́Xȶ{0pM+9ʏa" iXō%(+01nH+Ӎ+\uL!YM3)vE*p{\_|MˡZY-;@" P\d O>awjfW|D+8)oFo.}J[aDb>00ĮdX>K! 6ÔLr]K|VcRdNؗ#jV˗O6Tedc~=p4ӕi pĪ8 rme R/;@A? Uu7@``'q(UnC'?hM{s2Y'Y,ܞS.|WY݉)yoC?DBafh!|IAfNInB U$>ɇ[].FcuRaxX U,Gq[twrʗfΔ3/ b&r_B'L[2)M2>HޒT#=9%= %P=s)DkC+$LS)= 5DGpgYZ n%% HOL-IMPHOL-IMP.AExpdocument.tex7zXZִF! > ]A-MՋhvG"uIBm5k k,N_ ^>?pLhPD[vq|U4E6LHK(sOyj֫J),TS=AHx?OO 9GW65gmvZ#TF`/Ur>+#K-3&n7#8ΐc-SԽ'ez'p-peÆ%7E}c|mF[Q.|cdL#>~e!ܐ)AOϿ2ڕ XV3 ]L TR4nh(;>`NqI J+VrZI(^G;p `QR<\,}2-\zDiNZD;vD)G@_נo/zs3j> ./J\NUZ[llJLlߖc[AnHth*fùpl0YS>LvJ3e*,x\$;z7r19QH{gEDNMڏSȂƵ5%jdݣMdPAbq a]螺twkqLԽ7J4325 :8p bˏ&J%LDPeӓg #ߖ@eZRd'N5$MA b#S}jIx|Ng+r%OKfpDh;uAcB<0a|rf։:z>rhf$L%`kΤv[isOKV<6rm2bT[ٮW|h]PٸjUojL6TOcf=tC=o{issuV[OgX}|u7R[cBҸ5e񒺹yQHW89=cj;Yɔ& \w_Ͳ` 1-B4Jb?WāRӆsV4ovc46XE'# U64N. H mޚz5 mѱ׎j؈ĂåfT괇HتZ X))<.F9bB9Q Wp5vrS(P}G0DN"[ʄiPmΏNG @X[:"Q BŦg Su"QFwx$,=:ayvqJȗLQ'|Y(dža,Sy#HDskL4NxIS*\qC JHi:ӞaokS JY佪܂ղ )go1K9p. /900$i o_<}t{~F9 `%xUzO˓.6KL:-SqztK$fi;_H g%\havIR{%Lՠ͠D\Ek6쎹ib@n/dv+7?l,Jbֽdzo@(IR)&N~\9DZe`ɥ"=#HV--\*][-ԊTUhXP XNbfxt7g XگbLWUk/z.-EzHZ~p\r՟qw#CHKוGa Q|rml$nNj p!ߢ"TvHoEd3{^Ib. Cƿ]g;6u' @"keTȑ&{?d$!9GDby[@ v_隦S`x0dAOެ{D(Z<;G(^P~z8+TlHy}@مm?i'By, *KҡuVaQÏ7tm\br`ʇ2z ѽ X ؜E6 czPHQwP,0CvwP=C$bfG>poStQђfC W󱑖dh<kN\,NXB87TB{M;:DrxgYZ h )% HOL-IMPHOL-IMP.C_likedocument.tex7zXZִF! L]A-MՋhvG"uIBm5@= Ci.Vy^Asƃjzk`N#g ;=R:wz-h\}us3p` aDGzkvrl"`jDhѭLWfaGĜ.fet$;O%j i3Or$6L6 Gm"A&ŎZ?(ɓ1I.SV@:Ti j Fq \.QIN&n`6#&=7 C3VTrJ;`zmQ=nte\Y 5s&Ɲ4xĸ:"klǘA ܟ'uh!~Y c}F*u5f`G5l $ ZesmNy ,}YE Sӳ;Ey мձ3wse[657,/*dOq8r*HG'bmcU>aNjW%Xۈdo GpjHT$>ؤmq:GEjHH6$ `%;=Ӝ[>]H7V \&hL8am\Z丈d:ph,n Q0|S͎&r;L#Zq,ÒS%\QNTбjevybu1dncc{$^, _=_ăǴGe^[(@<]9F ײԮ!? Q(m$e-|ٵL|Q8ƟdUEH<*Vތh~Ul#/-X_ D Z 1,Y@X.rW„ *ƨ hҺtvJ1ByH7LYmˊj_W;V4 O`t'P m@'u랕ƨ2_gYZ x"1% $HOL-IMPHOL-IMP.Poly_Typesdocument.tex7zXZִF! 2 ]A-MՋhvG"uIBm5KgAQJ7li[C_|RR@ njHM^ww=J+"xc3]KQ13Ӆ; <mX4Ā09`3 4 !x&L&.-k)CĠ#HQmj܎rq8'\Ի a!MsȈ=LZq^԰*J=3 |X@ s.DXwC)91. ̈́mʼngPqmxLӦUymkj~[J5d5d7Ѯ&:\yٸ$CݦکP<")c H?/M/c1*ša(:Yml "Y 1]EiT*F?VMov.@̩-\ec#QSR}=ۧhmt=lG 0K*mWpaP %LKӝd1ೖvLyg*lm|7laxqSF,L㮽^e$T;ԃP={tJ Er"aVF:_*DL;IiGid=|OͧD8{;|F@ ~ Lu&0+6FzK&Qm} I)tl&7+MQ_C_z={yO_UVY" YVX.hY;4dMhlDd]m :,?Req,Wj'X\ΣFh%!_#$Jjeo\Sp g}Lߣ:L'Ɲ'[[Ԇ ~)<ɔ6|Urk9B,Xӑkj*aE>͠/7-B>|u.idYËBi5AvcsDOM̴/E+c8,Briݏ=Q$u>3{ KvIkgY+>P5#,fV eqfG6hJ@wGNc!@\T#m`o&k( =9PD8q;7ؙ1ġHSz9p>8H;2 @O\IDބto=CVjt@cعr -шtV>&͑&Q?yaH+HWÚ 7|kbL9I9bRԸYJOM;i V t^*R eW\gYZb!%% HOL-IMPHOL-IMP.Varsdocument.tex7zXZִF! H|]A-MՋhvG"uIBm5*4Ys,L9-1; Yv!v+HӔZ4c6ߡ,MEI[']N?L!}Rv ~ !%=^ jwN2DZvQ#ٝm$bm8lFp9{hxqS2.^> GӖo6sѓ8 sUHgupaK?mo( 2<(*YNGL.b>=ȏ=X(o 9X&n.յ?>IlAR/]3N- DA24|졾I2BBES}51=-ԩ[P>~c," !TMWF,p蚭GnQ0p(hV1O+Hۅ='i2^+6|&mXx-QNUݸM. x [&RsZj' iyT4"po%K*U."YS#ɂ%cyhR *\[?) j[j@2'}&={Z}Ա@"1 GXŇj.@h ҠJ=MN0~m'[}\ʡqaPO,wa0Iwv˪xAMW@g Ţ c^Y@sR4b5 ;TD{7n7(t+Knab!#_ƫLan";q0mcl*b8κQ7^8"-mmLb|CLdyLWኺ)KCZ>4tn$#h8h\.+?1[#s0aS`[L|08ۺ}@8ZP+(}nΖs"_YރݓqፒS\B@i×G?єKk| B.lб`cA1VpI]hA :'W\/E0`H>4؞: w9i jX\ `%bx==2:QV;{k(tg~={i2}Y,ˤޏ1ñx)Pޢ5@+JZ8~-IpL&1ƃImL(UTndR'Rutz84:ۮ2Tjlo@|(ߝCK3VjB'eB\6RY\^:G Sx/q?^sRkT\ ios/,ps <ܞ'8K16#l4JyF/D"/M28QrY18Bi囋_3XgdؼZ}^T*Ahkz9X5S i/#.u;g7oj+wrO%hH8zWT4Mc{kc}ℂS(wjԐ~;sO42qa)Bw*V7=J)}xFI9P-v_y]d}vl9L/o9zdѡHGͷ"& Z[rYӜ wɒJeTDRd('o1h@Si({8juX=CP6PUU8VQp;Nr~vg_ W#tkbhfWz(*KeahRU Hi`vrk@ɒ$,yh)![_Cn ySSb ?}Ui*-^cftx5-00QWᖖ5 U[ C-~ei2t\+-(u zFpegXGP ,}&BGK>fW^ qXE$' A?inBSW疸F9]ܑfgYZ >g>&$5% |HOL-IMPHOL-IMP.VCG_Total_EXdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5헐ܦ-1>Ixst 0Ռd,laZ5Y !SQ~7կ7=UtdkTSB"~h/ 4JZiAXyiཐ!FZZFt? hV< \'}zx\7JJ8=aZüOHה,0 AeRֈx. 5ɩB@&F+f8N ϶ՂAZKФѨav̍GO'~'^$ (L/_aL*XxHbBe1d:=?3sW}P6ײ'4Nj]A²pVl SWFܛLT`^4F|7Ax 4}- =ZܖWyԊ0)s" ʝCAv@社fx^Pֲbh k,+xWiU_1;Z ؂d1jAjxEЃTuľ|œҐw* nInQj.iU_g;$8֑keE? R̔ 4V(&~uxtk_9bL2mUIX ϸ4i z؍&9sTM n%tȆvpe E'>*ԲXKloh1{cXc>PRAZTB:զN8M6w'DVܔ{o]@|U%QlEH0Swx7MM?̏K+A@QB!9 :kIs5Voe/I|{^T:`CT8vm4b%8̮v/vU&8PQL rSS+%ʉ$߽չo>X"6Kr.:  < WGp>QvGYaY<rB`գԆ5R1l(UӑhɩW kXle$Yȸ| [2{2kOr 5IrZ"a'Cjf' NdQ$MiVk{45 at9BcLw$# /E|Y*JA[D"aYr5"iuWqnʕ58VW#/nڰٻ9Mwgz:")@Z&r`*Щ |TH<-9YD63\FM*jyE!";J  VQlr]2M9- psE$긳yT(a]RH,.gb:$o W.'9Ҩ='񮕺m]E0F\L*Kp~!ApL(<[S z]#!* 3U|L 'W*0s^+.bX5%ob1 ;f #͂q2xm '//f̎֞9g(4u2 ؁A`D*˜NڠӮ9 HwZWZ`{Rb)ؚ[޹ayۑW)Bg), Y} ?|yw; lmdը v{qcW毫،p*3 tMzkrsZp JGjn!ƈec½$\Hak#*`>4NNB>v٢=ZԼj*To__zUux`&'gYZ#5% \HOL-IMPHOL-IMP.Def_Init_Bigdocument.tex7zXZִF! 2&]A-MՋhvG"uIBm5ֈà"S nv MI~s×xT1? 8OM/Jv^aOty:o y-кKXgpv_ʙthPt#D4:-TUbCBwThWP?ZsjX\0"TӠw"^% A~,vPǀ4*GFkh>A/K Nv>;XSr?Ó ]4.?kv$3:h="ÀQ< / | B~u<]\GG{$먅ad~V7ƴlA т#/*K4lʶ ͡A`}mQ$Xve (/$#Nt#-i@jrxDAݶx@2kZHXj2+iV ἠg ^HM'.*wmIEկRJMJy@Vs*4DzM" ȡOZ\Z>-4l h{$=cBhwU^y.e{A}_Aξ[nn7"7 O)jM*04rSsOōA~ 6v!_O05Wauv Vzڊ#dEߡAX3@3}79SFi,ڝYJ PR @u7S)(bޤsV1c(rŽ!LVQ* .} q2- B KquFE ֣Yo[r7]w؈ւj5A =.0t,O*c%a: wx/Ecc|& S&[:}23%Q[B8Iܿ;iʘSPlG.]׹1ޘ],LL[`yKW.Edc_PWPIZj,D2+u؍-Ac:I ^QՕjYW_&q= WF`w>`{dB Z!8-UỤn{$sH/\mT_D<ޡ_%[dod|j A^6Kj:=D7 Y5Zߒo\'tW bIAYb(g7|5do1O?.%#e 2f1~Dm I7o5A+eo?gYZ [&'% tHOL-IMPHOL-IMP.Hoaredocument.tex7zXZִF! 0]A-MՋhvG"uIBm5ۙ!Ybы1uVm|3hEיzxϘ6)eSa|YC=jC>qbc)Tw};]\sG;l2fPKנ_d $1aUY!gHp`:HLϙ4fA9%DJtpkyA3wWb+1|x'opdeƳYk .4oͳQl1ALyD&YW/R3Ot~5%&rQq`A&(8E9e8H2D{.!}Ll.Lޮ#Ӻe$5/l :I ʎZw {-yAϔ[˸X@xx;'s% nljb CUnާ4ۼo=|U3M}Mxc7,vO?O_ɲ˵7=MRG`b ‹5k~[_W>HF, ôs-W͓Ktwrb| _ꁵ6ȭؕ!51ΆNKk1BˑkVļpLt2*@oوh kL?fNu`$tj\lW6H!a]JQO`=_H ( _Z֗wz=>y3 '2ІdzJG|aAn5 ug#NBFz1"+B;# y!%pnsal߉n/Qfʘ =nt46J!$i'qK"4LBqE8C/T<꽿qxdKZiI3I%D?9;ݓlI^2{"90EPkyMN)>\eå2%}`@ -˳AaKf EoJNW5hHDv?NG* /dr0'VC2k4c2|0M7?N]k.n@.˲)/Kci ӑ3ƖXr}5o4 2AϿak:¨[ʬ$.QmaPBu9:zʟD#|.IflOR#$S٘M|\XJy*RcN.,1|]xol@4},tFrQ k'ۏM k5T 4n_+1qϟʸÔh^UQ/%𖌃n7r<,ΊXTa߈ġj!hG},g~zv!-Ku@ M74 ~[TJ&`1)K?,^7Wc W:V`zIgTǫ+XxT>66iP.9U" X)nmA:DT|<%:P_#?YZu8F8y6'mddid)ӭB-s`I>a ^5BH&[kTU'0~!X7Tl9UVok׿C 6&mRSHTb1@OEj,-B42TyU Z)ٻM*:d kWWN^DD>I Բ22JTQE2/:=voj- bF= iLmg={z >/$"(!pvҟm)Ns%OD@PR&AH;8dqd8QG7?ۉ|Я ڵNrxߢ)ں 3hys*h-pYFؾO Ypn#J塀>;ng%`>lȕݶOJY"8}3=f;ZiV+2i0 WSHA.:xܧ l1q^XpXM)u5̓4~bAMpLkFwς!Կv1ڇ#cɴwN(g~rMhI:F8٥: M90pڛ2&+ UoP93M#Hׅ`ؼEsZ]Grc-DJ\%p㝶*]bgvģeN6)Ay吺pzWWN?AJ>_R` 9//_2 tȢ}!jT%>`\?4ie@LD]uٙGO~`vya1t$WYi|ȃx vr~n#wD!8)Th%@zziz*)Jo2Ca^R0 pm2 5bDܪ-2擬HG">z4"KQ3,<`, S*+#\`$vy "X3|>/+2lWhīQ1%h<71ӾW*p09r Yܦ2CLqżmthRB'I4\ĽܚK}*'OW;J'6VnP8Ɲa}?zL=uB)6™pZŽ0&Hq(fw٠(Ab3aB$Q#H!C x}lw([ɋ ܰ0s0ΆwMfMއt>y}a#O|GNŭJ\[#rFHw#x)qBg =$_J ׺t?!pX"{Dž9ݞ [d Bxτr>rh*Bh,?F`vc~;kٞhyZc3aޘYr[?Xd:M>ۇ8.{ԭiTOc4X?G oN,c`w, {{t^)$ PfL>+ZRz+>:jM [?6M;H&O~<,2/Q~̵%|*jn_JHnpMa`1 \Ak={/;S̡f׆:ei صb8y}phkBJ9._W;!8{L)/YwQG [ӝgYZ'E% jꆁm7Xu;:e:]YjF,LaTfZ$S{YRD f)a^-m(^֓ n7Iu:dΥ?rz'[_)Ixd.·!{W~=qcj"tw$"ou5{c/rIO`$_ܿ>ДC!-k,׃doMʭau-2zszkI'(j&\?>C:ieF* ,58R1]{]! MV Qe`Bb,I8y;/c_GjSXc tQłCӸ Jj|ҴZM|44m}~wTG{}b÷O8*Lk.HLq Yc_(Si;bU4UBeT˛; nT^] NSS{>Y X/1%|k<ٿI}ȑ߼ #XVR=N+]R{[ ݐhsίۉ? tH{•o@yPrmwƁEyLRMPb,y5h;shVpzhgYlXxj\&qI1^[pDr<y-Ž͓gYZ $ `$9*C% HOL-IMPHOL-IMP.Collecting_Examplesdocument.tex7zXZִF! 7L]A-MՋhvG"uIBm59Vz}\ПRаD Gև]?{;u|fQD51"ږ . V~]fj֟89$ R&:/^|&UFj̊ޥq Co%qg'ٴMc&d<^' RDVCk93W- /e: jhe2 26T^fw.3t҅<pYD/aDy~|%|TX>gilEd F1~>Nc$po_ܙU`Pl[XK1gV@W&mכ}iٻn ~- !,'^6q z\kUwL9N޹(S7׬є_qR8y,'@}u/O}֗Eəw;DZTgC:bDk&R?OF{o2Cݐp R|L1ޮe]_|_;󷇈8 U+"YAK=)xR<p iC@duop\ΣD-(aO?5Pl{΋zGG DhZ kE34Xye9Ĺ"lVcsBei(?~QHC Nۓ%Dg_z욏pߋq?ՊWd˭\Uډh\rub`";.mTiuݕcK۾z7g^>-(R{r,+ 8?`FňkD q< QY~Sk\4Xq3ւo==r2&@P&37Yu.~n0Tc x옊/atkή3*>]J=U$X;tapȦ9s/E ܂RcWNEL!0]^_s]*"[ *%ҪWcMK;(5wGUbsȞ}inFE/!3׽,(`q7v U'Q>UTc RD>&͎O䒥2dsF( !G(Sxxb8&t%s0~Zh޵Z[V V"ֳl0xy>P6E;-=^OJjOND=E)V 93Ts] {&"l6Smn_JׄZ>M>4G.U;`":q>K4=ݐA*р]d!WNV :/ 8Heclm2D뀨i69.lv:j952W?,1i n:KܱgYZ)C% \HOL-IMPHOL-IMP.Procs_Stat_Vars_Dyndocument.tex7zXZִF! "q&]A-MՋhvG"uIBm5LwVm9ƒ7 etsj㚬E;S 1'Krrcy1EU/UԤWWP"3V0 N2:FӨ8&;NrLNOZ}I&oW"ў+MMTGUTiv2s'uqlw˶mH(T8ǩ4iX"4 Vr$0ee#b%k&d`(3kyf\({has 454Rұ˜jiɐQo.ƘB^+֞@6SZ'vx6 |'m8 I X1|_l6BR8gN~J IkZhoVMBQ٩"ν$`m|T 3r V^6T St#.:քG`RX0֟l6ʁin-<]V*')(@\p& ]yA0nܽ˰Nu3/HsEe-oE8ק.JFmZPTCﶒcIuX{qz7 #5n9ѷ~&,N+mc®~B oMeG[W`o} GQ'W'Vsu B6 .kR9`baz2=Q.۾ۮII4} ӮK-!VC2j*^m5BÙlURO+̩\Q hG)T q}!kGwG;̸,| ,nƳnWir[H`]ט"Ώ95ڐޛS^_8ѵK=MĂjIfEWe 7Z\|47Ņr2<ެhau"{ՂQLZv5&d_ǟ = G<9ˏp*&ͥl΍hT7 o X%GбÎz;♙u[; Ȼ}n5~g+VWRY 6J^^Qd3GeT]G1c6@W0|o-+^b@W D9gYZ _ _C,7% 4HOL-IMPHOL-IMP.Sec_Type_Exprdocument.tex7zXZִF! ) ]A-MՋhvG"uIBm5C16xco"=y +htgЂrQEDmz0: ѽ xnl`( ޗ-l=1&vR蓖|/uuF`o[=u/K8>mgB`VPV%nRy1o FzEV3"^~-cϝe'%Y6%r˻M33юSMË jHTE$O\ WYR,P=Ħ`d7.B{;Mspm^0Q;c 0( ݱQgL)M<?6]yLf/jq0w BK!nP Y×D~2,\4x%b w~h"Xa22q3nC/e|4>֚*P;/ʿ yX4WIoGʜ]b{ٗV֡O.d1;,f[FΰAp?mv]#,3`ԩ!ɟ,E Y cݕ &2FKEK^ÁP* Iڄ u) ּ@o&܅=Eť-:?wDՖnk}:n?>0-j%EteO)T' !'7W,/?d_RhF#2eySRVt nGuO7ke7B6hNp $-,GVJ[+A5JpOٷ*qyJ:"s3X h&_;wi# G{eDy1P =2a9/ȹdT$ ls$A# <$&Qn_': 1 63YNO(dQN}G Wf>Oh"F9ml4Ͼ;Gvk9@3b'(Z+vM"Pg7)oڢ 8< G_e~Na$wC(GAveJFkvӳ}-]o1O(2W6~gš#[c8* <|?$%L\jWV9|Е.mc:N;4evuhwΧ7#9t Xw9]GJ%ᦶ6x mx\8 ,*MNj\˻TRO?=܉ mg.SZ 3#Ŀ aqQ@r قZG +|fyχ -v1Aڹ]OwȈT7* pGʺ'2 Xi1= HpNO2;Ox:n͈k@Ch!AoXm$jFd Ϛ}g^PhD ^X6HXϣ6 R17wgYZX+A% THOL-IMPHOL-IMP.Procs_Dyn_Vars_Dyndocument.tex7zXZִF! ]A-MՋhvG"uIBm5LwVm9ƒ7 etsj㚬E+&\?IșTUhf|yTs:">FǛ{IF" жIB~Uho*5wЮ$0>nƴk/4ON1 ׉Ednj 5M,] >MN?b vi Z]?)#&$C7p߾kWe:9/#h~BseSƻpO#7V8Sy5>f== x>MY^=m,]`7=^'>\VtS꘻WC)0Yh\T͏ Y1%p%P$deL:vQG T&+e^*G=睩m8Mnc;YV.7 j+/r@YQ\IUkg}._m3dc_~qCZf`KFaF J}5wKCAfd 97 a=֣SWBNx6,X*Brvu/03vg,hц~яnك/w%t>̐v#t]Ć`R!.BpY,iٞu 0*ՇoKTTMd",vɣ̀{ʽoPKR,eU1Z@ ccT~01nS3T [7^u+K]pۻuqr&}B?8F2hDL:}[ 삅+KXƇۖlzp_'ف[g>t!͟T49S׊En6ktp".GH<*9*g[^? b)~0lpnAvI7HuX#+0#B:Y'(Yir;e2 U0,sr~EGS)t)Uᮤ@/8 @<yI+R56b %6; '{{'T6̇'x)յuK%seBx㳴Ʀc-!-q'ѬRa .b#򼘀tH!O:􌩉'W]Y4pWaA7`Nb}+sgeDFp\ϻi8~c_TûI#L9*qS,Gi|\=wF? ?ZgYZ  rt.9% HOL-IMPHOL-IMP.Hoare_Examplesdocument.tex7zXZִF! *0]A-MՋhvG"uIBm5ۙ,H`&Šk[ C8fuqC퓓4&qEE{7¶Q9ieD|͇ATqbr_3W q 0ʻ$Dgöa5I󔼝B^_ Yd=4f,^O:$åz-9"?@T.ЫX?! qʐG8[XKA^a#:V7"7P6W ju1o`$RwK°IF*橔nBnF͌@/?8ye yS^ XI]8ٸ!i)-@cԐl1A݌-ϋAT,'v:qUcB nx6#bÙL}`{2Pz~EKtӨ[`Y)ն>Za9 n/,{S22IRA p"/yq8ЏNvB x]W bD2"~- ޚq,a/)&[,`rmY%ш-}ox AvYݣd;'gouɣॻd"46Q촇 T*apv~ 5`7?︣G49aEO+}8g#̛)5+ҘUo} )Ew,R~TԶyCm7ӰIo8pĚbFwNЧGW?y!tk/."wtuKlD$^%O;^AP"rtPM ;gjeX U +{-4zLn1V=RVu!,Ui '9'/iTB8*&> )+, >O"9S@@ޕM(nϭ })=P*!6$/B#7)  R(r<՗7KҨj|VOY'vo#6Ds_|6{D>dQB:Qv}i6mYc;#.Y5?W rAQMdMN~5^L~=GItW]`ԅ\Nw6WB(}7STS6d q3f2PuNjpچ+&G|Zaml㼢#7ǝ"to>e oFuӘ5ՠ$M>W(Fp-Oniš>t)t& $+NإsFzl[ֻMe(PN~Vؙ[- \\ɤSSJL?7uώ1n*#DrW˚SHI'n;N*7UwgG$ ȜfIX)l^mF*Ci>LNDx8}`;ыT6۾ʜ:3C`(.2n`ңϨER"{N1hhfKI#1E r?𴂰*c?u:G5La*zX'N)㮦F<'̶쳐޿4O3ȿ~-?U-> z  2cWKA ꙴx61RaW[y^ܯ#"?yHwd7᱀yRJͮIt8TjH@e@pݮx( rTJgYZ -7% DHOL-IMPHOL-IMP.Abs_Int_Testsdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_7In/hj2ȴyʭ7&8Rk8as0fõh=(R gh^GY+Nrr 0]6=ɖ98us[ܖPTUSR'4,üQ*nIR܍؁(1$I7|q'v.@N/k7@Hv7vj6Dȱ!3_֋@zQ8V0)c0{BSÇy҅qpXƻ^tdܞ[ťe Ĺ|K= FWEGkYZRP.eVIMUoOH!'4bC%ygYVυ`Z0|RxYҬA N vc$w|OvE~ F3֦ye&?vH揎 ?k~6@ϳ0i dJc-.lJZg?cgYZ  @ 103% HOL-IMPHOL-IMP.Collecting1document.tex7zXZִF! ]A-MՋhvG"uIBm59Vz}\̦O.>n=olƢR/;9u@S׵4t!0-uXkh$c:%HZT&d߰cPKDe@|JǓYay -|aS]Rꓻk|ul$øol:4q5xUB6FWu{aF< <%utVo>ȦLrUcULJC]b'"v{F2/wxޑ(sihB8S7 3iir;wB9Z 6ZVM}XB]UL#4чf:^e5S@b㤲D] #DtvڊdHntGH$|'EQKvqօ̢GZgk A[CpA`M}V"A9PYtTѠ2HAsv#1Pv3Ls?d .- _CnN8W|r?gd"|Bttv(KE9!oauLꮒI K5t|@cάf6&4LM|.˻dJuf H+lj 7?3{)f@Ehߴ6:=֝B*¿lIwзl6S=[xx>^`D* 7gHŌ7Gj#;>gdv}\7GIWs*8*1dj]g "K`N#$2HF :ꖖEp-A-%x;ߦ`ň6Tه<;6(_WY Kam܊_ݖ1ﴨE3/`+`(ёJR^eIպSxw;OdzD̙w){@| @j0gYZ=/#% Adç}JWz@7ypGO.4yaL](~',Jm +aAYtjJ'@TŽR|G6Wg"Aפ D4GeYb01zp](b׮+0tt499 y9qU^wJ3ee8=e6uݪ K [Rr=m.Ͳ(Du2kN{ ;nwج7 S~VC݄ұJ-DmHc@k QbpJ4#KU)-!R_T0qf-TޅIā\Q"1QdF`10ILl9yFx,_v۩/ּXCoijA7謋XI23rp&{FbW ;oYl [vWBNV]h㖆}$$dرt{44jMV||zI5yrd5 Yqۜ,/ue %hF c5~u*ݗP{ow>lBzFNdMB aW'<]t%OZ,/=GҬL!fgpp@fg ;g,yoEeC-\3C+0~Yr>,}a#aT? U|9G(6QZ P.a-ו~4Ao1Wg{df^δ=Ya]M@>FP'"xKªA}殻ox4c`w%Y`{:dՊXu`Hd 2'~ٗO!)Cz2'`Ǜ/[=^^39v(DP{59P1ȓ/h'ߺ=^V᭜d^-N g*;/Vsdw~ąLddY.Zsg/n^F9,؜YR8OfHH9 9+ºyjݔS1?k3Xu j@i3:)M +o$֍:_jhpXpSEܘF6pboza` =@W H*;'5yhhѠDr)-MQpho#rT:f=~1{c[ "?:4]6`OxB9aiI#Ei>?.SKߊ kҴ,*CxACE*s Obw(392@=®PT,Cɑ,QjS/Y u$0ݼWCPA^>DrMnO<9z5nMX{*\IciM1^T@J4`|Ik?Ɗ6ZNIࣃRf'H#HN_?S-(sֈ6׍Bd 1Wd6|iprˮ_ǀԊͭ2HpW3#<-[XE]BӍ}Z,ejԑas3۫s>$^1c>JB肕yf7Jy}sУم܈pq3:}#obdgj6\vk:ɯ~XvN\jw]YBgݓXtO߾yq.}aibw2m\͘[Qx[sͰ؎ҁ @dxAَ [Pa!fs-IF CXL68.貽~W,:-#qKNjrAyc>g,Ґ/4mCY ܲlI[t Y/8ǀ SG99;Pxqyvj3Q(xaa9Î A~P3,kv*BMF< z*/ePmJ'!G{yT HBoSڠ"j|= &Iwk_=v|F;ΫJe(X`vEti}1+AW f٠z&oآL[k_Ð (]AL4MJ< ;mZhgYZ15% dHOL-IMPHOL-IMP.Def_Init_Expdocument.tex7zXZִF! *+]A-MՋhvG"uIBm5ֈà"S nv MI~1 d0t^}C$;(ْJE%iC(e.?P6aPnLhȂ<nimIdF|/Gec&"3;^}L}x")8v{xH@_-'zӊR؊'w-yMᚽ7~8K+|OX@ C]CzM#HvGM ,o{K8h\▔[髍gYp7mc!feU Ee{Q6v$9i؍=2Lm#dĤ}@*g~UQa@f#N6> VD[A cv $93j _tK_y"\#Or IP. ى)0f쑤<ݭB1ḷ]92 7@TyRo(풁@YFӼ Pn[jS`ĞJcf>Av$)6*w";Y@_I'؊E^K-x"a*Gd`js:Z™)Mr'( Ť.$1?齙dg9Rpz;#9zy5-0'(dAPy Y)4|]yHKXaI:l HvJ( ==ߑFҥOp•9AW2gB]ה1pc'#"-"jI0R49nDL&uMsޢki b0Bס__ f%GMc(Vf`ie_[JBjBƃP5T{ ~){3zE׻iJ^Z=Z H;T?_̤zJXF+fzqG&clju"XMioH$޴4ۨh ;tlVpgpc0AgYZ   A>75% ,HOL-IMPHOL-IMP.Abs_Int_initdocument.tex7zXZִF! @]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_7Is=5M-'0-o6#5jiF)Wّ0gK sN^ΫaUQڐ+0g[ Ixz9f 9.7^r Ol 7'$>؃oI$5_;=(l 6CI2 aDJ"ЉiN^cyz''J[iIX t,`:mn~)_c@wDmat)9#뤈FfDĝVs6CE Sf 7l.kZ,}{^ZQʍk:vroZGć?1Wh6}GQflhbKI"DqCZN[mݛvL1 =qU^c]Uq<ʘ|VZd]֊Pת%Zʵ:01ȩGL]rUl)tXj6n0q˒Sђpͼ&7njGD_ȱgYZK5'% THOL-IMPHOL-IMP.Procsdocument.tex7zXZִF!  c]A-MՋhvG"uIBm5LwW8iR8-J~ 8#: z[WM~a= ҞtsWz%\ ""FQrK6PT{˚9nn)1v ;5IZAj!::$=Lro|2qV]HWbn>! n-SQydm1mKƴw*@c 7} կ,cEEHd盾H}S1)\- ' k\$N~GPIs [E>nBŽ,׺4[ƛ!w߫R:Є4]ۻʁ!a>2;zڐاm#ீ1In gV-#^KD+dN1F_r_Яӊ1YHQv4EqDS۫X K/J}hRY- = Vd˳qdQuˮE_aKnbQE%es!E tN:{qkМ.1o:A~EGi`=UXla 6 r79"IajPcGR/_7,jX]a5uVLs;oڈyF;BlHk Ns%phWDYn-e4-pIcGM>I wf,"b!6^~ŋGE\zsa(bHwghL_5怖~!3*v,ga"n>Mk|~0_؁8.<`ǝҨPX\ {QSdF#~=ᐖ-195FLŢB$9_At#}dxjZi) h }I&Iϡf2mox$vyd\NϠG`]-:'Y8/0^Y9ཧH!"bP*j>evgrP<%`P @d.uz6v 2C&bYil%5dKί[Zʕ$J"ȺtyCh-~Ww-6lY_QD1Y !m%AV9Mm%al3v~l@0FKa.]E-جf;:$gYZ;ndkV{zD4*<58>e}tXa86i2@`gjA>Hx毊*l$^sґ/%lZ]DDbN?;oZYW6nQB&X*x(Дj9 q>#ZK~y챁=>1m|}OHQ,:d}(¤(Wjڽ{=QY헳<:%TԨr7'{Q#4i/B u!<(JJDŽ MS 03H>n ,2/E-/;ܓel:` [1.[s'DJs w[ HPF3TZeijRv/jJt8<ɤ)܇)&S!Žhscߵbz۝`I*Bn(%%+P"VD{@py _Vϧ:][=CGA}] v&o0L27L:j R B{hȸ+HCV ('S3#i DJs0{^z`3Np5{n@An@oTq6ƨ@P=5cTQ"B';ȳ/?$REDaPڔatQSjV* {aꑄGnB`+ִ% UKiIė TWѓ&cߧ?_zf3,mcck +k şe-FOwx Z_k)gpR%;6Yu!½T\-혴 h "yʁ4 dkB~-Es 范3 WjkE2U uWjB*nje.dDeu`qNv؎H!2] SCaF(ފ@"#4Bf M+"씇DŽc2cC\ξj7SeN662iu0fB 'Ü J,~6>UxA|rR/#/:|I?_˶Rm+`F/4)w\{KU֘rpos)Wޙl/3ѧ2ҮXVӴ ;ٚ>@ ц,JW]2l;9a/.GH,2@:2/: ϼ OV|ajj[dtgؑnW%32&A `Uz8[Oo?yhPTVuJMCT<aX z/h-JSpb:da$=/\$@Bz+bC{֥$%nM(>`_B3 @,@.;< Kh% 0L$6شu`m^4|(ϛ `ȶNƹ)Cz@( 4VVw<>M6vRD?x>vPӤPsp"ITEsq2C<Ą U+ȸ7lt fz;.տidNe]1x<ݵk*e@Ѹ Y"0rsA1P*rI9򗙳%CZɆs=ݔ1G+ ſzz5Ov=q 9,+!p Y35]۸kd7 o0LUw#|d(.7u-(9nÜk?x⨆ z (8 ݷ ]#_ػ~JreXYMPoQ 'jkU=!9h >li³\#^S/:3iG>H.4DNNxSpa8_ëd.;`}>=l|lXk@ٶKǰG]iQC7f#vr=ru Q|3جᵲ_2kݡ[4E~TDXuլa AC.(v@/A[jdW4zlqԃwy*@OU]Y}TWKɔD!wVߍM #}30 sgH՝ 1U{e S&#[]#,AHy̠.54ʿYނa$<1_>yi$CxJͫ ?О bJUqabp=IhC}i$Yر7|񵁻Ě&xl9E>P0AQY3G-vukz@lQ0f?[^klƃ^{5r6Ǟ@1hN H#ckDNva\Rv\ԬN"zjȢK@̚OdE̳~ W)Εg_OtmfyrTv1r@pN%z"k+kA LZD'`k^}Rht^cv`[ >Sy|^]н91B@[JT{񸾶NIA9qt$UHp6 UJ?aEc_lrx6~tx^k8op F6^/;cd.s Ps_:j7WB %YڿbRǒ~kTLJ䬛7A4ؚxR-/m†=T^L#/V3&\Ք i?9 w5C+G~fKW%aB6 rܔZ@'vhCGKKvrM%q!- %?a< 3:AN(* wJ>2b.7A0WW$6ٖBt͞NL"U/͐,‘ٗ"?@ ܳ4hxX}AEE96X%^-kk;(d#ˠaE|*kcx= C*P۳\9jV\ = a.OdOGr}Y5)Gd.۲?H;s|/q /[nS=0Ǔ~Y'uI^*rxg6@ 'K = :غCLD 8hօ vˑ 4,rԹjM  Ȩ\S7,-*B sB#}rA8"om_˅$mJ]u`YܛkxHWU[XD]fI34[fߴ9?P~)5,SɝyG;>;YZg c[kf3L ͢PE m 3ӴVc)fO-m";;;M|:ZL)l?&=z3>;2sv= GsG5:o˶bR*dFAfMAݯI#AK2_vAEROUpӄ+\gLU r荵sGC$:xܶtB~C L\ ?Ϩ>!l7$i"$q"d70Z)AβTdr?fK0an N/{w@=ToNڛl9_ [1Nj\P> rjFJk\?e ٫{r71NeF:L^U4y%bǿdF6ܵ0þ y?^  <~XTCk1 R"3f*5 ?w 3Dn9ᦵRJ-@>+#fas'0y+n sI{(J۬wjDiS'3H8q:8U5XlL,Gbaت bΡ75;Ar*hwnіnC;* ÛDG7ѡFkz_`?]@yLidvYZ9JB);Gptك(MۓcOYX'MV)֨nC#[6K6B0]Þ7Ib=N;BrSԡ~+-2 ; 18`c}*vGLмy@N'ep(j bD iJ-9+֨V(xp!5ng?Ħ+vST O}lb,OrU< gb#frFVZswTqv9W*0^ˁsy &)ѶWS]N7dīriC8>Tjk)&ǩ˵Yfft,{~W}8U蜮6G%! ,)<@Q6d_@vɩċmIo6IKbiw$Xi a$sH}qNtL ;,@j{N,q_*`_f_x~)nnU 48Tb&˶;C6W2^pT:jKm?cX|8ݏ/pa`(Nӥ+=5 <Br'd_*$%f-eGOcgTT.hRG[0Fxd+͘,mM='φwب;~]*!@h mVmM|CjVs߿ś[Xϖ&XNX-H-pVg﹕6Aǎux([h4Gfct0#?"V \ 4c{ J}e(:v<(؆!B:2tϼ~WD?@W@Iww;Sy>:rI* H ya\)EC#hhc~a<_>`JMShz)0qc-!<מ3[E߇Pj٤qjSKW(AH0gK:c܍oƚ!-wa5~ƙ q*jWW`f+Iuxՠ6&4 y Mr-q֝tAzG6.^͋:4*oGjQ>Wc {OOQhBFRq ͓SZ+" TO9Czk#pZ iYQ44TđNhVws)20MT O9:省} -{/y‹H[8\qlρiFO_[qRۋ0|R/jA@a={(1g< )UgYZdf73634c0c99fd5a808c72c2a6664f1e6cf431d604546e13b3ec7f70b074138ed2f4d8667390e734 094d1060cfdb72ebd3fd1291784fda6152066b69 fd74a6dee3e5c7237bf3cd94c82b97c12c86e062