SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ir,$$ ]/ Clean:threads=4elapsed=9.524cpu=21.256gc=0.7047zXZִF! P]ŗXiɟ{خ*=ǰ2= oHC.X G׵ޢnn·B)=1Y`rbrz!Iٯ*6<˴{gYZ7zXZִF! Q ]ŗXiɟ_[ta^q "{tDbx~7ϸP"޿ Irk`ޭ3~1|I; }^L!Mx-!R]M c}/6Z=Tu$axۊm2ɽ㟿aֳߝJcҋu$񟳴Cǭ߄&4-PC|A.6MAXym#ð>J8D?/UTR> wChNRdy}^^N ıgYZ7zXZִF! S]ŗXi%BzTP5O+?/fjilQ{Z+ 3J3u1)2&Nuh8[dZUKE?V])O($H%@8 M@Bʃi9"PCp7 A:ZU8=Qu~qjzUԁA3?r\-ԦE^O-&^JjGopyl%5/Ǐz)6Ca}%)0S3VA C.Hg KjeL֡:_fZiz6]f$>ajdq/vlяK^s~3?fסc1*;@oXК&BcvPo?ZnL|,0P+~_R"E]Q&4្{;6DV䱅Qֱ#£$2 ^e74wmm,yG;8w,녮`tER_ۛZ ,nt+.iz8O=6Oj-FOSH n?:EMT&WCn-_%o]e>*&},)s CD*–cdj؝i"*NIt`8=xjB$e+?\>ͨ0uoCd!1 %(HAxϩV_ &sC6UFl?Ye-̳ƳO;]#Q|eK. }Zفa2O{ S R/j_4Ť}*GY),vqbAjWH ĽhY/CFt+o=[ }.mLœ$'.pADxso j,&?a4W493=ǭ4ILZal'>=Fr>IC9JYroUaRM65'nr"dz+1e4fEX +$eMӺ>ƍVb0> & ~`8nZR휴-3p"EeF[= G]>%̊kn\2bgTͯ\DMa#V҉\[O%gb r3VG!3N}%S@n'Z ~}y/NOCKQ6n=lwIicsW+k0%;˗oģT\YAnPܨ"mi# `I<'qE7e6 RS%5w{U `?ᛏRm,T)#W!.j1lAU<\>+.y#NB]|GPh]սF7޶púH̊!:T&*[ڎG ^\)-L>XtRfjr b0hzğއ)XU% QYݯrʪHi‹D׺A"'cҨW"x;UQs~i}Y,sbr`dq\B3JWBMV7i2YT~i&hOoNGeJ1 n0[ 'n /2 MgYZd8f7823f4124bfba1087e9dfee67380d4f30851d96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49  Cleanl;% CleanClean.Quicksort_conceptdocument.tex7zXZִF! {]A-MՋhvG"uIBm5eD@%tR %2.%Ry[ZfY {]tFF/pF-s7dV\DDr( VS&7?Fj{99o_Nl4ӊPB*>8vtO8X3$5N#W\2)Z^va{1\ >%]glOlQ )ts)=ND^_.Ѩ<ئIP]ro,uG@PA)e&և/Zq5<3K*PsC5CM4d)yANQ~VVFǶOhb7X4Iå.x)\i."'ᛮO>'lM/$μWh{C.c7SV,d)lw]-cZST;p7wQM>AV 3q){ufe |>XGH_zO*t.8@à/mF1Q||,ڧ%ʆ618 tбedG  dNm͇ntuJe!c`q4mzdm*=Dr)oГ ! AEYG[CY7r|}jDЦeBnv64 w(&+F.i.A6n[zCWMI0%0,Kj [ǎ!4iy]H-p1R6*.dmpZXJYƎ >&*GňJMkdUKTk3َYfb@&t Hgjg{npF%{=`Hf\@zlrPw*_?:=*oW6Шk^T.lcAQ5`jб#NYlwc!ۂ"FVGd5v/pǟ!E,$1vEv6-bCޮ˘6I:n\!|朷Е@aw 7wGdx 7DtShIy*_^nP拑JEjYJ5no;1% ,CleanClean.Clean_Symbexdocument.tex7zXZִF! EQN]A-MՋhvG"uIBm5T ]ם2>o] B隋KQ@/3Ӯ_\kksEZԲH{5o.^~ZŒ;' eGRakZZm뿮n.~%}skrLqxHw,}p%QũF(üכ}͡>AMjsYCy.6仼sAL|c +/D-y읹&xNł0B[ېj:~?t Ip]jv63bK+z'A?H+h@ͷʈ|fYhhU|,نKAaj:}3΀)hBoFim`p1Šh4Nj ɜ0SpXTuc_ 8uGLΎqUFX!NK i&c1*EDf g_uy+0G{㽞Q39C?dI_dvʪȍ#Gx$El]k|A. dhBU㷨- ~o6G:_gv@"T5Ϩ2SK0 -_]ՉgO.{ H AS}v ׬Y"beobMebP- 02#HQƒ&wmS>'L%%LA9`S9W@w7 ŝs[kSH$I4)_M X`"¬}DoP%A ҪvE}3ͭ1Q/ $hs9[<^")HQPP !tJ.xiIͦru X¤""0D([O>&WgVC !{bڱ.SoF,ky'>L+'Fؾ{Noi&Z r;d2bÈ-W~\"!%%@R +-gTtBwV5\L|*LLx zIө        X,W/|"#%CleanClean.Cleandocument.tex (/%CleanClean.Seq_MonadSEdocument.tex (/%CleanClean.Hoare_Cleandocument.tex '-%CleanClean.Test_Cleandocument.tex '-%CleanClean.Clean_Maindocument.tex*3%CleanHOL-Eisbach.Eisbachdocument.tex/=%CleanClean.SquareRoot_conceptdocument.tex*3%CleanClean.Hoare_MonadSEdocument.tex$'%CleanClean.MonadSEdocument.tex+5%CleanClean.Symbex_MonadSEdocument.tex.;%CleanClean.Quicksort_conceptdocument.tex(1% CleanClean.Clean_Symbexdocument.texn}#y%dA=iΦM'Ph`ݿ]2"u -q GnBF;m5T*-OlP7<*.e|=m ,]-(0Mb[vDL)4(*93Z ј4yNO/\M KF"e[MvY DJ-1UK}Kt/F m*.ogOC@jձU4oGzNL| 4Lcck=X _OwL(*GVCmp,p`6LBG Tofv:=1_a?7x׺6Oڎ{bTMG ˨uS/M ]ޮ!E pSv8a%r+;l!r׿ a َr]Yz-$!IKX<[HS#Ֆ(%BB-Tr¹/٦vn@-hڃv$'[T|1]y f"&hv^`=z G/*$ǟnΤLE* mŋd$~۳`p.qZ1K x TJ/ %5 u@><=rԹ.Kd$q,oT6g\ΗUqy$#˸b"J) /ȡFOw֓_O"[:#̈́<]ZްEq)W= ~ Z, d>6,gR?f&cHt_dP e yIťu ƴ`UM0uCܗd$\܍y$RFA D͌/kC( ˛;z@KZcgXf /Y 0MwdM.LΥ4mvB}Q]<_]@<' f'Rը#abS;\$c[3Ej+AL:Iz5vQ >+cKY@$jz%$|q W2V)?t 3YrEpgXLe^,ynȮ'0Ojuk;K0g 9+o isff<]pzMq c XKw*ҀC_܆`bBo{chEۘ%@]qRk/ɧ;-ԨwgzN>§$dmkI ab6<I;.=5Z?xcrfJҀ=v\K* `QT?B"(Qb5A㮂g1 #S Iiܗe)S~+{}߲%Cjd1^Xkr:Fm-`Hys{oo#Q,Dk}Tr*w]-Fp#3 E$%ލN:Ćۥ9$"5wHrwh\lxBF qO/X~Q;c40ytP.]Nl}cqd8gRt 17Y&[O-˸9 L-kPƧz,9G[9B0< ^:S*߇Êv#K_H"XH;+)[cWPtA|n!9"Nږ@"?NiH9D"Qaҙb!dG̻&F韲G}w3 XF-; \P~!Z?MI1$³`]rQ$jEk1,RG]Imx ʫB4a>\_:},$I" xƚW=:Mꚹ# A@Wh-۞2픑yزlP.F -j#w[pIycz$-Pr`$ $@u ߢK*w6cf ?X\y*>JRt:EzFRs2UY54Z@*es?:([_.;W{U!NX+jc* lP"+Bd=о6h&n2*MIՆ5!H{\ׯ6uO 5>37f4 JLV,Zq77J(F)o9b&R@ 3-({?,M4Ԝ  u*y֎Uk"ih>xiD@gE xOvW' ^wq%df j٢;vRR>/"NX #17 ߄Aۂތd/w[H\y;%TXyݰ)\Tϑ1U-1wq"~s/@t܍8֚-%ϤX$@ĮD9ךx ~e"^.?w%`^X3A/ ⮐lʜvř™XYx2IS_,l&i/3=v|,.t%":XZnVu  jB؝1a%.uAl[a]O'PUˀ5^b+q*9$_.Iy`'m-BTu &+Ռ oĺ1o,X4UTjTb$guz hp-^;22atV'NK.9C ,1{:B“%̼tI&nboO4VTDѧ ^|]~KFz"ȒGaC!@%,|l14H4u"PwG&')v8T Kn k\Œ<AUjClMoGꃥrZMxӔi;&W g !Vqa9a10c9MAQEQ .Zpymc\,@*PvYlM!? :Ӂ׾{S+ .gԠ[lt!OuRK. ;tkfL>] >W`o#o}_ENcH#$nXgK-һŝaF?2v։nb1 -1I0X#hX PV '}Kk>?-B569nMR>ֺ6 aLv=Q2W%#h8XQLCe:ZW#ץ"%pGpSt\d \ dd'0 4D1>NO2^  uւ$] fLXtuЗjd|FI%f#*w ϡ>jxYBϯ YnnJfcʗMv"‘+J`^)JXq䞑p(8ՙh/ :;UE۰DZjb n)&?PY>Lza48a_n= nty`d#DsX(j]%`&,ִ,,ZZUL,92&Q[g< i3YL+M;A}$F08Ni`SAt+܇ߞ?9-IrWʹ#u[Ks[^haNH:@I6jfd}l ڼqS7(ѿl_\ e}1- Le,p[sݨ\(e;/>&l4uB]'Y;ճT\Wl. F㡜 k%1ș`3CVDahLUr̖&!hc!ʻ +?EJ1IS#y>ϻ_,䩍-5fr"0O]cOY y8G|_ԻDռҌnƦK5-Ks^=lcL ;#20_Xy})}\QznRY=^MYClMCA/ 4EgI :|*XhRO8h:+U~0 ӣ@XM~9@F' @bOc_\/OgX3\j 8twn(6G 噱"J,zc )6Ykj4%_,̅zt鳅ӝ+ucޠiDIt.`⵺<;?qJ 0]Ӄ!2_1^w2xyj]Wk n h>69Ӿ*brfXUP.h$b%Rj.:20v5M6@wb_xs !d 9xE2Q~T.K60%Xܿkԕs <Ѕ#%%Bً e.m塤KEi̼F Rta,Vѩv˼y}'ذ)3J溒 k!kY6 Y1=GhV .ow|8ulvԟx@C5׮mY2V<1l)13mbVeP` ep22ԧB ۽` iIven5hia9he%yZnbc5 lɚal uO`thͲYPzŲE g›j=^n| U3F&c&%;IwՏo8l6ZY:0{9^/T6gYZ FsiP2LN=7|E 2iC`Bf18N{«^,uo*/l-F#e߇ٚLBe`#EEW`\3ie#R=OLdPz?h='/6j!yTc%Iч(G x A-Db軚#R(W;N{`a9 (o$Q.E%*J shJyRyןk <afaKUF: B?:x(I,DZDLhsM>#`&1_%2Z:~?LIW3Ӻs`g\ÿn!$ R#Jm-rMվrDK.vpv4gٰ>Oqr@`5!Q16_qU")K43ae +\l;ZѸ+z ~Oӿ0>+ѡ#ms{R}P$^#cnWڼJ**JtXg|LL|[T<J L%֎`Eӓ'֔HA,)bq?5;[hnY%&:u'q/"iHd ȸl orSck_=1οSF7KKdW~K_H77;L/6DI5J\ #)3r%꺗m)76֐n ]6m:ėմ00]gc4#j {;m^%N;4TJ=O$7M *Z0(Kg2RW4qEӦIWAIHuJ=geUt JL?:YN\@Sh 0rqlbICjL`9xftת q$2>|O(LVS 0 ougm|q2ݸ㤲oL8AK)TbABjJQ5\D2E%& :ec7^.B~3l.fƻ'/XYni9,2%=H>iG'i`V}0vƍp2Hm[-#5.W5nנylcyKpnGIM{[_Bx/RȅC.|PM~7Ujj660!C٫`Q*8W=O^~)mO&,ٸ›d ^p,WVc; ?j!膨>Q!˒[m]``~R֟Sl@R1Y"0O[CMy $0pv>I{E>.Exo4QYs=PXրym5~)/:ZR5zۮY}Mx`U:P^(5/bԉ nʦ|.-D~ר{ 8AHpʻ! _6QS gnOX1)>}T/pіEzvfgwZϗD\*d4&:*LQ̀&B`V`9W*S*֖ rUf@R _4_/S(("FVC?>y4g8RzC.I~JWK-| 4:V]2O(Ri TPUi>QIɡb!ʃiõ woA@Ǔ@,F-䅚61KY$C7OubJZ\ɝYhە,_jc84&:B|7U ĊjǟF\8ϐFϴ9ܱ`O*nuX :H-Y!cFS,{20 ;v@׏,:S{x:T2c"9w WPl72S=rc5^4pGo_R;`I.SKgW+ngzb6e>06^~LncjO`٢Q1\8!2吗oi򠨝[Gz~N To{ ܚ:gQJD[@!EU!A3ӻ?_(F^|ot,,q`ЋsZ*jJK->@UdTB#iߪ8No@I&SyOcaDb9kLn"Ԣ~fa/x6Xog+mbvK<Nb- Xu6Qy%Y,LL~ToO7~1E(\,sewop =ܠpFPuRa M_J\̈́u=rm@E5X7wH!U3op.Cꕒ`QF̒g.زuqP]T+iwcW -5 eIY7(2NKHs>,\?~ʈr0*S~_=Bs(;7~2nEwgg=NqdF/+ kW;R@ nߎIv[Q=}.1O9(> ,٭/ Db3;ԒzB`l3VAn 0k _gXjb ',U VsOL@»qenWYk瘭7?`UmH(T)x^80?W8z'p.w4RvQ_e+k)K~& @20Oq?VP;CW|`rQ軹3=)hV}Bl\ER)42E90 <(_Yn^ơK-ͽc-0"L]9tW--:s9M w8̾L` ѼzSEx^=6|rt3/!􋌓h1SİvRxi~K,J 30!/Ÿ g'gfӯh5Mۭ|ߊ#oᶀY\ P2{ L@e)۔4z+ Յͷz~#(z֢|+~Ŵ(Һ`D3!)v>0.}>ZIh`RJB $ЌCz)F|;?lZ(x!!e˔ͦ]kDr`ONZAZe\EGA{) ޲kO&*іFBTL |lpvZR\0e$TCp&FZ$!{KC#O+GHzc 5XC}Aˌ/b}y vh'c.|hd+݇L {>}Ruw3 >/{P % 3ZF<;.Ѧ1l,Ґ֤(@3oʞWG}aPŧ_.)eՔBau>7SQ(f iRV65wz)Z̜W@H@m6fX,D­KJ& MGVbk{>:: \i+ Ú?eAXNH{ u:SW̖]r{?q4| Jga+{UPOѤ OVvPkR9)].4{u2}|qy2SlԀclPnV@ȏM0➠DiN_+ZtkKRKFYӢwB;,:)(J͒ G}qI,Gc` y\q#x6b ޮCm$v7ѿNFP ؉&f5t}u][MLwGYܮwDt<{9xSn vծʈK^VHe.Wl&KŨI8jnswE^$ܫ( Щ>OkQKs% ]syYKHe?BU&eGs aOj>b9\?9pYD;}"c6Z8{F'[tc,5эɨ-ف,{La|? ["^\)2F1;3:5RY x2.Ac7wgcWN2G4a7gH#) LPKUU1"ge1m(Wtu#>AGi9q憘;] &=m%9('7@̘⬍$gBPx|s[o/}! "Odc41(4gv0_ pkK\!}XnJ^Puahޖg$F l{u"3:Ɵéjq.r :qHn;t)KIJH'oPLj&R/\-S'#:TY?t4rrg43эmؐ9wno&-23s/,MrѤk錰s!+G,`RQ Pޛvx0&ଲ ItZ.b95P?1R$!qUHU=bFU&l̙V_3^9܏;"ڑҚ\Ќ^G|HhzbiddNC>ʫOs}@KvȮmt 5NϠ}֪|75'L.G1xubG2rqwQ)=A̺-ij?Uд{30f\U[+FL`U#\%((}N̗QQ+9Sy?/Vyj(OhIB2P-&5~  kj(5/1lt~~}Pc*<=q !UsWRi0ھ$QB5p75khoz]6r=6`e5M'HVù*)Q@Gցjg"WYg"O<@@,ц,VY..[Bԕ2a ҫqnWW kcc+9Z]r2^fUCD )uy#j/-cĄ55 ,Vnjc+!{}"Mlikt4#8J$$ބ%0/A=[XiD2ڣ{)Oʼn[P5Mz[D*hrji+"lO-v@Я1t$(Fd5YwH;%iLud1(X7vn {֧/-tFa´ڷa9pӖN)1F(4ꮗRk8Ly'A~բf[hxF2lumwEa0u߿4oz 4,{ h譚5^7tQÝ! 6zl{NKF' $Opb9Q`*n+xEG@r EGLC7uj9jQt:*^N'S7j=\ya3B(o,5>IιWwEEk")Edl٪jZ.گ_ȴ^- K*,lN \,+,28m5&/"$QT w,bҧ6&A#rϾ3\F ^ 3a.e| [FbzVʭI{)ZŠMr~%@۔x{z=-1,1PJh~3\7k>5 u [$v_f*)6"b.VnD')w" $]Y *zD'_D&Z_`PA}ƧD;}߁wNmM'3PQW:3a6xnXl\S€+ Z=;TiueE2#,sh;ڬkf{1c'|n-6n[?^A9yzxGnێfT҈ lYPk7_;m buuTg o:_KIB Fqp&&焿i*L@<%v%gm1e!d)98S!}^tі'^7cβ/B%k.?dƃCJ3^n@*F(aA|Q,bwda~:td"&Ahk!=Հ\/g_2(Wox8X~&h31aCSՈ*C?56T%B̚yL< 0SyZuPt/D7Ldt\4VAfGqmqPm ɺ |nKPk&Mg}KqYņCF.ۀ{ֿdѯh%rX4n0 T!γ,y=_"b3Cd{(rf=ZtէXc iNu.k!D2pnMn129+]kvJ&& Nׅ^nDʕUgYZ C :Cl;% CleanClean.Quicksort_conceptdocument.tex7zXZִF! {]A-MՋhvG"uIBm5eD@%tR %2.%Ry[ZfY {]tFF/pF-s7dV\DDr( VS&7?Fj{99o_Nl4ӊPB*>8vtO8X3$5N#W\2)Z^va{1\ >%]glOlQ )ts)=ND^_.Ѩ<ئIP]ro,uG@PA)e&և/Zq5<3K*PsC5CM4d)yANQ~VVFǶOhb7X4Iå.x)\i."'ᛮO>'lM/$μWh{C.c7SV,d)lw]-cZST;p7wQM>AV 3q){ufe |>XGH_zO*t.8@à/mF1Q||,ڧ%ʆ618 tбedG  dNm͇ntuJe!c`q4mzdm*=Dr)oГ ! AEYG[CY7r|}jDЦeBnv64 w(&+F.i.A6n[zCWMI0%0,Kj [ǎ!4iy]H-p1R6*.dmpZXJYƎ >&*GňJMkdUKTk3َYfb@&t Hgjg{npF%{=`Hf\@zlrPw*_?:=*oW6Шk^T.lcAQ5`jб#NYlwc!ۂ"FVGd5v/pǟ!E,$1vEv6-bCޮ˘6I:n\!|朷Е@aw 7wGdx 7DtShIy*_^nP拑JEjYJ5no;1% ,CleanClean.Clean_Symbexdocument.tex7zXZִF! EQN]A-MՋhvG"uIBm5T ]ם2>o] B隋KQ@/3Ӯ_\kksEZԲH{5o.^~ZŒ;' eGRakZZm뿮n.~%}skrLqxHw,}p%QũF(üכ}͡>AMjsYCy.6仼sAL|c +/D-y읹&xNł0B[ېj:~?t Ip]jv63bK+z'A?H+h@ͷʈ|fYhhU|,نKAaj:}3΀)hBoFim`p1Šh4Nj ɜ0SpXTuc_ 8uGLΎqUFX!NK i&c1*EDf g_uy+0G{㽞Q39C?dI_dvʪȍ#Gx$El]k|A. dhBU㷨- ~o6G:_gv@"T5Ϩ2SK0 -_]ՉgO.{ H AS}v ׬Y"beobMebP- 02#HQƒ&wmS>'L%%LA9`S9W@w7 ŝs[kSH$I4)_M X`"¬}DoP%A ҪvE}3ͭ1Q/ $hs9[<^")HQPP !tJ.xiIͦru X¤""0D([O>&WgVC !{bڱ.SoF,ky'>L+'Fؾ{Noi&Z r;d2bÈ-W~\"!%%@R +-gTtBwV5\L|*LLx zIө[*+y6VJE|F=*#,  ; ;6 5% CleanClean.Symbex_MonadSEdocument.tex7zXZִF! "H]A-MՋhvG"uIBm5Ȭ[[ UK9}39jM[[o(l tgKinrr(H %|DM_" },8Q*l*+9%Q?Аxg9f)F_~ 2zG AgMW}hG{,bWSTjȁc(]K/I,%%09>hZhxAp?0LsxPmH+O^#hdT-q.KkE_lWXWw7yQt`w/?CGx-MhVן.5 ;{My@TkS8|[T$U;Trbj >VgkQ 4"U|sU".[Y HaicPa߻:&>xIrW5n8ep2}A|h% ]3,~V]$W> 8  YBcjt#kcEP٭~?n sGHPиG#at'@EywJY&֒ Rrwg͂'qnD/ mχ~'+MY*_ǨB.27ɅΕGhvHٟ n Eu*1;fRg֙'F{RML]-S;-ؿc]dۉq;!d=߸R]$y^"kw㯶z1B!w ̃WJk-Y;ⲩ948 {V'>}1]oސy&݈Ւ%8 ϊS+K*;z,5zxآҗCWb6ӭ’iZGP7$ZţfiSַh M]*D c?86(sAe:b זxKr<[al7=QzDXa#1ie9,,/ ;CЦ!N mDH͌ oC R&Hƚf]H#o m%ތ,UUkPDk|xk6M ж~ /=-E!똚[+6I(EvFEo[B9w^ XuEbT!&Аˀh !K1*M|&+,$ͼN goTw} ߤ.ۿJ[O1`I|oJ _>KKmݿwt]YŻ bZK5h +$XH٤&;m,f:A>^2qy.$1"P b.Ne_prlzFfG62r0se`sAd0$yjK=ႻS<28"6eP# {GgutFO+@bԶP@\6Ms-xR7Dꈯx;ŀ:a+/彴W5 k|<@`bm䏽#,MN=[wjq)ʿl#ojWjF3;uAJkN\f~ V;åK7MҪѧfZm.97sX. U2],٥zin9Âݨ -<^pW`V]& LK߰^x/b]i%)U~5j3t6Yug*HaLB[^%-xy0l0A*6?EOSQҷhQe,.@v>>;噯Ze#sX^Һ 9YPz`pw@{&w ;c'VsX mr:ýMͫ手,*4xG$I&ڮG$ahX՚$(/x1x)`keP <42NEJxi+XUy6%P !u-BeO0.WE*HKiӈww[R0PS{%j~Hѣ]I9pPf*ϴTNX5)3z1SAT#jr\ x#W1 .њSZS~4#p><;4lpN=.(UZ$XS‹I.j 5ӞHu¢ ?)_/d<>GY?l$ p.fTz~-,DbIڛuK&DJX?E7̙":h*]ho.: @ (;BO*¾"f{.Q VԪu;FE.sj-R^ÏWXuŷ!` pS 9?}#NXb(. m.-"2kbbZGK0[譑8P" ",lT.%`g"mtsǍН^.P$U1` Cн!HgD\grau:}n[1ys~&q]c/ O}+{<SDFذfP`QӾ$&ʈJˤ4̩>'}oxfXl sEj#5{9 1VŮI` 7ʵ>K-Qͩ~zKY&~_f/|v[ʡ{7 XqI,4GP_lxwu0ҚȺwByu{JoFŅYb$я`7Q p ËeJj{rPFN[e""f'ƍ%K!FB^ [r 8nj)XA"Z^O$0f[+Ef^P7b#Hb1F.>Z #)Xo.|V ,wU';> ѩj2 FYSE> yћZRBL&nTϾ&f dG\ ¾x#SDTmYPaҽ<ħ I׶`L?G(N$4c}p`)kv=V7 .2|%Kj5ϼmG%&-Xx,nZS[Y@5zjCl Ko|P7QfwVF|bU8CiH !MB*3"4^,Z0hl0+$>U.Y*ĹȨԦK! X9p8F#)BʳH?oAN%m";@C(3j/vzȪU0/y\w'H4_%+""`~$@V ,My 8CO׌wKIꞙM5Rǯ@pVHK ~],1<~n[nȁ|:Y.؞gYZ 33B'% DCleanClean.MonadSEdocument.tex7zXZִF! 2|[]A-MՋhvG"uIBm51#nUΗ"~@5*1[pcjrz7rnNvq)&MǮ *y'sPRl+[VJx`t*L҃hIh[~񯚣@- GX9r粲cÂB$t"$4Â!uɫ<5kS} }~foq6ٛP_mv*)Jtas 6{,pݮ%}"0Wh\uj8 n Y >$evڰWx- h.[Wß@`R PՓ;r/LΔhqؕzt1Ȋ蒻_6,"6F3g4(gԼ\8g:oG(Y O*ۇtJ3f`=Q,_ݪ&?p"@8(_v +VkDMmݹRKC_ QM0"6;!'mm4ku]dIkDOvWH藄Zp>LssBIĆh+ ZRSJ+($'LE>rD fo(ZX9wAmy;}=܈2'ۜ^jWX1FAJ Үkru`{' J$'@lg` y&ȼ\1(cJ\tք @Lf{%|pí,n+;s_L|^ ;]z&Z MKAWHdȴlߧKOJb_P%/m瘕<ʚ*;gRޞJEru\BvXjq#{vR`+m|{X{ "T%@6.yv>ڝD1%+4KnV]?f: 缶~&En$b4Z=q8 حseT^y`j3[ `r;pCDo7t9HjvRx췡Xt:g'hK=.c6L2R\3gL镆u3Z2l -"N޳:M=/o2#T  s _"wmУZ1$ _L38f͛zy e̲D>G =*Z|7D3-\g,Yj\(L1ݐSt} w F٘YYP&@}'/ehʍ/ujWtRVU:b"/Q JO jk ]a5~RsIؙz%+,F|9ލaŋ#^,SҠ-V|=EzO+{o|z^rtOZ@(+7`1rK*G{3%7:1Ì1rUNIg˂[Cr u3߬ruWX?s{ DbMψc kzLd ZamӔp"TyS@G\"_WfSppfT :jvHfCfD>hdK+d&%zzDѳ{ӍpgA*[@u voR>g;"Y K6)֠Lx;GVhNzg-i[KDG3E'h>wX_φF\AwM)-1-^rP濭@ *BM!bkSow#^s! 46M YeZUd%"z\G=~kt&Ҷ&PYtxY42mB2M2f:KjB_rȩ< 1 =7TfMr x7p>u=$~*m,b1cҢ0#cQ+6TAz6w54`br\ *8[),nR$ȓIO KJmRΟD exDd'ul%#qߊii3I<"TRh3r[KBs;Ӎ܉.Pƫ;"7+~0gkٔ!U=%=ϳs?oIHG4۬R uKυLƳ<2.냄~9MsXTOxph X O9ZNkN_%I-GwOb94Y3K~])z5#s*xh*xNҌG"w7 K銌u3i餪wn2nxF'Gɜn&КHtIBLn :-ޠgF+eΕ0JDkk19`autBʭ}nO?4tN~O3[2x:nvmE֭ J6Y>X)VGΕvG͵C"pE 29IN0FPGT"7_` ԮODa}䟜Td'DUv] x+>cXP ,3IS*? >Β,a9e2yb4@=wv=HVSnD}UYs~" ^d+cR>B\XKXD1foYt=E<&Eolu۳kH GrF[-)q٤lMZ%  jh.l..q2wyKULqsy_ȿ]"Ooyj4uR8udq4` >6 E.r0WI23 A/@:$|'Uh Q2K B&?TGaBP.0s@M zzj MAY{kbjP (̟bm ݂ݐ`8- *Nw`9]37t2625tsf+GWzk0/9kj_U;ă5@鄱ऀȋAFڅRfZ=ӟ;?]jTeJVP`ua%ǩmDl`%O8x-8N r ^{eB9McM ݙ(<s\~']}$?uƾ@O z rX}3x:$MЪC0NwXVGt>YtYo~ԘpCLq>Gc:U*9=UPFnKJuݰYh7gOA`ui.c}t;wP Sb;08[utJ݌E4.L Qo 4 +E7$O 8b>tVߪsY|90B!(wPKLmKr8HXsGmVYٛi?(4F& `n(^h;%nLJWv5_=[tPmgbAp|E;[i??GTduCXt[qG\Yt׈!D×I2М7Cܭ>4ud Dّ۶q1&fFؼf p(e 4MC@o@$'$SZ.pSƸIdkʊtV"bg͛mp]4z] +o(wlj%ǘz0T0VY ʔT|<đxkL'v,/;{#p뾅O{%ծ î0FFp@.;Չ8)5f7Wx#vSErZn(/\glYLze:A g]+Ń%4ǫ;p@{Çre;!G$ _]_c~ߔv wk`B!H '@;$Oⴻ"VV1̵Nu2ow~%٤*̩6eP5O?9iԓ5#fgF$i 6 {[R8G=/pvEk-nCLP ="Rg.ڗ_z 4'`Ts O`Pvth^I8lXâ@*XAr~E#eo䵎 }C'dtsW%2F\ bCL$$UK @^N&\h%@X@k %SgHO<@" ,U(ɺZs<6pPtʋu8e?޹u,XiO)~e: G< }gAS^9C_ZX",83Oƽh;9 S4c[XOlc+w;6koT,i Wñ[V"-r)K6?-jp6{Ic 8;kt.˖vz'#;7?]mj=H7!jy;[vwzԖG?Ab|NsGB4;g%2cr.%F0^lh!{4Id16-!Y{4WH wAesH򭠃!CVtW#(1v9ҭ` Hb-}`w^+=ε d)Չ }%xߣAz톛nĜZ /"ՖG-#6]+;2Y)P;br2p2 AmFo~n0]g]'* \U! llZP,1 -7E#nP*KL#MXpt\S mH |HA· 6r̳UrRxMwv7~Ga8=\]*x$z \v`  [Qv͖҈BN-i= c{HaqBnΈvj߼6NibZ,;` QfȡNb]qn}ޮ5$/Zf\X@ĂxT?GOjUoҵ et 8JdMOf ۷M52K|N-Ip;/a{nZ<80E(ƚmWcxY?zb*"d0N߾:^V1%> Cq;}p l P,ƳUڵz'X0 ;4lVZ2CCgi͖(4VĻ|i/]&ҽ]\cȾ~tF5ʺX̫T8UW;Cg;@%0`ƨ84el x_:y8^vbca: &牫;(qtT.(cS}jKhoc};S`NƝğ(h6/EыC4] NpR5~}=q{dJ2ڇ@˺8fZU60/۱+_AVYqH[ߓ~2+s:;9)riۑpdi`we_]DkL4h5J.=x<i^cwǓ*8Cu?\ |@#@Xm=U<3kY[v^7P+S^!'W ;u)ߥ&λ9M7X $~0(A&mC#)e',,C*ȏ ŸIj~PmHAc[tƈt=4!w}AT>nGrS/Ǚ pk ݿx^IK{̋kNܤuZ[/BS: pt +IJ)eHըU]@$>C.Dh~L{{(w+v>&[-33:~ibSl ,wӭgDjd{(!j uwvSHU@Lm o:&_P[qd=ї&cJSCuW@SNB2;#kx~J'#,;#Mj:i݀SmtmQ c#`|xi2ȲPK*5\Mі :o#b. IL=ZNEgmnGfٹ@ s7bxX)BUR x_#J)OJ_K9 Drȇ o$ИQyK&.zV)!oyia>CUO>#\*j탕ܲ:~`OR&=йfXcݷ5X?CTP fh@חQ sme s[82sWp-a-Oō#kv/]3i)\>F[ *-`-[gtڂ D v4`JFtkSԕ!n=V!{m5T fS4yCz"i0Z^/\9\R5StĨ$؋߅%>I2"cp_-bL?6ḝQG6;O0;#L YZ jsL^vQFtym`E.H ŇEuzbX)\q Ȁ]b3NeCm_Ru"ɸy  *7&ƨEl -*EDI<7yᆕ)9,+;u _8 nI&$!â=KuZ;8@ 7lT$rK3wX\-kw&f@:8@ 5V(9 ݶx0dH ؔM1\Зpm/t* ~=D.ܽ]@1tT.bC>-4 Hznk_{ n 7~&PR˧נq6faWF;gUja2!aOOd zd|?3E}ΊmG|򡫚 Yk+h%o@ju&*uOG1y6CH$0 i[UH#QFBIA~[wC JԳf!Ԛ"h6Q,FҜE3x$5OKpq|Eh Z A > [@޸)n짽RQV>S!rJߓ5/a5b( ѸXr@p.xUYo[Wʬ6Hl jPElH#ɍd$?L qJ/Pm}&?ҦQb]e_CfO]zyFhvHu,3-H&KJdt[,G~RHjKVV7(~ѝV1acV2S+/8bE& _Tlח>#"%?*A++ti+>sc{"-0~KBk=4̡Mc]qh7V q/{:{?4H+"Y!0Kw;f Qji2vg8*54K^BLl' svؤ˼bSt/`/K:Rq=^0}vNnLᶜ,"ʀFC1iX*L'bLFi6P`-=▦ U\T/3ϊ?fi°syWOHeH $Mt^˳\{1jCRt0hρE ": ,y듂ɆJx_լhJ:D]ѮDaBuTV>y'[n&#X34}⦆aoi962Ȟ -(>FJ;IёGԙi3.me2-*Pn6:촴AċYֶ@_c⦔GHcF%,t @ľ0f3 r%i٩v*d^C(y;_ĪFG]tXV ^2 v 2B[j4X4L_Ts! 4&?~oU<ѼoXsW^ujǸ':&p1GmGb!O6u皭5 ÿ R^R¡tաT9@$k"FHv!x[":(jcIԀNRӘg0tc:@I [O0 (-͢1p;~[<΅d,'LOv mhr\C2h.ݔ̦_0 SE8)]F߅8,4₧ KL+4^(q8,S0q;U0"869Ns}-ybFٹ UpeQ"|Wc> /-B0[FVSj . [~EkB/%֡=pS8Ŭ`=/̯ujo(vO$S^۽$f!8W"+-ߔׂp ē:dL|x8; k Q@*'m^tNn}7F$Of+1`l_ ҿ$6Љ~E7[-U ۫XUUC9]&uNVpha=qUT<άdR_$RݕSkd,]|2 ~*VH+~+zijcޭh5WdI( '1`-7\h4j{3jϸ=c?m_C=`yҞ`ؐ^n9Z];F] u Uq0ϵ+[k7K0j>sy୕w:#[mt8d;%d3 uޝ,"7!X^TWHoe @:dp oN+;uJ=KVL%0٩S#Fz$PX'JP3Elpz\9;ܱgYZ u /% LCleanClean.Hoare_Cleandocument.tex7zXZִF! Q]A-MՋhvG"uIBm5ۙ,H`&ŠdÂi `OsMjlhiBӉ?eO:L=8>0 .g%ctEB;EO{Xho }b#RJU=Lk+@%j ]GkjAT0yOD󑏃U Z:1O3cg 鏱JpT&=j6COUzph _ ©ϲmËy:L!%` F.纫lS Rr3dnW>CJΤ $<)QGgC@;ue/ݷ8H) v * #\8Z{rK"6ĶY -% lCleanClean.Test_Cleandocument.tex7zXZִF! X]A-MՋhvG"uIBm5k)LyrOW6|STNjLYͽ%hNdLScED#^Yɹn5Ta'wi 8ɇ :YsLy1yvU]Wù@[]L'HI*ё/ X䖎M&>,,*cw*21wPOe%whj>J3SF0O!lз>gAE*_< 2!daЗW|o#8eï& #쾕F 3Bu!G1ǩ>Z(zi& VuDx}P!SJ+ Qf%a#X]Iu;}JHlF?Ynx*O">GBZ='"~AApsAJ|۫9#c% C:%u@p?+J z8,]gYZ -% LCleanClean.Clean_Maindocument.tex7zXZִF! ]A-MՋhvG"uIBm5T ]ם2>o] B6V^ 5(j3 qA-ɰ6M4>ei=";z\[Ն;l)& K[;̉(ƾFT?#L5s as,V|??xAkYlm}?oEcZ)Y)!PbLHʸ6ϖ ('p*ڇ_q\~mP i xG܊.ݕwuKERN4PޅxxsQ 6q[,BgYZ3% DCleanHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZҠ ]}x[S+IitX! /?\ao?z8eGp _eM}UNmVM&xAϓo_Uu֏rՕ `_hT j<7ᢥx ~~I5f J$MQ0J,m;z A+KD.:.xADU. Y8;8Fly.d)>ሪ@|yl]V4E8bX~&rXu˨Vo2@n[eQaM,ٛu]Ў ?/Jlg &I0- f5yE"_[kүɽ1UXG1X=9`wKAȴ<H/˅V%|2К)&@nh9.rR2;òqj.w;?m h~*w`7+Ʒ ΥH9Z\l<ŻxsO1LkF/kH8NC:`z,$ʓnϳJK,pL~qRgYl"yWEˆ]ti8tOЖ[q&eHO8%{ixz/\xlȿ#٪bRjak':`P%FجQm|9 uyٸ4n A_(5Rc!p>^~D^Td~fwZUǜOA|kMPFea<˞b=AЉGn þ'7t*)?XFYXTcRFuR%Axr}Kȋ2k)H0\T܅skl?DBTW\ 2x1>xW6mbbxN ;ʃ;W | ކƁȜP3M8"|to=XliuGG``Ù8[ GFʦ5TCX?=+\\P`_eZ`y!6- Z=a{~p`Y8q~ ĚcDhQ Mgkd_$AʻAgt\?:/_@,x6][kug]g6s8LX;Ị=^}QEǻ xrZ*:=5 2 ~1s'dd#v}nN%t|ݯ{[!_&:fX(@켉P9FNEc*8j/7UtMe4vmCȶ;G rc wkt4>+cNvqHSNp'hp7χE0Je~Nq8 LXȻ&G7iccf% ]L`ݐ!ZC3ijJ(=Ѫ=囆~)U}3:ъ_`F9vN:RCT1r~9UkI*#e' h&l(qW1aM&fqBuOA}1/4@H]f>[Eʓ0Wy,:6Rx1 +*xUF}0Uv":w(pT`~ƸstP[ E-I#'f>2@eF33zOYC2HQBgo.mfUO%C<3T݌ᡵ@)=[Ʀhk :ZQ|NK&l8!y硞Dd퀋N/ĺ.}WmIwo1Ldv;sRIfO[`|l빢:;7nLzHU;R{a!d= ,RtՒ :fn×oSI= O*nmo{$Y)N;v&΃dPU|/" ꀃ>LlwuyyTk?0_+KU\Hk^L<61B$󳒩#0|J3YVpf֒v]x\=nT(bUq2v-퐴STΒEO]aKMJ@EHDToJ%O2ʅw7c{D2e8mZ\*?02掍{}_b\HCu:|T)6ұ'[d,Cz ;zf{24Wp*}Xf֭1(bӕLD:Q#oa@ gaB* ek|6A]ǂ8g|ցf~ogJ:JHL$&S>* NAB dڌ}w{&p_@y!]8+1.C08"}#t4njE|U휯ȃ1.ıh7kٱV/t'eq4;Xqa)a #1Q C^ܔDnccO+;(Ճ%#.VmJCl=)/T/mOT0_oT.$$ee6^ `be!rpV%B7Zq9"朠FwŚdUj;L b7iyd5xd26҅h /FPC ݧ*L[W3}cA%sU_Dh^XM%,L uѷS?K|*2/:߮n ݞʉ]R!~KVZ"Г%0P|K{j/\ԵTj{i( &M\1Hp&u!o )[(l8>vDj8YnB q@%yN!80cpm,]d;蠎d>")䀬LZ=.{@e]J+ۏ'F41{*Tp1 az9{aD7s Yh' ~! [H2Ҵo:c|ȓ˹U{ c2~'Li" ^+Hc͑`g@s2J\CGM :\< 8T6Gnn]1hglXG?YlnXЇM.Pzɕr@lDSQ+{Hw~nlT8ɿ'Dń(9m{3hֹ7[(Uiظ<άyLCVQBk$fzFP]hf@j8LC7חbcWО%O@2T_^77nW(5W_.!g"Ia (s9*\ "[Wgȷ/f!KtUh`L#?9ZE yiKGoNW\L.a(~o:&PCp+mkɒR+K q+n3bȤgըb}{ז aXmՊǍ6*e gUG]cڹEu5"B $AedXEVB%|dJ.,l a_ț2:];'x"˅ù3$EVANsW4ãI[Z4 /|Ij=$KczՆhHGLN)VO/@A9b!,xrwh`Ͼߙv(#]Eh'v6y_ihy^*Ru:gKr,"%l JFǃS+:ioYA)rΨOPp [6G0PQc$Fqk5oSTb,OTHbrt=jDhcex/[藻MA~/y;"WUMyIW}]:a[~8P{"As+ dH1٭Q eݩ 9l[BO8m2U.or)͝zM!۞b 2C&GKn7! \#O0&/_:xtT*noD:"ҔYprxڛ7R;\hA{w)J=j[jr V+h8s^U(}1Ӥ;)Cێ{٨wm'1BůL-ô%w_/ IE>6 ehEdא1yT0)8sS6: aҍX_@W?+wuY9'x)2P*2O2fߌ!y2/?`oj7;Fڟ9qCi.Zkt킆֛Kbx ԨeZ-*Iz<i sGk4*u+כ[Qb.dd02>kZ7@xI/orc2fCH0|jdR]I k, JMAC& a:*{K~QWj4N$ɨ9gYZawlZPDzUp8 &>Q"Gdcԟ?/ew`%k$ЇJoOWn㹼Rߌ5fT0I>O3KVXeJs7- kі螮]R"ڱDcmzaQ[,?ޱ2&|yD)npxY}ZV&٢ffS \.e :TD .ۋHBXR&O G.fJQ I_l'k0Cso27zLV<Պ(lH5EcmED~1`1/!Xl_b%Z~< ^ mV"H*ޘHQ+RJeTv#gi`٨N N}9 >7kcH RNvw^)3Xpaw/:~8|1'J>t0Dw 2xY[?QHƮގ 6E=pO&3 ~ۚBj~ȺE#cVXbWB~ xo0K([X7eN]cn Ygr[Y`mMlvuu<FL=O8e%5wզX[9#\ͻ@C9C`R?L]r}Iс_!O}ƨ27Y%-&u1Ϛ [W݇̓83=%%abg< żRWz$=(^uˣ/QGrŃ2n A(1:>-ZԻ3ṫl6T"Hx}t>< '7d"~nIڂ=F- y#b \!n{F+SiFP1"@߆[<6^.4% afRM0;/Cw5ByLs/EXM,ш~K3m`\GGVe[~c)|72!OPBc/b|eAs=e2M m׉` 7C-&(fr?]7%bO\+Pt1n /1Qk{4>ƕ JAVA taݺjc1 Żo?m0"*߯}OZ8 B'2`ǰϽ pm18*~H* 3Y"5#RC --p$1J =)9wE1E|wDjćDA^q-Yo(xh%pqENp&ߗ<."I2NNǏTy9c}o& {Gl,2wsh/T!tDAs|ɊD{\ԞЊP@4Q}58e&J@Dǡ6 )b[*dԼ@^;Sȩ5}I=t- d# BsӪ6u$e8QkX%x݄)dĩJxIGoJke"P''qD3GfPBKƼ -H+2a#UiMpidb~Gh  LHv1sc4k7L?r V .J9}G|$I `1eOBu^0je 5RΟ4Ѩ‡cڜXt`O;BBQm*,u2H}YV@}{u(1Yt펩\Myec(E/V|<25%¤`f-qgmbmI!6s۩H}tHvSw'lG>+Wj OևdE 1 =dMdܳ3.akZ*HM{Є!- aЁ~G{>gc? s_:-~&wz? m6] ,Ꞹҍ_vX}#=$ zw^o2Q[K^̄K^>Ҵ^fΨ2/uo|Rph2/3P4c-f/h0}Y2p/vV#o.^$ibRcLĒ|rLIٖ~p!ʾ=?XV: Ӯ} y踩YP9bm)'@&^[:eJf'2`eV ӿЯ GC``FnD8K,9FAO`h8/>Gu%(30CLMG@J5l/hubˡ!X93d'ΟM-W5%k)#S"X4'{ \r)Tɢ~J;]m Z4/E0dldő>'֭މB^! @紞rT{x S.=Eɱ7CF̣E4>X\/3/ +֠ QUȟ J$M2/l;XX]VNAڵa;e+y *>T^3¢Sy(o$HJ,Ӛu鉲N_'3]Ĥ6V޳ixG!;(FR4u8{2yH'Kr!1J K?Y_vq2@=R@a%liy. @9#|vA(<-uלҳq#cz|+:R[GIg$ N[VO7PfW><Q2+8 eBNѶin"R'77:@B^ \Pz%A~h:R.Iv'rn'o{ ՅiU-joJ ԩY)gLRxxH\i K>>t G ܻ|#sιbzWG?ԊP٣/U̠a ϰYeD؛*v!.,ʹ-׏[U%#Y1_i,z 9h4؆۪/;'OPUHd9Nn=fMU*xU-GxIu$ d'Xe0_y*YDEW{-=|PBce"3@LsDE9C#qtX<_ۼ1֨ì8|L}}漘AȠvPN ~rN;ixyWg_ҷa{ vbxo^Ѧnq ?lcHߥ-%cwku2U-czTL͒-:yC٨QU@G/ ݋DXLA i%F,$}e1o`n1lyH2-\q1ʑI$v ),'c\n6W2`|a;ٴ8["TP H{LɁANK cFWƠͩhUK7M cB%!+㶡;:Jcl0"}ཟ[zǨKa׍9l g?ʊ3`_A(Wp0=ؕjdKf::}TF*AƋ¿ Ɵ "V//yf ޫ`Xcܑ2a7 FEԬ-08oD|'Dm:zvFP- 8L/rZyXyǶ4=Q5otcP;2|:3A5 rqn2rKY )2»`\fĺ kfH: &+Rvj%"8^ w1Rv8~~༕ USk 56钰c/K,\M\T:-_b.ĺ$<: ׈qNKDN8 7pKg;WWz; 2C/Xa-H${_{8#?5{nG EFyǗq(|Tr >~K&B'DR"?)\I"&,%2R-B" =c rR@.^P2X##&ylC3ĸt|LH*y؏"pnTsŏTWJ1W{T]i" e3SS;BϊE  k,q ~SbJ~Ncni6ze)RAs5ųRA]*XubTx?\J!֬5zA?LJ:{)rހbN'[yp7^.y8$@:4W k$o򚨁-SM0k@1bTanoϡn6FhZX)5qOp,D]tD?Ѯ~3x`r9[ =~ ŶB/ĎAlמS(e`jqKġ2vUOj@H9 Ok% bw7 KSODIl4_/?Y*'zaYPSNR 'Ń0iysl#J^j.l֚jm\GWݦ:J̆]6[ vbq?Qpb"' +K5ཟ̪ޜX[/% T8K*cumMRQYYAu@Tpft~5+I7%_ZQ,wNC) lbP2^㙲62_"e3OKڭ cΛ̕F1,?U.mF:L6wWttZo=s3 E>5 WuxQvBtO[ڤՂQs(!fS];aZtۀJJʗv~B. h%7'"qzS\ZbREx% &܊d쿁q--tXƃGoM/S`*Z~Ӳ?&mNN7jh5#_5]3%Ud!Ò &W3;^]qlux]XÎ֖R nXو|nßB/00u`]PyVl0?ݷ햯KxgKoGjVyaphhЭk8z xa5ZA'cɍ{F&92\/eO]r4HO>Ue0ٞK7Pmv_! motUe᠆T0~:9.@?}s51yKH.yILiCf72&oۈWD4C}e(/.R.Z/{z0i(6P`\EOr:Ƈ4涎=! Zٰt\CH`qnތN R;K >FX/F6o7X> ^ Q"(ӚB]lĂ6_Fsj`NќZ5z0Jl٩zۍz+5;$n2P#(:Uu6ړ-H߀{!`lv`@'ߍRҩȧOxNNbvN7ev5Aj5VQ*m$)~Z[!2MWr8JtHxy0j"G;&^@sj\\DT=[js6pZN"G,l۪tu] ŧn8FăZ!uOvFjS4A;FY}t; !ur^ x\'E/ЇA]ݎ䋳D`2ar"}+( lkuM⹍k[,=陰xPZLr?>p3XD98xzxúؓaZhAVRONx q0Jy~HYbڶ큎t"b ,X ;4~h1ﺝOILg Ǟ᮲"<: ]-X\\gUOqSƔXsZ y@Nti/(^^:59<43g:x'|*g-Pn]xJR Ĵ/N[+ug{ytYzՇX\ /[@i]Po[rd?(wni `k-WvވZrԁ/ו'B{3[ 2{"i> )k,Mٹ@~Hc#6Kw)ĕ^VPs,++#V;t4v`-_͹&i[ al|eEo,3OBtisz7]KKcE9WWz"mmӯlB)H\< 1!`T&6򢧚]nsjRi7qҳX?*q3EZ1W4JBcToɹOmt 4I ]}(m ~Ja-6odg| @N)H+upQ#zU ޽ılx?x&C(_Xљ4t٢EMB撖09uuj/ðNCtdߌ>v5` ػ<8qG&. VUӺIX2ܼ@_ q R*E!m:8} ʳkgOH'pIlK湧IӷRź遴R C Ӽ:#2"aQBh6CpMrxƞUtsD !+qفZz,%L~YM"ITC̬XI 墹'!H0>=Y3=S'WÆ~HRtk}a:1swCщh<3iݦ.1j3NuEYGe/=m:Ń*Z[@14SlR>`)85G"xjƟA(uOwTuP4L 6?G%wT\jz p1R%P-8eW_ AތAZQ2^~7=l7݂A (vOW| a%0&z\,Rgk7ELR#)pHmm4&BS_Zey/m6ϗzn%PuDɗ݄YeD~.SHߛxAjp8MM"v[tN8{,?͙MK|_ l.)2~"d҂ӹ}>o<ҧ kWX&JA {(u2dvD]&>H B;y&lt/-0DhJ~y1kC"hޗ_D3T,̤C1 .(ϭh)ng9yl%@5k0 fȇ[[ޕd C(t(#&XV)^[\wpk J # s0;>*h}`1A꺨\Mz45I5O'4*qeO[K"0W(FEVJiʿ~ Vb6YL~vbdxmҮ•"&X-ơ+"D> zOi_"=Dp6mI(!Xʚ,}0oM knK^PQhgm泶U-uv(2c>tьdOķ 4 C8R3lak5H(ZY[ŋaaӵ`2iZ!\t3/p*-YXO<(>^ts^Љxcx1`6^sf%}t lś:gC1Ԭs25q\V~3ea´)x)\)a9x" `FyĎNJe+?LƻNB)#SoH9nqZ-V>^F[w]ak}K``9j<3g.dڻ3tu}Fbui ʣ8J7Y9 4p+k "-H]5?MMKwWc\QMykWHy.BQ{USZ'XwڷyB5I8xOdM[l_/0oT|.^O2x<2/|I匵1e/-0"}4)*2"ɅoX0AÀ,!ddYBŐZ~ y` d3uAI/tg+ķ1śqm &$=[p6LN8{#?lc!X%" [}{jhَ ]!DUʍ{+?~ /gr}Y?mzҌkϊ"(gJfKNV_)5Xv/2wc O 9v*zK mvjDO2x%x?~r=㮎(¶zDT|8)?;x~,jWJ>ǿܪy!Hpv, v-Z| yސg.uڪQלۓ HSUY4;n81+j8D-^灵`(G(M6Jr1p4 Z2E>z NfdVN/Bz{6;g}oÀhdpLbn@wne&J|@p!6zDM/£a&c(f>î5?F00{_=Ƅcyr[PuE݁\a$hX]wRS,'pWP.mF{|rtpٹ3!&j \ʘdqbh1f"xb9N} *`<ߕU Q}J㟝>`E͚ΏRVuT/UW,@ڛX )(X1}+C jlo,Ip BU _=lױcWgtz y[Bʫ 2kR `M'7Ǟ_MdC+6!ϋΩvfX>u&~Mg׆$[TQ.ljAH.k'CgbEHDv51A5e:T(*I9\a³%PmS&7QTh#-Sl%b]9w#\͍dϒ[SM6+:fZTZ(tl2e\- OHbDby/bCFVnY%9xؕѱϻ3I.4%OW7cJ 1FF_(f)t TF%^(d$,ܻa̿2(nooΔV&E@pm}҅C r~qo!UwA/R&<ѾQGψ-z9AW:GT5h uy ڱ,; A 7T4/ lģbrD)`<-zwep=nd4(o۸]\El`" `A7"LrJ^As(D] bzCBDaX or?Gc]Wc;?(Cu 5AgzB2QIb#xcGL˵ʕxY>k0].C^MVS 4[EIIwyEh U 񲔲Ϛ^_4ۏ1,k#%Tq^9"!?vFŮKE22pG4OW9ukOx"fj2gCȎZ=9v5+akBHDZ&1*A u~@߫R}Qr ->UîJ93GKJ!}0# \XQ{r<}9+, n&)n J'Ϣ< ? ~'Cu%Z][Ҵtj'pE '.VzF*jۀs0Z0B/.AUŏ=b,Q \lKɴ4&fmr.)Z=/S6c~)z42kRZ[7&CNOi_;ו ugYZ ! #% CleanClean.Cleandocument.tex7zXZִF! 6J]A-MՋhvG"uIBm5T FԜNdӮksPRKG=P٠Y-Ow,$I[bXc'%΄E#(/qYpi4^-o31⼄H=<Yϱ8@ˌ\|`(sӸf6aùʿG.R7F"@p+GvljnD:2g$W"]٢;봾Jӎ|` ȍ2__63b_;{43yv@̊ lZSa"ʽWMw8 iJyl` ? ߼cxmV)ڣw᧡l@W”ڰ!R?ZU_o B.pіS5 Z !/6AI;8 konzt/( s+ohz44C!qS'/.M<4U Lk AC7Jiazu1 ƫ42?q;ŠTw#O d($d5+!Tx@-W6CG1g1_R\ݱ(qVWA/$}8ĨFE*buj&T mp e4iIn=#ToRaDlD TBWPpTU>18F&d xT* rfGIqHˬp%ll'+([:p A=hWXV 㳙3紡l2&ep'iژkD 0] s;K!#LbU9 r@ZH){Dz@D}E|6ܵx8fu!pAL# W:'̴}8m_jSgJ>AwIHYM5{tN $q20*Ią[#23 2ix0 .8>څ<Ba3$ m ᕢ6'WY7N=1" pp>aV1@9E-bjpvseEx%TranmJ]Bh^_F=Klݓ謆A'mw<jt9#HFDፕtR_ VR/ $z`p!].0:!J&$%~[Zy@> `]4YA:dNOAt#]V$uJ'+%+p2!E/Pm͊ xHHiG(~˫RkJy\MXDXX<<hcף?ڕy},((wTS1mm:zx~J5 clѱu*y5S=>2TӝktJ?~ґ T:N{}mA mջ#)}0v?_> \XRx덎dG(G,p,>w, | }:!ı -o e'rt^3Y̮G{ސ]",/ns5Scꇅv*`a #|yL+9Yc7s(2/::#f2\5eA:`/A{+x*JD}g9QBBl% P3^#he0V5_