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 Hx|d$ ]]HOL-IMP:threads=4elapsed=96.319cpu=331.432gc=17.9007zXZִF! { ]ŗXiɟ fR%y cAYЫ e 8e;3 8* ,֌ ;$ Cy{x4r a+d@6ߺ)rk664́/8H7ƳΕʨVv*PDTqOSx*x+RPPB)yLK,ESbxoO0.>ȬA?'< / /lfeJv9?yYEFLXoWolK?٘zwPׁebM`% ^#s ng/_Z kTfi"Ʈrk26\R]j^t [MS#~M^V(X-eRyO? dk'#PĩvF@fII< b{o1Y7+g>&g-w/t>s7T K^ ސX\X?9q+[ʵ<:jK#uIJoT@Y7|_-u>Q6bG&奕g_:u8)x6)V'>́m: Y֗_ȿ!N fZcHOT\;^\̂]EyUvchFwnVwW vy ͋?Ι\^]C=(iJD|wҶ\߂V$6MĦ{}N.#(6o ݻˋK|1_ek^G|0uFK~(LӨ/%Ê')#~HN 70N:,x`nO9ex;|*5W),h|L#oY~¿Lb?oI1Κ *=l}fX=~V;:)*n p^Rˏ$;.76oފB ر+3vc _g>5G_8KVi}'o4+#!H̯Zncr`+ `譿~ ~h6S:Tb]@Aw+MFw劘,H!̅ 9+?-kZ1f3 m*z)׎P]S,L~T8ؓ%".s>8#:K% iXK;D#VBm.Z]ncގFN%_=̛kdflӨg%Vc iwnE&"|lu 缻1VB&Mt&n]ρ 44W.~|M NwlA=,ijTr7Ѝ[L0w+"fOE@ UFSggbMS, @|Y+ωlG|G"a5P mu@gM%c|,\!rL/bq_KlHBRgJ*QQh˽HgW/[!ރOڳ]JO x~z 6ѭZIu[26 m78ODGzUiڢ-x!Q5`iHbsE^w(01J0F|-w2˳ږ[4/'.͡o}u)vs*%a7 9#{뮪SPVXjT$:+1z/^{ĹB@Ԓޯ@`wo'UVW0-wڙc6Lܙ0ȆLDK_TvwYiCM NMs8^GUV7Uҳ ~0ͯzKUP#Diq&T W w`XUI6=ANOiy4zᘈ\FE!_G! .ݨ#GYLI}(<]ν1_.$,% A.XJ9^E۫1M|{OhĎ/͌Z9'kcӨ˰3C ph{`i 1yn GC[-utJu傰uZP![Iy vmLMwӎD_QpTJm >1e 0'02߀^VO }FX\>@\7Bt5MsMүۜ,) I,5|\&V[S$2vPd"nJQ3q,8nf3& p<$eKRzD[fSʚř7<)[vxю 98 ub }QҤ/K{66IxDZPEUL_p@b{>ezW(O2|ŌNv+;p2,oO.>kh\!MդK&rc!Bj3CzEFxY#i\I p_U7n :'ڇiE͓eGK8YMCb,+q|w9ߒJCʑ쟑?Ι5eCQ{b:Zh |^27+oCFs̅FHSs/1"Ktn_A8t-f+Rb=E@XҰ!`"(;"Rt8)v~*^ ӜVxщdgLۅs~M&L~7s ;4t2PuE&MQ )}>363WN"LuE `㠖 ^W̓J wLeZF#vHddNksou&\yGq;b5jV;viV8!a7\%h+L)sUE";$;] (BL$0&fz;Kq?JQ `d9sz>a2:ӲB~T eg,ԧ#*LkxH'l5+h 7^"^Jn28(%Mpe_:/,uM@{8LA)O}uaݼ76625/4-3*2(1&0$/".!-,+*)('&%$#"!   7 K I  q*n 6 J | \ZT  J    i   C3 J  o r5E%HOL-IMPHOL-IMP.Hoare_Sound_Completedocument.tex7-5%HOL-IMPHOL-IMP.Abs_Int_initdocument.tex6$#%HOL-IMPHOL-IMP.Comdocument.tex5,3%HOL-IMPHOL-IMP.Collecting1document.tex4%%%HOL-IMPHOL-IMP.Stardocument.tex3&'%HOL-IMPHOL-IMP.Procsdocument.tex2)-%HOL-IMPHOL-IMP.Def_Initdocument.tex1-5%HOL-IMPHOL-IMP.Def_Init_Expdocument.tex01=%HOL-IMPHOL-IMP.Complete_Latticedocument.tex/.7%HOL-IMPHOL-IMP.Sec_Type_Exprdocument.tex.$#%HOL-IMPHOL-IMP.ASMdocument.tex-.7%HOL-IMPHOL-IMP.Abs_Int_Testsdocument.tex,3A%HOL-IMPHOL-IMP.Procs_Dyn_Vars_Dyndocument.tex+4C%HOL-IMPHOL-IMP.Procs_Stat_Vars_Dyndocument.tex*/9%HOL-IMPHOL-IMP.Hoare_Examplesdocument.tex)%%%HOL-IMPHOL-IMP.BExpdocument.tex(4C%HOL-IMPHOL-IMP.Collecting_Examplesdocument.tex'5E%HOL-IMPHOL-IMP.Procs_Stat_Vars_Statdocument.tex&-5%HOL-IMPHOL-IMP.Def_Init_Bigdocument.tex%&'%HOL-IMPHOL-IMP.Hoaredocument.tex$-5%HOL-IMPHOL-IMP.VCG_Total_EXdocument.tex#')%HOL-IMPHOL-IMP.C_likedocument.tex"%%%HOL-IMPHOL-IMP.Varsdocument.tex!+1%HOL-IMPHOL-IMP.Poly_Typesdocument.tex %%%HOL-IMPHOL-IMP.AExpdocument.tex/9%HOL-IMPHOL-IMP.Def_Init_Smalldocument.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*/%HOL-IMPHOL-IMP.Abs_Statedocument.tex/9%HOL-IMPHOL-IMP.Hoare_Total_EXdocument.tex%%%HOL-IMPHOL-IMP.AComdocument.tex0;%HOL-IMPHOL-IMP.Abs_Int1_paritydocument.tex%%%HOL-IMPHOL-IMP.Folddocument.tex+1%HOL-IMPHOL-IMP.Small_Stepdocument.tex*/%HOL-IMPHOL-IMP.Live_Truedocument.tex*/%HOL-IMPHOL-IMP.Sem_Equivdocument.tex1=%HOL-IMPHOL-IMP.Finite_Reachabledocument.tex+1%HOL-IMPHOL-IMP.Collectingdocument.tex0;%HOL-IMPHOL-IMP.Hoare_Total_EX2document.tex,3%HOL-IMPHOL-IMP.Sec_TypingTdocument.tex ,3%HOL-IMPHOL-IMP.Hoare_Totaldocument.tex &'%HOL-IMPHOL-IMP.Typesdocument.tex )-%HOL-IMPHOL-IMP.Compilerdocument.tex )-%HOL-IMPHOL-IMP.Big_Stepdocument.tex )-%HOL-IMPHOL-IMP.Abs_Int2document.tex%%%HOL-IMPHOL-IMP.Livedocument.tex+1%HOL-IMPHOL-IMP.Sec_Typingdocument.tex)-%HOL-IMPHOL-IMP.Abs_Int3document.tex*/%HOL-IMPHOL-IMP.Compiler2document.tex)-%HOL-IMPHOL-IMP.Abs_Int0document.tex)-%HOL-IMPHOL-IMP.Abs_Int1document.tex,5% HOL-IMPHOL-IMP.Abs_Int2_ivldocument.texú*$q P As*Un>6ޑ́UAz}%ɛF4l_Ƌ,BjBǒH I54 A9z.#Q+a% چ9[ HfU!|W|3 sRY慟9ŤY* WPp[lZnp67q=RCTB֭jܔXnr.(gPF bB{W/BP܅|g7+z5 _ošZ} `i L|]FF;^vW!Nj)H|HM0X9&m\z,a{ؗ~ =D TVzYjrC^0i֔"Vn J~`>uF_$ZxC ִΏ8Õ5 $w%7e\J`9o=v,[7w{Kv\<|#-nYHHNS}\SC!z/ <@+ ?.O8y8A~lRFcTd|O=lCcIeH=Ŗ9~dyB *X%7n%hnƛ3omYƝZn[NAX"-$t2@eEPLl>3\}>lc_3V720#+;=쇮:P\kO̒֙"o^CDZQI( fsֽmUdrђq}@26U6r cߺvPǶWo8A0j-vqA㷗?zޤgƀy|ouf!5cI{Q&>P^%$k%h%МѠ Qܫ $(FxBh}CODMȖ/h?H O>`UWddO8N k}KH^V(/5O /HyXX iiXf{,̳ilpB0stɽG?M`WKRw#(NyIbLKBҼ/^?M28H]|o^AQ }M#Z dCJTXZH1҈Y"XpCA o .jZL~@įZ ɾmQdT>/Qޗͷ7֔g-e3y<0ZZweEV8iϣ1m :IQB"ǪTf,'[[[N Lg$?[rYf*p- #TxL8ݧШD%avShyL6AKp]Nt~R+{xBtk5?!&op"m56\b5[=oJyy 7%Ћ{ (:\_/(KyߨyK()~Ԣ,j(hjHV~CzN˅iPriQOlQʼnS>x2jkz'pcq *S c$潍+?6+bO!oLW7~ZEoK9HϺDS0䮸FP rDhF{j]/hT5-u(B;$Z:|w̱?r y>GqBlqnxL!.mcF2 P~0(mAYW!Qf/Vys.Ms,|CsR)H I& 3cpQ.56|4cs-7pg,ǐG0*ΒJbNO)ҕ#q㐔gu+d[o+6oBQZ[0)ϣǤ~,I+m\dMAߎPZv>O0`u,Q,hڲ5#W,׉3/0펠H)qVZ;G%^4A`Ķitod*`!σj`bK$a@j][1t3SQtwd6EfX&vi4S\9I1N,5CJ(%ح}YGV>eI;^ \UåZKG/- TFɲP"[|^>͞03Mﯮ\8b̃}-q]ĭR4k27ӄ5\?fUR * BI/hGGЃq_gO3cizђ\E xLTe!dfȗLK^R{GR>l,a֧& WR"EnݜI Es/rD<)hZ@{g)m.0>l5ȵgYZ-f{z N3jMϋ/G cx5ՒPFAM=a^{\0ay3>B/Sp'< 3 Osk$.yV,."!b.]p{Aa\O GHTHoHd'֌Ӫ` oaw,ɘVG3֍d-z;:zaC̱lQo5E`o+66hR +^0&hk3,ѿaZWݔcH9٩9æCosɐ5>(Q#%_tKG"Y;ʮ( BY;2t~d[|v8$ƅv6 =zjx85 +$sr?S$#[)?:b]f3RjVCk~ RRv哇h%b:i}nRjH*-L?lsV}RpWk}J3U긆VN,ruå)Eu] b8Kx`F;ra zeL5)e.:L% h'[37p{?:Nđf'._@ZZm9owF aQ68W!?-s'}$LeV3n6cHm]žgޜ( ]ruW/8*d_#טHm[#HSlnٝ3WR's4Vj*CV(Z@q740[e%g3}Ley7z/VɪmJ-Az,mRTZ͍<m\ j$?Y|̶uNJ>3#ln) @]jZ/ǎzT;p W pQCs2\AlAK4783 F1^V9&}ɊX uYBwUv|MP$n'oϙ44gw愤baTΊ#hc֎L/1 uҴcG<97.*Lo=Jih6[ە_x֐̜DYtc깲5u3^jecIz}߉5Ƅ7\r9@\ҍPt癸x~WȜUDߧ!CP8"g%esh/ V%gC"Ĉ,ޠ^4M;8%Pɤ·*̽or{%#hKR(}Ը=VYԻR1e:FLUaQS*5tx vZ<ye&P>90Qir@ʽ_eٛȄ ըt_ 62o՘|5QT>1̙Ʒl9(s̈XcW羌߄# zpCu;1Ks]b5ߟ`Af(!O8Dy#T If]z<#<+`+b(t m+Nks, 5ȲԢcv?zF0#VJJ5BÆBj #%=.&B]gԏQM_})WT>sxfGK#3Cf氶ŲQ ShYz_V~Tl큏?0DY9}.ic}Mк~/1#.(4UՀIwbU{i/)O>. H)TKRt ȅm+<'|\T ItSR)eA$qߏ˓tvK6ׂ%uf*c@aZX1q9>Z BɱwQ.Y"5 NUh &q}~:8oxդ)a (THC_>P~:Hֿɰs3C; őpf*/.yz;m}`b["㲨Noa; F+=opAѬ P|3kH+_ tx^ K{$m9jE2 uFapH1|]#dT?E`MwKK V,&bngmZ*5Q tcHEfVZjKfd7.{-AXSڟ+Swù=RIghv4* }=:ُD)y*͏dωΧCƮ,ug%@f'&Tì4X-eϯDZY艜 ^v)'2epT]'՛NńVmrCNΖіh;\P b5(A%(&HU8H3y+F1u$xp'hwhwKB\j'T,`8Z[C.yőJl|g&@ UK]—P\ jR&yT>Ӭ &+wh"|BJ,Jh9N3 %PgP!֟kǡ 9ܙP ܵ#4Ff˱q 59͇ 0ld/Z6 G( 'puR@$ cӑk]LHG\mj`0o̳&->H*;!^. _\ȶ4=ָJİu<dɳ&G5Pp y2T1 4e^}^B(2io UG_gY~}nD xr>\tnV9N$51^RV'^i.NDCP;.\@\/-5Stg+A-?,c^i}J3&o.w捡擼nD2 j%PDiɣDTgKQِ[g*9n+-֫r0mW7R\V3A#ܶH@%̻/xt#7N5B뙭%~t 90z@ D`.9k: bARS'&s+_s]ּ;qLjD,C+`Ec Bhg N` sMzq.]hbTEK\A1u{7KiMY-ì?0Dbk4BP$/m" 5 x(xTGKMB,?iM]W6puӄW(()NC=?>2[̿Ŵ-8mxbe[[^5Hع%#[^j>AlU vw cֿW ,2n1(\o!ث>5tUO ?4ZA'SDH!^8O8OU֌,Twu/ogE"$ƵVhLUY6yTLQon)6FqV SÈIe7I8wԱ.uQgYZ K5% DHOL-IMPHOL-IMP.Abs_Int2_ivldocument.tex7zXZִF! xN]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiCM NMs8^GUV7Uҳ ~0ͯzKUP#Diq&T W w`XUI6=ANOiy4zᘈ\FE!_G! .ݨ#GYLI}(<]ν1_.$,% A.XJ9^E۫1M|{OhĎ/͌Z9'kcӨ˰3C ph{`i 1yn GC[-utJu傰uZP![Iy vmLMwӎD_QpTJm >1e 0'02߀^VO }FX\>@\7Bt5MsMүۜ,) I,5|\&V[S$2vPd"nJQ3q,8nf3& p<$eKRzD[fSʚř7<)[vxю 98 ub }QҤ/K{66IxDZPEUL_p@b{>ezW(O2|ŌNv+;p2,oO.>kh\!MդK&rc!Bj3CzEFxY#i\I p_U7n :'ڇiE͓eGK8YMCb,+q|w9ߒJCʑ쟑?Ι5eCQ{b:Zh |^27+oCFs̅FHSs/1"Ktn_A8t-f+Rb=E@XҰ!`"(;"Rt8)v~*^ ӜVxщdgLۅs~M&L~7s ;4t2PuE&MQ )}>363WN"LuE `㠖 ^W̓J wLeZF#vHddNksou&\yGq;b5jV;viV8!a7\%h+L)sUE";$;] (BL$0&fz;Kq?JQ `d9sz>a2:ӲB~T eg,ԧ#*LkxH'l5+h 7^"^Jn28(%Mpe_:/,uM@{8LA)O}uaݼc;R@̐uRӁ@\z (MƎV` r y cY+OӣR j^8nBY]TKj:1cJ˸ߦ!*~ZΉ7*Ɔg׵G.z L;o1 )yD{ N` -% tHOL-IMPHOL-IMP.Abs_Int0document.tex7zXZִF! ᚲ$]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiCSİ7~ba6gٮNcVA+BSdCkbkEOOhrWѺcbt9o_{W WOQAq%VEwÔ87+^Rc_LaPG"Tɫ>])Pv6#Q0\6D\ s=n#68]Oww *Q/Ì0`3Aw18KkC ŘW5GȲ0gq"%-~̏p5=G 7G)} g +E⠌Ȓ3iQg n12"/Z_y'?J Y$ݽK=iւ&$UE{~rQX~zRbutψi;U_˵:O>Ok[<FZn(ٞu MGTPIk&X(}YQL|?(%M:88; ]OW}s7MH&pzy9E(JlMw ͞em53:>J٘:{nAW;ߓVp("PqM\h&mB=ԜW(-Rz Ag)|cB*>La7&x:ލݞ4# b- zg>r-:K[cU!rƿ0z&} g$I8qh]qa*^>$Ŝ}S?(\IkI҂da]$[8DSdec,-%=dJ:^ն˵$Km2o^YC $ 9'S:L%n*^i`T:F!+Q1T4nEΆQ`+D'ƫuuɁ[R--_'H0Xd DO_˪ jj#zdY1eIT04nОtn+&_nWg,2ɞh:GJ4}Iz<IB-BzphFHNiaWS<9bi3ur%P뾻˜JOP?wG;ߺőD=(>kPVHJN!1C{h^e!ƻdp-6v4 '-% HOL-IMPHOL-IMP.Abs_Int1document.tex7zXZִF! <]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiCFİ7~ba6gٮNcVA+BSdCkbRzF|sڭGq4-wꑄDAeb&Rl||eG=Th)W Z"\bLR }·9F ctteX'to" g~TI/#mc0_S)~n`L%0s:.f,d[(d>@#Ko$F-AUF&Mw np ,)chЇ89y+vwil#[hx焘vȔ*,c7mG~/ԍ8 Bb7 ݯWN%3E}J(I=mV ~̲El OYNa΄>LkU,lŎ{<,fYN< "#H-![yz)QFb5cYP=MqY{`;y`N>wo(vG3ںYj+$6`[m!`V>a. %t۾g];3ӋHHvFJ@J[Vh,Dpx"G[@ v0[yp>4nOaD&)bׇne2Vhڥ5U1rvԙ˒ gv`<,EƳm"5N@B۠I4wAdw)b93p& :N~_KTao` !MƁIv`R|RSfXts]V. X4ijq:~O{ܚyfM@enQAn|w̞, 6K&~6 :8wȅ;V VQպqqD=a*SǺ?]ڋm% ly4z穁%hPdALqw(0ב|e(pS3şt".5n +E!FD]<GHzI,tvA/1z q1+۔PtrC#8vZ"͈Zྲ?Gu#xOBl4;-ƕ๭-3-.Y%[ 6 dE⋊^w">"{HgH2Dhԛ]NMY*nee#B>RICA+*k`JPcM"xyWOM*l݋w0לu*΀1ĉHG/z;Vہ/* ύ]Qk`8ľSXL&osܴ蒏mk))'Ad3L5Šfg3q"Ń m~PB:tq;`yr05c' B@ӗ7jK*ERd(Oڱ\q|* [l]+eGw&]䌮A6!1 3~#}َw{mB<;D1#A8Bыz ["XNm:<5:fνw$=߀n=ٛ9GZB/Nt *ANݐѣ@G:@rA LY͂UEangTCsvlJk徧.Dz vHX$< ޔpUyC޹W¬bZES[xBŪabWڗhg}3; La$V_&YW4h >Jpp\N\ʩ=eZ߼tvGJ5x%@nCj9H!ʄo!]ZoP\iAZL_\EwÅi>nJ xS?0ƆL0(V!J=}Co^(ǩ,ZSE7zH C$r<$c|"Mw@,熮o}B>#מOؽSt] 2,ˆcWw'zxB{xETpR- !j҈6#I9’ ?Wѓ@%rڼՀe/(K:G:!G#⶚dY#o-ֵm/6WgecQU*-H<$͏<;*4']I@kdQIDjXA:S)L;s8T]uˑ%M`j>&§-mL$Ƨqtq3otlzlGFȏǠJox5NQ-|vf (|,g y%\ dzg"C0%{9 ]ĻO:PEf/B Y͇8ێz:ues4q[.\'E *'"~#u@éRCvd x%ȿK,n~6%F"fV%á7lu si0VA(h9%ibyDsAG I`"ϟqL3(~d;қo1dK1E֞I ?iKByvb]kO6w`,4f۾,5@<^$a58]ڙE\\jZ 3EMXEj2ZErAlM? )͙'a s7YOc?DL} 3K,T2 fηѸ(S+EŎ:̣*U}i{+9b<#|Z|  qNbؾO\LFa)UQ/ Ylm9\ 0W+!:+ߜQi)X4Ƶ݂!\ID(^(m%*|;q[,OIV+)5H))vtﺣH)ſk3U(?:g&-ϲñۋOFn[ D>7* jv1F+ًYbMСF.9mNՂ̝2ѐ\ifJ\~J1Ɩ߁aWAh)dYVdlxW(|%x^0e$fb~%7ĭxrDPrԵb1dlёx.3?w|Ln*ʼnOBQMI&_"fBɕvTU\M-ˉ%/es!!d:ѽ\F9[^5ϩh BԷdAIQW[W0WaKwp5J;(B!v@x0W2\샿J Pq`% 0;Z I_7lӤwI5Sg+bu`_4{$ "[R\?e:S } Jw̃uWEv-˜]e{;Q]q8vnf}_s(kRNid͏7T7Y8bUk;u/RyϢ}B[JU6:%Q~9afGnc*[;@?"{Y|sh48ݏN^12nҭO|3:^8჏*XƜ'b=*nF{}Dh^d.p^:Č\>?ߒtʱ`hײ&b2@o5^;Mɚۍ?)3D1,&4:ϕ1Fo\Is4dUJTa!'Ʋj3 ̵~P5+4賿#<w[iLb-Ca 4,VhkX.G์uΝ8 pVP|p:8\FBĄ϶2TwgdfLv9-ג%\DP%1?XUf@o4@wM8Iw ;C{pxA|5q櫳b)@Ouߒw-4z2?+f ]] .koRyh9NDə7]9U6҉  D+bD:˂^WTA,(G>Sol{o a~n[dsfbc>"۷ݩ4:V^69o(}(0΍a֪+X洆)[dWm ƽ\nv轐 ̭[z)^﷤^ ~+\ Kxt!ЊQ{OM*!Au[2B-{}.UPvxp݉KҊ|"Pb$7<3#< KkQH 5B29DgEX>J-U6$/1gײ@t>.h^3ocXZLfjrhiYʉ2hmL9Qޣ~.QXR$5$u,g240[`C [_S*+z7Ɇ(~;9qU y;nON4[ 3~z9H8\U2+d5d!pklq<8:*VLYlТT4R+jJ;cۿx;@!$[TprȎ Mu]l]a݄J6L_ ߫)CkDs‡J6E #mr2 ^}NTISP^w-k^i3A՚AGWzDI J,C蠛?BU*تYRv^tebP{&v&^m0 [9N0Ўp.!0~-Ytst-WD(ǛeMa= Є: D:HgU\w/>n7-CylW"g`A* R#W:%`8 x-3J{Z7btjI}'rM>5?2gRcG Zcf{iǦϽnu$@MF kzRcE {vRÞ."~ʬCBں7`^0=^.x&} 䲫$]4B,}2t.~h@Fȝ׋Kscs~be%$ ܜ^L[?ͺFfEIüDLV,QJh"~gѬ4Hi㗓/9Q|Sx ! >lpۙ`/ϸS?]b1>2::D-65SWh1j &B܊NG}7H2Ɯr÷%6ȆH E+FdB#㛌xpSs i`Q>ז½TBKVoK^B cq]DJ37m 0 j)~S:OK/d\ŇT/ga;Ԟ 0=8@ BߴS[-UB2SM.c\iĻS+Zj3H/!elB"{AMl%SⰀWr1L$a "'nVhJv>ɔGZzBEa1Iž#鋼\.#8 @4 ߯{w_.Cd1Yc=rdV03;'~M9]06&E QTG`|f&in+n(N*T)Q%9oU#>@J`.y+CۯhA~zrlCB|>Nc^8u^vIV#'7΍Oj(S*1hC7}yzRH2W|m:]!^Kˢ|˖cTNԇo)5!0rIL;%PD-9ڭDBpMŠyOqn++'N1Z+g jώ)!iG=_ U@q6Hi^g;g0;s8YÓ4]=5PQoυFڏWcge=}eUQ_.<ư #A,wY@Y}֥MW )QIq|Ah(Y鰲ۿ1=U.`nmAQx4"[Wsg0%\JZHn]""!reU߭nMEr-7X*NU_ʆmVFQ%@_CR@h Pm#sX|)S-x Ӝ#t6E7;JxVgYZ HS#"Yз[,Q(89??eL-6G3yv0xwB K_^փ_I(!ܷMіð5{#ݎ&OX_Etv-$C}Z'p;=Ga(LMdhN>egd %I`G$;֥gc1^/>TK,@ȄZW񉑵zELuG5PS3@2Y|:ol*#šK%ڈ吲%|TgOv!vz]n…y?0k *+<YY eAjl24˃-64([mCsړx88hs/U?R6'XxրR'S$1oSveCyV٬ z||jfGw LjL"&jKor1v㫲  _ALT'&GK\hԏs|rtjVZk- *VPyL䇟~Dj-lR P1fc! "1qxem]Rv z;m{ۯvH.u ue8W&'QU]ң|`CF|Rx?UǺZ[ϕ#;UQ{*,^.0.redLh­(n/`_,ekc O󪳚4* ) h-#9-CI\KqXy+K!7eSϢ*S q& ܀iЎWxHF4m2.(D۝W؎%qA!錎8Sr@߂iڿJ/+Y%ؙ, ^FRe ⶳ,ae@7we2ZT?ma UWH^6İ}̕cu #g:Q1;ueGK5XF<Q'J QpHT)쐂B5%nSy":so@)}2/}bfIY\HC 5ŞaT{\p"-)ou!.]@=l- +e q5P5ݸm865ɲ@lkpUFX߮^gv->9$zՄ$\9 7kNeFMQ\}v1GF!l"d{52*V&lO$p z\ݫ{uQh/V$<-PPB  4Tì&fQ?+:]%i!`ضayWp>6ޫQl:׺ )쟧EʩON+^/{<8be<)4 !*~8/U y3ՠPqCGVS*do*{ZsqR&+b6] x ފ#qU`zu)'+,0De> \*+47NQa1o\b/9lBfgbt|-ù[/h[ B.>yѳu\@lxZS{{I U2ɇ+tB0^8HR;#iy\j޾ߛK8F a\q:E}u&\Bh (86eE5dYM0Nٿ0͗"e $/]^$7d{EwF_ OpR\}MYdH(g)8q:2y% `93[ghs9֯~E'qNe;0-Dڅ$'NV TF\2˟ãS547XB[JREsu|o 9̅cmJ_DJ.kbNh@d5m׎9sqh2$3l ^_BvIL@yi,,SFQI@soHSLIͲQ9b:`7ԒBnkDUOk+D, . |5 A6iݔ-^I}f߱CJZ*Tحi;ݦJB^aJ4e11s!g9t# "ހ/ʇ=^w~I. *v"o$˼@ăWf$ Y;o"G]%Kȸs͹QB&+) _Oz 0 ~P gV&Ƿn*L+{hp^jd%y -pg3ءNrSy!r~Yq^>wn4gɾtˑE!Px \$oX}N  &e0 b.7 eCldYYl?As{9N'W'=,4r3Zw,~F!(U[15= :f+O~?Ī't !vߑ6,y#韸+S=3`=|EKSץ$lS)c}vxaK|aM;T0((BRBJ?'wByb^H?Y> ?՘ʲzmvuq\>$MI]rhL~}*sH+$@{ve?ϹHUF*}?zShx hG.%,OQd6hKtYs%g`в5:a7UǍ@ZX  P^i~H8O;[v _sbV6UYv0IJտt)e9}Ⱦ {JSouҲa*Oz({2yGFQ&S9rW U]SA.Oz @ <aC%/=t$ʊ&<)1UlN5ȶ0xl{or-hrJ̰o#3m9-r^Ӊi=:qzr2Tfeb}m72Y܆gbձ~{. Gђ$<'*Z⢎e7~BV} 5t=%{ed&3"V|LGﹺgA"j@kvSgn@JhhyUH;%8}H2o^!~йDŽjLHw'jilN pB֕c?<]%])=Y\-s([K{u0rJ:<3)r{Θ .SlM! fQf;'U28c^9>0k&v O4, ; ksqoG ?ˢK-<~=m9t(1dq4}QϚf]DA6TRD#^6&jGډϥUw7ڴD##וud/BǨ_fƚl=v]`͘|g*eCZv'~3:cJѕ ɭcKh./ܲ}F<@n$Yc$U!5U^G4*;-i2szos4n k Fپ5FFr!se r /K]7shѕRf% W v/}pamm: !ƳKxG^1Law)֔! χ, ȱ1 cH6޶ RNߎiR|?"G\5oϜsn/@ SW \Cϭ%g'0BuىhO\).0g5 FpC*Qt.FV!Tp紛E46 'ViFJhF+8ثwevMl6}XG&o=B"19(9laV CDygѯ=Jp_ٵ;/埉v P7݈}N<Ì5aϻ-:%9nqw;qqˈl#ȊnVt:_Ȓ]} fɍ8*z`\@7c9RJ_@Ң2o^[ڂ+\_^ӷXÎhQɷA@҈@hR3"h?eФ7&UEZxw ZPx*-V\fHdN#`> Rv6*gp$_½_"wٽv?tJ|Չ) ؃[(\ !P6$^`bb8)PCJ%*続շz2qKx}G~2T %6رKGlؼ4??LV`t㕛cQC Ml\J:6Gy)\Nd,2sϪ!twa=d F5TK"@ ѳƈHBYps=ݳ~蛯^mN|<*xqqӁ빲Uo#2^41ڃ#9wc4kb?{c:K+3i./{^qڐztl&7xoo J)_)KpԖ(ŏ7#7}<胄^ԖE+C_ pZQy+fXm4ߙuAL >˙,uN7NSD\f 1o4 N3d>kKxyF$}^^YـPouqҐ JQh7KVNGWEPzN5.L4 "V^y4_TD:CcUIU弒LR9Kܣ,gEͦs=-V~y, VK?ëQUEh% k\)EA2_K'M{@'! =ȳc:SOb%!9>DL8߄݈ +|. g}KYZiXb] (7ړWȆŮ8,ŝh<EM#A1TA}=jr.B5ܣ"Z .{_e\p]Σ/Q".aO. QDŽJԩVܴybs~ я+^N) SݤxL}o~٬ r9K]Ey;૘9眫|J~A&6{UBv뼩ؔi9`qJlc%@ q.Ƥy)2,wjR21Ͼ90x,́TMJ3lj.7Nΐ@bhb#Ws:X=E|d^ ~NԴ)lVN7AHSRaF8>' ƅmYfqHaǮR 4܃p|zg%No)ц'T>_rȬhi%`TF,.By&N#kTb?I,$lo>H(vsd"iQ+PД6ZRW&b_$:uuzI*^P;4`[@~Fjr bM qpGPfXNؼ@rOk* 'eJ=*IslhYҝk SI4%6 ,E`_-]Ӹ@U) ""sL 6Uce|0eeԃ~A46dBt]E|P,ZC'>yn fΦdxQzDD(`Vgua@W=,g*+:,FMl$3{Wf$o!rֵF:vU>1JAz5X$}N8`l8t2_mj|rG{#j]w),a*E+R;"d%1{eJH1@=6xh]:YY D.'<]3KBȘ#Xd59 TrɟD?FUf-w doQT"Ix&59+2)ui"em0La%!akο_F$IK7UjmmjIfJ=9x a'M]>~9p8j\2fHM\TLa3;?\bx%_5 dWM{IXTٸA>uS:$+9e ;#И"\/e4E^G#p%k Ml5;]<-f}/| |`v^ǚ` SHhpwh@j"`: 'B 1,PHb+?; QAH^[$yU'QWϽ&6$/ {2F97c? /#" ](.:yASwg([D6l[bfaeHs)L+J[< 'Bpz~, Mz]|+pի߹gcQ` vX ŶGfWz i x*0:`tl6gEMkAՈҟ 0Bi42{8/ {)?s+6o*/otlw@QD DdA|sJhoPW(IQAҪ<&>jFx% ™ \m&SWEs=r&2y" -ֽ>UJNF&JL--<ͽS<N!u;tUXtqfKӸ, >@5KM_u0a7 l-"ZVE7Xm,e!x)ז52a3+JL:[@0cz9ȟdf!;EΒOFD=Wil׽v2hmHS8S"P&Bnkl K! <$Kdkơ/ 4/4miuYWLl;an?UzkX`c 1]0Ӄba~'5rgE:v.:b  nǡM|-Ƌ&0OW+'";Qzh7e,Hɼ&b*bA;Ej騃y, 'B?K Ɗoq|p< F $h:ac!^=2Ye-? .lg33+İe,!)DSI`zu *d |w4`] ǦeC9>/NO*g5_&ľr!1 jH6vTOh׬?]gjU I'ڜW*| 1~ @O?ejeNF(ѫJ̐8O2iW==|v݂GٟD 'ƍz/S Q:#wOA}vIsmx-'ˠ;snY뾕 -rЛa"?jFmZKzL#ou$#a ^,>~EFw3[M$0~jߦaJq^?0!^hQT»]lzL.0W zGN[ rppį&j .c"cuvi`:R~.'+;zѲ{*(J.۝h"r|kh<3̻#y*tHZ~{sQYd i3f+nߌOJAEa$ Ȋq`}3T;sb[zQH9*k(KAB6M3znd5_Q|/=zBBh{\msmOpD(!&p7!&}q1Òòi;}YrlUڮU[+51o:Œۍ^(PxpVxgmĥ]~k^OD"p"M [2t(BU)m_F;8>*C N=R[J>ѹ J5M=I5A(LsϨt>@&UݺmJA.޾y r("$Oa ;g.üCH"dEebV B !az~dÏqy pw}J 0 ,씨cP^7ےhGG`f[VQec A4Ƥ;Hr/=%ȱEN&:5)Hz=Q84! PE(zM-xcؒVLԷ*-kz^~u V(E (SMwܑ7 9#w lU=V$?9wxF?/M&[s8Y 8kpE=ߗPAeŬ5O|Q~,U^Hˢ?6mLQp-b{%ؤ 3MRuc <2sYٙ^)'pZ"+. CO2\DVm=0uT/,YN^=FMn KU Ĵe"'7&$}HϤ+aE d2%̢M8Doϼq]Ct^ڤwUWS:1;;M.'r/> &V`XWJ2]ЂS!HUC5O`{ P#U.ܭU3"#H#sV-z7.% 黪aVBHqG/ &yG upHVtॽo'JaVWq+vTx+8VVQ&I0f;rmbgEVIǨq3uÊq8l+݃tbru/tŌ_4*AvY[ycM$Ciy/5Xd<gk=`?bwxB=͂ [WƁ%~շşYhxEGC 4tGA:! 6Pok(6DF/ߎI YPy%̘dBRآ|Jtl(PmEdzrA,$zA$_X+}^HbZ gZ%eEue})!`Mb4JmO+a6e+cUE&'g=@6Joi(GkY[GNT>YIZj9.տ@_7. Pr:fg|ղOAN4A{t 2go<jːgY%mҤԪEZA;G1K gpYKmbZ;Cpe'Ş49'F]46 +uu"{s]Ⱕ@9?]GT.P)eo8)7eEφ'\%ߛ?S /9L=)tlI; irb[E$; mӁ<$WP낡$m5!Ƴ|^k)D E?Kd*qٚ#S}t ĈfgFUчitMRO%ҜO38rjZH\AqL*_g3PFK?h*9* .7 Cgz@D` sۅzi2K(;"A1< pT%w<*`r4.PKyf~ۋ2)TxzSr&Fdlsű5z k<) xw+Rhw;Yt&끂](bD}GHIתBl̄RIg\Z9v7"]?^g؞TvAToz>N0:ԕJous1guY(E,@k ,>3qQxf6:αu[NM D`7Q72~x$8Xc[+xGfi_cvSHLL7[Jh> ^cXM~70n b ;]cj:<8IƟ;͆ wmزt|C"  ]AxTL K%l-NMuEU}-Zy'X]_I?a l**Aʀ̂'ff! Ɲ=~&hG=[$m񵄾Nuet*$’/-+O=p>6f37?[vve:w,w'$&(ϹT؅k=Z51~HkOբ]Yxx|=G|\nzK0Q; v]O`*!gz2d@S vDbʥTVEWscښv*׾Y+ 7Pz"fEt+a˼t1œ$IpEiʡo!C]Я&<'.BdRnE$΁,"'\*E?[:&Hj`_,%U#׽@ep#g!|8f:VX UfWj=Y+dž }괯y.=S#/Aq+3,ߣ/4R7z7cD5Lz:ܔV!ܒoGP]z )D%}b_#$Cw 5{qV.,+rbX֚+ кS$#}jNP 3(Wo)zeazhsi6nBG;7R$fZ v} ڦUz5̊xE@'M""[H5tP_OFPdI!y//K oa P !1YVۖO3x8_#_kDmHM we479`N[8Hłj4U-{l%Ѩ- C(2 $k-:}p%0g[(Qw cj?cRser?ePڦƼLmtsҕZYI.%TXNsi+m5\pدj^Bۉ|R0sNjk=VΕ$.Oq׉:NGoFFS)Fףax1։k-@Pec46L`8kU$6I۶O28ߟQ.Gg0.SE 9~t+)(b>HÐXHXuОY:䫠x_>iSI䰌$>5uĤ2@6Ǐ?^Nk?xDzIY&^EYb'6İmդOH6Q.gіXMS?{H3vWj$'.<<8ۍ6ܝp6G;Nեk=HUX-Pw-JxO 6^ˁεͺVki<Iojx%z7,(875K#cv0t"^5JK;Ci5_~OU"RYs8Jcbڏ |`Gl9ҩX^a鸰4u)AzuU?2\YMƋWL:#k ۵/9>X9&5#BW`34G/hbfYT `*8q4>MboiPb )!J#_][J;V#\fLPԕ+rYRma"x.u/,Z&qgaƗN߈jA.UL=v4)V[|,_,\W߫ڙ'A{Zk'=j=K hv_ݡARQ"&+IIa E?F<\aML>܌0Pf)|d`]:-%?S[Ĺ9o*$**8}\j=V6qz~\C=4%>K)oeOޭТC^89" }!] LLOYWٕtXt(產Ƞs -Ց_~#ӆЄ~#:$zF {6+}Ɯ͚ΝC+8K芡\mQ ҹS{ _m8VI~S]mڡk \d)NeQ]750-MM Ԃqv]_ȌQiALa8el0E}cE>]$*`_izff t|0cnHe&j)xY~opTH~VȎHcߢp6"%k!r""25h2O {Sn^b>w6v=5 e>8C~>yu6/%oOjVjU Y gkW;NVG3]ia ]RgUPno":/6Efho\|t̹Qѧܿ@y!ijT`, \#>$K=mE֒Rw*dFK揢4~qFK?5ѐd8w%!qEы ^i>&@_*eoؕUfgYZ ')'w%% ,HOL-IMPHOL-IMP.Livedocument.tex7zXZִF! n]A-MՋhvG"uIBm5#(>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{tr$Q IH{b4c6Lܙ0ȆLDK_TvwYiC)İ7~ba6gٮNcVA+BSdCkbR򒴼$uۅs_,.@)N|ld`{٥g7= A׆W/\P|)~ϓrnS3piǝaR:_G # q(:w{w?w=ŞGfs=.\ɲUmNiU%]a2z3y"Bm 1DZ4,msT ͻ0̨T+3RJ]80C֊+MF;]8mp6IfRv D}ֳi:d&+| Bm ]:8f[^h]+1.C]Ic/ݎ^$͚E Dr U;FTn%274k[KwC R>g{$ J5Dhw~^wR҂gۯF/x@[֜.XR:rvXEYClg0-:K`cx/g^K L'"{T5Ǖ3JyTep]qx&.y%~ ̶lt|vRFy%vs1a"ïZh;=ڧ uAƿ'#_*D14YOLe(DΐBe:vz #j"ظoRm_SΆ'6V(xi @" +=Cxl[Dm-3F껣$Yk&{/O8#-S&n̵No m/@oT(v|*-hg1moH{|( oP"{~Nc@Co*X_X/Vk~ܧOHLq(p4t?Pv$ي֦vDӍǹ`t+5þbn6ꪬ!<Й(kQB.n׋Xw7 Xr*w1lG:@3A!)Eff&X)d!`TF|H덮>yׂ5ߚeCOb{q@ƪ{7Jev+ixJ|dƶcCԙ=SOx[x1&tZXĪiA(mtS2cЮtGah&\NK-#$L:~* {*M-[J|5TэgTPgN7t$C!ĸLCw*:xM~zl̾oy"9iXC5C3@җ8TrL@n| c+a7unc1;DkY6GL4ԢpʝL;oX F-Ts`TϜQɫH Ȧ`@| qLX)"W1w}q#CqvrRrdl;..-/A\v.O{+tY4-fq;Q%.5fZϤvc : bjg@ @-HL%4M/R'[F/) AZ+]ߣowu ceZɇ]@[uO,ɗ& zGgL'GX|λ\CƳr0W,'@euQL%M@ |zc<=rQ [D& ih9~xFB+o-AC-xiTG.I XXS6gO5dQ688ԿOq,px=ϯma;DŽRƔ"Iv$71MG:F$,7,ںVtT)AՆr "9#*9: `gȟ79 2oE8S-HW>-?ʦEi/!g¸au*s6^K*]Ӂ?F_/6PI우 j4+\84ib ϵD!'=jZ8]ᄆl&vb^(X/b"keNFa"T)L\/EV`1;4ƬVLF NoG _=خV"սq/$?6H":Ĝdl!9$]ME *WP=A90{qy kL)/ Fpb1q+CȿaFʿiåeRmΆU>jV}LHubݨFTzmpN`n) UBrSZc;* ↈ\Xs5`t1,tV֞ Tpu"煳,J jd (O0[W=S(GYN^ Η ,9 v T6DtBqhZF@]aQLR;WN>3%uYƓd!ҽB 7_#1YuMzY hlum,Ffr'H1L~tMI[3o8`9I05^q҈CA05Nlc =>{bvUy4xxiFȦjt[T MSf;XP h)ⳡN<ܴ`AKa=-p!O(G~-x̮#OBL[[s~-1V}D*'B' .J8p77ʵ*B< bKjKmRFQƁ%Чݧ;ɈÁg@8.Wu&A9=>-bWIA]wƛ*lT73N:RSa@ACrf u7*9R|Es!ݢu~&a8|n sGA]w;X44<-GЭhF&j} ;6z"wR)EcL=A]}&*x(Զ% UdͩicO]t@e uKaX%siμ0n7Fg 5/k-!lBt`&x 5yTysJqX-gӉ$& W0srOpe9Ő0vЄz-ҍĐV``_4՜4ܧ/}}}D qx`JMUn̙6\aڊ謃Iӊ@: k'Kuq$K14S\JRwc2927;ql6ccTO@#JJn7qM~&@$ZfmW FmP%R, XKc: |oLHi0w[UޑX$q4N6WhBTGTM/ pWb x6r8QXuZ O*t#ayOH<>13ۨ{*iRc3%:fu$Gu޻2RۧӉ"v">\Ї᳍XuqI<^. ׄmljtbc;MDz;Ɍa'9-Aȕ -BWądg_) Si'a5Qh*a2$ rr" 8|&.C{hr!QM綾J_^V%1lUxSe =j"=ϩ*g u!aҎ0rO7e>䲼6,!ִRΊDǁ-e?;ID1"zX{Մ#UZ@1ӹPL.A<]Yz{jy o"e2,RmH%_vA3Y4]wQ65&y$iDZ_ʼE1h21~bG|wZ^;߅0,2?@n O~Hȡf$cp}e zj zs)p!m5 [_yS}qen[٢ L̏$%/Vw vR3×@)5o"żZw޾{A(t\HW7*ӧ \j;/KW6xkG5Ea=qY[؟c*.4cҞ/5gs)7Avm^24P뿑R7mE-tM3-){Hk@n_4Tp1 J<6ܳ$– \„q3ecIk]8o=6]L-yk̡l!,[=j*i_ znD6X^%:CD:)=лKsL^ adr8U«6-%h٢a.& +"p-l_ C1JqmQDu߶\O+(yE'^4`hJccBAHM*Y #|a7;ғ%BRGGr{U / tW7Rrfvhy\ä0r󽴊1qѩ=+W{eK-&i6PW4pP%"LzK{1+\D8/@OF=H0ݥ}R3kh$ߠ' FcҌ"zJlT>j(3nA8^kkRڔmyx(fX-DI2z5"C0.PX @? ޱL݀"EKAnu2$p^x[:qysT?}8 ]I**bx!/337m8ixxT0jᜣ1ko_]4w'TU8SU곽 a=c) c'2 wDfG/oL|ߪȿs8Mt?( AzJk+Ft*iS Ĭ.E,O$3_r-ZtTC5лXezrQz8Q9qr3pr;7ǰ& v6lWkO@-B?,Yhgnn"Y>f} [.:\=:›g=/!$l'4 ZQlΉ/05 2@OtFX$I-C()][ V~1f%݁>O_$hXt9mg3 N0/\QM3хJ>KKotk*}bq C8z7RV"C(.TL//3L\0,JV e$} u؞Q6NgFZ'΢tR8( 7U /AzBLrP'e4ߓC'7]\7o6ADtqCCSOf)r&i cx(Z1rx_f9Dž@ W7h?*"ͦYgYZN6hqiCQMR} 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$ÒϺXʡ'3Ps{dX~W7;̘Ku,˽*@ !Jk?[&]4fayvlv+*d `1K"#19؎h%^1N (S'v!|T%/mCјb\t׼z),OgQ 4m$MwQQ)9 63+Q~^{x@>1޲?Z(`hH-zea99gMP&lcac * ݂,9.|Q8,^S̒Ij9?Q7+ aOLx>MQ%4 12VX˶>ZyLlf|R3B/ "2XRMIS [3rcfh6Z{@pAw| %vS^92MClEZOsU]3 rNKEvtb%:C)Pq٫bbv2`MMuKGf):en<2S&ok&V Z7p F/Gahujsyb8?}KNSbHp(*QYJտ"b"_A*KqYڈ+%# \*A ڣy¹zL([1AO]9t@P1z -zm` V3y,$ lZy0 'sTfHE[SzƖ}g~}ZI&Sy GCmy.ћ[x.`@T {EvA6F(xJ.h.jPr̃&3, px<`= Ѣx]/Eh2wKN{ 9nlN_gdIex R0lNJUf8;=p@F_RFٲ!~0sK5 BT= iI 0i#f=S~@?pG9Bf|RRkSZI;HaK7]LK^00Y+7Ϯy?d"i-<Ǎ@.b&F<-]r= g D=N/N)I}.mvCw ёC_1ǃٞ(%~&/obt P*ߒI{ (8-sD;&yof~Huٴ1[?%嘀Ǘf\:0WZ}7QQr9oBRfDB\q%04 վrFȵ 3!LߢQB10Kٸ/Co[ 5ؿV[ h`Jcn-}P,Jot#@Kj&Sڐ}amJa^J}=X uwlmA3{]sSmKը;wy$d6VԔ'k9 =&\ b`4yꞨy£,J'͏^5E`|(Oj6s}px^x.JK ǫ[R`)p#$Y[6R-MO@sJsy2B gp*/4]Pd6M<̓m}yFuݾܳ:LKFc O (@l7w[\k:GY϶Z)L | t0l$bwS8|MXu`x_C焀A.0"+E #Bd'JIb8_%30΃gPr[~iTf87J'#"ZEYo< zA`Y^?lH?^V3"n`27LXF`{(-q&= B.sO.# DT`+QkDv8!(ĦGuAACzj31Tn@JÇW=/{RZMڐλҹF̭{c-W8KqZACbeG30 DwRJ`+/bC&9~v7bFgr`!(xnFYũPcxJ%3Mϓφt'rQuΉIA%i)m9D,b1.^2aDGr[LgK(7ck*v f<%0;YwI%1=~<#40sgYZ,V#y9Pϱs\E*ю~1lVh>m^Nφqk᳟cY,Ȧb:/Ah}:aİpi3QƖd4qK!aJ)DH:$gVws@\tʽ~.n_|W\1`E6O/_}tbF }t"!"wYNQݷ]P61+k5Aѱ=! IaC 7Afo*ߏ7/Ġ6hE ň^J팚N--Yh uQl7vBIe\ FA_*c`IKϸevTÓ5#D=Zz+HhJSRsAcC%(֕:ae_ +`_N!FaH49LGAϢ[j Fժ$( t}wvgxEX졜8P馗ς<+{ސ@ٌ |9%s$ ϲq|ļڳ@Zp@5U6XZ*Nsu~ }xuB?_v  }z۰8BȐUq(Zš]8WC׏t%ǀ XN,ŠQ0A +''ՙwDq] 3ޫ$p" VZ" K´NXvl |8'-䁲]{?0%m67//h)j5^s"yP(kk2J/[E_Wb{Q7\['nU:7ٌCDZ.Og;G@R8QgY4& 1;36hŌReRWcR,a9MȮɻ(e_i]dqEL(^0J+ &?8Ň k1 @J|NeM6 :a;9`ڱZfMEs>hi7͋hW5K#Ǿe'שg=/)@1ǝA(3*9p^\Mqxa6~(j`UT[w;Qz!ɳi ?n$` ns%aŝP&L 5ƪ|1蹥I}]PI(2 ā lar02 x ~ }iZn@`sBNgY$,"{oZۜ|d;`2= X+UtFz\mTY>4ddH?F2aHxIA;6:.~j֩Amv D~5J7/!si| ;oj=kǬ7O kcTb0fqZD)q^wJK^tbC3 ~Dn}n}cpoJT8lCFZLIpL0Pt9M|wuk;skSՆKK0D*|Ý: ٣s/k~\ m],zNwgEGТCI2/޾2ƴ@K%e5Xvojus3=A$]*ŰzK~6'jXzZ91f& ij84c.m},w@~몐yac8ܑmUKda$!99ԣ\ 0DQ]^V$c 2nGCK?># c%9 8uDAҎ0xZ `t2!'nˎZjl4'Jδ⫚: 7ZuPw#b} ʁ@ kQڭSUe;u櫤 cABo+(f@³tߎ ^sM/y5 H{otR zuHis8wƙ$֓o,1&lGy [#"8G2%\rKm`i2 ,ۦ.vzPџP[VWG B LN*vnO8)jR:<)WLL{j/wD2%,2 .8XA&P@QUq`>oD=_[YM6Lz7d:&'Ψ?`6f^BCae{J,;N 6u5\C,Kqiw%LO~__AG O }Q?Dfr`ӧ׬O#U|<#覷;Qnؚ%7FYY"Dcɩ\?PRTĈEIuI;'Mv^ঢ়KP3`q3qЋ71Uyq_O5}"O:?Rh:24X"ůo#rGC ǣSł'Y~B_s^1FG =ؘ(l^'19;n Y''jr{U ^Fw6ZxBxUōp̏'"IAA[YQ0aFD2*n!,jr]q3+(~ٜzT"!"e ArF_)|jfwCAOߊ{Fa9aWKx6,7 89CGoZED0Zΐ!8+?EyfR?~*id(q\dJ! aX*n moW;BmW{WVM|)n,8 ,yj :ջ'9R Pqօdwl&!yPis~Oo\~$KTy&s<7Zanon3m<_!R|2a.՛ݛ|eS7"dm:|[~U`45]ozT*ON̺v3st]Qڏ_UM0<<* ҕy% jN}+d08-ᖮa)"R/t#wYgc϶N=q'!kr.RF0`;b%k7OqɄaeJ#ф~qk)L낃 3l3ΖcE5KW%>wcPkF>lit eM8ۉ:? ^—;$[.YH1{D`#c Y%sKv7dku:zn)s!?6b52\)ϭ>պb x f6)C2JldzI$ \F7B=ύHW^jW0 Hpf$xEWc񵚚4aL&K̥I,z>2ٳZWc?N (\1&!ܤ]L٭HpbI(nP2Mr(=yՒU٢kwIqB毥=:5>79qEa 4`j2.Pc3rK%h0 {[A6l |2p9'BZp9LRCpޭuճmDT*/?#:@*B~ZpoH`b-% tHOL-IMPHOL-IMP.Abs_Int2document.tex7zXZִF! ã]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiC柚İ7~ba6gٮNcVA+BSdCkbR˩?,ڂv6f_BVG3O=w&.|F4qlD?' ]zKFZz6yyԇr=9IʫF LpMJ5yaχP/n;z dAJh/Ar{G psv^p N1Mzi^fՏɹe&< u҈ڂ*$ā 39Xs<'5`uҮͭuw0<))P"C#8ܺfcpH\%J7_nu>r]K¨a ] $$yX)i$-W__ݤCgcQ,`M~˷KR !3~dEY, *b#-W7dt?2c<g=a]AȂs|{F}ʧJ4@'yoLЪ^.ʓKV#QWT#L>bY#2PIk5] D ߠ/r]m_UK 9K**yܵ9|uQ.Lǒ ϋ+M( IK\p6(wI(zyB·`g"[ l FV-\dd8orPwq4"߱pKz?x.K*Tⶳ<bqbxwd*ǓՐe!#%nLr9lz}&†ZLpLQbe'p=~u2D[>l-e?njlq=xڃ~ p]h6ajSx$m:hGOviFA "?,z']&T֐}vKcq(8C2jV٬iU'6C,4b{zpg-Bn G;"eO;A^qYзo|F)?e~ygj]/J~)(} \0o~.}50E2N[H 誝@mi[Zέ8XO-{9vVq`meZ }O,oN4[P> T^?-zƴ[L/Ll⼋Cb.[_x믈;_/Etޱ:Ժ:̤ +6M戮qMil3a~ƒU4ЭP7J/U6ʟ{4MD>plicX%;1 t0ٮ&mvaLE 5.Ն_HXcTm"^8_STSr|D&2oQdhɑXC2Gzi;c{*ZniLըb#]9|R1OGG&f)~ vD5|?9DR#HKd"@i[?6-)EVZmXB n )/Wr3rPu!5z|$A9Юk/Fxf`)aߧ 1}E!Ghuh[W+ +`5fϨM GijV(]׉_XԊLh99d=ׄy tDS2md9/ښ;u5 5?3')"dw>!{87g MOYsg+Y7cZ(*.)j*ɛZ%š%YZ=xVvVHϘ1@Rm[ -L@`YM%mYP>WߘF?ÀOѦ8\gXbT?W yf{#ԡ":H^vޢׁ#F>`xbh@z5&v֥֔=?j{ ܦE\yAf]ْyT$n)& EfVLFp_Y\˾ 9 RfQ ⎵#mffi+#UyAOwK`M2*wmᝐtd2س }^W)VsJQ_F'30=fXym`ʓ{ c7K326Ƀ`Z/Clx ֽӂhSG8f&w5%.Э" Iƙ>o:;P\p Q+O<hԯDlSfirZG *qXzv@Ҏ 6T])* Չb /"jR7^ۊ籨b^Zp۩1AT%Aڐ!UM eK)g9L=ʯmՔ8VSc=PE*.rb7^Jgxut3c0.l;|T%? #[/L?:^ !;S?R4Xmӄ@>x2RUvҎdbW\Ӛm\7LTs-hGzd_,ʩ$v%+@@{@4ܒm'xtҐXUV`ifl({q:>LmN;z^_3]:ۇ"Q#s!p,y<TbHsW_CKi,cò5ʨ'X|P 9O Pjآ /ݬTPGLD٧GH%(t4QOb: <6f9;`LUC)L%Od1$8ynT6DR1O`S`l:c0n;x}QŇر]Ev(:F}jyڣ]} G=]=*i v-uWK}GQ }6t1e7=7E(9ve){j6lO #+dӫ9 e?T[c| մ#"8 9r$To}d&;ڮM6إ>"'^JBt?|5=-&$0RYBHu~xW)pDϟ=M*in|(BWL@r8@&!:u`!^ lnQL;NbS/\!U+vdZ;Q!JgYhqCMRN3 gbc*0oW]y0`zwC.WLR6ĥ~Hj#yC%uXاiw>M)f'2=̯Mho?[)؀K*bmAѾ0='~/$[@?sLXu uҙ  4 /#G=6 ,oBUIlayCLk}wY-*2X, ҧK(VUuD0DKR9 Y_,`=%r{$@iyMɖ\%gN)kFŗ>wgsjA5 i>3xIhͨgeE 8fA/bȍ-4F[ÇfXA$E畆8 $lMsAh/7m1c B$ &m.#2YpA6 9Ӛ3LqDD͋*/mMoO~i-ǝ6[gYZ ~Y`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濫$XgS. ꕠN2]bfe,>ّKe؇RQ y,iՐ/E:!v9èSXɣLꞡN"[!f\ &mVpbN,bsTf]* Ľ U:I4L o\lȜiR*|vh#c5*#Qꔢ`Y~fdߩ!*DYDZ~%zn af󷜉k(4Xu1gUzyچ;P{M LYq(F]x @c{c ҽr/x_%`3Sl$פDz)P23!1'Jg!q"g-V^oWTY+H%?BPaezYXӓ5iCABuvd/li޾0S oim 4dMYs} .h$Ѫ@Xcs -_7Xkp-J=IZ^B=Rc(t h-".-, čBi:czLd$eHԣP k d=$#~*W#x^dhk[fs-,n#m̟.=Xћdy( :ԭ`}mƃ6fP6gF\Y$;7L66&#Wc ! o7 \<ӅS*l#Ϫu%*a8cz!EfzZHyLRKnA2<0+P"Y:h xS{~"fYd9+uN`O/˱rlI^TclE2/|1Q,:t JԶ޶ƽW2㽧F|Cݨ/K}`9xz5?9l6]@# #1;h†JϷG)f=dIT33z+&tL.M6kaƻK/Q!qYfE+,}D+PZ[ZNB")nQ;쾥׾T%[![(6AdS00LXhHӝChɎ^zTZy8g>Vam@$|cBB+la$N/C4-=r9jLCm;v ;hd!ʝrS<`MV%zO9nJ9,Pq_ZP@xIbԑ5l0kQQ|Yl[ qImJ'3s[dy}?Ppxex)xr)vڬBS:01)&ӋgYZ  x M1% LHOL-IMPHOL-IMP.Collectingdocument.tex7zXZִF! ]A-MՋhvG"uIBm59V{eiHfҦ^^XLdHPsO~oNx8|ҳ)N긶]jli[!;>E):al`o*dw@^Nh @@G'oY9k;\zs?NF|oZ)<:"+E~AP7t:ĿǥNp ھ{A8.ޯ {vJ?T2*0?I\7(R~eJXS($oݹ<6^3F $0kefA+$HpD)eC25BxOgKx-zM O~p@S '7V7x7<Q%g~XA,i ˹]^!vro=~pcD1YmFvYy5 uD a6 ! S%la6(je X V";% lHOL-IMPHOL-IMP.Hoare_Total_EX2document.tex7zXZִF! ࠴]A-MՋhvG"uIBm5ۙ,H`&Š#̺COM{aic875sW=OH]4`+͆L(Vra}˭UI?0G|x)lI"QP@&)i%M Zw'TΦOv6lkgN`eڿ l3lK:N`/٬ԉewf[>HL_B|:5/7+d#>z3_/~]P8O@2kN8݂J<1*ˀ53 #I-> Ym]-wf0 a?+YY ݯ[ʑZZ5(tVx򧆂<~H?:)_cJБ}H%RX$/ϗ`vH|b4n 3% HOL-IMPHOL-IMP.Sec_TypingTdocument.tex7zXZִF! +}]A-MՋhvG"uIBm5C16xcޅvEe %rb gg-ʞUd;1P3^ϒ8O1tUg`a;o18tV1zn9zkmQ*zoٗƨ%oK@Lj| UkAɬLǷ Q[ ~dIO@@mL0kAp^\l;QH옹Ҋ *:E8{43M Q::d x$$E-)Ӄ( YZY9>b @=myW.\cw(Y?O?Y?Zy6}(F1e.=DT=&p5=k3f a ?PV{UqYvA ԯRy-OU]1öJN 3% LHOL-IMPHOL-IMP.Hoare_Totaldocument.tex7zXZִF! }]A-MՋhvG"uIBm5ۙ,H`&Š#ֽ̅j+@8(gtZ$Z^?)Vš/< kE6JMsG8b|EV\!l<}2 cD\lq޿e[%|}aK[AS4۲@@3`6ٝc*obRC8h$`"3^ D^Il#n OLNWO] 6C=wv#Za_F[|3oVrw / 7d96y/Ϟ4T[jh6й>c\bcVEC=# }d ÁiA,%JeƸbUuMM!6hr9n_iz_R~FdD3\iOkq-?\&_Z? >+U%|*# $P&; ܎/3NI wVeؽ'h|-3'{rBn ꭎEp'4OzSdXA44}&Lf =85]vzEԏY1ҖZd 8T<_'߼wQLjnNX(”m!-nN9u.:[,r T -% dHOL-IMPHOL-IMP.Compilerdocument.tex7zXZִF! I]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&  ;>޽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(2M ` 4f_7g-Mm8S˲2t2nL{ЃH+эcJn'%rM!6Gbc1|ĹaTI^3EH}Ϗ<3⪷^e}끝'ِ 7R7&/wK/$0ϔ1cWt,Vpo._%:CM/`<J5Q K>4x#H^U)6R 3TSAg`9XI !?1Ke'N m%k6}e!j.XnIaJ*8O;d |=i?KT; rHMPFX cDod|ܱ/xڀwSo>t pGO8/>n="k 20sHd帓Mq9K&/Dxv%CS\-MFn04l⩞zWnXջh ةڒḖ:3zV|^KR#+3\)iŪ6}8|"8Tl1V3+a8X'.A Gx~E/O{ zP_wk⾕Sդs5y#`=5麍q2u;/c">ą # ] لFcd*z2#:S@l+C}Gb s7AEN@R9âD[q8Y+<-3XC@a$GHSj""`#Ȉc&k ;>a -}LbGkc A1pKUq -ִΣ"(` s/ RwإE$K-zAa@돾бH *$zU. [}Bev4;+}UvɍFCvVҜ"x@qiXz7w!Thk~ 씪!{;jTrpol)}Gqjy'Bj60^ʅ)<s~CuNJ@,.'WU}nRXd?F؇>maY\t"I}gXDe`FzelW9;Ew)efz-WO5\wh&#D9hh%6:hѶrFT~q1*w&6KAJ.ɤ(Bg`iӇ-S1A־H\T:j(Q0SqP($Ip7%ro1~rGS_)֖Ȟ}[ Hf 1Q:,",y;ϗȘs<?XlVoCLoE\Mo1Y :\9NU5sk&dZr( c5kkg >ht}b>YS bS7hOhnUkw\Wqq"E7AF4VEi58uGu vGd"rUO л Ioh9 َFv)oMЬ diDÔq$+H"u%H ϴ7tқU6;7_l \*ߟC#e||I e%ߠZB%@h{vL}Ӧ/13"0)67Slj]fʰJAxg)@f՛K+ ED %rґ\;cQ D7{Y#/Y"{Tz@L~tԠUYgwRwDqu01HU'=֔ dZVG9F84`̄ؿJ8a?'0 `dg_őWbhD-ϐ ?JK| jRzkˊIC{U(R LŰ@&J2!}Av}Ac}eTx % 敍I[lINa! r]WZi(2ri.Cz}'dsFy~e<v(I+y5bL崁xyK#W`_5N00r 7Q 霶F d>l> 3ͤ9窴2!|Ǻ"zbȖ QU,i>-qIjc_Kq5jQa,4uLB:{6<6 .٥ q<,HlT}?= Kf /4}pPY*u6%:W|cS)y1`Dyv@xi'tR@pBLxehkK &zu>V[$knSj^|Kv#<rY^cwPX4vk˰@т"fR23&0Xvjj rv^, hƨuJptl̒I!8;UCֻ_2&.ܨ&iTjxzWhOi FQLr!/z I0#mRpB3~.#lgYZ_Ƌ8}{qkp݇R,S1.l[x)]r 8oM]޲D{aX@f&9ө-,!288PVF&ə<i5G9evS۴W ,a%-Lb',H311B5A#vd L^WкF6Ѯ .MC)eMߜ ==Jy/Md`*)Hgo@سˏKךKޛ$E 4$q{\\YHK6LB|%YSl:ƹnq`%X;bvR526zи4F''i-b²,&"mLeÛVqk_ٷ0A刊| DEݣS0Tu3%}6ꙉ%Uf1j=TŸ?[Nt?ROVkm(8  RK mmOYy|Vd:_`ߣTđAs/Ȣk?ϰrZ>QP$W!&!kJ[<=o?ks!0O mO=ԞTIޛ"%ǀq#ɺ{¤׈ߑ60 =N!LAtv|ܓ s 1h^Uy+AUf?;";ABL⧹`oj+>|{[?k ϗQ (\SVxï*@`xbi1]%I0I~2S,@;$:BtOBXEѨTفC]-r?[QiyznLl~$㠘qòjh"#LrW*}3HHrW8æ‹y} \f"9E+'j%ܫk Mʌ1 3?f6k%` 2 edTP ӌq24a.eL/ b|FYxE#ҙn@oXVPlk5)Zm_4@(#5ɠ;'Fց:7o%FoMъ e&rF fNY>A5膨/QJ-`mUЁKE[Q*']kOJz KUb>Xa5]fdXA| ivJ\rbzkMtiOY0kr( F: 듯|pwa:aS:<-l.1WNy";SE68_lXdNL!Q|sC\qf[}z$IȨu#1DeJ##zŨ!tbL\~$(ˍrS :e1cOsqE.QoUN9E"{GQD )dqT &xgi*-o?NOE;/ѝn@$q8&SxgTRo7Q=60zyfVPҍg\1cԐuQ껊rad!ib1r8pePY>v|p1 {O} _{̛gMhtek<3(H oW,O=|6KLuvCJ|;e@↍K63d$9?~9xTK3@,hK[ fԽqTcUI+i94SfINt'LZ1#bpojs_pU!M8`N:1R-K˵|+~'pts^S.zU5|uŵ}?QS%䌌c%A!5{8N!9?UI@E^}87exa;z8>K{\lѾe*r+Y4 c*W2Q;>OEOT挴S6ɳ4 әW zZa@QaMZnk?za8MРi#so꫖BJT7w&X-QU^(MS#$SOnaȮ|Qqc'ze=MY0P-^za| CkaJV}` J@ڛӯP]JtO>q}fWA;\aeP'=)..SU%V|崮afK}p%TUO\tkfyeM}oD8ϝ(hgYZqJdA ݣuGjJ`ÐP1s=#tfI3m(@fR?uD޹ߠa[\xO<81ftZȰV죍J#蒭:=~eM]OP4wNb!(\/U%Sb߮>W:Aٵj9-ۡhQS ߱iƽ`8?nc#oʐ Q@Y:4b tkfg`m! $7($Hɝax~]cn=OLX5+N}EI ӱre XH8t8_SfL}MGKҝxhYc|M/yK[oBiGT:P1H;&B9@dţc. }l T $ȵ(%%֨y?|UI(Iw/d&+N5rM{Ontj쏠4-P+|-;(1)??V25fVf*hx[lw5C?c97nYX1lP/[^<ӭc^ 8RqKS)uC|mS %>61jv76o-{Xoۢp$X8űF}bYW֍FNT,\+O "Ai$:*ٗ~֧.? jFiebn !C,3M@6&(RjY>_&+}jxE'z:n̥ I-YaPz-3}Z.gܭ-X><{&,}BkProi/q}ǡQ~zKJx| |8XG,8+':M z@ eGhגm ͳ_ yo`M7c3G>J6$+X!D۔F7ěFUGYJNQ~oUԧN<Nz 򷷎 Q0L@ce?@2\^TLx=]>.wKz_Ύ4LL]Culf! ~΁(I`&7`v,Mj=\Cm`[oU^$,'Ff"eH+Ϝ#~mRΘnbǔ/|Vg{XTQϚvmLAӖhI̓R !5}%S$} U(*J s|wl3GZSw<%N[pK-dGę3\o  )XlRK_-6(giOԟv@m|9!le,kɶ&rW˩{;kLgb"jSiB 2 tBne,j;0z xI==Ç_aR{ hv>à:1An RYơ4s؊ir 9ѽC/!v*yW;*e@~,^30eNn\C;#_g #JVYHmHbI~p[jDKj˶:3 yxh'C]+PMRv/g}\fHQ?wkЇ넍# n1tOZ4&눘C{yp>MyC7Ok2Q/!90r*t 2,:븀+eu׿Ss Ƙc~6;6C(tY*`8"oyͿp.VV&Օ/ƙTo#N5zKs\._oeM?Z@GQY{x^b{Ԡo'+ܫ^S7bJ)щ|0xo13 ct龍'|i7/N9_Xk y&#M.5>AV.{][^U*9LI0_.P f=NǷqN7/C);GG1^q4(&h%ǻ$ȦGn*QXa_3;Fjp3QӮ6+UKE(ؕ#髱gYZP.@'jd%Wo7AX*DQ ;_5fg~!5Y/5f:!Cdl/RmΓr)yt'a4+\qՂ7]#nV }C' 3٧<\S1t4]ľ}B=l!8`S̋. Ɉ0,Pk@T7,^ FUCcJ͚S˸? D"}ԯ^Oq ̥Y_k.) Dظ`myBB‘$]PFff<~tUqO“m/Dj9ikH[K@dLҁCk =y 73K9vUj=4#"+Kp!"ڙbQ@I2: Q1"q QEr~T尵%%OB8nz=e|Z)V[K 06:c}.z)15E3s-/)~ A?Q\?d*>\ݮSEBI?3cʕ{:Xs˟%?͆l, \"V!ߕSUsֆZsh,fϓX ^ -ꃖ58g&qL"kg2hV@g>H[?wjHQkS)=R"aA,DL=woQI7C )ߍJy#_mD\ꨠYg#C"4qezRpQ5 u6hE0F6(Ґ RPDńՐPH_?dArGi $<m x|-fNn>/' NB!0Dz}f9s? ^ "&'uGtÐ*ʡ0;䟍cXj C>_ڤҫ$FȊ7qRT<ʍp;_: O>4hrSUS vIJBI\=O-P+Y6R"20v&]qAm5vv4o'诛`eHO^ëR;hgZ6`ǰ3*uqI'<3 cvYxcsࢢש6uZ A`UhU?N2adbX°y`p< C~!4qm,›|HhjB>UQץ@ҪȝusꬍO8wB t{9-QDenF5BJ) [C0d ,Ԁ)~q0Ѕ"ΕʛN% b 3/z +ϲ!aAb u{<)Fr U@d#,^鍭ƴ͞[/4Yu l/&漟UnMr&*MY))\m-K@ы\3<5O77hbe S} Wfտ8@~}2޲oY_p(B^uKqVhY(F<``!UĔ/ WߍN3(Y9Nͣ {A1VXˀ_M { o1HQwIGfwe(Y2*C}вQO}>0gsM 3"F/ xTg1ȪS^S~r6/{Q pyy"}Q`WZqiUI0c"Vcd~(+jƆ=v ?[(mpްu'֔eK@>cџA]: fp>=@ z. t):9]91i5G(DُZl.EVT3OT G,bciD}WA ggHNq=P4FTkX)Ӓ}E,w!YT.O@Կ v0Qg G/lҊhP؛:~[/H "&VDe9ī$Z槠+e#C-($ WGG0a-X@9]@es;=7fM:2wb+DŒ+0dkA[I$$vE`J zgkckt2OivWGK/G09?/ 䲕7 o° !VRO PQvB'KY/@aw!~?:iN^+tP|S`I").@}kب@>W {s'SzTY8{j.!}=|7*ԇ7T7a@Ann-8&g_Z|$~%%|k|3|_QY?}K4ax_2W4w!B%/h aDPwSjЧmo$Έ*(IpW*=-nէ oTxRfYӀuVgy6{킄ciuN$93F- Q wŸ@,>|KYyX D0w/]'S 7pL8XR0zmEmP9Mrx3IS eQ a;Thu $IT4~GJi7"zcoqn>l7&:+%X-FqY0 isRN7d#̷51/~ @|xZ')m5}.(S OK4+ifէs5pOt̟7#~c;kd; s71JqEif]+ߕ`)kY}hk~BL83\LuD[sQzπ1ɽ](\?BM>MfEŒ1E+wpw>̠ۯ7 [jJNjS]4 lANژ6O~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.Live_Truedocument.tex7zXZִF! ࣵ]A-MՋhvG"uIBm5#(LeL[%!|iJX OLQ=Glj[*6 [-1\|DCvtL;8 "y'(#$~*\I@P¬jujH+X\֛_b!8X1D]dU},d164o<8jn3aS*hF g|Y65WUTX$ n _y9f/O8(/q{CsJԠ7qX0XVM,aQA?%<+Ƙ֛jp婻kWwwKw!Hi6^k9C M%<ڲPDzǦ?hh8:D?JЂi mKlwR`f /% 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 rgYZt.GLuQH.3ay>5&8_ /Jnr:")W"~)#Z+Oam:XY6+k%D!47.isf@Lm/[Ƅ]S6 &t ġ7\RvIU[|Ӊ/[LF(xջ^ MSQW%SePoWA<^OGz`'uD\kK+VJN#@YH܏o=7jJړV;k:B,|uargK2SpF(2-#>5;w, ^>$֖Tո3Z1֮R׉P짝Wh? ]u]6P6o0nKbhZBy뢿z2֬ lhMm_.v=#W)"Uֲ4R Q6Nc{շ;:]b `p n?ܽң9P$^`OHoMp&#Ǩ.fZ%R MȢdrt BJ* ÉY,M/@9rB.85 "780a?nړ#Ÿe}]~TNڑv ?6 E:2p˃lCEAg\{M"M"Ë)Lg"| AXqF=ABIu{{' 2?haP3ytBq|GdXiĹƨ,{*D_BasJ %d70Łb1bX) i\:!~{ t-сc2_`D;{t0+0~FOV?,7x^¶cp|{ 4kl|n{mؗaaHBB~ǁu\h:o y1^~3K0Nsvx9ؔ AH'+jZ ~ ֚6c"!/z@=گFoC܉jOu~QtFZ]C !CçQ2[nՄ&5:DS6CX+d6ɠ S[ffvZP$rsRL?__4=WQK =+GXI47ұ”%S*zM_=n7r< JZuh Py?>_qB6a.ţAӁl;dC_D0y@k:HMI_TO"PrDc 8N%~B62#2xIEXD b4ӺX_kjggo{xdKkj{1p-tKAge#SU,%9A*.Tws\dc8ϓV:b|W)222@j^%t\w/P"AqB%"qDIF}c}ɶh^x}-Ě AbW+d5KRlvE̚ \1je5b0: |B_lU3S B =4t{@AŅ&;]3aKpEx]vgb+99vn`~3X.u64ڗ*yc 5);+-xV7[} 7{6eckxXu05g` 恨#׺95iUn$j{[-y8֯$!S7& ,#b?*MoSXMe?eMuUSmZ6Q7jC݁5L?I:cwRr|Ta͆\pOـh0Ycd Be %6hxH{T5^;/Bɦ'^sZn,]ViU54< ȑDG)aT6uQ@ね0JN"ς>.)\hUYY?,N yХuBxz$cC ȾB=GZ;K9Z']̦QO3/S|ske_VpKhL!W?Ғr#4ѕ]RݐNPa2^5^5x5K;m\X],@;-.Sy72- y)ZxҶ$vWaMn m=}VəHI8zՌtķ#)Oڢ{Z?cmhcȴYpJ(][[LޝȘ&Jq?.'?I<~Fڦ:kxpʇlXG^ԧԆsk:2Y"Ͷpwov vJn[,Rh-dl˰s( e}6H٦ǗwaҟA3K^puޡQ79z%7fZI4aH505hKے 0zx6 ˜>u&%Bbfg2t&D0pt'>2plIJ;#w_uFQN,4#2codinw{V]K\?bUΚ]e;]η4y!r_Gsޟs_%|4K|=ٸLOmtyGdwpR=ɰb ]*Kk|!sGӞ/;&?3rfxYvDD$ThJ}hXv7)J MZl&8¹ ]3&K>8M ֎`2ΩG>K4bxQP4S97Lj7Y%wxS8շ<۟5 D G eԃ2 ╉_|ZJTM@<`sMdvx!`3,D>VZ `f~2YDHCWjAu}8fr >_3x8=M?7v:P8j'k nװ/74/s]0Zl:hK QYvLrݷ0=wh(` Y AS 'c cL8x͞NCi hpͥ~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.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 .;% HOL-IMPHOL-IMP.Abs_Int1_paritydocument.tex7zXZִF! i- ]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiCIMZGMCHT7ZN\yd#W^cmqx%)]Hc*\T%`5VzVduȧpH\*4{|^ Cc(>2h)Cζ0Ju+"#tT=HLjaZY䋼)a]"׵07أ ~5aKRj/*>BX:ȵX1̲ U"qh˂ !hݴ%Uwl.BbG2c~aD КIf]$*?BCUMcF d˚dً5LsQSZ )`0ft_zϒ8k&=(eȬ1C'Dm&/~NTZ4K}=h>n܌ v1$_6nDz}Z$XKJt: O$pzd;oeL&G~+V_ԞE 4c eFPܴ=-Z#c>'+㫉fJZ޶jYGO,ZxMuG6B"y;C;WW4vftA*#~U@W+. ǩڿxZy#rZ ߙųL,wJQ<:6/WӽYxJXk GLaUM({iq$fhL'ki/kP@J)-/ -d/&6~ܮQ@A³=[^|ٲoǙa V}Wxj`SϓR'$QORBQJxsV,z8[] Zuk[L.ݵWl唍եuVkI\C<{)D˪z(*:j]1F77Tp˿X α@^[@ϺHh|<*AL?*$qd6O/g{H'{y1喬; VBiL{_˳J8 \WɯD29 %cZ\`uIu83<5*6sn1EǪ]Ղ% 8_'0'ǁ{يt{9|v,G*^eGUd:af}z~-&68a&iLJX|",?OvQ&xnc-}9~l|cv;9Inv;ݼb*{yǙr_9)aVɕS(2kma^ºӊsR%6Gb62L/aQ7Š r^TV>}Pzs2VQh+Xe똌,_$VVp(gN醓*soC|1*u>X'Fե0LH rPe/W~;NxfFy0Ob(bդ0N~I!Lh)"ӊV@dKB*JkQ;BRk1hRU}&S6VڔuD?Dkf|#ڸ 3o;1z'?4XXAS/EbT&X}j*b7Ą4U2TmbwӬY:7刕:BaS$hF%ETձC$ؓVx9:X$EpE ]N%,L FG9"IKeJybvOQ0j+' pڊD-6LU =Map/ gbg6R 9t==SI> ()(<31. @*\Wn,ta)rk鋗oAóH!wyŚT.l{N%IӒU`gq&%Gs[lOVs4A/,>ismNtcDCȹzV].UȀς !6(.h_V`<R=/dɍ8-B4]t%/`Z+WDs~{I:QԬ2OX066`,Bb½]Kϻz{oӬTyduI'R2.A0E^mŝ\6R`)YCH-.W ?DpGjA8/N΅(cI|d9AQ=OY/ơ]6F.u#Yb]F̉ J}{M0%H;1;M?+1B2 (̘9)` 7E|ʤNE~24P .9W)H JG?f!?6r)h~kYk} )t2C^7 :[?if-sr'j5v# | ؕ{ QN'.?%Zf}Rj ~pnh<дJIqtV߻.\$߶0VH\y#~cp@-ޯEGBIGV#ZVlhyް[6̽jA<1m~d5h->*Ť : ;+ ():)oKнmy,qSE?m2t@ &XU3R107,_RB`lb^xfC覰`zK*>d=7IrGPşP),"`BXXUXqAΑ|V@B{VŎ~Ԭ8 :!qfU(_WHWܶuPj*<EuGp8yBlV~W7H!՝,,V[{_eMfVJK [U4>IIYvPaїGPF>IƛʬݐǨVk޼5ce8//m# vTXǘqpjyw,A.̕=U[6-x !Ņ TSc qf4'c6I O>7ew& 兹9H30irY9ZP~)}WM.~=aD|HdF u|L#cPxI9^?ZzQ\ \#m=(~W~eV,#'-gsȩŸC*K ev+ˠAk7R^/g[c7hwLu9{v<ks{) 4 rPPcFobgyU_ +X24-yLè؟A;YTCmDoE^Y:5/2Q'i'Ra..i0ɴ;;D-kL{5 {\'2idOR) ΆQ"kpU$ b6We_ĺ ͡B"&IVGCtV@7\_g{aHWC]`Ypk) ɵ^dDQ1w63v9WlN-xJ()$'~X' [^tt\ԗO07=)fXKeÐ~<_YU]JpRT;_Iݦ;Z|U95BZN~l cK/ #W%Q ph8沓daٲ2[-MeY´L2S!1 éD\2nV"صTZGOS b(*ב7aW>MhT0dN>/,I-N:34h(P$Dwl#@+!H1D@6>*KxFҖA8 {\- Q"eNngYZ I9% U!tX>^ӗR_)UW0˴@aUGCՁAf4^ *n¼,pSɟ>B6:D1gC&TH?NH"6Ai@"^ʾ,+?>oLE_A(/EzMU;C jA)bѱ-~p\thv0)RiaP8\/H0X$'(e d5DTsTL!8V! }>:9GfAi: ud?<~_KGK? vI㕛xю6cbh)"sЎ߇D9^@Hqk$"0]X!h_DT|0C[5ĊblB|R+sn&BAS2DܯCRIRH JRtWi+skQ%= [t&P5}ukJs_p{ )mGZA3HR!S/tlH"ZT⥨Uu+܁^ɸLگSid9 6$}*Ci-BGr8p&4w=y%b:?w]q&' 'rG%DH _?˟CiSaB@n($yJyAЄc{Y(xnj8W.]NҙLk` L iFĵ"oM|4-k"T#@y~4xxB5!и c5xc֓xI wpZ3 0MgpAҎY M (GGx])|ݣUbb߉mtD<ǯȧΊWa=UҦi@MЯ*"\&gr!-Mۡ{v9m*C,ãZ_F0|%cqt|$w> _L"ٸ 4fzղ/, |rv܇06>Lu ;grRuZd_07_n&] Kr-حơbْ*揮2wn,ݕ}j=Y8(_jNl}I_Lcffw887f6pR%9?dp{u_8C𨠈ˬ.+ң iQ)<7<<6`nq&|e:%~q}')ݮHXvoq5،fOwmɫK/9m)_4&JS %^[o]hrYz-ŋ&o|#IǻRW6֝i.3LLb6%eD{^rH!;&XZ}p|=4lW5`w}8Tnrs|T&æ:`D\u$KVwz9krZ td&MEVT;B" #1MjdL/A為|;9d_y̌0{'qMIe]rs̲*!"~Dgi27`f=dr*wξzg _JPz8z.ѕ<0s*%,Jl|,_00vY&JLQM(Bʚ'}>#5t~Y=@#)b@g L^怳4/ tc$Z c<- iˉ %f>+45/׹ (LH]gP7񅘦05SУWxyĐz}.IMDTPfV%*_2i4ScՃ%OL큗_ .Oyg_V>klU߽_CkWd"9y>L0 P !| &9 c{CcgYZ p/% HOL-IMPHOL-IMP.Abs_Statedocument.tex7zXZִF! ]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDKgvJֹ9^ʱZ9wy|gF{.*'Y;Bu9*km(;紘bޮp psiZ$ⲕHar0Ҵ2WImpp1Rwk{ӂȩ^?\{j Kgj.)QR>)?nן Il%EKs|3s?DM9ɛ ~ kGI>3"n+e ȱi_jmx-ĦkMC/=6IB~:W\?kEޠTyfc͑Ef[V z9? XyjY!9mx;c19G' 1\7KOГ `.=Q|2@wzeM' zSSȐCpY%ȋňHA0P+nfciүYZ~K`+x%l*qK%Na#oh⸊Lt5R3~U5*s̰0<з7X2 MI-^X0F cb5炫/Aƴ$]͌uś5B94m-kǶwēeOPCi:^k~ϴJni5;S,9!בckݗ\''r*;2#׺2-SխG[4N+z,ւկvbE\Ta /zBxl7}_`,chgTrw:.]k͏ZԥiNE^iX `}$Ol*$t8݆Xb(lNlh4vLM3F ի/e̓S7j !>WGꈶ`!$=ШILnϧ^K!ȝTb+rs[$q/kV^&'@wt;o!zqr2dy6<^VwGHG7(l)"֜| C2ώ\o5L2;W<ΪwZQ¬92-r'%R+jX3.3i^)X.$z۴YHw=mt=5* M\^[:ȀtCDKsZ2'疀Z3c+ SGA]bWPVe>K۾ ܮ3BY>@8W#,Y{mSHQ-J2-WFAo'M HBg0C$[3< VZW{:ubuAuijcÆ]Q𮣗_wa>Ff2;gX0 '͜4Gw{Wz~$;@ǾX$d5{8L˺[FlidATQjVY̡u')+X.}0S6Q-vZlo ӍZݦ&c+ҺQ͢_N^|80R#f*Ҿtڟ]V&P<7宨%HTg a}Dw$*·L^ 8n QW&DJbHU^얠zVqX)P1Mh.bIK%?F;5qj?oX:q!4LIȮL3X)be{9黌0h[팶]A[Hd bt棜 CR$,ZUy+}vd`v^&Fx=b3ˇc6UdEI:KU5c@^^GxBNQas5IG% F2ԑT`}ǚtqQ0Q b'VeD565~צ.zyC9/*S *n@2A<^ 4 O}]!Ӄ!%5/z*jtt2%f|5w0>3aR"|LnL 4 h$#2'E8ª9SRߎI[kt/fS/\E8HB,Vb >I(%*M ӘdO%5 DRPHwK1^nR{_E  ܀F$ڼ 3Wz^ .k @sKm:doG8f,;¤c'+{$*Y~qm?0eHF~?kS *}/J;cHvCZ Di czjd^‿.?Yo@|QSb\5qD_.F1N29%nh !Nw"ja!]-EZgOt@ZRwނq$ $83 |-sY:̧H=wHEcs#[ z 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 VV'5% |HOL-IMPHOL-IMP.Denotationaldocument.tex7zXZִF! 7]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-ْ\˩  ocZp8xΦ>4Y|ڥBR0b3&0&&. IϞFS-BƅO:|!;'Xg+{y7:@G}}Cņ"Me: "/{kjqHPɶc}gѫeÍUiۻ{ ם"+huNbjH[0e1m2(+?Nn -0 8KR#eyLXc\ly|6-ʓ6*nېGc^V ]aMbDo:ll|}2}08 |(mA1a ۑws9cS&du)ڬ_6f>:l%ps22 9a>ի;J~3Bz~j[ILd'Ɉ),ܼ'F-5Onֿ4D?{[JܒE)&6)>N?5xC}XX++! r>PAWrmNDz #]5} r1$4V|Zm6u2+NTHEK!=_sL{}7d"޺Xahuv9B2CLtUHPZ"JCßۭ_KzaBY{ߘŬ=֙NGg&Ae XcOU ?MJȟ7 @HNiZMyɑI% 6-z_0H-?C*7ݨݢs Cp6egYZ ))T7% THOL-IMPHOL-IMP.VCG_Total_EX2document.tex7zXZִF! a. c]A-MՋhvG"uIBm5헐ܦ-1>Ixst 0Ռ?OjW3lKQH8cZ%::l!";lAa( t#yw16O/ nl+J;YŕyI5?V$̻܅ Ӡۇ"Qԅ]E޴F&zDHG5#Am!5b #G#qNZaǕ}/ Ќ->ﻻXh|&3~v+ciuZKˈfq9ojg{}Oz=~^r#2^DFS䲩.#>Lyorl/sznI[εq7=&ܾ|VT @*OBIwx-bh8eˇ:>B`m;GFGigҗb bWn\Z}5F -( 'f<؀7ډ <6<V/˘]aB஠dFlCk=Qi`GA SzX8OE?*' u[{ &"$[/ NH Z!=lL\%8 E<[/ -f, . izT*F x 5/ۤj=ػ+\Tӧ,JV>lU#Te..:.ŷsތxX6Nh0e_76"XPڅJmG8 ~{:9M2hj99'k&`܃x1h$ꡇ<XJTkPfOn>(7F$YR-#Iяt]<SKPB@<r!.ǭAkăhWazuWO')d@>ۥ y?EG3WLC@kpXHJp%ZKvnݴMVBK' ='{q xCoW"rZ̎ddShΞ ˓Z1tZS CE94NiQ|K!{cme嶂Y&NhwsW kpda 1w8r }&/?„ tP7:稚 )bsf&c(A 먘7KXߙ(%T =0+<λIO{bQ뮌RD5U;%<y߮~>WE,eo&fdbM_S;M6[;s:Q[aRL"0hXm3 ߊ ߹VciMa3&>@Y3708Mi4șB)"V2ywLu MR.g]VҐ4UxJ_v]f;vj ٔ&^&>}+yb ՓjO8y8Ww1>;%RK[hGL*WH2e5s %,Ûrx}̌K$R_wcX*luCĘ@;/˃/kw.ȧ%yTd  2m%<0V J0g^c>yh Ǥ<{7D|[?DGp28"WDbpMG @b~"_a~hF!Q#}Ë7 $U ms9miQm1G/(,߱2ayyNB>†AKM4(/0e+G f[k+!S""A+ \4nJz7]`}b$Z؄.488ě~s&--ɂG*D{ gX&^SdK،W\R` %+U'c$"$&.{֕f[d bn^yӰs2ȅ kjU)Lm&}k*zUVpwx*^i*5&Mw;KTk'(OD㑈|dlɥN d]t =qat05ʝV0jQ&M)_yyh}/^uD~ "t ?Г"/9nVў"qzA&܄|7o^ Ƕ>17]Lޓ;Sx_fM3^y眬-[!+ _X}zqHik5B芐+$T'@7iFB/}J͗oVdۖŮce'kzkkH9M!#) 2>YLҶ/%fe5Ehb' .bfX#d ۪B)/XϹB-{C\>5wMك2jktgYOKVOڍ+&+JM29RyT}Ln<-Ec|dQQJ?+5iQQJ$Q@#G!q\f.@*eX8M s|QC<(e|O-yS^'!&?:WyT9737Qd㿞x u!W٩E/\ 6R,Ohvn:m{($"cbn*Znc6;2, 'N5UZ:Ti-ŀnxVO ?#)Y|g[ 1& ȜlaVnjvU4hEkpR4\Ix~ʅD@xmop&ձ (Ǜ5r} P~1'qkۄłR=a+yf؏xovQ9ʺ]:U3Hv8:{F*E0˂ jJh!3K}N/.uą-5ѬNN\v 3*.,JtE|,&V-$ t\5Enu9MKRnIOVS]8!nIS¸]X;iOtyqJ?UD/Y ЮwrˈLRpi'=Z o䋀 #N 6-6ǒv,/R ']yOEB-_=P^Dʱ= A=2uMo_f͈ѫZ ,‰D 40A˜V$hL4uKk|?* (r|ԚpyR߷+iq`;42/앍3Yoy/d'E/HkbͧNS!BZ:m' 1%n4i&8[f㼷cfmZXǵ gJi.erU< /uՎ!b}kkFc뎭fe?ڕi;־CgYZ u9% HOL-IMPHOL-IMP.Abs_Int1_constdocument.tex7zXZִF! g8]A-MՋhvG"uIBm5yy>c6Lܙ0ȆLDK_TvwYiCIMLy~݈z1wePs+byHzʀ;SqD3J(uZvdoU4Up!xoJ:w:#,?Q i$4܏x4|Yy뭽`@;I!V܂D0An:y"+Y1SQ}?&:o4,~$BҙA-̛q7w`ky\9\%ؾgy7{"K_/)T ;H-SHߜM" 46x֯ c@Zo JCH=٧"ٱց9#3+<֒3iMj[Ez3}cԙ:mt3Bz,LsvQ2X~\y"yhGv܁,i _1 6KLhǢ-"ϴ7xъL e5tܸQq'½ԣ꯰20p_+/C'Q:%ɘ2Q @E*m[r*ҕCrSM$᧴OQ|5 ŪtI)^Q h@WZڪy#G껓,~s(U<#Ў8`mJtIaM)Y@v}2Ţڡq^ wJ]Kovyeg*^_(>1J=Go6}ْ0ހ`WM~a O]h$c LN}C/n`|cpTl̿t35} [*#p )~VP.;3F3#k8֤4%>g-b1H)>LTy*lB`ʽH .x@2;B9l(}Y8qQm_p*LvDYI<€Xpɓ4{؄fJl8]U'i VѺ TR "j@U=@"PO4+[$l]sb8L#9r)=jl[f FBE̯b|>ۘ`">JGo2ܨo_1Q%=8bʍ<eQOR4e!:X'QWolaZ@HEmv[> ow7  BSX^ҁZ ks_7oN'(ɋ6mۉ()11mb^PP=U^qjWx)hMa#ng, λ}S8 My GP&r۔Jܠ5&v$ъ xΎ,NW.H4Vq=艢rJ7)Ե?GٿM|xMnAbcbֽP b1;zN]7r7g{fm(+Ƞ\ }~'_δxKu%`z+G]//>]r|X]wJ1c{(SkwŪzL{v:B2Lq⮔WljS-eUcA'^5 a&41UBc!lH7,ݜfi3ɻ͌H\O貋BѦ.bS}qĴjF`pJVi~ӳǦ_%a,i%X`|̫tۥ7_/u ߮JaSX@#|i$.i5`q4B~ ءY8]޹RɁvDj rjja" }f/+OR}%,J,4BGpK]Vy@>XM<2lV֊Қ7R0bqbp!|@ tO?oRd ]{TsF>ꚧ2pESd.Wu4Ǟ׍z"Kr#QcŊAc^[6xnj1&|mߴ%(c6|XS/7h4$v(ۚ%$z`6 p+X$ 6"~i}ݱgYZ q9% HOL-IMPHOL-IMP.Def_Init_Smalldocument.tex7zXZִF! G ]A-MՋhvG"uIBm5ֈà"S nv MI~\S8 _qHz5|;Bpee9( 4# [ղ/w,΃]2H*AeWْl~FD(s4"6ۥ~)%*A#i6*k{U{Jqb-ϛ;7SU&/}SW_ΉT%VJ7rmN:瑩5oʖBfUp`Wؽ\ߧpEWIs i,\)D䉖e!)/,-JUy}T 30mk4bc b &tRHу'ȉH2u\٠'KiXyYtK~wQJӼmwc#AQ̺!9]Fy"N?b7uf^TCb˞YGX|v Uh+9JS‡MMODYp*vzQ˭W-e9mM/})]_|3=5o}2bCˉ鎊KB>e*,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 {%% 4HOL-IMPHOL-IMP.AExpdocument.tex7zXZִF! > ]A-MՋhvG"uIBm5k k,N_ ^>?pLhPD[vq|U4E6LHK(sOyj֫J),(ȍV FHEɮVR$WH[B*>8X&}s8jhYx&aUvy!]Q?T`euEWe76K]1"C A1SR}^%_!1c:9=%&6?l Ɖs'8紒(/+߽85eV7S}f6? TX臭l  Ԟ0!u0u,Kp[sakCkilt=GىGހp'K60M#(]dC ?*JcM1YO.gKrU&?[8֏fץ|McKAQ9R{=?#DklN2oj`Aã~سq^JꗡV E um% xjA~ !Dܙ[Ay4_=\aZu6c:eСy&‰ = PM2?ӳIV S( ދ)Vѷmb؊ "܍(AY*\ tvMm.6{HW=T$9tG"523]t "IWʙ`;RE-~'X,(iCa [x(8Iezk#IiS\ l5Fgivԩ%Gp{ɛi#2KIixs$ȲH7#{iDCDmp``[}܍z`%-*B$镈&c$aǨϩւS(+JD j''yC=>3Jh@5^0Ҟ;X3pea_n7ʵχWMмeE[)b[6mE@h」H4HEN8s)UW*:%x4zhƟ+ɍ߼#uq6ݔeɄgQg}4%ʷ!hM'3a_rZ(qI&/y4[4ۓ!;T\ˢ@WwANINE]r61e5Y@.BACcTrUFS5K|tͩ~iYRHb,dh2;әןC{?@3YE ed]\hк$Lܦ:r1t[1f(>7 YԎC g"p;*DЫsoPiս-5WB\%hxͨ䨺_r?6<+w(|4As)JL#|1 ixR ô1]7Tx/!$XD'Hn|H&w('\7GI$W翁bƱ<8"䥚 K mL9z~M*S .Ak~;C >:$|jIrrz{sz5Ɔ#LFe9p.?v/iGQeL`v=̭]|H_J.3%m'%LbC4]"yFQ51bd<@#DݘsJ5Yiѵje~cTc8VY #7\d#61[oa y%>̒[1 U]]z ;ڴ&>4g8bH3Y%ل=1TΎ&FÞE1OOc Yt3n9N9pU9#&5$WXyǥwUr5yL.؉ƻ抚7I!jlX;eÈ.nxt4]<)Hz ˺am'7R$M>&b{ +2gȱ7&G^̨>SPp7h8sUGs+a#Z>Lx$]&}(a_zgYZ  x_!%% |HOL-IMPHOL-IMP.Varsdocument.tex7zXZִF! Hx]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[qG6-Za0 1->_USvCϡ[۩?2?6T)wBFa= wNM3 O3 C:)Dz7[Ȭ}X/RyCFjKR:~J ;2: eQ9P2n{1er6<(q1YEөoYhYxU5*\!~N$G/uL@6/VlgY?]ɋ85a՝#U~4Go7 ز#+93~܌4kXڮh觖PfrNo1k)6Srg !BOPv,Հ]Faw,/4L&ϑl#ӱgYZ 1% l޿x "=>e|ϳQ;LLqMjn+ Ź*dA >Id_tcmXɖP \Tm=\awAYiMqdyxZc;GeFh?;7|sSa1 kG*09O]lŠ)JUr~Ze] l-p)|<|M7Gَ$YR( +fe =%.E آ+ h~jkTm{>j7AfqY F8DgZT0H-uMY~N!=ypÎJf+0Pu5!"Og&)I30'ɻ}l4,3_;?a8n<X5mQN[9s-BS3uhPMj38RNobL̞`/wDEHw]9(+^%e.XSǸ" `rQDp+sӘ:I) L6R !5m0$0%j+/Cاq"am+Zp~]3_L֐ɧzCPr`}Vc"ܔpp!s LӡP)ΓpCe.&E.֒3E bH :g}7`UZ,gѻX *y0ξ}z|."<Oj',`ˆ&;s,4,6jr_mkEF&u9,̡{NpГV m3fEX:)LAÂ?0XNݘU#ۣab I^UMAce倈1t;gJwW =LsжDm9;~U%  Ien&mF-@ҁ!xY)O.wǺ\A(I>Lٰ6e [x )B5w)]JF0u7;|o/вgEWx+ONBG▄J?x My\pAm*z-W}zpƒ fm8KgYZ i")% 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 gg`$'% |HOL-IMPHOL-IMP.Hoaredocument.tex7zXZִF! 0]A-MՋhvG"uIBm5ۙ!Ybы1uVm|3hEיzxϘ6)eSa|YC=jCLqW#Q5TwlĎ?fD8喊Grv~F<*?IOe)>`2젲rI'WC' Ql]:H 2@DLB8h4'rz@Ҧs5U3gh!lk ]60JFϣ4o`zH2uJD4'kIjpJL%", d&E}ʳ!Xį/9˃E{RϾGUQ}D9=5yd,m С |ED>~peMN?/0m𥂥bquzy6;FH*EdhvU<-pEՊnݻB֩5 r7"yW\I6bщ oЖH3p\ TP94JQ34X:3yNCubѾG2*׌~[hJ.= # 9!CƏP6&z ɮf&@`˅ [wbH>xpF?\@bإ:)3ng]Ub/.Nۼ/5#l:{2nNr$du %Rn9 \uwWUC.`]|8i"SR*l+#h* [XժM^Lw(Jl`ueZqRא^ع@IܕUfڑa\ (SEY|IA6T=havx'pe bˇ@9jKpih;AV^ &=18gRv3Ɣm]hzGGJ6$N2Y9򭳽,áUώ#`4 ո$+P\W%S&t896x\lGiLh f͸c(W²=pF!2qks?Ӱ0]ly/(ncr2j%-i8wg;G5ΜIsd-׀q;%MTdH\7,"V|!M*N8b凿ɁEԬ8d7kO2lَ;5/ Dl'гݚ^vIxst 0Ռd,l_hl#&J6#co6 MfM*">QЉ^ֹ`烲ca eӗ˨=5ۖ8 h8/(IG!ݎl$[$2>DCJY (>NG>>0@=nW[.ZFó>i g^9mnY9oeD9̹Φ7\e2SbTھ}{uxa|:ŋ״"cs!P?-XSLY9i=V7EK;Ė5SYhqp.4yL| EqNUu gi<7el3+1EIXѦ+.-aVZw޿qBjƆgTwjy*Z(D!kګ{yCN )#)JV fO-Gɯ>F?H sEL'Zbw-F3*D@pT~jwgCͷ{m^Fiv=欳/46[vDD[;`xP)\PRWasZaޥ)x |cgx<ڷi٬uoT51%pgPTȺk]JQ'fy@)#Bd Te{#c`1gqbTY]`ڴzS8U;}hAYuotY[SxҘ˥zOd|~y:Iا1RkǩvmT%Y&[ >6ߴ8Z…/j'r;nׂ\u[іViݗ_EjpF`1"|Ɂ~)mnp" HWjsbJb>u+aQ>rȖx͋[iZdK00LtY'=ز$kKrT-wń5KkZ{oU;omEVNR x\LPo%ܷ-tثZ 9f-lfG qGdcg##*lp{B?=8 cG/MKj3ncnt1?s}"TοHs|TF%ż8l)GL_o9At>(\?-Y]d g&wbc+Ga0< fJCTK"7ËڝgtTf  I yajE\ T 7;MW>'A8Y2VaiV\w bcHy0vƧ)cs qjvijꆁ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%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 } }C(%% DHOL-IMPHOL-IMP.BExpdocument.tex7zXZִF! -]A-MՋhvG"uIBm54Yk,N_ ^>?pLhPD[vq|P3*=|TqC @j9cQ~"v!O-3|} Sh}&q/x\ؗgX mYXu[edM PN?<D^fn%=,ASTVٺLĎҤ퟿1l0𪴗y<>hd ]:IalbEsYUJ0qp8]tkh~!Ҳ7:\QȄVIEZ9fâ5_&3[Ўo+t\iDzZIk+l /Yd`ۥ0g nfۼM2Ag/? 3\<,}8 (#ZMULߊd̯'oUdc:$0uv\e)IZZ Nqns*mCw(' K}0%YE^}gL6 :W aK6ldWSq}(b9cVf' " 䧌eZ[f~?t~46(VArBUe fb> z{r3:Q>OfVlsJGt{ה&NUϚyYx0&TAq[}BҼzxBL?zrҬg~ze n%KF")%ؔ5B!X&l ^5 }pV{N31#M[VQr0,k17DG"Tj8Ş}BgNHM]Vo6=r: qiݚP.ˇi}m'޾k^noHЕܕOX#qhx}cLd[Pu-Py< -<!*QʾT/y fWZzo./O. q_<.M2O˕C1^ :ֹ{u!v2/Q/8GEyl&(4To8wiGN Ks8 ]A'UkK]\ nbݲb}RGJV N(dyB~}w@@ 5k,x䈂@w\(!׼䗣Vj4j89{Λ^ѦEE Yzp6{EdbaB@tmdmtQ k7Uv3Z8TISNUIqZH%QcSEU ;Zc o!CJna; pyS㛥X=GtvhOx> [p^gYZ:'C% HOL-IMPHOL-IMP.Collecting_Examplesdocument.tex7zXZִF! 8C]A-MՋhvG"uIBm59Vz}\ПRаD Gև]?{;tietaɼR^ۚ›Zp:Ol( [˼ƳD*DΧ c*-.v7KEIS`1Qclm0~]mIh {>w=$ڕU^c5u_URWJ{2[bdHD`+.|L D bjF;AT܄pM)%&J9@1;0sEfj\ڝ4O֖`=5q3lA皂hhi]Rpި<=,C)(hIMǗeUFa0m-itx^FV4X|}AMO"HtVfY9I(vC׿'4ɏ.TL@(/kN4,t*C)z:s0pe`/fw_s==ܧ0FųUWRb K kHze@݂"[!46" Hpȳ>bʬT(ovOCщW;6m-nP8a,Fî _k(MѨx*NCQg 2+Mbkm +h^4e?bĺPG>G?Հؙ10KΪB>3R$9JiKnbb+Moyv&X./  Upx,}iX?:2>^ˢe\cx6r;wǾ 1n[0: BaD WYx;޾)܄؇w5S hуiϜzGn=6KaWF5ѭ_s*e1/d{9GGSP*"|a wĕpH/vGє!ViT{plԵD5ߠ#~6lk;LCFnٖIpF8ޫlڨnNG!*RllB4ΧFG6vtom4)H`Wxaf)m)zU5 << f̟b4k9WC.%J$1Uu _78u;k }&4&kZh!A%y.L9qI 1:p޵>-}5/FSc~3 i uwYx{a'ʍ'p*=uV:~"vJcUK`]`kwz;[%L/!j40zo*iFY p7Z3gYZ *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 D9gYZa)9% lHOL-IMPHOL-IMP.Hoare_Examplesdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ۙ,H`&Šk[ C8ji"[]D?~.c>jrtBڿ[6z|3W۹Z)Q21ƒ'Q`E#aIK!aC0 ]:J@vV֜SRo۷vniizA-frSrYS)+U2|gGlt5ĕNUHE} A`O79,8 7jn$0\ t$syt󀈔tN2Wq\~/Vw!S/ Y wlrGEg#uwRxt 9X+.̧/ts<$Sck~Q3KgJA3sk9L=~48 n@n###"栀mF|Ś.1,R-JXRuDz,> IӄϸNgGlG*Sc=xL_BG`N,U9M66[7,`OllR-#% 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|9Gc6Lܙ0ȆLDK_7In/hj2ȴyUqxc jP5FpÕe$:Yƿy>i4 8񪉓g)> ;F /7T*3 yC3o K{;_ Q&⧩BWm =?eY鱅 BXAʟiW$;N+ <9H-XXiWQ@,V߭%|hg3D|I]I.g\ ` *3h?ڳdG!|vwđ82XF3Uĸ-g`2輪Iuc@9HD9C=KʬuTNǪO~:Me&N06!8K"؉$j6IU2!@*$0xldtvK\$?Q8 yJ%xKˇ%EZGDHX-)rO't/nŽ a+b =ޤyy) װDn{ ZtA5ɹÞR4 K: AXMLΰpAPx/7!r#Hx6;(rS&U_~>Xn䳽ykL4㶝AL0J721q9+T*e䑹a0KfmO\'wیGpUcP!e;.%dT+爬fj+4lW5Q&L^󻵔6Mc[1jUd'["[Sy(LzB{!͏gf.욱gYZY+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 # # /=% 6A{e oi  HqXF׳jO0\}z3i rOdPt@-{y@BhJ aJO>'BtJQF$'\Eȋ>"#Vo):"8 l#i_^w ׁd˜-Xʅ5vծb-WIAVĮ+dw;kU<} hY6@}GN3)Z<'rX:;b|hg.%vVSdo$12 Ynͩb .6|!x:M Q>wS3}o)qD_21r14jn"w%K]؞Z`9rťs1*]&*φP\Ye^`:&1o'Y#aOWju|OH_F6\b̂c8_+ɼKS,(T[iP}X]DN#8n8 ঋi$t874%SQU64||;zڏh&'D\9{bw"=x!^eS!x.N9|{v6N"Iƞ~Lb")y@ԖoF9a|}4JW?┙ӠkbEK;UGF>/W ^CdfD3% #-!* %mhn8_C9t”H;~=] <ܱgYZL.7% DHOL-IMPHOL-IMP.Sec_Type_Exprdocument.tex7zXZִF! (]A-MՋhvG"uIBm5C16xco"=y +htgЂrQEDmz0: ѽ xnl`( ޗ-l=1vjT?D>4:3%K*}#i̦il /@{zpY aU=kXm?i|Yx/hOH}zKH<{u  &;$^ǯi Z5mndxoT/c`+,z6O4AvzoB0ѣbP8(*d_)O0OթsʍDt*;{6D] bavCMnhxGc.~p~f˜F0 Z-XBWGpڏ/Sshq-d]X=s`8 {`@}qA+'P TqR{'ZZ>ryjfϿk/`&ZFHBU[sA)xIߝuѱ$HeUS(U #T7 _ś|iBXf\Q(L@ʳxt0%g9YULS΀PYl`P{ i mvSn lmxpIr[d2<%MsttN U^GN['B^_m ɼ9aePωwԮ Y2~/i`JX GX 4wEƳ1dfDip`$ig(sCT66tHf7"*?%ޞIC`4/tMPIѫ - {6>QplX̖K/x ?@p ì)uQZ3MqCUXXq>W*4+ ߦ:7rKF8<*ԕUXTGj i,,CC[^t5q"CYlKd8_[Ah_6l)<3s.YH2^KH@jk=&ʟR/*20:ðy )[Bw- s~,Nz, n$ (,*=Rgszi0ArlE53|UUkpX )i , S]Fwm1ijs6iT^43UtO)I8g=Um`[ΛHd,Mc|48PI=M4,HwŰOEdCdO(* DW,,嵄hz;ut8J!Ք]vgh*!#oӘ+ ړ1NqXAy=48"5USZaЧ)D`ÕWQ-KU QhG#|WJn JkY  QegYZ m b<mL2'% 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;:$gYZ05% 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  ?65% ,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_ȱgYZ.43% HOL-IMPHOL-IMP.Collecting1document.tex7zXZִF! ]A-MՋhvG"uIBm59Vz}\̦O.>n=n/Ws?hN=I/  j߀BC)cj́}Ee֮NOsMHbb GёChHۑ2(l+'0f0-S +đU@X<ib<[0c_Ʃ3R?}cQN}"36OuꊟǀѲ?F/i:B_>O*W"fLnxmAv ?F|'-kjA (DA*VeӫzN3"hTc@C0NoAΎN T9z] mG9L(p 03TIe"Ĵ6r6Й?]cRprע9,}#TbF&^k }ie8OY-b.ȸC,'̫j^!GEX_,ti!}) }1X.K`]r!e .韉blv:P.8Z@_Y<]Cq^8otELXp!*g3Z펰 "pX5uE˺!'dó\(ySe lZ؉)O/]EݩŇ蚭 "/ 6O~wwH/LG$w>ڛC .}+_+5==A(uT/^ >*۫eC"|5 j4glRJM8ԌEd_3l$4+U˹ܫdիx SRQ7O80za/R&aAwOr?:"Y0Xx7ϚMk;Gv5 |kg#smY3{3k=eoN;,&3c?y]D.\zg=4CFC;yJiR&mˤb=]{OGDw'qQPPewZiX_,!,h38%2ayR:HÈkJ&-ΣӀ{l`鶽/vs4i,XEm2ܕmsF:jl\y10k<7Yw_<.3~؋FSk YU"訛,p+@pwn,_F @]gYZ 3%% THOL-IMPHOL-IMP.Stardocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȩᶭ{WFlIN|)aOkq8ޫ>(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#n_+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ٙGp8k>@v(J [BE}9VֻB"i8{ N~em4[YU1#کDA-^'^[~X ILiVّ&9-@z#}q]-uv eDck]Zgw~%.SoCRx'V%CG Liѡ.7I{]"uf IvL`13.ryv!9V_ ,7cl{'>(tB 7hK1ߔ !V蛎0HQu-4%.5$_tRKTEyUO4fs^ nɄ ] "^)x#c-_i.ꯒQ!{kAigYgD摑'CVtwB#Z&`ܯ(wQq lǧ#tc^J}8[<黭f_bD|9kgYZ7zXZִF! O,L]ŗXi%D3dT KYK-e5ޛ|qz8Be~l RtKBzd??S%l k%s<.g6TtfՑs-d١zq%vGdx 0IF,r~mDntHtSyLE>Kq["%kVqߘ 9l"ȱ)* ! #j"g+i҉peQBCx kR<pbDdlLT+`_bqҖ.|_-ڵSD=n-e;}|!cEJ-sw,2~|}$V#0_̩cnu'lfAL`AteT-j([PJWJrFQt2cy^nt7)ՏG_[BzH0>ĉO0{!*YD.5]>-wmBׅ#nkon90cДnA-- ⇥ o(?GA 4/^8V 66 /oa`@gwU927؏R z2HڤafӋ[!~Sg`!oU{j214(\٢_|;T[BpZkg^Xn>n7I 2 3P>M ;XZF@<.c}0p魳Y'Pfuvwku1&3 1wBo 񼮓Fvl; (fe=9f5XIf nMSX< ?vO4˘MP4{5 {hE)| ULnyzB0*zXjJXXgy3ak蜾%쁉bK1ZU6uلYvu;Uz`sfb8~l8!roٷԞiΫT*a;xc0=ɀ\{ow z0w d`a}0egxK >IEcᥘdɟT0C[C66R+= kDi)۫ѻOO<:ZG g׈`/pSbA5ݝDWGPH= `a$1_=->-8==`2AO zi[4N|k7q6 b [Dp,u}#FL|UI6A6?ǡbⳗ!ML1';bz{R-&ht@ Al+[@N`D Җ5Py~6V}-3 _:~\jK& `Eu_ NiA5xzb}GIX4v{gFiJiѠ9-үTD;Ȳi,p-71|k/B 5+PKПOfUؖ83!@BA8ҥZ0R!%0~ib_%.kgB^XAXWL $xN+9Tѣ8OȰ s ~R^q!#+$}|tX.pK~/}z˯C fҽ4_=ؼgn xn7D{,2-TF ;z' )4zGt5f^d?Z(U|X [Z5em nCZ7 Ӆ|w\/rAN6]؞2Jef:ɵ̈́>ȵ[Xؘx +I?=Lr# ${P'$ 2!g:3&$b1 i4baoy(Z1R0Ѕ_EӼ;X=FFI+ wMdL>Tp}(L N15VzƊ oAאXh/J7)b})-ԝ.&:֫)WCTl[,(ñzMo׿+O[E-}e`V/ 3Q.l}.,p8̀x˜uP9aJRBSHk|V L.ioc:jQe|%aE;By'2Y;\s4Oa~'EYH|{`hfyݎ@v!<_;16|,׾}o4RMK1KY#E%e" d?WQstEqJ\HI̿/q]vJU2UOY#hu%_HgY.C>r$tp)T{iN^.% 3gxwl!p_|˼6 w`eǶ<@{19dE;='V(3TمE6 1QBP"Yx_q.Qy:诮?|(x&i-UM^iZT?hP~_5cBۘůwQ{-A*Tp{x:js n>Z!Gy"BgrA 7UbAGˢƻIEpߢndbjȤCl22\_pR`/q7EА%$-wx".J1N9WZ'phj@> \shTD7J+ܗd?$Io/ect1g %+rd,VՋV%.WEvyb\7ҥWGj?֘GLWt5mrJ?Բ4~Oc0MĠd1-0T*M#JgF̅RiJ1b=}99z\3,3{SsI7VJ{!l}#Sg5dk`"%j/žt0oZu 6\O1Jw:T@zyh'$0V񵗙QZ8J_N^q4kj)z/h]tL a1p^kb8G4eg<~ q'IG$f,kdjw$OOZ,:&E"YdEࢢ%Ƹ<)Oo<;LnH='uĩH]a؍8+zNk_;|U'OID[>Y?\FZ-#қ3hRC8"yyC'_8Eil6є#%B)yV0+XMiȸ{/I\R_0]t(KLS3}"k_ Z<4%-ZXdž9[:G( tw l? ;\vt]mܒv>GmA۞-&YO1=w9 sgd+|CRKJO*+; )f|=<'~Maթ%zs[sM|nb<BQiŻ+vQI ޻bU$ojq $a_ϤQڹ8nzek#E0 K,jXk޶kW5 ޱHYug5 HKEX@8qf7+5(4œT MM>;Egg )V(;)D%|!Sx<n ul1_Q\o@鋛@MS;u9GN6n~nJfH>&_̖ZTT@`c*M\|; rp v((B¸G9AcG-,1bx2=́xQx㪹2y|aِ4j}JHsCM+m?-3|S)*_MAb8x 2@Gpag*^+6S g7P/=@5&zECTHU~($x|%Q|)&/Rj½ZQ7ƅkBT^8DF47Lt)D+M RYI?.)qeq#20F|rmjݚ b5#U(INlZoד2}yWzKj0 R.A__r.=X$ZX[O fK 󇬝-i"!w}g gG!]~PSB*ƔvAINo\&}a:R",NI\r)"-OC$&#-7F@, c+\(W4›Gs`9<^5efoX]eĨ? `"rJvcad ylV(iHBywF*(鴓=c뮚Ifrhus_!",46ɂ~d`n;τ3*O(RvQЃ<b0`5_2v5W;jL-Sbv!U'$e^la?PO% A92Loe8!F;I kՙ9|*T&>J'>2]*r*(VUk\fҘd'JhfGKTV&){9p,7 I R1Ғqe≞}ěѮr^ Xt"iN!߼j]Zq _K{Tulmzc++B yHA;wY|Gᗔш&"mk'e(G?D4@6,mpm=͞S6E蓁 /aKd>OU,8Ni<?ZKWy'o(UdXGdPلAh*bZ2UUըD2%kXbx*X{ Jq\}l]Lgh#X2E5/GɌo!$o=Ї.i;RfM7''V7~3*i[<0*Z[zO,b2tw/1G=شT$X-g"ȇNk_N) 1q.Rc$ ,,ڒd䧥Ljti%=H3UJ`]+;o}Vm⏜{'|%^N[D@hMx&qnrIk/v b4LUO!AgV"ᐵXhI[STjLEJz5t3'K.;βHe4FW$<_q&QLb )x:O8.-%{+*&EŧO/ϖI'__/w,t&@SPnwd!؞n^9]LT\=s?U3ETn.Iɔg%cG2zc2ELtv\m} ЈPCv%e~Lv1FM""6*ER{[jw1NPv*Z<^= nZ3p !Udp$2QOە3vY|hTv6֯͞$cY`57nyW̐jYI2̃뫱ۭBm7Œo][ID O0R> >b˦jW8VlPDn=>%)k|WK~:Ee _L8,fDr$zTp2-c R$ mc*'~Q̀Iƚ0lk#̇JeI2Gl7_Hi!$"W"CJj y4piW6z[ iYf'p3d\%Tc2Ȥ6h^*M9V ceټ5D t@"6Uh(ٔFk)  w87R4ܷʇ4o9*,m"8#q Ew ,E{ʛ> ^9iWx>{2L8/;Xl =t;joX'iHGX_ xdoʏˬ]~0~ lY -?[{=q7d #+s<p0sDVbn1Sfj;2)N|nE@8&FXG3P%x8J)k ;?((y$Ȱ9)8>TuƇ\FE68'Q&'a$H#9/b'/|Yp O{䔔Б7Lǁ/;GOpo/*Hu.dvO0iW)GgG_M5u9><·];%oo0UJPS q1> wS3 ;6<_pc#@~d̤E,o(WخP[ .fxcHkߕS]B[;w)NX_#ưVVƠ9Cݡa㸕TF+gh4 L{ͅZ砟(AI^lithP?Oi#zGJo ŀ0.l,QdtɣC+B"_.B9$7o M]Lxo?WV7F`> Rمck3bFV 5{;,0H`U!d*:[9_-3@G'%P6e<NS:"1"yw곤/Nք 4p.0:D1 wc'"CCrW D$!B= YK>լ JL6s ^@3GQQ7kJ0E(H8(EKo/]