SQLite format 3@ 4.  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 R% d|$ ]w]Sepref_Basic:threads=2elapsed=23.569cpu=44.600gc=2.472factor=1.897zXZִF! (+]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 h |q@Q=_5wC\*4l>!M .9zԞQch?R~$nLb}4"Gp]=Lc/M9;d<<=§l!ZߺU<]oFpHZ?D\3CU>oެpx6 Q(612Υ]aCN .<` 2Exv@A=Vuȇ!bco٭4].Ւ-2wqb*{Ny>p}4xY$W^5gSз*eqE2a@SwN zHϡPX/n ؋m"Ra_ P$?.-vvdAHQTZ9U3|bJV1k0.!L(/!x ;$*ցpy KXrSv9|;Hn۵=+Bov!C7F)WlU"rU WY~pˬ27v@-=d {gqv'wcp<0_1 .Y b^ ^dϴO4R?Q'_<]Wϗ >81acdSY0ENCF6-*?/?ԗt]_[gaIH^FY\ ?M~ArhH͈Shx$.~6fH*C0mtZ$umا=@,6uj2sJ[W {./6ԩL 'MX90f3 nu1s՜J4f>FbF"K,kgsKcjꭻFe^7fÐWNPG@?ĝ&NZS{ P18*+,fV?љxѬ(#L;#}t:%MƏQVExQ5`ɤK+hݣ%WnQ3)(j"ǪmafsZ|9Z,8rzk_%jޭUigcGy=[zRՀl$ #E7e^*P^_zZ Q!/jKJKtX@h'!(t ߄ -xSB?S:]CjCVuzU .qR !vDy q-\? ˜RNHUY i{6fS+"\7>:DmTGk6_zZ9d)!a-,IAoy"!Yʽr1>h_)uU?$FSj~;[d1VڿFȨT hNy_cBmsÀS:k\z후ysp8tZ*ǦvՅlL8UfK>'r a2&"ih\N0\Fi 1`Ұ-xUy%9JV/-V \T P:{ǖ4a%\biB Ǹђ)tvezic/4X+KIfY .n\ nf^RXքRK7.02tnyiHG0۹XX EO N{xGΗ}=a5#A*<.*)`c,=[@ ?i VU2ĵ8!2<i:Ԭ? C,:#Mijy1SHz'fYzrX'$P9[p(-+'pJ`DĴ~j+瞜Lc ד|Ifk>kA8Q+[U8ݝ|/3_Č&q 7Mq@N.@u 0~IkL0Dk^t3sCIJ&jd|VjrCi+|wWL؁Om[`L:@j:*:o@_(nKLi; j{gYZ4654d53463a2343fa50c4a3df02d150ee5f18a1a0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e 87bac576e771a9f5831917f2060c142dc9c6e504b4b72f8b5bd3fe1f3d9c8a06ed37ef9997e7bc16 % Sepref_Basic 4R%Y% $Sepref_BasicRefine_Imperative_HOL.Sepref_Intf_Utildocument.tex7zXZִF! ZrFK]A-MՋhvG"uIBm5ȢCj L.@&=`Igzƥa{b/; ۫1-`pvE{_|M~m/*->9v{-f*gn*Ά;(d`&Nc"iVN(k C{|jkEic{t9E]cAɋ i`Uya8\ fJvPo#alrxR5zm$IwPæ;s,hWb7}3 ʍOf0И2af@mS$"IV[ Mr}A|fU:(zp/_\|+ 'mT:}&O}UHXWr$*7׭IL`tY ~oz4'']3؆ZG*غ08>`? -u/ZQ2[ | |mLMCfx=,I!Jؽ%3H):w» Euy*eH6F]k]8z!۲c1)jrC'_Q~3-[8J/mvg.Aʢ"0-7]T48q -d0ˍ%4`FW\wМ=ecZ]cnР}Mׄu}r i(2ǶxTw&fUiA9D#9架=5J1̨nn~ qJÍYo).DCEY_lK35inrN|tZY쥝=%ԭ ͒@2.H'%)=H\慥T^9nD Q2 N!x;SRIآSI᯺T/< O~Ugr9Y[W]⴨n)uJ$l&-n1C%^iN(g}zO'K9 #KL4$ZIq%8lq?v+_N;@|$|?]>W 6#v` V%Q% 4Sepref_BasicRefine_Imperative_HOL.Sepref_Rulesdocument.tex7zXZִF! d]A-MՋhvG"uIBm5ȢCj L.@&=`$=8ed5:Ij;Ut4Q;Y\n6~_I9qRW46q GD3ȵU$9 _ nM}LѝӶ0bRs>+V:NOvlyjxx@9GSՒ\ ;ӯ}.ַ%3a6|_m@>BWo3OaV5L'&$g(zl#4Fip'5,:r'7Q0l@aC$8tqhv2w=yz{#I%;'g)?mjП- Te3`K1܊y*\8HɈ\dЬcb9/(iniPWDٺ~ Vtذ "hR`^ 7MGꜹv}E=z+E3(&vKGۯNw$)ķaU /ͺg⬒S-9KpG.,s*6ۃĹiHiFAkJRt ݿofE, KiUH Ӷi9qav Pm7u+T^m}\IT4@aw{K羽{#h~F J-ȸƴjy㮂IJ7\IȹW2_,6,S(`33210/. * ' %  i L  " W x G3  j  IA%S%Sepref_BasicRefine_Imperative_HOL.PO_Normalizerdocument.texB%U%Sepref_BasicRefine_Imperative_HOL.Pf_Mono_Proverdocument.tex:%E%Sepref_BasicRefine_Imperative_HOL.Seprefdocument.texA%S%Sepref_BasicRefine_Imperative_HOL.Default_Instsdocument.tex:%E%Sepref_BasicRefine_Imperative_HOL.Pf_Adddocument.texC%W%Sepref_BasicRefine_Imperative_HOL.Sepref_Improperdocument.tex1%3%Sepref_BasicHOL-Library.Rewritedocument.texL%i%Sepref_BasicRefine_Imperative_HOL.Concl_Pres_Clarificationdocument.tex>%M%Sepref_BasicRefine_Imperative_HOL.Term_Synthdocument.texA%S%Sepref_BasicRefine_Imperative_HOL.User_Smashingdocument.tex?%O%Sepref_BasicRefine_Imperative_HOL.Sepref_Miscdocument.texF%]%Sepref_BasicRefine_Imperative_HOL.Named_Theorems_Revdocument.texD%Y%Sepref_BasicRefine_Imperative_HOL.Structured_Applydocument.texE%[%Sepref_BasicRefine_Imperative_HOL.Sepref_Definitiondocument.tex@%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Id_Opdocument.tex C%W%Sepref_BasicRefine_Imperative_HOL.Sepref_Monadifydocument.tex F%]%Sepref_BasicRefine_Imperative_HOL.Sepref_Constraintsdocument.tex 3%7%Sepref_BasicList-Index.List_Indexdocument.tex ?%O%Sepref_BasicRefine_Imperative_HOL.Sepref_Tooldocument.tex @%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Framedocument.texK%g%Sepref_BasicRefine_Imperative_HOL.Sepref_Combinator_Setupdocument.texD%Y%Sepref_BasicRefine_Imperative_HOL.Sepref_Translatedocument.texB%U%Sepref_BasicRefine_Imperative_HOL.Sepref_Foreachdocument.tex@%Q%Sepref_BasicRefine_Imperative_HOL.Sepref_Basicdocument.texD%Y%Sepref_BasicRefine_Imperative_HOL.Sepref_Intf_Utildocument.texG%_%Sepref_BasicRefine_Imperative_HOL.Sepref_HOL_Bindingsdocument.tex?%Q% Sepref_BasicRefine_Imperative_HOL.Sepref_Rulesdocument.tex9}\܁H!}웯k7]qV5׷dI[Ձ"DNgfD I.*xA_OѬ,v L^] 1_;q,T@#VKX!ouu01E*j%=ܮ0`vSQ͗Mؘ}){-C?U3d69EB:Apưp |{alXbZlGb|u߃+*Pzyr kG&#fx pʥF'Oj&IPg{xO33(tU?ܷIf"@\r}4z_MgR$1 nFlj#$&Z o=7H|&}VZv0>} G&Jz`TlY[z[ІD=4"俭e*% sa : ]\?=yd$GC9LK +BRnY_$43;.A<Şַ\QJ՚OOë|ڻ‹OPawYPa P.7BV9akҳcGӔ >$vVc'uLmjB5u"ľ!` _];Zjc.EaN"S?z.XW2Ys[: 5?&#F"ݩh7?el`czCҒ!!IUGGj85wT)5=PJ߹ɒ,l`$.d#٧`7?9VH8+1YdQGZ3I+sv{3gRo)_[B8 ;EbnăAÚ,syi.VnqzL)gSqXi` ,mJg5K[w s›[-A "MGi #b:O>$Ȓ(& &JBByw$hD,x-p g*zxXlc) X_XWGoO .U[<Mu}CĹ9꿄Ŗ-J@%bp+!/k ytdwljJNmzM au)fgvavѿ0rdAxSF6C#W&ƅ{ec*%t#m:E]lş*0[/+cCrA5Pt7T΁<6YNmB>KVcTD\40 %Tso]c}/tX.`:ޖ4rArX$Z=o 8L{~Fd=bѰ/Yn] :Gh1{Cd$(TTτ)ǹ-0I31"m2l}u3_{ڐ*X']0 "'T=<.~40noEځWbw*R?rM͏a8a`Y=*i;dn0^XIf(ՋʔWhURT'ZiInY$W 9t$lh򥭥\"; FɎ?V)fXυ#%4nc+gsJrq7˖"HHOKWܕL(&nj$ZoG @yoTw^ ^Һ_/Y&M_ *؜hMs:Rpg.=q r?@<;ɢgJ0>'cYE36 t@}'NfYpGYq;]`kmQ zKu󭠄L{夹ag޺Հ(̟dr]$ӐWu0rugb^&mu*@ L=V 5MB`} \.=3X$U}`ҋBpe+G=P^7rFTf{jb*lT @a@)paԅ:G'm7+ϯ/ǬN͎Ԇ:08{l;ӑ PQiQqmI^ q䟩$XE0 ƪGV'' no=]xaD$%L:Z~(W&um wgeeF+\CDD9Vyy}),m9*O }~#'2wO+Pm0v} Gԝ Ւ[{*h3ΦӢ<#op]>u[uƹGfg/ajR,v/(g7c[qzԑƤm ɓL0Gᢥu1j7*ؿFή/LinwwzZuų)j,}oߖW[qTvq,^ #ET/.oY– 8o9Bx ۸_nNZ_ =Ztvy>$*Zb:O>_L2`,ӫoW/MZ1/K_D;> vaFbn_}o F_܈_qx̓{ u46bެ>eH=(W  e8s~~m zwl\ Wva^Xyf^aNMui nG}V_ ¢+N0gp+\sKDՃo*WSGq Թ$%#jL^^Mԗdm?]SO16ؘ8,cV%y>'*%$ܸ֭"&9^؎BB2vZaQԙ1m]"r[5ޫ1Nc/bkƄ"BygzR?nPR.fYRc['G]UjKymx77Pߔ)H@QM?8FЪ)N[q%@1lVSqv= ncj }w\^SdQ ι^ؓk2f.A'(Qu'V7AG45֯Y$N\ޝww|׭65vg zrEHEKUǘb!yrޢ7s`P *YlMW@~3]ܖ ހ,oE Xڝ2o]Ev8ӘC_r' Չ&'u~(cMjJ;d"P;A/cC<٧k9RS7}a0lM_ eP 㳯i Ҭ"7BI5s1҆mHwbȤCwIpp^ku9I A1hs2b"*_Vd{pN\`j 붜Iw8ķٞvʓdkHښlbG 4EG&&᳃4 8I-, /qvjwFLM8)z]}a>RVoi|7?ʋ.ް ;ЫPRR)K0 !cbGє#X%Ew7$j (JfN$Xl3'0hDUYts~kVt ~ qkȖnCͿ̂a􆫜iS+/)R'P/vH 2xaY"X*obgݴ>QVyڅ[g8^5c;tH H4d sӽYߑe@#KrE" ܽ׭jcI uBeW+*kM( 5K,ˠ@2I0FݾK9y7;lr'JS:(@21²CԀa*{0D\RG%_(q2:MCýK_e2Sm@ؒÌ?𒴯ܔEV<0ęj0AVM+&ZvC`L~IBW%Xp}İ)}*#B$ylU%ϳհo2d~@Λ[hGX賆!^1fHux/Ե!}ռĻذ0VJ?vF/U:9+j S ?QdP90 21>؏H6n~=DeP87Wl:7|1O^3Igؖni8&g:![3*A C(solȞ)xeM.v=q$ݭi%c/Ri{gr8)'t~m=,N=4*D XU`[u+eiTv>' jK|'G&cfY[{\G.iBc0~W5^# TXN4V 8:܈5IY&VI4CWJ``/bNR*ĩhׄ{8Q3R\YEY[NV8շ[.mUSP.SҾ!mc`BBJ 7qqYJ*ޚz7T-N.*E7F݂_MgW.C(w#wD`dAlY-`+LW5[$z)zB*G7ִ,{# @mX kpÌ87G/Ak[q(Թ}BdAK΢UₖQ@"E`.{vW+h{)K b4NɻR3[}mrl!>PkͰBl_>߁hDLy C;7j#QrMQ*l45;>C80:QW{[zTSd/."$\_oX{*QeQU\U)Q7RTGīW̔EyJ?jFg针߀O\`b8/~ůhA  v:)7M1$UgڥRO%B `-U *J#Z 7cN@q[vƶ*\C^3`3XU !Vd+'V4k  ]9-ZrJF?shG an PJgG\urgxgLeޱu99|"\u8ƅcS~}E>WH:WM=ɀT׮&~KvZE_5cժ:]ذ:`єSXDŽ2ڶ^Λ/aN`辄7W[mS,ha??oU-Fº3@bճa G"=mHV8ٻ e`\-?̽ҢХgIEVnb9ml΄DoM %ZfuNy4e( G]%n  .5 P,u_Ar.Y:dZ|,'_uXZy~ F'Z-4@76[^uѺ`qXd Q,jCH磔Ga_ G)>ozЄ`G6"ԴqصFmM"{Z qDoj{jKw M.!un'4<k>K]/54ULETV>;c Q*- ލkX>>";^D)`)Ox Y#e5V`v&w ͨl"[o!VedTnVEB۾3S慆S8wt_ϥjNI3 G8H9ruGQiE rJ2 6gBR[/eHssd(;*~ QFWlěI`%χT2'Aw$}5IƒeK|ooܦ>Hv߻`RK.`fWo,/\l I?{1`K:`L~_H\).rk+ gr.X]u"PHt(*hav-<|BO+;#b2шt`JJ9}WQ \ Gƍy~,{BBJGL9ƭ2628  ґSRʝls`21KޗTlv1q͇ϴ-}p6RxGl@@ܟd׸s' ՙnF3HRYaGB,^&!f^P6F72 /SZpR91j9zmnYYq<}pCultp5==B/dV>96mDvNS']V5jh?NTfnjPiB+)dލv'R-C햪HaWL?.1ߐ2Hĉ[d.x6%9rɞ١+ ?~RU3jEꍼ^dh8yk a:/@oIZ;bwq,'򦃡V'&D bN+ڋ{B}5X:Ƣ m]SOYel \P,RtcXunȪ*8uފ8SmZnMxyPNM% 6YAU!/Mğ ߒ9W]k rO#mTb+KM #B$֤|rrjayCL6,05T$OipyM6m%_搀5<;̂31&ĶY͗/#-ϫ/ڱPB07qCstO,`Nn6Ӑ`fwkm 3V>F\,#[jyG4XQP`.7Ȣ {?e) BvI{1ǣnH+b,a _cP$5՞ʠC#>/G])h&x&x9>qȒtZ ͋`1[ޅ4ufa#?niONE=Si;S c :,Ԣu/VbTzvc׿"r{ A1 ;::g[=WT^ FnNץ˪pP3MH(|@ϵLt/-\bvW(:7MjR K~BK' %Yq:"_ Ŝmtl̵䆨4_p(۳fуB]F!C}"g0Bf7Iξ 9m95K}ўUύw  [Χ20-@{_0`k,`z[DIT`C]˖)X ǚk2LȠ9.۷ke@ O_a?t;.aOC8Т 3w hWc _~`Þ hgOD+D[Cp*Kmys>7 'a[|6 ΢RȣDD7VV:>*jWPlEϽv?\ii_*Nteȵ*aT YLVB%x|Qa5f;I݊$`Jj$TE-38 *!M!v*mQ#D24rv k)kq~MWoіP! [N&rgC~˯%ַ _sX`԰H#C91 'p_ogMTnƶdB3[$'>+$ؐj I' ĭpԅxlSb_(s|yԵ4+ᤢ -miѥ:Fm6WЄA0ce1v6^tah3KdMps4tCY:8ˆtZ_;q=rd2'd}$_+蝨@ lƫ v%}k9BQgͬj1pI*ϘVSdVg"X5]K9d\"/ӾH}iS_n'1fN^/<`Ô'?=,Z>[3w'//p 6 6ݼƐ$mCth;̏?jt~SvIb3h](M'{0hhȨ[_c ZާOrHPe "e^9',[{!ak;{2ȵufEU/R#T=d*yUUH߸EhzUۆ>+}}1/5#Q_igR|w|i0H"QUYlSںUqi=mՕ1{&.*1d/%N}5.dB}ɳ = DPZ(麰pU hE}m2sKcb#{]2^zJ:T f Mr)턡-du/i\͐9P2^cta#aLSE{!Ч>ݨH2߼](o0foܱ>i!ь/݉CsW"/ݍL0O1BXؐ[Inft~d6yA }vW5o &L^<+1`8upqG2r\i6 wnSWbÝbUPg&D5񣼫eAۣN9+Zvmɋ䜄hw+G8i/)ÍB~]"fBkm@+GV=ѵ!0);%d[T=]~jQ1ߌrƸm]nU;L^oAiO蕥VuG7X.fz?a-=IѲ"Jmҧ61فLmT}W:&]0H'iKR!B?mJf`xg sɩX?`.,R~bKVh9#|ޮp"+C॒;6<ZoE$@7Q-躇lGg^ZQq#[%P'9ŕJ|Yѐ-_cULƭD^*"n-/huG=ЫĎU ,|NCP=ՐuMLpC_,_jHpf1o.3LDV]!J u=~vl f¨>wGBUu<#"TvdtM,Fp'Tީ_%˟Tvq]b]7v\7o Ѓ=6,;A +ETEx!>3 S$2$Y&e P@M͛hZ͞Ͳox~Y$g}5@mAYRi1onJ1jYKUR5( V0禓D۩]<>;XKq[`levtjxp Jl@c'@YzH>!S%OSu}Cjh[H+lh`1\VÜPbuq$wMvHS~E%τ~/Yǚ"} ^y)`fA3o +q;E+pZizto*EC٧F{Si:=V]Aќ[o0O:Aπ>zm>VFm.dtiNB$c-^h6tRUK X4$˾;NSwCng meC=LЖI38lB0|6O%ZX`CC!$/iE[~Bz v1%c#3Y9D;:)&l[صEYa90@g !g<}J!ҸEr` ŗQw֛9 QA:-y_`\0Ꞧ~Ak؉N;[dcH .a~D tn˅QNJ.t{-t\TM i ~[q^g-f),VU3Gj`B_QͽݚQ^Ȣf~jNvbry=xhavBNҹ * u Yf$Ռ=~P-@GEaÌuj`pS s*$&Pn y+{tF'!^Ww@$䯹~)`i8>Р߄4vMcUL=L }]ok f"-]}nBF}d:, #F$!$<*֨%,i?8(x笆@YpF#WvCQdd<~p;&{o1 SA`kZP_+4zݮqr()2w`ҙo4!D$|)J\a>ziWGbG9"A{NpXJ\Volym#ص<oc%N]F8`MtZUt|C| iS߅[ENfԳ^ 5tD duwOrmUzS (l@Yej8ىQӍjՂ%X1?f8%^\;z_1IBrثNTp=t)q;cڒ9l-BSX(ûQ7GI_Ө+LemF?=W BH.r FVNn-CHi͆/9gYZQ6Zˬv5lUfYrJ͞hBW?jm!97npLzX`P&Mv9)a MOn>/\C+$_ p<2qffY$#m5mԢCHxP9fmʐ0yAG=5u㎇X(o'lXE"*!?}5Tͭdᬼ1d `FǼ6e6dkM 6| aett'6ɜ.T@"\Ihlx(ΏM/h**&yV(6EA%j/A=  71?O6kdlzFm4agbp PNBwVI0V *oB0÷.MzT* 3&jot߽9R/TJwCjCm%[E\v Mq3e`$%<ȨrK:8oϯr63ǧ{Qʑ̫xw.n9t􄐔)n1)O>zP̈́1HU&(I< )Lڋ_EhyPV7%.wEAЭ"-_H> ZfbUndFr|mfHBwoxd&+ mCJߛs yIӅC&bȱTu6]/.Q K3z. ;wK!I^t {􉇶ċ'e[ӛ/pJ.Up8~#4)6@Jׂ`?o9bQx<-'Y[ٝ$@Ah #Y Lg槂S r!ɼ OdgzSøj5l^f_:&jiQyϧ2P>_(XCu"`FqܼZ^Mep:P+BaiOl&:ZĤTy[ٽ".b6^*ēfVK=h {Un cp3윉2V &ӹ{ْu:>{Vf–0ϐc {ŒiWIֵij:x"w>b/Bud| &J JӀ 01s8{$GGڂsht 84wLf@U$_'n@iBp*&J‘ Rg5iAF5VӂMd׃'9Ι$:et?62w#SmG26y֏A6YBl ]l/R>AZþ-0}su!&M*<ȝϯpBIo}OJ- sp}kwrDJNi-ayբ{xQs-'!Ma/;kËgqH+{-7 '|2LK{E-7V}u *jB+`*>\o;NC#Nǫo O #ԕe%) 6Y½=r.l"޺*i}ȋc7X-Ằ#4hM ~™j-"wl첥Ըхd69Z8c] .[h"dthh7E [w?akU!qyd^᭺-J{DJ<:Fݧ*`It&3ۀgULCCPVjZCd)6.iVig-3:O*ZbXV}ܱ5D$:M 9{N8%2T g5~ڡuN1o# DY9 k5tq`NA'HM:m0u~. Q FbQ32(e@%l8SG@r0ٙ}F:h=v`)P[R餲:n=z^zXe[($/uGsF=Pbcݭl)F>`i,ї,^guf.ƛLqK:> @>T^тz(Ns`)@s8a!6A]P9חg;2?Z锡uH"@ b#ynknGɣVTy3MMlcs8,f"5{ zwN-1r$ܨ@\U&N\Op$V7@ece*xbP _6 UDd2ƭ^ xE *,~9;e?`+=u\~0w*RT@n6Åe n56eg;Rg;riU€vJTE-uT5׉^UeeN^zG|E%:j;;JV˾A_tABE g+l:heFu eIo?5oZ>n+ @nk拡4{ o,}`[cP~rdw ėM\LUzVrB{Q8|~әFɁ6DVӢMąx 1 w $D38˻23$F:6ﳈVjVv">8"Fә DLU s#@D<ԭٮ>s;R & r jȉ"5:8Ob| lgOfUhBݐ05F^T Ym̆C 1{^xN!f1)x6 @ HH8v(ÇE$͕;ԐA,4s?֚lSo9|!|˸_Q_iLu~r%G;%''<&l3| 4J,36sM絳Yu}/ÈҮw^mRW|v;^.҆7?1fg*P=gfF;l&U9SE:QFSẉ{'uERZX+>IU if+H/l8_5(}Wرju% bcR i>QFXgyiڿB@e=€@ʕp@Wk[v+HJ`:[[GRÃ_ThJd(&ʵf$ f+jmJV>,zE)ԅ@-H;ܣU3Yndڢ;& c OQ66v@Q_}UVV RH>_ ΉGbSv~Rny& gy98J)L_&}ʭÈ[IK"iϞK?91DFHPSE3fH+w2li/CcTNTc|'/%jVR({ngEQݱxAjfM0Yȵ7 pZQ3D>bJsA}l똺ed_Q1h~F6Z-*|(6WG7.aoDACGN&`za:!!}f:3 h\}遛Y\eΐ+>eo$PD/cZ>rL6ovH'SC/o}l l#h gލ@s\=OۋݴUOt9iC}(.re- ԧ'HZA_dgACKѻH/=u2" ZdELxR?v(~Z:̇[@9@8Q%"-Vǖ{1Fm8 j,ԮSO,0>(k|8QwhH(ͮ42Ê$"zncpтۥ$wʄ M:<LlSNi4,ꎌ)s']l@ZWzcN0('~Sh*F6,D:F=/s +|"}ɹH 9Ks8A҉b7΁NIZ>BYV|\>FABktOE_2TSgLhLٸ e]/G;_t 6$|lJ>{ǒYLj0(3ݳˌnh t# K$Y@YrӜj1>̲D(%5SN4tZ_r46ϡ6=\ėC? FZJdzЛ>LP|A' Ay"j/jH; b,h*kjSOG AbKnF ƮnR,!ap8A%$<흔'Y]Y JbG`bpoT hW h kn09 AKIEI&].$<4b![݈_aB`)O|J4Y19<-(Y xp 3; MC2D{EL"ʝ[5bɻVW栓͚.Ήwd:2G pPu=c-eUd/vD=?ѷ+I=̱ {7"~N\M89y1*I5I+1YZXPϷ~\H veu~k2>;5HPg*̢N-'31+'[@^`r&qݫ*1X%@S?|ӄc+ RC @G^r#^$fwB%7]r.]W Vdk8C%b̻3E]c4N*b5H] H:+ \Sg|j:R"w ƅ jE +Z4}K@?65xW q{\ h̆ <ٌȾ;wHKL!8bVI~Tt0WB!^î4#)]=Y)ZͳS2-j!Jr`:o6fv}7 6b Sw-uDHk^/ ?xRFHx91aTkNb%:V^c gXD?9P }~-'M+j({,"^߭`=bHJqt :BftBSZk-L۝`(ZfDUOj˟;1)&6Arid2/Z>Ӣ#<ޑG!K`V}vM(۰XO[4BKqGiJjTZx@M.mӈN\pwLf_8͢v/cVF?0U+OyfM jaoF~r/\w~@[+U3=X}:^"L|se8Y>7q.zlQU*KsN f 亭=aNj3; #WhrˏO#MMh .^4Vzey~j{-V|@ntu"@H_nV&W3: S]Q bRGJBJ3n)zb1]@wFdca_ d  7_і"r,db^k5F0SR0CD>|D10z'y>%"?SЁ\Ɯ@bg:bx/Z fz$(X NCruK;lr?i=㪵 "_h1G+1cت+yQԗ(Qgbh+4HBE"21*4$ !`Y7'4C7/Co*M,GȔ1ưS*a ?Pa[cRГ73b"Ks|'ʵ1jܱ;dr/"q7r3-/ɋE犯Wabv9( #=ֹu ҩv&ljU@%tuآPt[d6"}fvqa$)K_l}|Ae ~Hmq!4^Ev޴s12UaeǑ)6#S! cvUw*y'U% = ?I#u7,K j_xSH_OOtzK :Yl# 1Ec$#uw^8kZMܭ3br9 sZnFG[lõ#lUfSxlP(GERkWF<~I: 90ģ9s}SܫNzdPqߚ>G^C&i|z ^Yؼo9a ?;jg02YEG}n %)-SIQPw5eXC"Չߢ&MP_H2PǵdegL+QK1 ZZ KX_Ⴍ)ް {-_Xs#ZȷD6q!W+J?Cj_Ys4{~&1ˌѤ{#-i(b2cLr\lX)4-ݩhDJ7J$pǴ7mOnD`ghTx8\F(Y*MQ`rvsg d[sW@DK(o'9&T7ޑ"C`XadYzA`U,H$:mMr+- lU*Uvy9Yr, ?odL6dRQ\#Xݦ!@ ZѾy㭜2V΅I\7jkȬ? B7cq,9Ux#OOMskC/&st q 0g3]R [k%gh+@~ ONs tL33޵/qF]@BMSPBr_sgqgw%Amx%ECOļv&BBJӺ4 $_8tT?UE(( đu|.jZy_ i*%3ʣM{A*"@-`=܇r|RRmP=8чZ#񘓂yS 6c:90?6IMp\+L7*&v~"=/f]M#ZT9R%+D#G̨Ú\zuuwC ïCURc ܤHVA$(CB! *0 6EErh"n9 |y9LJ͎)H{tma5D'KpR=g/-c@ /c {#d yGo}[M96ȆFU䭻9퍨p,2W|AZTS ԣX6j,Yttv$8qq;)MJWt;ps_^!((k}n_#~Ql-EM'ZI-]n&t+5.blY. bԸ'g諾LaFEU!\atI2e0WKM hSS-@@^y&g ; ~"Z-I0?JTw箸bܧ<_)&y\*6^v@z1~Qf٠m\ cu{l ×I/ze &ó1{7GplEA{Yf˖ʯ)xř8HL| MӨ^4͊ŠS%^v<6A]yG ½hvp7@k}#D{m$^&'s9،?A{t^S S׭]{D7曆**4x(j?A& @4C̅^HRQVyuS1UNލ@] {?HrL-09,X秛h 0P{;)90 ilKㅦsGp@ M[֦#.W:`)nD>_KG%T _~6TXM,ݩ4mKm:]~,6|pԱ3l#&2P[F/Y}̐V%A5 ɗ$cN#Æ߅!6BPeNY\ x# 8('=2L&zn׷tj y !jښ) /"Q\i[~(*_4l6 Mza{]t f#waKr`{Ixt[[v,{vw^ANiq7tI?:@rЂˋuG [C~/%Zq(*Fu13\j0g^ VKʍb¶b'1@SZ!5{@H!XCXpآy%Q. L 9>#CR>jyZui.deVz( ^:l/3ôr?aP.C_d_ѣhcפr}_98$H hϟW|N{MԔ!p1{h߭cm #mS"etU=9oe(}Op|W흖`ʒ9 = e%-CϥqS$~ڨHwO7vʩnaPMA%-Qtiz{(HxXr=p"Ѥa҆Odff;*,VXI"c0 5"golti<ʺN#7Ӹ!4WM]0W-V]O~MqxďL{+d'7׵7nCs-=R oH"gy%_9y,MJ .(t߉;v.$VW6Kìhg~)^o;^=,>ٵ-y:!_jCILjj ol.; }{ڌƨ҄&W ˧*̿5H;V"W%[mt ] qܻ56rE8"u38R=ib`>8!0Z}[Be>L$$ 0 6'& @m ZEyv ;ޓ*Tԗ-/;ʗ`^ȖZWOqI?=E= }H_ru`O#@5Q1{K d^J%6:xFcQ&p<<|Q&tT)t)cxզSݭP{Gi}AH\IʙaO<'`~,-rd*x.~..YN)K7[|s%x?wJ0A%0Qx5&+,c,GG!V{]S_&q^R8l@_aGe"8x$A}:%T;[rSV)T7њbJVr]iΠ!x "c+6#K_ˁ*BfeW,uNw)" !ó.ֳɻtha*67\&<=9to؂bX1C^Q2B*/F `PqVu ь᮹XNݘ8"W~"a3vy# ST!urrce7ʝt_uu E_^sZAJs &cgL]{zDSR9JG bGg:O'_e.xPϸȰȁc 59ugςa0dõMb{fLהpYj`Ho+oQZu$nW !~ 9ŕ0gW?N5nW(Rdȭ+ 9C|iW0ksRGHWux\O'4?h$I|' 2PIϮYFu ǍO,T|SrV/ѾpuWX^+D{OS h$i J e'AV9)f?߼4i_N5JͿ"}Jw1Cuiwb_$1B'^k!z40szfNk}Y7Y=]H?("$_Z:Ȃv.A[O:;` &hS6`kA9 . }T I-CP^eϝz..f3wG!3[]_ux含>P|цx{MVp~VE9VM}o/ G9hϮ 5t &/EJ% 18ݹ,ROe~g=3[~`䷬ʫT]_)0mh(|[QJ506e>//(xOXk"j! :r;"EBBu]̋2Zc"p3+YI-g l(%(}yToC{(P Pac?πRiOC(˹EU6#?oVf= @JE$,aF JVmVĹK8~(da6Xk;PuݗØ@%ysH1׸iu%[&4Y~EΖAz2 2^ ?7*EU[a aDapcu6Â0#wق6fQ|h~:,ΞڮxLÄ;B1P)F2fGX.hc{S?ro<#`"Q%w38T\ᇟ KiZ 4mecH%biܻnY3rrʔQ/KK4.j?7("Pd1 V#m~J 5"w^tdOЖ8h]XbB91iw  F Ic^+psH[ Iss`K* =H@dZrl؋1y KQ~Y0bE/ I!zBBlt^V 'bao2$[I2b?KpSrң9LSZh)cͮ#EzG{6p> `}*F2XyXĹ(86Sd;5M9}X10(F-|t]!z}UwO 4@'Ax3_#TªpEUUe+H>[sI>5$ ?NЍSOk{C >*Jtcg UGoyR&{`04v|H/dOC>LrsRo_=D:eW/Z['Uv5Cj"&O@Y=#**rd۬*8=zɦ,Ox 8X? Q,_kWgԛ A!xKUhyʯ5]^v`['/]:٘^J9e\ lEq .iKJ`+^ltKr~-WFiݩMD2 \:b2/NywS*0؝S>^Ut G{IHX)`.YO/-tnUwGVGVf1%KQO]f)Ca&W !x)~ f/ho!()ΉW z8Rf(L&W/3c1WS5&~d!p(L7ҦTRPm7sCv}}] U@/ORoB1嵱]V?*E'ø#ϭbGRzTGc,l,P*=!apb`bC2ZVVqQvߜXMJ/#A&W7q`Gż@PYEѤb+v,ja-82x) >ۘBAكc@zVgq2l) g.nK Bquߞc*mm?M Ecޒduv&7Z;LxL뽦: cRN=r&Y[1Ƌ哼rư_HV Y[$Cm8ae[hAK**;S²?Og^9 sʤҧX\cċ)!`JPAX5[W^6(bi|"8M.R.cJKIh!g٣(/,TԆdwYҔo83gS"*]`o8_߇2鍊#lZc@H M =u_oR$u+gQq¹簀ՙd#duȆaҋzP@8$ 8|PTs2*3|N&c^r5̆MI\bFE ܯk q gNifCJ/.UKx4eZDZ#PˍA%'kg*[ ;P',[L?L no2}_"ӹ }II { ɦ:* j=Ըy$vOEj{m9#(XUE\p*ss 4p z:٣([F5g'0iK}+(,Q+wKa*7yf;nw(U:i)t|GU t}~ NAta+S{W@hx4 GTu~mǪr7ǁ\<j9A!:vsq4I;Bb"#Kʲ 5ƁٛkTgѥ_?YCR zLw\ ϧWMi|#@| ߱0ou"DQꮃ<}"q>릨 oźA^ ]͝ӈ4bCaq|c%'LYbaBa5t ]]bY+Akq,S=o+ $kI'~1?@_(js)SBl+/+2(_>v> Q.F[ a S^!rJB3v5g.a~Sgn ND-.TxK}SknU9Ÿ1"弨&;uDD ْm|}נs sk~ V>]ffնJiBq|FgpnE<3Ǘ;MٟњGN/@6yPbly}> =|Dh}5o QrH#~UE$S+g6l7VlB4HlA#?$.(\Z L]G>l辻EwA05xCnȀo?%KACP]S}/*]vߴk7DEւYݯ|<ڀ+(HNjggw¹#7M^knuӉ9ٰyQ@A9ZIy zM`djԿ4v_q`&m,Gy+j;\1z:@gOdǜ[K8yI@-pȈycv#"h)gyD\r9xiQʂ{gKV<37j: @ێ"$N76~u֋o~+XmWْP@|JEBvՉ8p{j5k}_iE_iC5ŶWJn.3A_O)ZΆOhZ͘ {uˆ ^BALD|lěg6=.gr0%X0K``BzFeF|UA$' 6 N,d!Vkl&R9y`lvH'_MH0;JuV,_tU9v9 awE/F >1ߕ'P0T7[tـAƍVg 6 g-Wrnv{F9xSv2?`", +IvU<~$aq̄!C<"jWFاdUS$ 8?o7{JeyqpMe¶XӮ:NYБ/E|l-u(L\r5%\dZO]s[" ( ws~X\ˮ dفlxkAj׫Ct{ul=:οk#_}} kп~jja֗+:³gBĬ܏DǔkwG'=;/sfމq?."X_>ִɃӶ#Yximt_$fhx՘:g=0md 1?hkk7ύ2-)SR[[vjy=aғg[spd!n 7||'@jmn!\]0is>Ռ{U>࿞f,jH)T6Γ|TO+NȘÓ9_VrkO>~IKl*&@RE@>][VE=-~ yITi'&=Z'`WJU/6ZwC8͜b%ڂl0qm8bR2ccu߂vnGP _oCFc\"1r fD"灘;`,0E#9O3oU3 > {ƏLbk<S/*"e3BDV1J F;Gv6E Q)_sZ"*_AaFm>Y-|Pd,4dxeBEfޖDW@}(Zv1a<{!!^C e=6 cʕc T0R\MW.E;zZ-ilvT1Wlڜ+:W5wi)$VC!/m9`Ɔxa1Gbn'F w/;2_^U!>35LPHsk^ky4t;պάڈ۴brD*!٭WgofMo>&<`p!Dfl%^[) ϴ + ښd|F2 U-maֵLC2߱LUY@8!AtI?#}\-w4}Y!cRiVDzo{"&"8tJMMov|Yu(+s:HɘC)khYkoi`IgskZ=GպibbB:;ON ȭoXafIuH܈ƷDU  N VPdHg+Yӵq%SDm>Yo*~/[HbJ>"sy`FB~(!9 V26д'p9񚹬 :n)W{gp~{\n稉9]d!o!STwI~p>׀LU\$oA-0 ŒY= Bӄx!>l/g2Nu㫙%t&U}q3 :&jF'CNQ߄tC4EN(QZ8? ʩzvff:{`=ŨW52MuR ڳm r7sYV%H|*`EVӳK7Ǒ7٩N{#6-PPylG{ q{Z:C^E@eyiUUƙ-\M]3:]ۀli;;Bһn =ұ&m$ pTB~\bB\XfvҊ^ZfקA1"C`qŔR=44}{ɲ͘vUQi uV[ց7o2KH::])(_߅ H,rlM_K'ȼ1<='j 3xIk=/<\0;9lBD#i.CU| ul 55Ǭܨ :\>In#sjm3dz7Wk3DPCwf³"+ESX}_9^In=Av IX@ o6]=ϵa4%,[*!>БDb8#cLcQTEC~iA ht,雝k-91-φpJ"*M OpYeڣz+;: v!鑵-Or. Bj;s˰]@GZ?hzb'rm17z?yw@%oˎ5;{{ؕ:8x댪12F1TߡWCƭu<*Aotfs{:ƐUK -UJrq'ff|Eͷ4xN_Z0c4/ 'u5v2&&NG|dX,n\'o;IđU) ϊ@oҋufl$2Vj"×9o<*FQ9-sq uQoEsTF|I1\ F' {欄-{լ >\COH:aO,Vykšrޚ SQTo'([O7rr4v*eOi:hu?|hnAt+?p4w'RoTIPZuFpL2;O@~(T=,x/< \)njqfڠ\%b0U@#*DyPnBڑ׳oQw"m-O#= =2te6d^:6I l#jWOngLk5 9@k+A)h´wtZ5Cr-LD6.G,ܙ'M.~cv'Isa!=\E@UX Ze ԕ(&+c]@6?#ZQs) :$~. u`ogiG&"uZBClXdeL"%'_%饬)^pprKI*yҨgYZ7Aq. F ڢ);O\+7; $h1F W*ԉuYf6n @3*$}ym;ӴIc\(r7hY<θ8Φz=&cC^1B[vEPQuYʻ&3(d&K uJ7tC~|I߯KViH!U5\ (~2~zGƱ)P B) 29=>X![_cwo9ZE1%ޜ ><0½Y^s+ 7Nvo}5eB4&-e s kFwog:MCZZ pVELW I(&Cv< >}7(oĒ/Oe:$c!(1DN9l=C+xzͳ {GMIJkuuo)0wnjvUDcrЌ8Sq^Li!➅1c)^0Ȅ;T pi'j2g==%`K 2- ݌ߗx~4އlm8sRdg%qd4PFk'-<G%ޅVIV[i7k;Wo{5՜'39E? %VF d_em`{5_G0'"PD;"~T668?ߘf}JW.J4l܌g3DFԽ>,ҊLOy8όѰȕb+LbX'dskS'g~@5k~r:VJm~=VRIzџ T$ $ 08Nv:/Pb3 )nCߋjkP% @9yhԭ B_&&w+7{!-|`R!wFcf;< (ة22zD'xAO%SZLdf8E*4^<nz.t4.UBj'?mA~[-TC녓K+yap[fW Ї%B- yk1j*\!wJ3 T=4kϐ9SeA +3+A՝ Pi*XubzUm4FEp,]DV1S-|s\@'2ICAiRZb#Y!u{E#I ġxC8#GC M5#/7R6]9/*RA샵/xmRtc`-*Vǚ9`AF4 y־7TTjMn1h|܄nrI gaX0):e$XH,wZ iY:4`g͙KWʿy"2/-wkF<|fЌo&{ڧ E"GoEyP {V*ݭ;>/錮9w6c:2^$ <2:hG9 1+r񝣡vr; C;Vؾd3@ߌP>=_]ԍO3b^@ 1 )* K~FQ}ߙaAșr{b D3)ُ>zjpF'| F@jVsocdt5e4s4.u`ZsmQ͝x:\죀CYK@hVg!)rۺ`HլYӀKY9u,*iRZ͑L6/}f71鳥a>cx\~̷TQh[w#Ok)TMbԡC6"1ީ uf ]e+qMw8B6 k!ѩ{ r$3q .S~/Sho+ťǧѕLeX,9>(}KSvFՋ"p@F5fݨ.͵ieN^-<I0W^m8Zm@(Yw-%%@!> )h,=/qz t`qxQ-,B<8sN}Rbx' װBA@@ܨg`|um\+dr.S ݓpALx>Zb2IgXo5PSҎ{ S`͜9p8.Aő+Yc&䳺@ ZV!`5~.TK/2alM+*HvTMx'3()A#[qI 2v6yks-s2 v>%eJ)Z3xDjͬiHj)NM+V}7=4*h$zFcp+%}@;eAO+҆  )<8:+N1F"r/9"[OOex\⯀2bJ#jY8,98snL崙OT jY"=MkֆM|O_a ݉+]u_;›ޘ{}TPIzbS|Z{pHKbX̦Ƃ<0h8u吢>Gr12eQBY&6]o_HxuN6 ѻAsZr  [3QɢIN+;8dˇc9.c]D7XMoʣ >W̾,VFuv;\gG >y!OQ,ɢoyh2C|H^!'_cNǷa|QYĻ[YqI会/ka +*GB#-`V;PutdXcX5x匦MrC>W1/46)Trc]S4ROY?}1B +ީ{oatc@Qnݤt:8R>H2a] \4EdE:CcƷ/=_eBfA ߪ燿O6_b` (w@fHۏ}D _*Wx eCn54 U)~4 Fv5ơoJ 1@{#àr8_wmdWb/ڿɆ'Ct1D{M;oFm_R&ÈmsFaU)~'ڷ?kASu#JfSGh̳±3Zcn0GWg)K>bl Hod) YdvIn w Xif/lK&ߙRԝ0 s?"Tl{ ĦyqUyFO3L#l+5fq#Q$'%VZ~Zuzg]rDCf['0Wt.!Ȥ@';P/~AB)Uu`u-/s ] Cx6P{J_?SN{0H p=ɀEmٴ6e/nG! e*F}Z!` Sd ~x- +aZϲ"ڸCu zy>f]ܸ8p~S.9Q^WR`2Rxl\.} g]]B㐻="S? D[bMܘ??fֆ`\WJӓܩ FIyf4Hܜvx-ثG S''I[alVX5~0F Y^obW>xH%'\^2;qMh)DfOr4l *r3`B*M_)Y+'~6d{ ~?O=VHX4 P;0/LoMbOj'rHyx( xoXeSg"aw `.RvE7WE!goT!q3ԡ(g\L=|c:Lԣo54ឥSJ*Y4=ZST`:[07aY.W?äb4'.J_K.Όb^7p#ޙk..i?"&69@߁M{YdFA gk'pVͥ9y:~z#\U-yHHvרI9!֕5|x6CeVc 4\䏯w/gkqjD~ϓQZtSpYpL4q Tl}kLI];C_`XтL lw/nLJ<Ңȁp¸֑#ѷ1Guwܡkq\vi!Wp3"1bYh8u"m52Tאo=d7ƹm8 j!p"2=H˫?({-E>+5 }+9s/C*ڼeX(yT):Ue{# F5K{.ay1Ϣp8Cr٢N(M^<W?3TjH:X06VQYtȲ~ k1U tlDI∵nchR4q,IDNŜnEX48&[=R!H#LҩCD[ux-a` 3~j n>bWCLYl 2xӽL[?" Widx}8E/TLp' N7Dg<@%m L+oz9tx-d~)5;,['L+x&A;LY'-|yq]0 ji5F4ȳ@nXmE z 2'feׅtR^0 5zM_pdN3w&_a[?Tk F&`mMPDMb| 㪌9jb0.qsw3~!>wѹE%Cr5:P&6KtW$v C I\|e+Vm/ƿs?6KoFh'783tvىIU<Nu#-xGQԸ$ŏa3 ŮaD6dYawX|3.y@)kF-@9ފ)@% F i Aꑗ0T2iMj#IY\j<@6%SgHSW?QppW#1h6) S+Jܲ  'o/a<!S,7asn,( %S}Y9X;ٺL&6B]U=w™}Ʋ|KU׈A{a4|˨^FBd$jG@%0X'fwv#CǙFz /cv^!gZBO&܋7SFq&mySSq1̘)D]6MWHd% dr܀l?,6{>Ӓ5wMRkldkyM¸=5bw9/^RP,"}Vsg("46[NG߄fsCHQ-:0-ȴ6?}rH%E2{fx^ngK<Ҽq|YşlP ٰ4R|Mwc΁dХiKvHycqRqm3 $g N%P,"Y4r_Tǯ}1  ;ty|c@~"Oó-m6?c4:^5(Y ~BoNzxs r\[PוL^)TI.(6Me? )udMAFG{zYd+7b L{7 "n#+ٱ'8k{ ]\MDVʹ$rxdoRB"&^DBf*4Yg6֔(}Or7GG1JBoz^|fpiZMHׂ /a$rp8.',k8 .%5-pҰ.wfx-E ;S;ˬ=)0E>VƋFutBer ũi:_J@#6)N}Pr`a-C:}?{2t&/0q^y>XLتG!DKݡR O85ܛv45uCmKnL@B! I~ oP.Æ ,N{PD8hRH֜z ۮip|vfSJ+XB_{ij%i'x ̐8^b_]ų!f(zOK:]D.C(=/ ~491D|9GWNOl}A|= uE ^= 5ۮ/~mY e9,dݹ Qż?s>4-hC0r)p5 s]kzY(Ȁ~kt^bYYȭ O"x!2Ng^Bbʳdi0x"pi cR&tW5kih ;EʦM53**( K82zVI%* %At Le֚tutҕD_A|m~WZ2 #$B퓾-{ַi2pG;`Gsu2V4QQrOҫGYz2?i_Ѭ~g# 1}$Gۄ&_XDlC%ͳKC=^;9og+Q)! ,&7 zL_zx:PPp1s|T/@zSUp$>AĽٽC|/Tf"Р\$IPnH}7bƒo`pM\2ئ9v>It(ZHFŏN ->I3 D;̰μ-ʎc?Ő+Ɵ{ qhd!sߠRlz"8@brshc V]HN.>Eׯ $؝4=W 3)x LB,v KoVȨEnU0)mN}MP^1IޯڟuKDb_؛} 1 g5$/0ce;ܺ4;fՏ>k W-g0ƻtsoR#+M| -.VF,hd'N{%WEM/oNV~񀲞J(r߰q='D *"A~#j&p9KxU2czCRc+B la{䡰# OGجEtil-l1e.e pp8@^l1&Zq t ţ:k7ہzvPVٜ`L hʄ䘒yd`*oX2Jvl{6i_C3eןYWƟqCpc76EP)ʊ*?2h?8mg'CEj]W Cwy&E%C^@+tdx@%OT7N fJޗk_Syw$SiFq OUNlWHm@G,6{*Wb΍/Q?"PfclL44L}7%o`>6}'-- Ԋ!]j|1кD8UVPcWK(=Yx^`S- g'\"#ZBx>>??ݬAɠguC֗nRS=b hCrtMToh'4i[- O]Y7m#FΕu vULwO4<37Հ c2U6xET.Dt-" #m{]/I߹d<'- hٺ^.WfxY~786sX}SK(w>x56 r|5[踓MMs;ś)LՌtZp#H-wXRxf(!=a{+>X)QHc :}zdᘿn[l1U]ncm"#Aw4n#9]r~#7Չ{}6;*UJc+&8O %mSNy|*/)f* ̬V,F}Nb"5Xg:G|7=)_ ?|ԙm}N$9&Qf/"T=']WʼZYϨ62zUCPl \_c%d }KrzuvZK?p69@z"ubn%$48_Nk9bG5@Wܱ HBr*L0K]8(:w:gYrSVeNOΟU2'dݾ#j]D#sR= cn7{t,*8L%P4A|'%86A6|2!7lQ3 HVӌ]1~8>rZ\LXaDG JbZz Q$:mGÝ9ð$B%GׄE0>YAQ7`2I 6kqiC kL2%>#BF2/2ra{3D5Rt[,z*HeĴdڑsmuĥm)R!$/VFt=i13YU%j&3R=X4CK#*&m K$xu|@*vO7,z1n@E9[IͯטMu º^ ͧ"+H1c'EwniyU`Roҽ^(t̋ǼcdҠ( k)&U?O .E*)7S-/+Vk67@GnWZ^-'xxh+v۽lN9~@uiZS ..T 1= JAd4̙|w4a/R/v zy7T8V8hXCw54Nw5r2!;D.M{{ EVFhaq6ȃ3eFՇ R S85bR)9o.iMVSSB I/0R(IfrY#zB׼tm`G``29L'0ILV4ްj0:ʗhju< ]SmOǓf/%[Xxz9DCZytuX0 F:{*j'xBArXu8{XoFc\p 6I/DIV Oe52Bc~5cFci&u GA+bQTdU*JM+^ނ06bzSPB"3`]d7 KzH2p4",O.MzƮ$VIcnp|1 nflBKǤ_; Dy!15 oWܺtnl0䄕7ynk՛wsc_(xg O!g+tv% >@`$e;Ϙ6+4 AXo HIͅ|11#M0)Дˆ"#{To,ίLbʅah~H=˲iw%h]6SWPgk}V9kW?.{ErWtŒ}٢A[`L~^m`(LvƮL7ﭚCwO"8`Zߣ҉2 YrWgCy{\1#lO_%MCXpAGLxE∩׵2Lr5>y93ׯ!fk/g (8o@+Ag0OtI}w1Ĥe^5k 8E9[2""Mܗp>L7yO,=\ JHÁvE;E,5]Im|dё6R^XW/ؔ*(e'`+U Lц&m;/,& .}XE;#lQ=d 0.Y C8fJ:o4TS$uKD&u*-+Ol y࡙V|HմMj7-6Ā;ukYŊh eKz;Ak<(gN 7L )D|o/A@|t<`Bv˔fBe˧6.R%a=ylj]EqtB|( ,$ǸnɴۙbS+wxR hvj :뺂Z>pfs'bf:\Y6桯q^@8% IM3%{L^ -J !Y6co=7Z0MDͱ.3p [oG^K@ RfX@>BۼiD0iViNF0YzW R80(w-D_i>ȊbR:!照ya:Β <k&e,}F9,%$u3\]?JhXY-j~dT.t?u1GAiUmi2V-X>EV/I"Y1nI䕚Riƹ^Q'3{L)7@O/OyuN YZY>yeT\8 33DžNuiHn`swGWw.  >9Up@Kn[X4a!WYv:-J9^0Z+p%'_C^(H}fSHpz*jRŷشk^_RVlǺ[;`2,}6X+D*C='7 )]E@V=4jښrjpnꨂe^M(tlc] 2#@@0t/DI{(1MF`Nq2)3\礿#:$ ɌFTyZ ry([.->s0>_mwi6f_T!A6e|0M[99T/:CK{b 4`QMN'$+ L|~yi&1V8l׆%&\/4-m6Md73ʅU~w@6Π F(x#e- ,\,Ty_JtNH߁;!Ek(qRSj8*_:\mt4]جGNH ֚>X=v䡆]\/ Ԭ-g,VxHk [hJ\˯#j&_^LW+1!SQ/ p(7QD7;;DW]Z񺱔5"K)`uce[ЕQ,96 LF=vR\s}LYyD za3u(p KB5eG瞝5G6s 1[.?YjZ,o70 :-f6 e1N^i ~n#q#vsڅ/O+Ig;j.-H1n_f"0hRY%sF>Cz{Rgy֢ke9*}>[ϚZ@.?Wx[Dz=]·KI{Kc,=]6ׁm2h|!@h.bFefyW=i!KL ȊqF%JiyӖF,5_nh'йN0c޴(+ >O/;mjò*KmmTOQKؠgǁ,.71Q4R:=&R,hNfGfb^%:e)QP $MgYZsTKtpr(~*s* TO7^fny~a(M4]l3׍--hS)>u1 5[D.ȫ D1{--4@ڤoE6K 0WOqc0 U.g%iqI+wpY)K3/BNbgn5p˯`**_?iWcqJnuy4c OO~0 ȭh{Cߤ^$('g{i&Y%P;|忞H! C:.hOgt^L:U׀R-k.f&y_b;F1"')ww^q"έ\ȁ"j,y%PZfUM|v#Z{ΘT~UFH#PG*@|i7ͼT\%1_B{2BL"a#76V߻}l7>>R<6>=)U+Rơi#]V {{w:Tgݰ/vmII.P4fZba/NQzfK"{&x26lGm6|S3BKKkFS࿲t)8n%EXąh;p].2|PpHr8Ry4b3gC,*'lХĉLy c85akQ<-bmk r]^6FvpA릍Vx{c$I] }B M<|d1!@&s1u+eLB]3yjw}:6'bz ՐYZ.Kׯ2z5](w,eݶRmfSh[P DUP"|jvK(/G`;ث#[0?F*GbeȆgB߮2=2㥔\o{'KeEB`u1d˭lJWClJg%;7oť?Lq ?֙ru8 Xd*E}>>.CKeVl0HH(VNA^# C `le*(WPH&7TZ@W^EQJ^(jE N7>Vz-3Sr?fɳcΥ uJ|-!@(a:QxTsT)MZ @ &'noдf{;*)6mb12'&}TE~ kp(]nv`ޖ^a}^+!}?~<߈*q}em`XBNo͍ڠ兀,uf0 ;pc>sk)'mlb~\\(q ɯ{q7A}]oEM(W:y$4uE0|39>=,tT֡q_; |qٔBA,W8z`bpx- I_ cP&O=kT9xV/-#̥:Bw `Βw:ۢ_'vT2K\Dp93=-B毐,LiuGC7G  )4$j˵.b볺W1HCCXGDهr@+͖y,DCc>Ûn'ߠ<<>-FOK®53Q@l`b$bRgI3@O̟w@K?vL.29?qRfhut}躇4ߦa;ˋ'Vb"ڔ%9vǔ3S r"7@"c&r5jFA.9D,[ePeCaC@/mNʭ&[fdW}xcH-Hϛ cuP,6^#~- 2goc HҾŠ`,q&~T ED qK#'gKRuqdN DV!;+WL_a'mzБ-JX`^ARwĨzoSU:yuڄȪ.pjX%ʔA}_"Ms-/mM@s!A;ߡywƹ঵BR%[[ IZ/H%߈f݁9|*QE܅NڈS@dէMS$`ua* {i[]>"b2Jĺ̕&#}s23&#K*"mOA|W=eaQx1eT*8+Mz @Zҧ;Hg)Gt7:6l+ڏ&R1n1g8i&&1w#Gyou2 21&|lO G0}|ŞPj^tΫ<oYWBoWM)xyeq8tdy鼄х! {}|N)xԽ!B$U59^5ĠWl?d SZ9>}V ޞiBR YC$&*NȻwt@ʖ:ʦ-YP|O.fyĖs!++їҴl(vN $0$ǖܛ[i2Āt{ݢNR!@kHL: [1 `dL;mVx}VFCXrgR!n!|3W=2";e ȷ5W{o]a&h%mvtҤiVEr'"'fd #BS~MNtիoS6[*]] s3?@UIЃvˈ2/c8.Jto1MK=5!#osҥR*IiY&-"̬1e7F7C/Un&ãgAR@] #BՃ;C`RXT!B4foF"h yR5q(QYנ_sf<>.R*t bþ›)عfR7cb{Xё:[)s)T3 /kt aݑ&7p0V?coەc7SD̵vBq9 O`5>=0IM'ݱ>@Κ!77&+&k-r]fU]-#zĮ\qk0 /^A[ӦBUdd ײռ1ÿ/ؓoSň=|SlA +$< 7BzM[Хs;H4CkӺȲ[ 5N}=oD%DFpϧoyHnvgFt\ !>yd7\ $[fG*xA ~x9dU@H$K`FBhvj.R \DrG֊;J _tϣ~BT€1ݪaF'5~lG;GQմ =^{sC,k ,8uZFóV{?9HK 'End[=JJ$9sjvp*]@.])q8krd 呏]h=Ph:c!oU᳦]~Y۲5L(\A4[ͺHB+AR F g>s܈S]L&]ٓ6S{'I0OMto ϵK!\sMDv6,Mo|]bFw} (;tR/"h ki:ź룜4cec7=xlw֤>HG =W~~ MW7%iҨLN5NB ;+ZϾw)[v4В>r$ ޻w2[aj!P=䪧v 4' ihLNa{ygeLg^ו1́6)uP/ ~~]{]5,ʒέ [cGRq\apB=kEa ?F_'|$hJ5;> MUe((kbW=i1/Ye4RhM@M91mG;],4B~= 6m $IM7Yjsdc^ن B#hز5:&a,ˑ$h TnpoD8Ԩ=6AT!ʉ]r݋ܩuߗD#o,ǚӚbDrW #k8'rM/GCLit.*7岳PY,rv(]ݫ)CtMUɁdL+կkL܊\aFWRܛ5~/p\iGDq[lNns/]yL_w+L:Nָu>y L9$9OA$QKmӕ̭eؓAxC@2_^o!.pq~7ҥwTiU]le=#bh>Tqj~mvj|Z:ԫ7W민\MIdJ/璌_)^2'd#q4rg`ނ8C pXW_lno]pYSg 5ZMx#Lhk!2^ސckMNGz& yG:5F' G+kHU!cԡ=JL2 gCo4jkwscv$bg3#hW/D6# - xGH>Ϫѓy()45_'@@ѺG[`&}JmY ՍWG5;qs2p}FKan8BL-GJ9^B!Aژ }Dڎ6rFDakJ ^@"vA8 G;*voj'|xl"95wCkq9VIf|64_|gܭ, wBsf+_")-U pzǰE 4Ȗ?Ku<]aC?zz>ⴠG's+M-0tK}y\p]mH5=?UK'IGbX"n\ ~t`sqk>%A ĵ 6ǫfiwE$tBIb gAK)9 %hC{遢 ʥY$ 8ii]7_ ՝čk_.7B7u~:/F\ TɊAۍYmaxsd L{ OFf`ߎqElID;WKE] bԀ@b*L؟|DH/_ !t@] f}n삷T?-ݩ~±:U:[u#)YEJ,B o!idP¸ZBeb A1#}OŜ'T&t@u}JTw\\zBqX`!~4*1*p(,lmO.%zh|D׋u2u;k[~DLӀBʗ\:,hcj7%A ׼,>PfH\fFm&F+"ej+]K$':K*Aҳ49fB_"47T4Aㆇw]MUd a;qKYm8"3j;9D؁;twS^MlF< D/pΥ!Jb}jϻֲQ\i/}'~bjW'lb0>u~b}S\ii͏=u*>aP-wOA;yWR}$nmu8/U=_g:] H%%m'ݙ2rCTاU7KCכ*oe)rƶa ;0H2p?-ǪezX̒4.--tYƟY'Rc 9+Nʳ(G5mVR=us!qCW%NS0Y;!<Ҿ`]l>]%XQ8 'O"]w1HSW1׫mO{ :K\K%od[ϲh+X #Z^E<, hv^y:dջBgCwbZ1S4fl ̵/ĉV,L nqޅ~yx fJ t·SKC$ȋi{ =XM Iq_BY#"W$ G.xN붜M ^Ҡd2@5-4._cbH>(^$Āe+e{+jD}\HC/Frۮ CEmquBP`*M8s ?wl8e)s-ro|Dl@y<OǦ!dj^Uula25kC8vIyxaӉ}9vpz,TL,vڃyAE{9!zP=$k%I>eP*Dr=i;mZpX#[A ;˲:pICZ%dC0?/ks߸Įde`Lڿ+`; w50蓥4dXzşoD8EV1 &Bzur9L}~,GT=eͣq) d%Np@cOK<IDžN:Vӵ&RK$WCoǗsJFȿZZgA6| N3<mbBfd,^MoF`o Nynp-t]3&9 '%'bj-07bC20Gۼ> s]傸7#39wzߛyK /j)gp,gޭ.A/aVV@<FQ⦔f`Kӳ+\Mr] {:҈C:rވ+J2{[9Qẍ́e~9Rw,$Kj*t1RN: &dž̿<:2 փ6XXB9>]|Ci_YRy;\˜ˠTT_NWc[Loi*p\Ʋo'Փ8x[:x*!7Պ/;$ֈѻ>"μ93]4"g4U,MZ;y‘/v/'71D:)[bzRkBXƒ<]>_*oJjr9N|)AøimpC $O;jc-тrHɉigHKPh͟CImtt_ʇW$l̩#7&##MPNBUX3i1Ggqs{i x]\ZB'4G=^/P-sIw$nΠC7CǀaIyOΠK 5-vWh`w+(+ >ΝNV=D'|uvo84 Ĕ2rs=drpO`';tl6x'Q!r_\_Bk$toNZKsMqKK+e@VvL= WK c99ME9.7voY`aFby:Hn `k_^+hb4zHRD#!Hq sħzРQtFʈub!6Ol F'ڏn7 \^k餽)d$:ɔ(S$Wc򹇹.48^_dmVHIC>8f{b3QEl9q kVTѫl{\O?/= ) # y$@qAǞ60XCϐ稝mlD_ep]Vdyʞc(,Ihؠv >zZsiH1[ުMsC#۹m޸b!$ֆ:?˱#1 uAw=3yť]X1"zhA]% YjYmO'=YdYa^2H[%]ťy6N>}6jC*uWb <Ė-[:;0*UjA\1:v4\40JD7:g#-e9HW}OhdCvkpA1Fo MHPΓ! &HݨFYxiV6h' ìBTS6(jNO-u;7@Q̰ycb`7xN{D`=LFϓpϦ"ψD/R+Fc<>U%:e~31ZJ$ϢKv(H7U,C no5Koc<;EۏHJ?{<nĹ} q$~(omXUz-G)T:=R Hj]Vї:' 3ۜÄcȽ2b"lBcBW{f(!t5x B k'cȐ6N`tNdXDaKVHkMe$l?%WlRN ]"v.oyބ"]" d{/;!,[&+退k {URiI]ҷ&@dVV?Y.0㳶R#J#mOuI =ժ hH>ԃͷ||g٢*:C5 e\{G[գY'o/+.ltB 9z{d4 8eR(= 91|\#!z̺aoW>ߊd^NMDm!]Pӭ#AOOҼ"I4Q{eB SRS=SPQ7$hlglWoO}Y#AʴR-Wk?9W+6:bu6xFx i2? #הKTQٕzW'>v| ϻϐ1<,M:}W$%+AhүMz:i./CYna0y1 Fx%9eS ]uZ4J/DYQ9\餤 1s)*Wp-Ĕ㜀8{z  =k2 NV'UvP,*n)A3LL6Y(OmV{jj żݵt{UrWʼn0".04 ʸ"Wg[j7ӧR{ D.@\c\C$lNd[Fiۭ:(cGNө;vFKBǔUh.Ν׎u).C~m ;bh5ce u-K $ˍ+}q>f.rlBđap5W?XCw-^[_U]9ruF_Gv:DG5'\j l[=:hՎVs !XRl۴&s,-V\ &: m\cz(^5 ?T[:5b .+ +эfEcL 1Scs7 ʍw%Jʋ+LCzG>S.z_F%3P&&@{}Jie7U4ƿ"+>ȏ~G?:,AG-3ݜ7oNPKi%d_Djب5Q07bMd~>N,KkZwEC4%I~`+`ų #tiLksɐ;: ˾_.1nUEY$j](:,ڏ9WETGxQE1ZH = 0W:ˆלn(b-&y{ܯԒ5Nk~?arI;>0C'7zY}VK^oZcu"U ^}A]1&yi:SM\7$5lq*|1hcx|IT0IzZkcn ОxEgƶ&[˒Hazu5D'Kh |V%_w7\cjdžA 8P8ToSX꬚m R_\5^|P<"geVπ^)"vkz۾حKA՜.tb6ԝJ2DR9oX4ú %"HuBʀY\[[!WQ,!{@cNhՋMPF(da=}J*;Ie[rS/#uHcdYu?ՆbE6I"f%}XԌ$t ^׍XaeX gaaAzqZ/=%CÂçXuDI+ 6hhO ى}ssSؐF-hL#-C%e+`mYrڷ[Jem.O\F˿򊖜me֝qIǭg!ubя?~O_9I=XߦgHMWs6 rcR8BBeݵ?L"JѨEdnRBRudgn^7:F JNK5K2=舢Tm!bTL jHR.MCF(R ˨O(}QxP DhHrז cJ_R9AU V1dwo! ccSU@G= *5$jҕ6e NpExN צoqޅ }%dvxb-A~[oZ1D@@ b0goe&(s' ڦ^n':fDKxWG\$qwզmlSf-"ڞ_"STb^W`, %ABj 203/F.Ota8CX8#Ӯ wYaTwfM a. tpcWƺ}6ϊv$94%<|FVh݅4狹-It,zwŀ B3$)˳aMr,T~~.3(?0:!~L#?3{hsQ) j9O} Taq%@R0R`U{7g^iͪq>Cc`X`Ns|(-O#P":9ډ)r;t3t:`&*i-} QyMD S׻JbfJM'9ЌH d^eոBnPѨy SYC-k9(fya!ރ7Ӥ[¢YM0 455v|]>OyuALDBAW?}~x8#e[9}UC O4HVH+R/G:1?mjMg鯌;hяq.?9 hCj?5>`C_:}禕Mg:?rƐ kO)<2ytg\ Y~vPobnyR,+<[T.ЕMxn# 19E`vGn1$'X4Eg:wy":gEȈ gYZ  R%Y% $Sepref_BasicRefine_Imperative_HOL.Sepref_Intf_Utildocument.tex7zXZִF! ZrFK]A-MՋhvG"uIBm5ȢCj L.@&=`Igzƥa{b/; ۫1-`pvE{_|M~m/*->9v{-f*gn*Ά;(d`&Nc"iVN(k C{|jkEic{t9E]cAɋ i`Uya8\ fJvPo#alrxR5zm$IwPæ;s,hWb7}3 ʍOf0И2af@mS$"IV[ Mr}A|fU:(zp/_\|+ 'mT:}&O}UHXWr$*7׭IL`tY ~oz4'']3؆ZG*غ08>`? -u/ZQ2[ | |mLMCfx=,I!Jؽ%3H):w» Euy*eH6F]k]8z!۲c1)jrC'_Q~3-[8J/mvg.Aʢ"0-7]T48q -d0ˍ%4`FW\wМ=ecZ]cnР}Mׄu}r i(2ǶxTw&fUiA9D#9架=5J1̨nn~ qJÍYo).DCEY_lK35inrN|tZY쥝=%ԭ ͒@2.H'%)=H\慥T^9nD Q2 N!x;SRIآSI᯺T/< O~Ugr9Y[W]⴨n)uJ$l&-n1C%^iN(g}zO'K9 #KL4$ZIq%8lq?v+_N;@|$|?]>W 6#v` V%Q% 4Sepref_BasicRefine_Imperative_HOL.Sepref_Rulesdocument.tex7zXZִF! d]A-MՋhvG"uIBm5ȢCj L.@&=`$=8ed5:Ij;Ut4Q;Y\n6~_I9qRW46q GD3ȵU$9 _ nM}LѝӶ0bRs>+V:NOvlyjxx@9GSՒ\ ;ӯ}.ַ%3a6|_m@>BWo3OaV5L'&$g(zl#4Fip'5,:r'7Q0l@aC$8tqhv2w=yz{#I%;'g)?mjП- Te3`K1܊y*\8HɈ\dЬcb9/(iniPWDٺ~ Vtذ "hR`^ 7MGꜹv}E=z+E3(&vKGۯNw$)ķaU /ͺg⬒S-9KpG.,s*6ۃĹiHiFAkJRt ݿofE, KiUH Ӷi9qav Pm7u+T^m}\IT4@aw{K羽{#h~F J-ȸƴjy㮂IJ7\IȹW2_,6,S(`3LpݜMKz\1Sርsbq+mxv Z :JZ %g% Sepref_BasicRefine_Imperative_HOL.Sepref_Combinator_Setupdocument.tex7zXZִF! 8 ]A-MՋhvG"uIBm5ȢCj L.@&=`ǮJ$ N:&?K:ڦ ;<$d3 I0OTMx"NJG5 Z1Ldu IpDS|[\v_J@_Xm["iMUQ=b-u'E4rhBJlun K bfu!/2\ɇbTznj":VU}inB#hV`)­>)iʠlǝ dv`RHj(*gl6.M\ ,^6U}c@5?GXq2V@U!j%Y% TSepref_BasicRefine_Imperative_HOL.Sepref_Translatedocument.tex7zXZִF! D4]A-MՋhvG"uIBm5ȢCj L.@&=`+IWOu,2VA;Xfܭ(Px zP) 4Ҝ6R(;M/bx$꺆; ih8hg~GQح,5;7ܽuUc;X6MtS^iNחэ +-/&W:z wZ d5-o0%2Sswd`psU;.mԫY7xX܈:oG:%1 qxLg)'FӼS^P~+:cu+)с~;g;o֟rWanS<g+)?dQ{E}Ogf2G>(E 6#O},rBkDkCVжpq2ArsesC^2im9 z$lבΆ.\ɖ)r'6ʙVX)Z%.`%U% DSepref_BasicRefine_Imperative_HOL.Sepref_Foreachdocument.tex7zXZִF! ➘1]A-MՋhvG"uIBm5ȢCj L.@&=`mh܄^8̭'Zzߡ%9۲㊭e*ydb7*3tVIJ{ԛA!Z>@U?W:@~.Avzϸ%]5D.,!M*K IË2;upsM.>nɻbwIkDzf{XƖ 0֪,HסE]"nc?l+k7#nܢ##Ql7T۞1vȞduZPBoDs&P~3֖Kȣ/_0i-Rd {x熸B+h8p\.yr;O?6@FdCMYECPx\gmSw%1 NbٙM}4#ɌSEhE ).%Q% dSepref_BasicRefine_Imperative_HOL.Sepref_Basicdocument.tex7zXZִF! hD,]A-MՋhvG"uIBm5ȢCj L.@&=`zfU@ a\-V7yFըvajMaN?}T.^:b\vTn,}RX~-g,}S HK}l2"`*Zyq)YiމvgGF5%زJ4mf]EG<#gC;~YrH,R&yV?z4+WKEqŧJՓCtݩस~_9T < T ۲bH?} N05 wEL1Ĩ8B$7<ھQqE'/eKx2w~g8*CYT:.WAuBBщv K&.ϒs35Y״_¹gTR(o(CЁC95G+2_ 񋽭,gbC4V-4~MG,)kKHcRV]ɟ%كG9uw* v1G1\d3~F Kھ-uRx=T[JvJ=:5VvQ\y(|a|8 Ӎc;"PHC{S+1(^[TK }vP78ox! +<7ɋgw F.&Y4oЍXj0-zk~.2U%li/go˺C?:Pȑp}˹-`UI&fl~D$ ֘5$%a*OfŴ>Ow,M>Ug* zѥGFɃk`)ӡ|B-VBAtƵ(Y'ԑldV3xKxLdUPQ?68PN58xRzRߦ,̳䯻n s_m50Qܞ !x;P9}6R?ɽlĺ,Wx>\*[##ȿ_R췭|[n7DEhFKޮƕ''Yzc[60,5~ؑrO\)0{95S?!8c*v"" >"u1m(龁 T2(<$. ҤztXe˗/&ONE`:oaĵt:ԺTۯD$`tڂCI$zJ^N'eotv]w:'BB-~UvWO$d韮ryKrK!>P4V," )J3¢挅=oČIeHbG X5LM[YiVSKq,XE4ZUǛhDD8"^"O= QűuI)H5_bR.^/NwL:ay*Q^f5@'}l[n& C핛,zIj?,2I~5K#Pjb4WY28uL'x9^ꦍ'%qTlEQi;X#x.a+;G(anlh'+w~SER{{°Do((:W[|vĆ4^nM2?xhOm S&uIߍqsZ} _Ȣג{pKigd͵;ئrE mt9؉,2$?<Ib.uʼN4f ABaKǭ,kM 4*|(y-Mt<uby"i!;Woa1z2OIaTbwQљ@o|'\3#\դrڟ}ɟOEs AjC՞%z5,b*ksƷD}Խww !{ozslMf屽KHcLr" IU[;At AzgD:Ւ0/[x dmA$r  qtг#ZD3i&,eꐁpꙣб ^I,A_1B]4_88E Gfo}<dz"?I&˪gd_w%/֠]ũd_(OO:13cdMm!ocQwb&yy)[;&| =y ZSdܛh;V{Rw0 '4ְtUH& p~X\ 'gE |ҮBu:츫-<2x6{&=.ێ+yԧ0/ 4*b ]啚 xv1hRPK^U\MYT{;W(-sK92zm&T2KD̲~9!w¹3?ck؟>aHjXǓˇI[2  =ϙ0WAwX|ם!m4$}"&^i\I[]`ziyzն|7v1NT~'*q݅CwcToDEலAN޴-̝!o'@6mhe,,:OyE<|Xp}59 \L]zncJ@"y7+gW`kFPlujpitS7m]׾2f0sQp_ųxLe"vaM>I}P{Lme$lF&b_;9\1e8If $ G+ 1FVn/1zh UCyӉF駱3"ǧK@|?!Ov ) {,׾s0uXA|f_p5C#Z7-N|k?¥f QG纸ܵS;_HI=C 2YzĮI%!dm3]ph%0{q!)YIH1?)xĹ0fQY aq!枺@ĈVƘ= ?W O"Bֵ8K`8gwx/m&GZTMҌQfc7v101/nEK_pnS,GП)ny&;Ec908~3 X2 m$W  ?j }h}t9(/_py~!ͳ*J_]<$ t/@9YAvR ;:#x)k1d?DQ%"!1<y`Ebfmw0zVk$|ORDn-5|<}Lr']"<뿨^CUc-kH+s::b7|',!}dii"Jrzqgy,CJ&̴6M}zuKQ(p]mE A4K 9ip2U >2B9WnWaӹ @ [DpHaN qݰD0Xm=lnYJ)3.,|? c9=]9(I!iBaASMaɱ,f|)lBQ`_L.ZR,+ڶ 7 yD CU'&PĪ׿pa?حe>v" KQi7ĦQ~+ȡGsPTYHT!O Ǽ͔0H 3-l,~x];0:vz]*_Km6m{`;'1jw,nzФ49Դl?ȦkyQr%~aOE&8nЩw|E=(᰺.Uͧ.ZP*t+SaLZo} Ѥ.SOJ/\sx*"꛼h_Ռ.giԱU^/RIiCUn+X<&`Ɗ0p^Poe !h;-Znl0j-Ɲ<}ȇ0o+5Ҧ$ÊSQ%Ds8h^]?d3 " X+,D8RjВھq_Z-@UhlvlzDJV4#cl@Vx|W ?sdw >xb.:FPhDW jhA*.PGwHS+æ؜uSM ͩ.2Ԇ6#ІuG_ħ"J;tLDsF&PT$,PF/Uٜ!_} Q* -1oOԉl_lےsŠMZ3J1d}iy 99*-?c=mY\(q\*v],}\xf`*Wz r! ƃw@ %-B[w _'ߴݮ{?8nK`}O3:*?7s^3&جsj1q !nDU`]ȁZf IS4O^#yA *qVo09X=:p,~ knZB:&?:7'iQBO:1qZ%֗G~I(K*ZB-Ft58н9z1컣QjȄuJp_n84!1e]G.Kz}oFdlX365+T;@?*[sNۚ I/M<:l ɐ0bNB aW]@jD4.ӑ(ICx?SxTZ_ƙ7P>9S ,4|t| d6ҮiH\Nhz^LL$`v4[k8HJPDhuؕ)&"tonTdD=0çkmg T)q!oBBP"oݽl2PQy:k0v r wziCQL^%vOF~p.W&uC! H IX{rh`2Cw_VԹ݆lv.Kf&I.XR!`D08o98=]TZ#1X f6Uݬ񞯕_rǖ!BߣIgK>:c6y;$$ 6-%Z=%K]mx(5 0x_t]IC$χlPWGzxd# (Mq@M~څsx@]Ҷ''|TC"T*|7lo {!W1د`S3f*+{6j}t,p[Pig.D SPQԺ*);. ~kْE*ˈ'LV`HD8rfG7!zP$/Ы PC5徖$!Sʯ &~' $S˜FsͧPX o9}8Jb(88"0,>=@_)VNzuj @ th$Ҍ$^bە6Xt 3`c~{{5{ m^ "as56J}FGwAUQ01a.>R`3i]YW;)Vk|8딾_JkM`|2@0z4gq'*}fyv`8}b!n:XlQ54H2ArJ`=&"C瑊%lC/)36eld2WAʠ%B.Ml Lm\K4uU-cD3ځMn;ـJ9Bhپ6<~wJY K1s{5٣\rMDS8w(U :kn_L.}|nhЃ$ mPQrYx!{W#MH7CAa-u+$BSԒJA])Qv $>ː]9'r Àd|b jc5%]1"j{fTb\5@ `FCTũ1|!3 d£߯m-j[ nMԽq)AXܭ2+&$&T8>l"[$ZYVi_m,u$Hp^!W]?ļo[wyC JjM^ oϠ1 " NBp%3Vk6.k`"_B"n<*P,mjvu[5ڋ!8ߴMuaX)=BۙReoMd4#pS}8a |ZRz(sD]PSz瓘 itA?k6tkY(1ըz59l ZC5a e$s>#qHS(#|8>}< Vc6Hͻhl)ԂؔR+{ATbcJ2|95 2* "=Wu}Ϩc90*GX!dcqo294xIS5ղz ^{RFr&Pr#g~iKVP"qR?Elӑmv0bkZQ9viǝ_!(~sx~yI2g2+kQR!k>96\#?` $tu | ^#:zw|puTEt5ѝ\a%/Cv IaI13*{!-7zi .<rwˏ?[ %zŞݮ~iG? Mq/u"9xsQ-R1^`kA82jzV' bɘY0~uu* T`5hd~"=,^ʃ_3݉/<TJs˟(LcWɱCr H'"@îE!'6Am)=,^x:׷0("Fu'|:3P4&(M Nx {eУ/L:_SĶeGhNNq5Dx2a[&sDnaV5ګd˞&qRC,j*-+OӦٳ8Z=+JsLc0krY&BB@]ěigƜ.C Kk} ]fjiC+ֲ15C!`$($>Rq[)k< ֝):zՖ[_s[l"]Kf}᪲ede 3W-w눮6U>iV) 4lMm9Wٮ/y2ph飝gQ]ˠk؛7ˀ4j^‘tL=m3mGW ?XXn *`QHzS'+s205=@,>g5.o i C{Nz ՠx~5G^Oٞsrvtx; *foϐ9*dC%ݙ*fW>^'T^UE H4.Gi6&h ֣_[;: >sl؅gFC''=VQ;I:RfBW0rPX~&48 *qkg}x]s8!]p6GtGp@it ";> 'ꥃk^%ߟ+۸`ƶzGN?9H|m`9"+ (dHt/1bgFWHZ7#SEZ_)9Ŗ>䀊*;lSɹp^NRO09DhDHeiI$`8T&Z]u<:Rj(ѸXVe6+Y6(A 1b9/":s^7fBK{۳B/= p D!sё<Ϩ<旘_PzօLyu `Қ Ⲑx $T`-Xgs9*0̼!6H^'f3v}KAf9I+˸ BVi4,p׌jÙrDcDӷ^+*u6!t4ϴYW=&@dɔu?Ɨ,&(/w!+C+q;$<n*Gż5CIMk!+@ V\& tXrBb'yEѕ`ށG—fKΪ%'@ ĬL'>#^ Q1,t&Rh.X8Vn}E"a! qm k#G# "dIQ*W6P%ɤf@anAOI\s3RcwNx($ߕrb%w~UcjyvAbi6ظ'QAW q판Ẏ5Rp;4Ǎ2LZ%peP3/0m nF^1F] @Ϻ帗El٤N!jn(-5}/5R>׊tP reX灨7&aBmPQ/˰sI%߀*t_?N +rGRZTn^e8۽Dvsk!FӲB.f S2+2rq{QȪ{jXl~q]=\>'>{Za$`{t"RIē5%)2Cs2*aj1G歞9#a$9U|ξ\Kv ]%Ѯ[KrbU~ IĆ8;*uC 8T!Rlo# F~.kq/߃!ij1SdР:tb5Z1نaNlvtl.T sO?b%(@zk56!峂@)g;0FNbZfʫPlO"q5:x;O}л;w{vVbgSK-| !O |0{xOb̸m! RގdK5*jt.XG8dL9cG SKfrJX6'?k-P_xկݡIӹ3OZ ͜(u[+ 4q nkZ\*ԛxҥΦ1-xf+6ƃSG9xߣjC XmDAPs=EяS.m5_άr\# an6_uAx^0͇ St+ǽU'cȨ0%u \>hƼ q6zLj'E`u -['o,r}>yHF(j(qP?Q?='݋9{[̡#>}r阅R55@FO蔔 C*+L='(xa_&~ĉYufy2R ,! Z+ % ހ`Oxp_0?_!O& 92V(O4e& be~"y"x49Ppjl}]Djqr~` F$`5Wd[b}sX/B250E |YfOGOSG_\e[ޞYEvikU5˘E]Y9X-Gy6]$/bgGmOpc-N.&j 'X"셱!øڹ5 ˻)э"N~1u?e- "{~DQ6h#˹`DfI7rb.4$w۾(ryTx9Xzd.??~.˜8>1! lO%D(vUMɾ-4-;B\nK̺E v]Ѐ+Dq |6|(69Q֞9YWe>"O30l!2$cJEpG 7eaD.n\tjSM1)5lW)>-NUJH 䥆. ƳS &t&9UBiɉ.\)_VF& *NB錀u !J%>AW hbr{J .`L *8k[D/ G4!KOzC6B-}XlҭL,k61>!&j0K^J$򌨤jZ󣌒Fr` qb|h-ɒTS򰰅m-Lv"3ɍ[I䁑@:O%3Q$+>_,D!8ƪŶ_yui9' mZ.`c i'gYZ0~9m\텐<:v{[li6lWÎ? !6(ϯ;/ s_-wm>3{Uu`Zs,|;1y`[yVy3ǁ+ljIŠl$4y+Y#dV\mZTM:;=2MvMJ/c_ $fA`R㹁)Pp5GI8.>Z8lCUzN `l ԁw"$\3nT;zZU:RYGUI΋݋㌈e픯*d#l$u#Ҥ NɅ+33?D+\.fu6# 蕚܃$e}30 (_þʁbţFI)נB`Bo=)Sr oc"Is a94Ul}`W4LR=*G~hSwx]I)ш+`0@qNM훲pSF}"^FqP FL00B]vbM@o j7 snR97[.2Iu),x#Ʊy^]HاQ2*aQMoz}Y2v=``Yf%zfQ4yD6I@vOFy~@:YQHlIy3EGC/ 2a^(JaNjSފLIS@7i?aH[%*L.*K;#[UNT@Tړߍ#{Q>{y+&%5[4%hY*"$K5Ŵw[O':&]W xsǸN^9Ts+~璸`[8@7t!-Ҭs'V_T3vL| >ƛ{ұ]qk  PdVT6]k z`#'쌌%Ԫ)ofOǾɶ/{t,S^ ERج|\J^RwqRp ;}64rGD?`_a2@[]@[R:7F':W/ ^=[hıv}mX3̥{rlކU|aY :2"ĀƹJZp4zf:^UœY,\nZ]cW^T J䫽g!V`~ `_eei+_̨9/(cfgwe1T(%6S(@]HФZ̞Yw :RztU;gs78\j4n>6"#:qY.u!aUM:r6aj4qvCSPz' 1ܪsS˯ٝ  IkhB|¬]٩4ˆC`8IP| +H"m&yv.8\8 kAeC +xr,P3nP]7pʩZvtx$Mh<%}d'Q])-@}SH&N [ӔlhrѵW8&l@czmsmW.LyH9|?DQj?a/ٟ,7*' Zh+vOFEk)6D}:\j87ʳ8'GA"c ? 'G0u^ ŒA]&phHd]1޼4s?9&ХxzD,@d2WSj' cxuqF?ڄbBoD6~Pngzy졦Y%8K2s@B~#k+T&Q&P g> &+y'9yfrxQ W&* YuȂ3 C!h-86FhA6˦h^f.\S"OL*uq Em#c)R65 Y5x]θaë#*Asc)vrޙdWTRf5!OY5p VL̼X{(;`σ(7zM!zQеCL;C@F}Al[:*B͘;Mn?ʯx4\RIOxfs8N"7?2gX5/cĿeہ Z !Is>A:֔&39BM\u mxAFgf$̉9ixjM PR·HIb PѲ'2nlm'~@.[{ٽC8J@0({FFT(OX"ZbRLyNd Ju QU`Ɉ]Vr&% ;y4n-#Po.s/M$[yIT!^HA{^;SC y˄}RkŽLl9z]m1uE\SϜ7ṁ. zg:?]]:9Kb{OWL{zm݅A>Ҏ+xctr7ћV3[Emh =: 41+v>ˇM 5C+ڏ2}s'',_GWDwƠu-nd@ W{+&Ey)ΒNRQ3ju9YJC]#UͫL]PLn"1~ܨ_ Nmqls냾#Xo^z-W7×Ћ͇KG V}$$ xؠ&?,Pa<.ŗ"=2K~KZڪUϖMdsd`^~6\BOz 5;"0zov~jeARj产,Vf="pY!,,S6gn[_ݕn9;'!TKG#12U.W uusCK(h<֟'2>,/pb [ HVT?Mty%~I3 )0VZ3ߩX{'.D%(b:{m-ߘhp}%yDGq=ԙI* P)@wXjrKNV5R%s&f.?a," vBF?o9g+&,tLUg944'<[ N|1ODWf/w(AicqDcc,g:^׎nk]8 hTlߢ!]5Iϸ<Su)z܇}(i:s^[\(M=JvjGZ"[u @yoL?+HZ8GƜ#X"GHi̍?q+|Vc~1=N":=s'Z%q+J{p'C8 ļJGQ|{0wƞ2ab~`nӫV[(})5jD $*OzH+Eۡ|8xGgn w(&zrR,oHZiɐN@ õ1ulAu =_Q`VX[h˔^&|yk ΉyYP=p9j=m:ێ~1Bѝ!?~/;&V\ፍ4FHC0!sA5o/^]GdH|`w_o]BYҩG"ffOml+?."}F7 Lnt4ϛ-!l[G% )RcqW[!vȱbs$'Zy0d>WK`RAӡuE(`w807Rr "{J_7z6谿\|ǗZknQB*}CjL/XO.M>{0f.s{D{wIǂ3 XϙV=:izMDUv+0!"8pI[DTS`A]Ũ*AACbY"Pob{ ejD}-?dC=`.(6ܳmˏ=c7]Vd[II7\4AmH%wX ӿ<1Wj (vSN|!رZp5&\3TC/ojTvH~Sg&1P!j 5΍;T##7b"tA`vjS: @Aa2F@py -j 'A-j+xkXd+Yܷ?KC|`p*ü¤Qz,1Eu UCdðoeƼ'1i腕RYGGǹYjKq_j`Q Եs u ~4PlMW#8}q\rKCtZʽ{0k-E~Y.8ʛk':'Ae;bW qY3e,pt#D7[jh7oF3tQ^=bb!.b¨lGJՎՈ<'vHb0oB`eTǠc=hj6Kd^Hgem" oy;ӿ LUh#BG8@Y#z }D+{kIb{&. XJJUځ:'oYMе SOQpAd5F\$ ûl_w(94^+&`":G lyԱ9W╁WL)d`NZ:%L[+r_֎ztmBE|S%v7CXY^Kֈma|L'ݸf([`4p06QnK%4H*G &hrNQƞHv y|d-<֊ QOͧ9mg~.VB"K&͠fWjLޤ|"eR'oF䍅Tܠ\mf]' ^g*|h'-q0ηgU>RʗmM: h^V M,Y,uip0omΞJx dZp]i\wWi[ˀGBdS/VCJ곲Cw6zfM$u.hx( S%.X}x|C<>'<Es >Oe;Vֵ{hVMMf{QUC!|j;G̍ۢsTPNnCН8 H h_kMX GzFh)aluhĬ>aD^r[4d'rn} LPVX8n|{]LCFN#m* ߕZ'_"-3Jkc=&S#Xі!|: al! 8>B;1`0=wlIʱ>'vNЃIzq aAaωwI&35%Z BZ$kҖ5w[^[zBܑ]ҔjuiOܗ +b1_z|A "WLUgT'eGF$!db==")8"3RPR<,k)N73/;G0LtzG05f5"j0b?Vb:FsA%F^W; ܐgM od'o?afOyHR?TG)hMDU7K8l17bAw3 %oe&U]HA"}?yTPrDz"KoP PqWS;-GhkgȥKuho?Sa\5UdQdp/dc:HH poև`ҢӨNɥ2sG+O:|(eЃb0ݱ>X R,?䍪gpw$%DAK{fPK#,L[Sf)u]`prY~J7c;<_ĮlJhз1FYaYu :9;\P3 $lj,*(0CPlP]`7MVlG g#pѮ%cnߺsԸ)KSYNіО4Hټ&, SՋ`/]y:pn!gGy"b,6mTy(WA<)(A6:t1zs硁Nu"qmlyduG4_vŘ20$V0~DS4[?h=M;.$l ězoiJ3Js+)^8X#ZC7٫eJFmyX?]Ph{Qvn8n`TcL<6ʞstAJlqEzЋSSFɎzL s އmU; ^,T>PT(K_[i)1&g9`3is>{{g#5WUf.&"aL֜XNlpfE\`@ M,*lt,<&/"/倡Ai?Az&$T UA'zo, ၐp75pjxlR[f>g4eGbxafˮV(o?K:3& NY 38&tF CSgD~7ǚ9A٩Ў㫲d(a>J LsDȦmқ,A;Wy7 l·c|f=jJcunSгцK:5gUϻ8F_+Atzw*>H[v^տ%{eXK8eEPz ԠCL ^r)ןt$R`pE$.lԥ>]zuږv5o"OUdVKDn5]R@ZRVFqui$l+>6JOUnXw0+0*\n 5)oKMH^Q TFs.,+a%Ud!IѲU$4-@$SP63RJwMX+{5vM6fE`:,+eN1iSy!]AOD Q'<^%je/?%)uz\xvh[rҥ|3!#-cB9=.gChݽPh q7܋/oAlNz2M&U=.R,2a>9AAbDQ\wYw Hewv L:,G4zJhGl#.'!I2nH@%3SMDbԴ `tJbt$j-"{Y_hgnO~?YW9vGu#.#Q}@%5CP3XpA(2e^M&6rD'[?iSxlȇ(TCs[a" oi\R6C Dљ ?0s nd{~ZR{rrw:>Ee-9̎㫑|QLB<}* dr*?oD7pQ16S̰voJ〱d}2z߯1̥Eyr1-_;AcͅmP{s|"j,Ķd_ޅI.:R= 5A#sTg~%.o6wc( H>O'CUW(T~<4Oyxy_ц5lh@P&p.'f&Q!npyO4|~ УvV!Ū׬l۰ YƄZ[Tsw` v‘nĸzPX bԙ:=h )9F|VwH缡prڃK .I5zozd1N;s_3|p_͢Ht+eJ$K;(Xo$YP37|mqF,hv+`2@cjѩQDeP j1ڄosl8HN)MW H◢UCL1 3$0HEK՗?EU+vL+'!_@y 8-(TX+l-9 F ?xٴ~ic!|$a0I[8|_k9{8O6Kh,Q4`MVq"nю̓F3$S^nT,ǗjF; <Eۈ.2U W4Od$Uy6:% x#qy{~uHh`?| (<UӻO+RKёѠm: m`{cS6lf:+/]R37?ҢyhZD0]%2ii /XgYZ"\ɛ@"pKØ& ٛaA̽b(=@ YYu>UAv> n UrU*űE !`^X3e[5 <, {!u&RvCWg}+N!Zo:CEvv,}kjcB&dy;̧9CsvG OvEu+gc-D̋} +/|I]b"5_3 ދ~Is#h/3ߛӷo#[fڣWKn)22=ݫK NXff{ˇǃe\@jR(K"0m/p:BHL阔2ľc%6X rz3WKC賣ZAXE 1k3Pw+ x',L-~hx?RDDn& aJO!튻D& ەXPFK=oFcw@ɺXR߁.&ҭ&AR@\aRsO椯 ?͎QJYuo!9ze\R[Hk7 _\J{n8CЩ? \ղp|tl<*#Se$fSA`a* s?чܐRD(CI8N{-~rO2Hȝ}WHou5'K ΈhUL';!ZP1>Au1|Z4sdmPM9?fScZGm*U\dKcܯ"*@7M.#g"ăÐW-ڮʐ`>[_62{)*G _W~@Us.\L;9`APW`AAL Qck3Pa*2,]doDNx4 pad|bjok-GzU լ0kS?p޹4Fdsh.i!&w ^W2>V]7G@/Rz51E:`h7 2L qb :HKsЌ0&{{uA>'[^2umC, M, r|t#ɇWB@'կIzΧ]?tEwD >&oKe +| Ѭ'ՏC['Xsb%~oG]tY C)J9ش3ȁZ椶1x_Jn}7xںiXoXr*rI#CTC_ fpQ@skq-Dk )5v =I Vvc{髇 5ʍn8MhA.-LTIyi?]1Hprۭ1Ay;&q.* ј+=8Zz(m 7E.!yk@.ӗL*+ e*tQmxU a$7e9У{ y3>T=0WԐ7GlΩz A2F1W3;GC*gLY AZ u+hdA MKb3usdvyIBnҧ,v @>ekRMurH&7:֧LdvSȾ*@HHMb_<>*P4}L|*P׍j2:.@)zs9o8$enucZ5vH")#;siâ@0Z_k>^*w$,S,G縈68%ϑrs@ߧ\V9+ГR`ʃdM"KvU;1cy3rix-QZT7bcgh +tws^+S3OnDԥ/i؏0)PHǚ` vqƣYZm D&C" cMED+{:0<E9Zw”~xi9,lCd(`sHհyߐtz9c۟s␟eӻ6F0LdFGi;&|RO<f<:<N 1ͷdc}D|<県_ .H|aK>_ :Dt}[f%@q:NWCʿ.CA_YJcVB˜{&@zzdM!f]-tAJoezt3 [_'eWU92mG16W*Rl'АhT xc'&5\zFR|,V# v;0-VӧO/FHuDbjgoAɩꮮ@ex%:-3M2cI77H~0Vr0">FUXxU[~ D!xؤK7>8=~ց RW]0/K`@[$NXJ(>n Ɛԅ[V= uv]ƻkqg;P-ڏu\~7] %Ө^X*HHݳoJ|22Zػ#8QyP ;bOE ܃ A~|2 ɪ9([R;UZ M,H 6;ϯ{+x}ë7㼉ة%˾AizPBDO?jV5^=:JKdUZoD* %kꛘWM3EsLlY ٛҎ)y"^Q%4@hhnxɾ:C3TW4 T niSR2K|5gVV*tDJd1!<$xgF)77G]ֵK (tЈn239Tl*\˿J|2l ͊]Y sF_s RwyjQV=%8vYM!0};ȅH>\вZ܊;iu t y F- u.e(sZCP`D5BS޸PWڜ"fH1Zi,8YtޙJ,i.kK[( lÓM5ޠO4i*LMG!WDˡ '>[3 j6Pދ@W;# qN:A7IW4YWr`]Q{l쪰 z,Rh2o]$ML%k˼4!>PA+DaQ|f9q}WYLMAnu ]23wc{̧ڀه 6/kelڳ]S94&:E5 %͡P}>,l%*Kb|:={t$. O.%y?O)F?ؕy2[<(X^oFaJ4=4݄ 1A >_R ˪lJ.$RZԺj O*a8֙VuYs!nʟz]x\4l;x .x>hՄ9'.N zUR}- rVY7Fw#'-/c{Ob^o)0;׬y/޺pSm8t R4OM'5Ր o\Yn.%Yn %X+a.kTYM]C`h31֒b7X aNc?ftLh3akOKdN!f/즎H%!F>g6N8:aFNUPH-#EFjcHcΞ0NY٨s@9?w#i~E2nlf/գ\\]̢wοf|"6~P^4>[]{m#Ю=QPΨ&}@mgCp1\#Pt}W++'^c'n>иTŖs\M9*;2,=tn7KqvSDaNkiy)Sde ҋ7C?=֫5>\(@r>fzwˑ~rʮ3: łzZ~砞M)G4 %|u\/_l3n %)kùב깞_";;pRmf۳;TzY1hS5îD3#ip.% jW'|֤$YռvJHn1Ya_K OkK7k%=Pu:Ie3y(yn,hIK@!u"GV4x0Q„J|6Un`l(K1IJ--$p72ry<ґ-~CO74qa<"r[Ȼ}/D: aXuꅗ=(!aJI'QXAA-XMAg5^WTį" 0pf' ~cQ[CJ1Hk4*ԐaqS atNCŏ\8r0pUطhπlo~ܽB}U@;0VC"zg;zڧʑ|2f)BB pS +sC bb&7z#"EW?I'~.Zq!ҽRMdaJBpB텨Cqu) 9lj0KYY+,ӣ My\NrI_ {t?5+(c4LJ,9şϸ#'RĖЪ۳Q)Reh<7b$aAW\f߰:"D @٢r!E3¹g۳}̤dCaZ1vO`mœRweN h}x[S0dw 'vh1flx܋5DW9-W &:Ɯ=DLAaώ_PYgJP<~U:Ɲ"!qXh旦IFͮg$]J>kTj b2{;h;" .Z]0A=p­RRGh!a. 782I}dgS2ߕtBnIzڸ䍖6S֑rB:Ubf+S<9=V֦iŹhhnA GbxIki% ^W= &*R4Q^hJjk`Ql *^TC: UQY._zd|][:sVi)݊m>K/nNY"M1k9!{邹xxA|]m&I+Y^r'LY$DpʓY2׎݌FUqiOlͳ}. SZ`i9e27ы1k0U~ ^ɎSid.0} ߸}Pj,&<`P2Ht$p m:Hc0ʎ?ˀQ1b UR hc?k[x3ɒ?rտո5-R_} =dF zӉ~eM!WMUC&Wq?˄+\Uպtxr>]} ԍZ#.`OYpw\4J] zM:W(ъRΊ=՗gy0<~pSuKhҧWfa=f٢MJN n_!PLDk>nLbU 1G)Dbd^%!zkId6V1кG 6|}!3دyTNp|?!Qz29^>O%ђ[€/3 sz6Ћ?c(ǭvQhE)O)=PݿCD'#Vs'㧅H>v}WF&m4qs:v1E^&|8Aj>JH0˼Y5cb3kPIO)N𡍠Zgi0 WXȷc}@\Y]I3IEx癕Tx+tUyU#:!B.*%+d/ !6BSRugYZ$(ˁ&lXC%Ex:I`{洿0͕xX54G ϮgmB"4TSc4Cgm5i^޿g#^Z\\*d_4GNf~;|sLɄ*!lֺ [nqb u|d$߯ B35Xt ÉZGvM$-'6E(ajPJF 6N!ىޛJoOqLӺ>3DPd=LJtJ8t]KHa8Q:%kÔU J0Xdx P*G9%z9PߩLag;O|ջ_IkOW|τf[hJ;kZ٣1 {OК?!,9W( "bxiwt8Sa */NH{d7u}.DmeDsx:fɈn$P LW جyF& ,&瑋imKBfJBp)倇&uc;}x*44KLGS"yܒ/+~"%ww:3_!k 땾8f wqMHO}~D<ߧx^hIow X#f<ߣXsT%7O$즤^}Ed- A BLVhDTih["$󆅊ڤvpM7RiIgP1-O4@,([$~?A~AiFbTj<1l}Lߐ%,"ur{s^QM!\Λ@cG"fJ;nzqHzh 5`L.;ь<4 MχVk#J{}_mhk ơJą(ސ0V@ʀ9oBGn)-DjH pM^62\*wܷpbkGkWRCp-Wv3GgjoNNu; &I xa8< Db% 5ۺޏ"C+6}<8q*?GȇS"vr4q9w`:c_ջ euV:j 0V8qU\",Whx>2/f:)g1yAu?f<ɾ&i K6F˞t9D :y< d{skx~gJ?vH&P"5*8}Csd.J~ iMe#l+0a #, ogPM~ҚHbLe{ Օ7N+=ۏ?p?G/m2aW؜Eqyvlչꊉ v{hUTG| dcNh3*ܴce^s 6?3'B%UznH T&&w^~|yCϤn*wJLc#f2LjMf. \3ȸ,ɘ"HS6R%?W`U_4R[EhLN2Ju@Dc8 ȢgBݡq7з6v/r5a>E3eBΖ<}r@zYrqNqLcQL5n M&OP+ ڮkM&.>ǞR H_oClE<鍐u߷Lm̗M J}#|GXx?ʐC`dT'zYNO"o%ȥAR' @15 @(By3(-؆v.6N7ϪtMbŁYA@}4} xٖ7 }Z{:0/\c[Zr{ĮI-58蟳g=Qʓ4k9*Vbck/(c5t!fxx{—r"n6`G'EmR=T/p-x^H" Ne"-y~ۋABU?Egݷ?B6eT=¸E0nDc6q:u=PՂ?4m֌+cU_∺M6&.8shz`ـ@:yyi@<:R_-uJtA)7]M7#Lqh\Gs[p{꥚.U$^*|!Θ-i״R<;-0Կ;Yi="ΙW rk1=@YF%\T'f^Y )[s$QZA3queB_mBw UXe-$4t#;}V%tB{ގh(9Bt[¤ D}*jÈ4__7)&yK*zRWG&p;! dw#Ĉ+\zdL췶>[\~Z sghÎŁ{YԪ;4馍z|!HkA=Z?OrS4L-v[Zr>էu֨jwRqEG?pԾ?sP|֍sFv = x농$9o E4 ~v^WU+<􋊏()Bλtj:=-eOᓶ֦'o?㒝)bMG2>VqDUUwLվ7nAW>]3mTtN{ܛe4W&((`Ycn$Pg౎PL_f&^r‡RVT@@5H"u=BaBB6.؁f ˻QS5YWHOucҊ.kf`$ώ= f9] ٪).J`$To.x$'I 1UE$$NS]Ipje0ɲ5=1I f⬟yӝP3 '~ /ĭ?@{BN=x~I(&q]HO8Q)zgdZyL}3rd*J@M&?NmZqkdeFb" TV^6s2k6amm f%榠 wEǡ*"JB`k;Dz\u[ݍ⎪h ID~̏p N%l;֠V,,xCrύd!c{#Ź=<6ܽ& ~euj(w>J z{1""8?AO}47B{lUFmjnHd8uU3 Һ[=c0b5e?h~r;F wQ?xl17N[G{M(, }QVIΒ8*]e7%gxzȶ:)s=t:ˆ{PغOJۧJ؏L%B Mg@X"&#=2zFԖ0$[і!ɔݰ7SRa9 AGG8d3k.OR44w=ޞc*F &<戂oq,IN"1O|NSF\vHfA ж[]?4,j~|f0 4a#U- =jlNt px!RvIk [H/5":Lë?% 5QETs+IEM4Z5UA'z5Gv`r⃥>&"dc\75✆67/%\.' -ʮWqxg24.^ff/! !#Aw "LU-dգ)aix[LK{-R+浉9P}TFidrHN}J8*3ޱꁒ]{^Γp~R>^BMD><$@Kr)+i]?QvY@,'\/O&; Hd"Pg,&r@`oa\T…|ٸ(EԿ[?hxko9f H5 <(+ :CpR16Wз@SWYk} T!yVb) . 06nbO}KR}uF2;h'b#MSaox7:__Ѽ$Z-zX;/^_~ThmugU@䆅^#r$Ʊg޷#mYp\lS CMz}EάKPL*!.'v EqS}TwcJ:c_\5cT7-RbGr>/i[X vO>1Oz6GX/opӆ]-mz2I(}iq馩S]XsX$er5*$qnm/ٽh2V𳋁:9tQ# ͳ b;"{񬎹[R{QEE`D6oMY=?R [!ygzX K\1m'z-P"kuHf˺XHjշϮMUbkr]ɣrߣuҊP5 w~x[$çR OA ~3Ao.L4u; e4 D{ICXTA7PE!Cmgb!TIXcDӊߚPKiv%Ay g!$:J!ZÕw.[FLf cߎUO ؘI%kADgFV)'OBO0{D_X%@G!u\cRd#-[]dPY$kD䯝0`z31"u v. ,N9%c8&!K;Z!6.D̑ky?Y?[CMáݠyJqlVxS˰)@:r r9ЎkEt-lN }SCQ6@|7͛i.vM3]:~[jnZo!N'"u;75% w$ pݿQSV-:Ͻwi! V$%{+:0 eruNT{}LiC?Q7QO|D\gpW%?30ų/?/R.S1I0k[+eQI%zrY C6Hܭ8) 5D{:.R.яen3hhUcႷ0J{ΩROB$RtUm+-md`?)JN-AtwU WlժyiP裆rCg92)wR zVDK+tJbb *5F0(ZIҋIꁉ92"CSLl[]1DOUdcϙ.ňbPܥM+'a5ДjB=.A{T|pouAݰ!u]ug O;ꗂ̠^g>e`[}dPjKbغx0a84@= -s#(.F+7lХ[nezl4oY ?].!gSiYck^X+4r {KỤmH)f0+@JꔋͪILwGFخZvW= b& "Y[8i,E"nqPVGgYZ  b%Q% LSepref_BasicRefine_Imperative_HOL.Sepref_Framedocument.tex7zXZִF! X#]A-MՋhvG"uIBm5ȢCj L.@&=`/H!!!fܬT_W ݨt6eNiw2޿'.:ل?fgu2t EIֶhTԤe]*Î7]EG\Ipp&͒;*#gi&tYE;J7ޜO[Яh.ͤ/S~cyY< ht­XjRu:JKY  r-c3?M{8?ޑkJ ea^ܣ4qs!7@@ר+@FΞK2ӃoAA|%ԑuVog[jS:U >!;CofoMg8ckoZ|x/WMNģyP0 ,0!\gjic,EDBS<7ZYQaGȯ4Իa}".GBj $cm=A'yhbn9!D.hPΫv۩I'aH C] ѽFDY*~n#*o{k^)|fn/(Bk4-2(H#h1.MFTBWHCY~FDྋY6!=F&}J2/5I)EX"Wc̢fY;VÁ.p`JWyD'QDL5~8)+J! $ulMM@bha[_ʒ]w(xڀ+e;h$L[K^X &-'˫C;otN wjl!z$~ob~oҏQG6Aj2JXdJ$1`ՠ,4EghϞ,-Kɍ|@az㺮@` 0(881}.K=D؁w$jƾ2_beڐeD_3OwrD q54cq8GaG;'\X`i8% ;{o'}P1!c@j{IM75ԭ9k.`"WȃRyPG=:ےO_5w"BE9uIҭ  x}7}_d9 +ȑB%Uy86u; ݼyC`_攊¤e]XHDƞO> A`esB=Ŏ-Zb` `m1gPasރ(5Ñ~)5ݰz{⇛nHtO%xR0}P®LcHH]~XX7mX0),GcMRz -VPf:BoNC64%\RsνE  `gjGѵqLA|^l)תkY<0ubd>cWX]_^Ѷ]lih jzl3vVX;R^U Dg4 '^o> IH[C Ҍ%Ɩ^A^YҎ9!E Y|7Nn3vjggR8T:LF~B"Me{1Q4%ŁoQ>~ԄRq b Y rh=.]gȝhvǯGT率+L7whF *.ZGQ!{DݘiC*nG3{:@mI b]"Զ@DSe@T Hݸ5ݢ/2t\nxo$#Ew釡ePԱ$X\2//br8NA]{2aX`xd*楻ް~\ظo<cʈZb`=ksNNմuuYWWeJC\^_{6>&ccG+Pi,?[-- ttrxV]Gj: D*M#:x <GÊ6.f´zH=?{o—E,s(^5\6$!|tPq.*13N\(1}*{kaw-sn@+NE a'b[\JGuIs9amq*TF oR\BC3ǴmB^qZv7C]Vo,Ŝl 9B d~kQO?7xE_?u6Ѫ\5 Iإz ]e>!f ;{bofNfTt G ,wW$/ rz(KCna7^E챢Xײ,9 tǠI_ RB?!KddS4;vkT%X *\d3FfNͪ|0Ծ6^)rgΜ&-ǬÍEf e)::H;4 ,j(_Oe/Bäl/hI\%V:npP*M,"x~Wy\AATf@B~Sۥ e$4,?a.mZw݌T:~J"=>~fnܷT#e+fB9d:U^Y,T&^5[yɭU,4 pZ٫_@VxQ'ga*[1B`c񇳪 3JС3EĶEv䇼&DN:`_y{lhR Q6IvNg {.# L VB;#4näJ[hKF Yl?0Ǘ'pӾ ΞVꡱi+Qr]_Q anw+yi[HyOeoL-|ehRTOJ?ہ>^2Bd1u6 H RQb囀 6@ϊ1E~ bkou"G-$RUYI`o= 7@LDpߓ{;:IE@{ы`umT4jBX؁VpofVАvBg N#8>]AgYZ YY %O% DSepref_BasicRefine_Imperative_HOL.Sepref_Tooldocument.tex7zXZִF! -]A-MՋhvG"uIBm5ȢCj L.@&=`+~jgq27[9IJݑTm.>a3lhIv 'ηZ/ nT8 / w5aeتkSA ni5lDKhtۂÐab[[W( yp?iE&@7yB&IDI|Ky[w\~Br!o w3 (A^G<_.ӎmDE+%3+WNnN厠JA!(.NHz1|0exY/+P/`,VP\QO m j`E`Z2΄%O)@%u9YvG3(W[ {8!G_VӤuG!TUkf2^PpF{-P=詵ޚĿW}B I0.+^i~ i7[|,\GvIfZΝ@-U/uSz[n ?c`,pPcNJ@[NO ^1:HɧxbNxEVy.C$)D>"XU|d\Fծ:jOg~F -{|;p(JeQ.7A ;9LK[VBX)E!^viW3Fc@'a5/M!\;_7dtHTļj`bQw) xF*n jlkb$T.;64B}u i$ T+C?;&߷ۈ&e=~-BV0RClվ&2_ 2:W[ S ZzRV8H,ՄnG0M&ayyPPh{ \sre'"8/G`-ʄVmmTFv}C92@E\L'8W-M ]}ؘZH UR` ˹2ަkڦ AF29Ri>?=eM@Ex.Cxzn:O %XƉhJ{h '{Ej k+ Kb,/>:*e?N5?ĺ&wY+IW ]vVW:Ig9N]M~"9CRֵ7>fo.)=3A~eEj 6.}^es[+~YNfK>i i7R#.ƈΘhMv6WT8IƆނBX~ad +$x.mJQ[I0r|{J9RCFZPP͂<%uڂ= [\I+}B-\cO 4Z_e|9oݪ ߥHeu=b.H!aՑeˆNjAC^l147F˦z0 Dխ™@|Ku0S3^{ 8GU֒!tIE: @b@iiҏQWA)1<413ը1[i;(i>Qh{fO17~<>Ӝعh"`1܋ )5WNGgTy:ʪ > 1.Gi@!=l _BfpukgAہQxs[R:4XJF:qS^>?W͵aR [E"S"65yt;y َ߷Lz-O [~qhA%׀;(C,@+xٗVFvHq{[BJ૆@4ʈvOxx ݷuB\N畅&?Z^avFnS$ Eo\wZWIO4 yX'~}3 Kn11xcĪ1lWD"CwA۩cK*pu&0zfu: +@J,!b`t+Ed\[~!m,ǂl$LU _[_$9ф{8-Ӡ{{>OI՝7bWZ`o٥Qx=^k@0@Z*A is7!)f(pB!&AuPa[*x ]zTaN@nIAx$*wa@afH}{BvQp`-M8J~ sD[ 'ҡ!r%CT&_QGR^4 ptydX,J 9[Ⱗ ki~h&kހʝ ҅QH}Fbc_):&f'w=GIXypt35|n2ӿ.:JyB6O91נFx(cu< mǼvK z5?F6Al956k'+{HBJb),Jޓb1i;򖮳=(1t $Yyyll\)XæQq{tARGhܲϘFLVu.a츓*/W0rL3=!ً ĕB 7<0bG< lxxI(Q1ؘs췬g7=D'Y br9xծ3sԃ40aw>^5ujnVO鈍Ml< V\[0x+p"P ytɃS^${=k ^mttQl tY.VUjg'3rVrH ʷH&PY2;"f6}j&)H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZ OO8 %W% tSepref_BasicRefine_Imperative_HOL.Sepref_Monadifydocument.tex7zXZִF! Ʀ]A-MՋhvG"uIBm5ȢCj L.@&=`NAG&ރFK(r22(.L ԰QQ(e=#4ijui<1#!f!%2s\3N?͹ZNS']+LŸ CG:`P' 9Xo]lJzΎ{ysjDL{j?'1ө^]_%dRDx&m wx۪(>IR烺Gu\56 "zxUpID0孨F',82HXaty 4 =sxx! <#4|GQv||*yQOܤnñ]:?2k@i<ڕʚ"ۦE:vFFic$/m/ iICU _PQ/^ K4]7Pbh?~bZxшҭ fgmY~֦KJl/.SQ$md-m4ʗ`;s <,$\{d&Q-OLm g3m4|`?'k+߫Ebh2w,wsm72IkXǜ\Y]kOzBۡ?H=:OA tHa1! vnS!uz$l(V+L^ WuΒu̸P6MVk9Y,e߆AS@`nW+ #iE6^~҅TkȽY1pAm^ZhЈM6Cj^.Yx'-wmkuAJEC**[30_o)m~&riS{~tH 霩fr" Ф V#9#x9Pzm]AP)z.=Vac3HEaXr6UP9:o8(V#b1-,/\`ټ*<&vb}5_C( ot5\y.mܳpmb Z1qi_XЋ(SH\>8b.B̵X-v#q:ݵף΃?E?jӐTc T/%+LY;E!T01xV'}ab؟٢R̖?+nT@/`MVLv5rWfS5LDGj`ʥJ,1F{U~ ܘgGRO3ޥ\k bGCmӆc+.>d9z;WSY'0sr]1B57$zV#MLEե {[;7@9XlTͻN]L8=aP9!D :|w1'Vy%#%c5\#ns?h0N}5CǂSu@Yb"qՄ1r'ȶ&Kس~(I~]vja@W+wAbH(P|+ <z<24ko>rӝt]P0 v oc!B(2dR BYmByC` CAswmJvrp! EvAesH٪r$Voۧ G"W{e~?[bY9v#,s %]% dSepref_BasicRefine_Imperative_HOL.Sepref_Constraintsdocument.tex7zXZִF! ʕ]A-MՋhvG"uIBm5ȢCj L.@&=`.ӊf7"YnOuRNݓV7B1ZB%:"ЃP~k}B: B< 8(w&N<Vk0se@ -1TP5i_P^-TQ-q {a5ŐWEֺ+DpxkEGq)m3Me^ / ( =Rt:N,AN9{J͜[媞@zi&XS[}PF[L8 a̐P`Ul>jSýd=">ȵ*6O aF; ? sмw7ֻ譍P{n))N] Z)G\ hh ~V("v[(~PQg"#}&r*`i!貔Xߛ^et!neJCߣ5py4> Th"t׉El},,.,i)d4!dHZcLRv;(oc3?xhLР\ҫ^ϔXY7QصX*/H}W&G7:#7[[cZ m װJbׯffW+_$v[Eݐ3uث|oqR_0Q%FDgTS~{Ѐ}yp w~suS*]_QȺ_+P;ߩ\ d,lx_)}[jdv|r[O-" &Hf[L>a*g2R1Aiu3v{7VV]Uzwɨ=$G%heKe}DXPEDnu1iCihH7ⴋžPV,A:XxMM2(iʞNm`<}zR $:<=+Q %7% DSepref_BasicList-Index.List_Indexdocument.tex7zXZִF! ᪺!Z]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie{.U3 :(L0p]Zc 8?7ʚo؆EÑ6 ~nܰ9ֲGho~ ϏHuRj &)rz4~+Cf#ls{!:d_L'oL[B E"f8v$Q%ٲo$#Ag@g)*D_߂9sGe@y>c-46Շ>`3O ~'k{w4XWЂ?(2![YF(P~ʀEǤc=$=h~B\&H9{jbM+_ohlsڂ g Dsr^ Snk sbƈ٘x!`/kJ<D6IaoΈ"Ӫ`ɨzץ`|ƌ#9S쿗cDV9EI@u&n;Fڗc"Qj~ouw <1Y/ 7?3If=-'^Nsb,Ok,Yx[k+sq/E ɼ j Zmp#O|I+$,9( jkCi$N)^r07pUC6zha;@/ Fd[^G~OxJ7.dO,q]E}'ey)VAJ,1ׅ&xe&o֯X9寇'[N^508Sf4zk1=zjsc_~䱽uV`0B &W*t|\u>oQL.%rsG0I*bOH~$?K4sHuH&I+g$F7EB!Ik5J(d5E蔂W8Z)V3s_}U֐<1^Xq{ֵ3xK`kƁq}$HD6g {UP1W*K7 Hˑ^AJ܄>$oa?B  ' R*簓3p؂MV)~صʂH}7dݮD+7I<(?|R:܁gBg7V)ЩԳnx nMC:U{4zbh:vZ\ Q`4V>,|K(ئ1;nxXt8LܶG51NxazQx9 jx^g%k+'f7"]c*"nTHيynzSߎ}4SdG|jUsU>J❾t?yf'%$pdxXCa.:n.fKT!f{_QNw2?f$ 2JhX rLY7Q/ᐛ d91W'RQmv=Ld}tGGxmEh!_U1kI>}6Z|-bqd@ D~1 n}C7| e{nNZ(2_9㱖|ZCyx >5 WN 21K|^{Svۏ_2F^|jU~[hbbzJ) i7.l1j:$WaQW-dbTMWy/'\Ӣ)C^>,hvh/#$,B4"kP^8>jCtk߶QQRu\KhDzR`S{[v hɜ;I@Zӌu,WIs Q"{z `\R,-zjBcפ#ķַ}5S*ןpg zqz]Hb=UD|ѲDFi.4jt.G[FFq?SE e!5 i\OC? u H-ձ-MۧDG0Q\ %SPT6E&20Snj˾*vdrl_cAAc*gbju(ѐ CUّPl-]uB)M~iEK$cBT]_PIZ 8NS]rhB:gORh}C&岢9vpCRqYh[1={x -NR~QfgFt‘B/7z)ts^@|@@? l婿B_ t*`z\LM!|oCfŤNFUiF[M>pMA͏S6 6!O#?+má^3mã,8t]d4 OⓂ  YLx[4hWz*GU62TxѠ/س9Paզ*LE{.H:)ȼ:Jz5Tx2Y*/~ݒ=|b P}A-œGNX]+/Z6הQbœGOfjF$7B/,@䚠r@v:NzJ*",>ITc>6l5Jf_шX'ZX@xsXtI9_+8pYF4adFecGdO4U֩NCK=@Wl"օlM{{)-I!_qvm>"HNajqP;{)VmWt@NqjtCw}mh9ơyI[z 3_ Ũ&dI`WA7KUsP) cֳ4"|/܎L屬~r2 7 rH:8uuU`rXk]{>~2uÂO$C^3I=G %ᅏ+ɏc鼝¶*~| D *NgYZPƆC"AW>CpKNIw`,ϡv| D)^vzP|st o{(u߬Lvlţh֞ldA0 "<{_3NX/pao:1KY r@Pj< ,)O"K<&K[:)I#1!?^*ψU%G2QSS)y ꘦ԐGGJcF̺JLLV.R1r) b^t<'sTY>Bn@ϟB/]mlΖ:<6]*2R(ddH݊K~FXFyLE=T{L'+]1 K$ȴ>"DVǛ5XK̏u]KK[ \lժ™trܮdBUl[3׉Lb| ;16=\ 讏*;I-F_3G%[G8À޳ݤ9s͇+LAni a7?'(w]c#hy8~(/κi9:}:sfZIk'[TA; Xڢ(yo@&Uy/aW>$FR6<|6 Z?ˎ!NfZRU^ G~~j9jתKl:^0G+xF{C(`߈Q,]_d1({*۫:jC6F72\rV)/dϏ~&Ncd|7H\_)@;u Awq3?*Q.*rs.N SުG[f$s>@,ċ˺LgͶiw*|)x9nЏϰ6:;\t'3OwH5M8E;9Oi).dztnW˚[^瘺4J4FY2;0 E uK8} K?-X6 Z-?W"*Qt cCe4vq6րj)XvC"k"Ɲn-r漴ڭ#sWe6i"R}9'üz^f%~AQ_|35U)XxX"D':܂ETE=TT: 8K[7$bO_ߚF1^!ͳ 9&-ov9zFbra` s},@Ȓ &J7ƍ }ے̣vTv}0<3Yr^+薮-V@Uc(o acNL"(f'~,IZDDO3VlR('Al3/PX:f>Ku79s^@R[jM=VlWeu6]Kq=\F-)}EtLƾpȰK*?i*ʆ"4t BßCRzK_U=Ha'DL6գv#duяGfSѳ5;? 0ܝ)c̣R9,#٫7*G "#Sqo]$99 4yd7]r %IMF7zNWfb 6~nO_O&$mA OmᇬHEIj&5d'KZŒOqEF$FξT!W6ǔyT !Lⱷ܎S`|>rP,Y{# -3B'ts={05r$]I.Cĕ"kI>8b D.Y[tߊCgd?1B:4dT,R>#SӖX ЖKqN; tT@QgvP wtb\xߙ=b+nŀ%YH0q6K,>9X^+SBkxG^*H/[^Zf2ʣH)tYMJ"wfuF-d-^gwGg=$l(V rPW@4z{s;&Ta%nT+Ҹicι6l,(p{1(41C3@M!HX'gt^. ̚\XJPb{aP̋(Jmё,O*83atndR^Ah[VbaOzI Oh*nPe== h#f`{Qڐ^ڛT*Vשϕ\@RÃ)R>#ypj,P 6ximDM9H G"{2g !w5/V-tKg=Wڬ-̇>rɇ7&r6J굂\0+7Pht+T Պgx )hN]&Lz&يs=(j=U.{D ObOCbR !U;\L\gOH힔?I[Sl*{K|$- V]>僅K}:8O#G.g>HLu3gs(5t|j~̢ΌE/큉kٱ,_VW:`mU]KGH$=>;UPnWWjc73ӍtF#С"ب']wy0ZFǯ^W"'ҟ b⎨ 6nW4x׬Z * ^B*0FBt[2l_e?#[:(J"K=&_ơ2[j&WmiXmb%K-XIB&e8h6rޱ:1FNCuFW`\ҳAÅ}FȯS#=YyKfMqw%p."qz:'Ӿ0a)Ԋ[)U R*p}Gɲbˊy ߇̡-BlIo039AOV̛RvWYg7 oM;nTgaunkj3oqNXQl 7lr{Xa'0V|!\%TH]\{;gܢBk2jqx0[L} ÌȒ~ #'[Q,(UDPjBPap1w =3m=׸-w!g Fkoje;}&[R2vT1L)LVZbRVGgU.;m$l awKڶω**@PwH ym`P=c!선]у-k>v]75Ftqܴ+BI!qI-M3KcĒ1og_02 P"YhT(^q?!puvP:>C|FCNf§X| bUh>16P2UHGͧe0%&,7T}S <%Nz_Y~r? YN#֢o]IsOfws-*\7a$q𱿲o{kK;/0jUSqcY):1۸Ϝ*pՍ<ߘ!]9Tg ״-շZ؏R)Vn#'B 0{}@F܎C_Pj8M7,eGYYa'f Ez`Bkd>TR &ڦXN\zWW[K')IQyuӫj7-+ ƲP:zXd7s)e,oo ^rao)SC:hWEȁ\OxsSp@^{Wy-.,I?cWiшrp2pM#9_pAuE4;Nm5LʔJ5/F7 @K}|ᏺ_={ݛ,n1|pۋ0[?t| ۊ3qo~Û4 :v]8C VM-!uC*KBgdq=y+ |f瞪YUCi83.+;"Hx]]0 J CP$Xˠl|"c:Hd)m!na>J b_-1!ws.cm >H(|Ții>b8 lͬ˶Jjrb$T{HB#_kLe^ K+1twK6ӫ} +٧ĹiZc o-ߞw`Dw\dЉyrq^ RvĴ&_FN0/צ0^,s69jHk8 yB˷Y\K\ߞ*ʓX]2<5!%]`n@J]dCKEd~IlRŸۃ j4ȩξU9B?bCܵ @^r;WĪo"4k>679Wa#X!״{DA-AB@H%WO{cRMh"#B}O¸%N2_q >x>Х W Cjևa3Dmc>GHTo@tR#;`,/ab@)Iz>Qj!瀊"ҽXi{~„F"o9!8n)շ*tq:x*,Bk t6gz34i2 TW~žG=ojUW O_Xq5 2ʉJWngYZ   U %Q% 4Sepref_BasicRefine_Imperative_HOL.Sepref_Id_Opdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5ȢCj L.@&=`뵈8?r v6}h#e/=F.4ӎ1JӇ΃s,rj*ΕrODtunsUN%Tp}Гig%!#ΡMV(cA|h6DSmPKMg mDG@U*d36sQ5NI}1* gZ3F1$ | Ӑ冿tHHvAٷP*j kAΜ Dbzar0ho!sھ(L,_ʵS-Rf2e[$aVG8k: _N%/H-ֲUӛN@a<Ȳ7u2OWSY^ d < D]}MiAd5r Ev2°s4|+ɇ4`|8y+|k~!a?rFfUwq|?M"%?~ Θ7~gV%E)4͓lQ$H k@յ=O P+^pY$54AβQQ:q 8d!+sT${a,01ϕіTf/NڙΰăCVԷ,ۙ N&fAZP ?ՄΖ^̙8)|2OR7ghz-ikiP:3WԨ-$')MDR̝P -?Ҋf1D;dHhmJa|ڙߢGE0^<WȞ}'o7XϞ!ȗ-mQWQ )G61 =ͿR :HP#~\Q|.)Z\Ss 㼶L7t iAW&܋ {-nˏFэű4[\oOkEm磎>9R}Ҥ"ex]0*eXo9Y'&A4)yÁJ<8ZI8?8 nOy-;:1}"|_H9 D(_!N(ndb*E& FҫyDr/$z_$f׽D3.g7 "VrR`A.|z_`֢0W`_rq3AJ$Ŵ`VFB5_oW|y{+i⹥rKiV¶A`숶@2s=]sÞ1S;[ ^u IͭPh}o Fz<42t@rE 8߱-jWhӏ|ܭGM@e?hҨ,AWvRgb|\P7*ۓULhNMV5`1el- B%[% Sepref_BasicRefine_Imperative_HOL.Sepref_Definitiondocument.tex7zXZִF! uG ]A-MՋhvG"uIBm5ȢCj L.@&=`h }(UŒGGMVK; fЈHQ!Հ|8,(M)yPa=7kQ:>iC,wX1X8@Up[+γG./K[ZG:B,1qMlbb%`;4Ҝx9K9цyA+_8'`-vp>Ou0 /Zl=+wSi.DܕN$HeHĸҟ[,05!OW[3.HGN`-* r6vih׫rL^C`Hɳ #6/}3;z@t`QtgANò`PXlݤqak "j'.n2GjƪOj'Sa9  0FSYė8=mF]i ¸50I6NhkV!:U$q}Nk#Pdս+jW7Yȳ'h<6#ȫ轥B龚hːu:}R JlHxm-ӪX-o O2B&wvr0/pLJ,ép_iǤRD~4%^8 m;J~ 趚AylfM n4VLLhhbyR D'D0vSoEIXlbCF^3?N@/>\hLjwP^5a D |T35bxc5o8!h1YyT&q-wB)E8 =ې3A'5 js0]RxTt:Qx |@^8{TI&x6EXMEJ?S#^iPnb,b\)_ `y< ]K>^R{|RZf|iۇ^NռfL3Q ċ^ 3fDg: ]|~*+xˎJHxT񔣲MJ@#vk T?:X(Q]5zF1=14)ؘ}|U3-To|yÌerÈ9A'Eȏ>N jGIJоzVZPD}.q0J sTTec8w8eNZB2;.k)ŻP9 ]wN=Z.zv8W{BELEp{6l9YFK h y 7ծfnI-FH;Gx4(S]KVP;_{2['4ۄ[PuF;qL?9fe7{!>Dy 1S=Њzx쪥Z5ɮKbj5)8Xv7YDBoKhDb,c$a tab !"/:\2J|vǗ fF|-қ˧"5(PJ`يY^z T "r[Jy-g즹(P?e|Ji$M΂߷4fgfSg1(SE38 !UprPLoV䥄GCE)z%U4$3L5a*4 Ϛڣil`VkgAvp'a7>L HL`k<'(ʈ0 [K!CNvQac5uO咽.E隌H<̋EWº FiAEȄu~%k*(\2Qbn|u=ԂP!i0AZG'?9԰,ู}<ɠ_6m>T1.Up: E {o |eg2`m {6GP/AZ*`[(I!u9I<MۓH%rMe&: *i\_[^+IRCSA0M?۲OHb٨]* ݭ[7g"˜(߮]5ƨ[<wƠm1 yh(s<Ѐ@ꀛe3|QZK[L/>GM%r0hSߎOrJVE& @a mfaBX뭌m()WiZ 4Ebi>q $̝[%@n*IU]qSl\=m mtwH D]C^BkbE~M h 󹇖lT1)㿢ϒ}TbS%"7VN\Mt/wԽJfU ЅurH*/FPiK%ݐnQ8G)%%mpӤ7L~Y>QdX+6h_ՎQCg Q-1=1Fb夕kW3emXcvxdsV81L A5KN> 'v5/'4Six)/gYZ VV?%]% |Sepref_BasicRefine_Imperative_HOL.Named_Theorems_Revdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ı}2#ϞD" Dk"/\l_~Ekڛ8MC;@texGe<)nn.d3G2m>e ˖}3\@+Fnqg^V0[m-Ü5-~peIi\9s.LPPAS&ɒ}.!Nd y>vdy/7띷=I5I,zxs a`Y v(`Q ۵ P^{#Lov:Aj*>#ȇU1.x%T=?u> 1Yѐ@pDiydc4"Ыx "$=8zŜ3 P@ѝ=0ny@ntc2SQ<[~F;z`*V̭тnMzcUchsqKgQЂ-+Du{e/S 4ژ#gO ^ҟXe`<<%fX}JlH'jmLٜ믪Oη +~V wݫ !8i1+NxqPɼHyz=xLSRWnz+B8\QDqO*ubPw4Jꆜo+ڜIJnҥUѸg`+.sv*csfšT!BoxT%H _[G֍^[n].hi:coWlqhD\@dXnTC9A&E6&,D-·E^@7c)enURWMK|oέ Urj!p,&-E$w=<י "_%z.+$F"n";]6W&M]E{%)ryod2vp/Whw*uo'-LawG"26r.; n+.B_s&VwV*ּr)*M0D3%0Y *'ʒe^dA}g_9Þ>RkuƏ ;h\&DŽ7*B-{ZЇTO B{v} xt7H {Ջ_g^Zgj<*YP8者Zɴn4/pkU s~V"EQ`1y,wA(U/hUQi즢3ٗ#]I?`'(sZ;As_^bԟaG3kuOe:P"ׂ}M*/jgMYi=JS6P&7ĥiI.]>7>ELQy#fT|K\NKhBϯ$Qh\9 ,9-f EvlO-PH,F)muXĢ wr/\`M֢_c q:gYZe%Y% LSepref_BasicRefine_Imperative_HOL.Structured_Applydocument.tex7zXZִF! 0m]A-MՋhvG"uIBm5ȩDg*IOV`Y7bdv=K 1#tnպZzc]a4Lnm޻Q/9)2u0$Y󽖓Ar? c0k`A~՚bҼ }}R um}>+p"iA/B%z ߴj=čԞPpzTJpX/X(@uQ(RG-9${d3u¹;xc~?,hڂ-2_ʺ] ̝6>v@}85(ˊbhmhߤV(m5exaCY9ܒ5zq~K -^3J %'׸"N#㭃-N +Pr:%NÓPQ;$$5- KWmk&2p ewZ`c8Nb ins~gTTvK'/.4`Fx 6#eHnc<\w;."m+.j3poW@!ߖlV>s YFQS#pDk!(v>ƴp [%Tb|jR*>:~SA;A5J"mycYbS@emQ;JಜWUo%=x#N.+2(q~ӻF7h9/N01uϮNkM/ͅEfa#[w0[ZЂ^L!4Hk Ln9he379 *g3!s~,MzLL ctb/[ lXjaB*'>xݙ73Q7FT׋bX-F},٪B RU2|D4",r9*t"з@6_rd7dʯkՀk釃˙<C#  [F]cQ5'c 'PC- c ^]Nͷ|TV[`۫g.[*JSO,C^;%m-0Î)[mNfz92WDr~&`-Dz؛Ək-kndcy&ې|Ad;F16F_W;rkoj^wz.$NQ-RjK7`W|M!B`n^I|o#({,'o F/Q4]m|x`HrPGN |.E<+c8=-q|P *GQ `/wgYZ %S% $Sepref_BasicRefine_Imperative_HOL.User_Smashingdocument.tex7zXZִF! .Q]A-MՋhvG"uIBm5{>GQNOk[!ޚo{Uie١H~EuE4en++f|Z4\;t؁BvL{-ͥ)}9(O<@df:0c-!?– |_[j/s۬c XΕ.܈v.71v>!lWOhuCUϿy;h pu8 X^C ߷JS :m'mLW8eQJ6J|?ld|-q!3.6fQjcOO<':Ej >d”thyR}3BmtY-3=}v$Y*QSivG;18m*oOdf=zBNooRP2Um'Ig5lUY\Oco-|MQAMz4d2p]IԽ&O<Яȡ 8\8}ypYJ"׵O0T&| .j:@Mw+䀊`jkBjkH1QܛRnEA3SJ4wYf IZcY<.!vӦk*w""+ˎ2&Yxq0F9egu)a'3DEbP^A6!S0:|5:f֔o8ѥ63V{1YXLTvK\?-:ASHUY|q>X(m z*0%{98wOzjhK}U=CGZ=0!K˴ǃ ^EK!Ip!#7uUvzހzilEP9nEz$PQXXM{O'S QH= 4>G2dHD\$T^`/K3!oȻtUeLb/Yy;:CL|)eNM1qC.h6Y?=GRE[jn| \YD{gYZ\%O% DSepref_BasicRefine_Imperative_HOL.Sepref_Miscdocument.tex7zXZִF! 8]A-MՋhvG"uIBm5ȢCj L.@&=`^59ɺ^W!Zv:*ދx-YYú`5 %jnxǟ&YW  X@tAʕȕ+2ۀYXc ^.o$[uōg.seh.ߵE/Lj6Hr^\u~5$2ѰGe:Vus_r1% Yj )>Y|\ᵿPp{Ut2%o^Ѓw[jC)MG O@e—ߪlF ]ýyywt^FikӘ_Bn;^~#wW!vGQy[e_Ak'6HT6<*f*S0$݊wP!^ɸj=0t#IPpm\T/\$s9-H\2JTA7{&\xŸ/#Y_/*g,kQFz)M26iTGW/Đkoe-pPy3޸,'2p@;&$WpnȂ:Di'pmlSҬYeX֜[DccyhLlHrFIJ-}ABxT__c ;oERU"q3 Xc; }RgpA#.v38 T=~TŽJeUǚ^(mW̓{T+?Md& |U5#ppJ&1& !͘"8k'B/tNK^p$d"ȵY*lFZR+ޤPaJmE:mGK. jB!,pU3+;%D)AwyDt;y/'7y.< *U8CWf ?azuk&uRiHYv?'Yh P+RL槹bY]Q:/$-}$qZ5ܶ#{-Bc ]٧nF2ʅ? cLW$:]B3iϋиOMz^k+_'ߌ;t]ܗ:;‹6 xcv# 6]n1b@Ún%a2gJ Ql8NeYxv2PԎ=tF{UTK!aW*R^Nh$Q:.E'~9a߃{#V-ʟLC\(S|@.Bu6,HmƊ㡛WUg*huNUx:t"SXnң䤮站`X?mFe.{ H\| vAxLC Nn*Gyrna9`PfPNLPe,6*K@R|MZ \Gc[= if qѱgYZ &&Y%i% $Sepref_BasicRefine_Imperative_HOL.Concl_Pres_Clarificationdocument.tex7zXZִF! y]A-MՋhvG"uIBm5T81isv֋tyq8jj6yXFQt8߲34DŽ{՟fG4pņ%ڥ9e1:W8+#7w5&38]b1aPU`yaYC(V؂'vLw"PfZT:ճXG/bk8.hd$D1$q(!/דz|bL& ~LỒ$ãi ;OrO4;Moa;߀E/^٨9;gF3#/Ւҫntm.BaS[3viUXX|f" DOzVˈxup(~}]JQ1 ?HjHNQv3#)OUL J[ HXf6zh5𭭘:4Sd8ݷ6?;Ɂjb,0PnhSmְ1\_n?^y_ 9;-UR} (iOJ;bycyOc"?5iP;f*\؇kYs_[=/oęmP vdisP#ɉfVUֻ~8ﰢdv..mG%r%oe_r.5Lg@ϡJCfH2_8u ̮%ěS|M6EPf[Ky=7O. z EmFʕ֚#& Yry}J 0u{u(4B+K$<6S[ ˘VG"bi!S.E)"af"h.DiFoUbmpIt?Sں.)c+h$Џ%%\iV`\{l+jM%8vfD퐤?\yR|Nng:C 3!ҨG(a8_xNz, qəת 0&<hibE@r-r5=VyN{_l |%l%-h.{ ԧU"]랻9[j{4K-IQܣpZgII%̉1{-7U粔2VIltD0EN)Y Th=n8&"+*v"ML5Tuz?Nb6}Ng)cZa;lH>;jBjhI=FYjHRPD~Ӆ9dh=:ă{C\:v:+z@{__j(,4fߎ̮>%BqztFPJΙ 8kHYYGd~e >~BCo1"hS$iЇ,< PM :x+2gYZ{%M% Sepref_BasicRefine_Imperative_HOL.Term_Synthdocument.tex7zXZִF! (]A-MՋhvG"uIBm5k PZNj(7[G{N8_>nRo{[ $hsɋޟSȢ ӃS1)wdMX X`> .;'O%=PTLړct@߉fpDi!dKLSmi_RzƝXqpM;A@~/<'RET!g}DQy~!Xώ1;ϧ7xCNTF ݌iC$h["~c\dcY9Յv>pܠtȐ5x_"HjRi IhOHh43k Zl~Ld$'8m *Cg.[Q[ 3jîQSN}$3S%?5{=j/m& X3^fp"/<| )!TFُgK:$|:bNc>qstqapM8 J%Өo?W*c{\ c[(•9wz_LuG朵W&H-XFg9*r_ZԪ ֊GhϾ佷mu̘F0[+Z9ya28B!۹Wq)T>T;p^Ụf? gRy#Qw`myڻ15Ryk5غ*MMz=*\'d)'#œuGlԽ ˙;cP`9?鶺(P |_LOTKoimkSAu]j?ynW$ù[:H!.nv ]&xJ=iFVl=bjp mxXfD%R]ф+VEcskcwJO`ԫ?,nͧCA}3ܢZ0•VoPJ9 - +Hh[j(tpDeF^a>/26.mQ%DT'Z[LB< do3_.VdW:fؕ8#gx%JlA]7nb̩o\p xH~ڲ{Qu;Pg<Z6|䵦)@nVJE 2\vl=#&ƥ5Ԍ1[ɿY]`',Zߎ aYŕdAu{ pcu,d/x~< 44E V/c3LŅ+rU@#%~lj~‰<Nz_iu֠i` Mb{μKc4i(ޛH' 8HÂɛQfǗͱgYZ  +%E% lSepref_BasicRefine_Imperative_HOL.Pf_Adddocument.tex7zXZִF! ]A-MՋhvG"uIBm5F Y/$A(8ST;emk/G/)吠3`e#ƫ:AY㋀U(#ibՊbN}c!-_\q6oĢSO|7۶ @D-͌7DPw#< 7e:"i9ySabd& }aRJ_E6!0פf4JKY8Vw&Qy?wD-YJZr/Hr'uIvP>z֪yZ-;oa1 N`D5WG|Q>D R[ipP<;~o5!5L:=aC9"WEl|V ,-FLygYZ@%W% Sepref_BasicRefine_Imperative_HOL.Sepref_Improperdocument.tex7zXZִF! 9]A-MՋhvG"uIBm5ȢCj L.@&=`߹*?gYpuQ[Z}'%\=:ҫz H*! ۞VpM )OX;D^6aK,:5`r_rMP};\oVs 6e.pbM*@TO)g^ Voqғ[ `@}2jto.R ԰)Z2OZwX">\Ry b`p`|B(]%'UI/0 2PnvukV=>Y#= :D~Bg"$%[S{~ ]QDڄ XQVP]5Q5%b=K<߲~1+mVʙ}Cm7.6;Z>M%rQC^p}QTJqsBoVmy;xiwkjl(J *RrMF}?,REN@vdS3_hnX =shUt+(]%ϜFϷi;`]O&4|2 ,^2-T$ k{='۾2&HbtE $d }AHt@cƱŬmU)N|I|I$̰޴2֖Yçu>LDH;M Bԙ$>#bhJKg$+j ӱgYZ&%3% tSepref_BasicHOL-Library.Rewritedocument.tex7zXZִF! G]A-MՋhvG"uIBm59d5$Y5j{]J\ՖY\4nGl! /,rmbn/[jt*V(3&[¹FG4wN}tKĺC̼WÆxsWGz1԰̀5ɁkoS7,K<`ͱZhg"HsFpaQgR 173FP=Ўɖp(>0+93Xf\`rH+p 5&wYY@jKfZTCMQt$G.6C/Ӵ^ԅtOm^ 7Vc%ʯ?4xjׄy]!&|~WGzR/\!7=K AF+ߣNLtq0!X~ڡ)V $>> $Vo 3BFf"N"[{ E?pruM}i/#{Uţ8c';Rgq^+-š}mx6A=d*,-͟. QxI\*cn};ָ7;D پM[(ZyۣdvSetK 1]c\P5)l GN1bפ%6u#W]d.nyW>w%0Ʒjg2(2indj1)JSi'IQ,VJp?[g^Q6DBǜؑbe?ɿg?O`t,Q99#W;&;X(<1t!=0|h}!$9&)!R]7EJs4Q07adsar`{!)Q+9DFFyޡ*Tf~. ڽ۱gYZ  q%S% Sepref_BasicRefine_Imperative_HOL.PO_Normalizerdocument.tex7zXZִF! ;~]A-MՋhvG"uIBm5;zw^ c`m*~p̂r2ti=T8#TW lȎ~'Zdƞ'AU=/~?_XKa{&~ٽBi4E:^HTqZ~>'l'Np KƅCgNt\4e ϙq9]|\g"3 w!Ɂv%1JnCMXcXzO/]P1EDm9è^!_̅M]w=zxlGwv(wGiXhhT J\]{89i2hs1Q*=፤OiG\mJ#L o;agYZw%U% tSepref_BasicRefine_Imperative_HOL.Pf_Mono_Proverdocument.tex7zXZִF! ]A-MՋhvG"uIBm5F Y/$A(8SpƉnh1]Jc&G"ڈP,߫IGуUAT{č>$8,N[Eңm:F2g34KBTv9[슢JwRuȒݬ SOQ|z|@ȮT3HS2!NA-Ɲ+760~p-DZnsT}gaČg0/Qc̹3X]Jb 4oFȰ1Vb6RO|r;>3#kq̴lp iКO}v|m8}@*v<Džc; _RLT@~7шcޟԆŒfȰӤplk h1Фc Qq3E`[ڱqPvY|YU , q-o(u"0ǨHL\dtC w˵:\ pd/A۶#eʶJ.+M!RTrq,1-_SMNo?}~Y cmbGiJa(yr]QcqS ?Д$Vs:ЁP`qW…qvtP/xtfI3EI -M .Mb*̖"Zt Ikߊk3r0K)wlRb>Qi&BS * *&fXGC.F3#qgYZ%E% CH8Ld#m] Ϻ%w5S `L/TU> S]RH$=fv$ZR4LX5܇_JsX5(p8@a8{Kx7-/EITJ޷//k̘"7ȓM5W{<{6)kͽN)\ouY/W E2mr96ckpZy*j_t M;H?\0b煠Z@Iذn\UKQ|X-venZzb~}9с' Os_FÉo3Wl'qI.I|t>iڢ ܙa1e)򝀷/ʩ'ȅ&-vf[ѶgqIWч=f BmL6EG̬9A&KYڄ5% sKТxK-R ͋>2zko03 nr7s.֬@8)e7Lz+%vPۈ/?߫(:ـeW=i=ʴ O/@klgYZ