SQLite format 3@  .  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  4 4I/\L\ ]/ DataRefinementIBP:threads=2elapsed=2.843cpu=5.248gc=0.268factor=1.857zXZִF! B]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GHPwo%"Z?@++*fc,TG Qx`3M mE*/r$YWv/Oe +<$-_0-JB!NgfAQàZ|ݎ3;eN|0]BzСY} gYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg*ZZGaѬlQ>0fEiZNXrMN񄽘PGx֧aSȢn7->i9TJk'PfX/pfhlL;rG/QfjD}z,JȖln9}<(-\^Tg8mgYZ7zXZִF!  h]ŗXi%; Womt?p:gi, \ALb7H!fDnk-l|t{,9 `vHVѮW kRuPFF!gVp\һ)>W,a9z=n4SCU 4?cdq.C'|F2v27[0K i ~?N&[J{~f7@4_Q%udhVf0'@5ӎt{j/Ej/|;f,#XfQQbH'O^L Ol 3$Qy`pS-y‰zK Nd}x?uJ;ٰ2-<3lҩ7'$>9gYZa3a2d229507e984102dee1af544d191d5593643b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 / DataRefinementIBP /C% LDataRefinementIBPLatticeProperties.Conj_Disjdocument.tex7zXZִF! 5 ]A-MՋhvG"uIBm5Tp)ͦw8>5GG kSܹ5+:B9c أSvۼf<1t QӲם@2x"_׼H.űJ%;/EأuF:Ȑ%Q6W-hyCOg AɁZf9 aHA炘y2,*:1,!3G4kΣ"r Av} = V*{.:-mHo=_>7&\gkd\9т M(:Bdې S}PIVO۴vJ4}]JM$<U<[>mROb*I]iMuȜ; sT&Wg3 Y`)3?\ZwWezS 7T!WRVÐ6Z8s61U)! !D˫UJUw? 5_5Sb /\ ="Xwl;X*Yrbc h2#cF]|(d] gV{dZ}@M|B̈]ww 5 ON^OzØ1•72{]i0Oɿ@ҳ 7ѨuIq/67@]u #[J_n4i(X~.tF@ knc?QQX.}ey8H;avZ`mW^97XKhrS`h6OO(Ƶu-^DR*V Ȱrrn)ثpg#/6혼⿮ٷ1XJfbT9^]ڋuGKrr-KN&l gsp2~eCF (wI\j Hc+$Vd1 "GGb=5+h(5vgssf R?zt*uۭK2r0_m} -c;{a[9USAXGyx:By1Y*m A ;,\AΝLĻ_yѿq }pRH^|Wכc}ԽԼ"crf Z}>&<1G۳xҫΈ9j ]﷜ i4ރtiƀWs-]{UB"$<퓕Bf(dh18zF\e$T<]}ek%w;R XHj*i}_p%/HnWV֞iu,"&BugMDBH/. 9+TD*jxG=RpҌ<=[baߠ}7y&]5aRE,B#`7rv&E32^.4pwBPu mGL3OV"8exZ'lY[Ĥ: <@8v7[Xi-Kfs=i^'w^$Be_*'Xpm~`!^s*a5`|sn,;rn77IzM<ޒѧ^̙L=RPjd%EN$䖩p;DP8$~}OמA ˜>^6Fr䑕晈>GCiiϽ|W5'οEڹ\vYkbՕ1F9 F-05r/~5n:mKڇuޙ+ V)'\\.]`ry8Ѭ2z!>:uplಹ[s˾x*9v,7= u8Nn4Sd^{$<$p /\5w>8fK˯MR lmEg[3 lv]К=ڿ9ˇF =9'v|Ao/~:a<-O=Z̍F?F,{GQbIvu[/ Q_ϾȬ(gA|o舒C@Kri狈;h8s@ qcܦEGC?fZ^>D:2Hlz~۲wѧ+;5j+| f&Md 6><>3@p)stMZͫ$dG>ΦIfnA@yTfۦE TFA|_`vg#HjA.itbCLvc܎B1LY9< L#Ƶ22cHP6Vְ`[Vu-QydDTA $WZ/N(f裩u!,aw ׅGW$vt<)9,`!׫pzi?9pJ,1C6HP4X6I߭HV0BPreBí6|*s\8dl?1xYT!Q\~Ui< ?YgWqiMC L>Q?F{eX1Ct q f6m$09q ώXaB~mf?c캢y>%Ӓ@듾:{ŃWfUJ;NhkJfDyH^db<ߜEU*[l qoH13/oX5þ{7:67\/(+ktє-kCB{qd-!W0.(G>;ɾg6{u"Y1'Yzԛ\Ɣ^k|Ҡ0CȶsW(۩Jdb=OڗZ?A8]6!7) i&qufbH*㱽.kc2 L,+epH@thAbUt͟Xzzڎ$ QGzn}S`Yr׃劂-Gb-~sT(GBfZ\ɊגfGkՄ0רٍP<Ơ@jyhDo~R!mj۾6^6FϔJTa-} CDuH9uOS]>'l(xV~ǾM \Eџ!u&]ߟX4,|3Fkъ:Os7fs˲"ihϏ6\C !.H}p".DP^%s~`dKv"[0s+~RYW!_\4'Ƴ {U 苏N:v88?g؇bm8z ſx"zM>FN //uʗp}D̹68,qK;HeYۛ)@ҙZ[d;u?$ 8}yV |~DF|_xt VUkcP2[2Z%~ b% Fu8cxtF;{Wݳ '+o j: 4h;7f̫=]mizk(Npp8wo}'K[WepĠ,某M&,܊M-].޸;Z' jH:qSmhZ!tnOB)e<|U| wp֮)~XPŋØe S[ (H#kDՊީ hn `5QuJ13w9O Rn4 u}ҋ K7%eQ"gn(|qoP'aBꟲUQl`_b 7("Q=—T0Ro#@}2 1H'בM?wLy{>eݠh? c<"Vo4qaa,# Ŷ^+LM~9͍y?ABG1N X)u304=Œި͚JNCxi@ADQ Hۦ/+?t\= Lj3 A8E*ssýZpZRň:zOhu$+7nx)g t"nǭ{^LFa<9c2)Y d(TkEAfpDm>:#y{w5,8X2&rL7:AR7 *h:]6l[d=r6W&oA\dPWd$Y+M{nNLScD7F>;돋Jj@ -(4b^ 1syu+.ViYƃtͭ?jJbghWar P;۬bq7JiZ畨\ëN{Ѳ˼n?Ju!(BBO+$R~9{Z.`F+Xwe4s%w? 8.A ߕ43>AB]/eT9KwAz!nt= 3ںQ|Zp\X_Vڙ;c)tSL#{VCXo_"?F"nZl ̟QfU_x쵐{Zt|%I~&ŭZ 3Z!O )f|uWи !{;>tgôvX4 t$;Mf! TXg+ aenoޓI8GMIř+̘ngYZ ^^/C% LDataRefinementIBPLatticeProperties.Conj_Disjdocument.tex7zXZִF! 5 ]A-MՋhvG"uIBm5Tp)ͦw8>5GG kSܹ5+:B9c أSvۼf<1t QӲם@2x"_׼H.űJ%;/EأuF:Ȑ%Q6W-hyCOg AɁZf9 aHA炘y2,*:1,!3G4kΣ"r Av} = V*{.:-mHo=_>7&\gkd\9т M(:Bdې S}PIVO۴vJ4}]JM$<U<[>mROb*I]iMuȜ; sT&Wg3 Y`)3?\ZwWezS 7T!WRVÐ6Z8s61U)! !D˫UJUw? 5_5Sb /\ ="Xwl;X*Yrbc h2#cF]|(d] gV{dZ}@M|B̈]ww 5 ON^OzØ1•72{]i0Oɿ@ҳ 7ѨuIq/67@]u #[J_n4i(X~.tF@ knc?QQX.}ey8H;avZ`mW^97XKhrS`h6OO(Ƶu-^DR*V Ȱrrn)ثpg#/6혼⿮ٷ1XJfbT9^]ڋuGKrr-KN&l gsp2~eCF (wI\j Hc+$Vd1 "GGb=5+h(5vgssf R?zt*uۭK2r0_m} -c;{a[9USAXGyx:By1Y*m A ;,\AΝLĻ_yѿq }pRH^|Wכc}ԽԼ"crf Z}>&<1G۳xҫΈ9j ]﷜ i4ރtiƀWs-]{UB"$<퓕Bf(dh18zF\e$T<]}ek%w;R XHj*i}_p%/HnWV֞iu,"&BugMDBH/. 9+TD*jxG=RpҌ<=[baߠ}7y&]5aRE,B#`7rv&E32^.4pwBPu mGL3OV"8exZ'lY[Ĥ: <@8v7[Xi-Kfs=i^'w^$Be_*'Xpm~`!^s*a5`|sn,;rn77IzM<ޒѧ^̙L=RPjd%EN$䖩p;DP8$~}OמA ˜>^6Fr䑕晈>GCiiϽ|W5'οEڹ\vYkbՕ1F9 F-05r/~5n:mKڇuޙ+ V)'\\.]`ry8Ѭ2z!>:uplಹ[s˾x*9v,7= u8Nn4Sd^{$<$p /\5w>8fK˯MR lmEg[3 lv]К=ڿ9ˇF =9'v|Ao/~:a<-O=Z̍F?F,{GQbIvu[/ Q_ϾȬ(gA|o舒C@Kri狈;h8s@ qcܦEGC?fZ^>D:2Hlz~۲wѧ+;5j+| f&Md 6><>3@p)stMZͫ$dG>ΦIfnA@yTfۦM>&z'҂},d`M.9ss5߇.%"Enb^s0OHs"K@5 ;4ϞREUM-wXc՜U0_X.QaO+^Wc woib&Ô4{x{VW.lz9DӉP%TgWϷZm { ~Z {/;% DataRefinementIBPDataRefinementIBP.Hoaredocument.tex7zXZִF! }]A-MՋhvG"uIBm5ۙ!Ybы1uVm|3hEיzxϘ6)eSb-x{-9\Ct7Sޠ& R&OVێMC8\1=<*?n*$p 4DKcT>ڒ0qZT@J%pANEvhYѓ1b˽^+o?'[V"*scwZ8z/K p>"~TAH*h"ˁ9vmU%hmgjb [)sEz5jCmg,l\ Etz)|*0.ʍFgZ y/?% DataRefinementIBPDataRefinementIBP.Diagramdocument.tex7zXZִF! 2z]A-MՋhvG"uIBm5ؓqA'=5 F砧ю]o~MmmCiՈu؏i@;n۷o@ T3/t1z&fU@*O*ޘwr%BV# D@[iOn$.‚L$5 KG3ٖx;ETCwau n1Ǧ<wp±䮶El ( n6T=`ݠ^/w:6_0|= MznnG$^;;zAÁ6-n~Ǧeђ(GJݵU#yGr- <`tOTcJ3wzR|M +,,NRJYt5l7Hal Sd!<%!('~H.ؘy@g4a'־;,ֶg͝`F,6I.b* T? zq-eÑvTyvtlXQb9TrW Gg H4W\e@b0a);2Bz*S &5̩B80d]zb~5-n0T,=2hz+5۠' I Ȁq=p'Ogy%qIJ 6vCn5~<PxH@el2JP̞Ӌ4  N6fIk9j4-)` U¸i`d8UfCTkak@z_R[%3[ 䇌Vsz8ؐ2ʁn.u,h'854B7Z{k\ K\3L{'þ9O#F@ԝeqZ۸5H!eV0KT{b0Q]|+`W'3q nsDdm]{ ǟ#ABб TY1C+k?BRZ4.ʮa\oP,xN*9]4Ѧ<>TȂj#0ݸ:L;ΎըyD(ע`cfCӬ\ذf1 I\ M!oSl}'s?iuPUh/bաvh}~Z; `cQhOwѝ*J^\02}%5`8XJz)hf55|O )nK ~Q02SeΣT*e_*$@C㡗Z[?-'5\^~sSwVH2SoB\.B< fά' [S} l>('TA5Psi8Z3 ~7+/ݏ.4K] F#8 mqf@ma~tWA[4s:ϧq< "l)O$@5Wiޛ|Z!8ZE$ .FSVCSm=fO#GA ]LVegNjVdӥD <1>v DCqټy>e4Tl|JB+*g*[#`oϥM1$3W.sNd/0"-Q2Me[p(7%i<դDτGO |cpS~#[…-Ur^*Auu$XDYL+bGy%y55dy2H`٧BZG_w()A!?n<_xDyA!ؕToz(^>w.W#XF9DStB1IH0W_UTq̊j2)Q<8p@kL+ue0(L81*F8*7tO!٩l UF*'f!'ZGb*}}Tx&g[1)b< /#}RX=}I͂\t5TJMg$Ib׎}|Cqh;QOD4{IwT6F c`̳OJrFÃB|=p&kerbuIU aMLp>Ώ,i h:/xeqgPCIXTgW.Ґm6#B RKTɓSUc@zwpN,14X:VC80R~Ð !dqs,"Td˔'0q_ !L@u3 f޺1=> Z"2nj!g5ԵXt}B/ob\Cl "\mdT&vW'jK/j*q\HL]>zg1cfWGb,OzGCM\)ȽW=/sql;T=aʋ&,m ?n&WGne˷,J⏱.ϡCL3M3 hƔzn(1D y}ý5B`@KԂݘb~)vr ُc96-ػr =s]܊Q~ȣ@*N.zXF6CdX-R~UXIv$RɟEW* LFj?M{,FЭEYb%iXż/}ikb 3b GW4? zHK{T #"]&`\i#z}Bms{sz~{_}{)RS{dKoP36y>h/=sF꫄T FP#c\UWAlPy9,X{ VQ|ɶ\juڧEuܠq=:Sb2؈5"zp)'/{!#VC~Uwr)k<7{GOEdJ Owֆ:ZGst3k&/X z" 0*Ьt~yו0xL}*+2@Y^MUxNd}\l;gCr쮁דV@}hNfXP%HUc ;V;!;Cw). .5|z~Fs#eȫtէHV 9nnuPi4'< mW5!$/"D||0&ڣOZ6ZC|Nvۮ \ *j)|B%c"<7%pcKi|Q,u42̔,Zp-g͆b/'P|DYh<y|UisIwz2XЀH ~Uw8"Z e;`j74iDxxv771z+C:[) o|p]^qZv'5D0f3Gߘ r vg053>= ap]w'%0,F:5j5o[RӪRmU?mjH89ˏdEDzxTQbrΟT?!syPAf&<wvQ%Sb x%:)k=`ӷ9&o5KtPq1G"/j#7>olK8h{ã捽w8 B:ST:('TQ𧻣M6x'ַ!Fz[ƶqHl{3Zv-D)?\dgYZ9۸%;>3"|Sx gخ~;Dlp$F.xgTTl8NUs}Z4eH p.7gaVOlx2|w2 -el7Ȋus4Z! }/rP1t -5`Zent \8,CƩ#r6t,R*Ȩ 5\̂Uz1ϾW3Gs `zwXr+#-Yj7A-c1<#8;UNv9Wڋs)W9ql| 0]}KOw}+P7x]эmi8(S{.Ӄ5ZK #dv vottjJ8 4z#/"7~—Yh{(]M o1pchWJˢ/ 8] i`c7 Rg[5DWE*IߟAPٝj~AʣFI$3caR/uAYJ;ܴmަ̀lbi\ت[kKT/[r[JB4Cw6tj˷k$28)ơֺo_CV،n r}e5Jw ?jIB>Ȭe͈/lphs*Vm^mP$ˈ'WYl=w`)8: J`>q#e-u2}ҽ;G罀1L+*[h^/f'¬md 3T9JNJ=">X*W\#R2fFMu5Ӫ6S5YRƅ=H'z(nYw`@)G]F43+_na6;8(xQaBg)l{Cx^0L= 3ؙ^+#;CTrޖ,.{|]$Hmwۘ4E( *Z[&$/CYSeeu!UtZ:QDb &;/#/.TYHG;D}~0Ӛƶ8OYO^p~T ?w ^M5A  no)C6XdEKwي-5^ד 2R~O o~JPLt?D%^إ <2!/WQHPF>l%4-GvfWf 4MtX2m pJE_OeyG[n=x= h|\?,/LmFlD]Pzo#6$[]{D) }rwPlBDԖac')?6>< >j.tc^+ ;)>ʉ]yIɉU_Ցt|ar89ժjs_ΆCBTy,:&v'X#DbSz_ȧKd[dL&_4YJ({c1 ˵Ldub3u6Z4H)l|h5^ξhAg@geo {@VyDkZ7@of6ȹE9;"kŨjbx9kHTsR7$F ˜BN)%ֵ6rlM+V,?Iw2 B cE,sek_$8N>q?;@y<<Z)m[A f#no'J!4X-<</Yq%#u p_{ RqOCbj(!og N.%8(&\ORsO%0M2NpGivEZ.,o])}Z64ʩOϫnh[h+?lӵJ9~=q29~O#{O7*)\De7·!LǸS*^1*FBK=EfjYMGLc0?hc$qIRXD}^raQn%-!$Mp&% LǢ:yk Jdŗ ޚ P$Bg9Tce.bDBBAw?Ȧx'sBmEB R ai¾+ VŞ\E}v./naz)V?8$ I%B`)v^W/U.%e'sZal'(db _Q|?hm=röRHg|^ X$# r>@ u^DjV.THb -Wo}qײkGFsolzAyEpu-d[*ܰn}"y~VX0 Nv>īTOֈ^j09 :*<:ѫgn^+MQ19bxeJQ'-s#>Xs*Ŵ\lyLw>BU{[Ib7pHn J?K<[O>1D)>HgYZ |/E% DataRefinementIBPDataRefinementIBP.Statementsdocument.tex7zXZִF! ` ]A-MՋhvG"uIBm5ȩ?ˌ/gVەkW@栤:b{þW4Eι|}ڐ[x=ҫ m biaQ@M +E3%^GBVO#ANpuFaKP+9F^ݥlm8zFYl}Z7I*48tAЫe3RHÃ6umA~5HtdS']b0lNp</]*ցQ$0u4)\PZ ,/哽p0<#rO2 9}N0q9oBa8  :Y_6uש_aGs8`B7 H< *L |zm8_W مIWtS6581|aA\KN;RY0g*Rzj|"47S4`<Wii %4㲐"qța3~2jZ/7qГ vQdE^8JC/{B93]U>Nc@lj*H%f,e`}UN--?L EuLA+ڌl3i-[rСYb_iPK%pEĴA=KN9g$B]Ȕ4C0? 6-AB~\.uu6rf1nd &$;/Tx DUjO@؁ {#zfͽ؟B{!09]YBy)m\K[Ůom>Fy7:5INk:Db"^{i3Z-I->a: prաSfW,3&IZi:l~h7#\;nd}KD݅\Z*x!{ffwuUC,*DFh ˒)M-cS.EoU%8ӓ\ZB"5udF}r\{o[oĩ UU9݉{b!#ئʅ?5 L+MHi\tbLt@k_:N-tWhe[r[/+ f}uHP_,]#D}0j \2dVP5;МBykٶod1xiMNn4z) h֙#C+)urjlcdH -4sk]܊i:FaJ$5odeMǵϒٓ;h t\]b_-ic8&w~ڇ(:ʹi .9~V>_O1k*ĝ͈KE( k@JE Ypk(0M<֘qhlCpJߋ=_PAN%|Iо8wrDz,k^)BtT ɎF2kXy_/i/Kp~Y1FI`aT0/GTiْh~!쳍$'%{җnTG1cq8vSBS#!-7F [l̿oz}N8c}k/ </$f@xLxhmZDȑG נ>bpFCƶ]'5׮.}bKbi\.+HH4yKY ']ϥ8c ǣ D׏},y(p >F}cDnk@cƌ)!3,2?x@86yY:M)0XLCKk\򰒱gYZ C/K% DataRefinementIBPDataRefinementIBP.Preliminariesdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5M/}^ ccNcKݬ/E:4Qs"/<5Pyk_.Pp /*V)߃Si-4ed7)6LHji6U)8j?voWM ')M_/~JgDeCKt tQHZH;'9*Iy LW+f4f4S%\v;$"G{hϐu؄?`h5 OO3?%F!mA%,JiL}ܲO %A-3/y;,zczs3ʛkvt m]$*4lAȿ֫xKcJVQQP/W\ZVZ6 ˲%2*DB~pŪ4Z!1c\EM+u9Z{J{vǕkߟ}_pA-=|U`٠!e IFYs7,vmN5ӡUBr??a{哢vVVa&7ET#t<5IiЯ_/@D^$V㴥d&oOY(jB39[+݇9Ƈ# ekk֬T77jz<cΖzX@m&JhVv{^P<)[Һ<#6%9Aeh_"&* eeFtnK.Fcv3tLr>ZѸ`+lϫ&!?r IGF7eb̩t։cc$~~?K5+?}=o_~Q% #fILNa Z=Nrd@p#zm.z^|3DD 2M1VyhN+ck7&8t}Fݚ2 /?zbS߱3%| ȭnZ sʭU/ IDϗqv;I65ur7pL!Ͷ @y}fiI#(2RK]<>h+)gYZ//[% TDataRefinementIBPLatticeProperties.Complete_Lattice_Propdocument.tex7zXZִF! QN ]A-MՋhvG"uIBm5XKjFщ*1WBx#.‹ ݍ\>J jF/i_a%=YUij*$5*IDXbjP]MF·Oq i\9L²;Sfvxr)К,Df`_u]z0Cw:~ji$ە:u#IŘ)9zdr3t&Cji$1就gh'_ym$WjML3kC`h-\ IJ(Y}o;Ɓ?Sj UYrC\|K v b(:iXm-(,h"V n;" yq6!/>)1P]4BkL%s6-%ŒMV/ }ԀQA%ZU@zT[oj3><$9߮c3֋IZq5ut\P'!(Z-@)iZ$!(ϳ0qPBf(wOG\zOp< S}<?S"PKznN`۽q{rʴ%ei-hmSڊ~Ɲ!,C|>9Q ;GP5;![Z,뜊HL햆@jWכY 95Jer S2܇hɺJΠH CZ }tZj ?D yK7*8oБѡ3; ݆BkT;60+lv`Sչw 8 ؇ UDG˜ C4פ*,Gpt= _h+)tOZMkD7:9;d%L(ji(;2I<Xʋܥ;R]2Y*t15GeU^ n!\zdWSm֠CaUcLQEb_U@(*SѓM[hzEv5nuX”Q@{Jt2 U=O|dq3PQ%n>WKާ n,)-.Ktӯ~7R&Rxr|EZ_VRq?P5]YXGh vؔVם` z'tSԨrhaQV2vnelOdO Ǫw D%'e~X4)Z.κ vs}L,K0#e"~>"|s$G I hU׼)or-b& i-tv YcϡQ-6EMg3tVk^+M>^էXv]Ճ߲o<87??MupPV3SנyeR48_v~ԎjbY0C,r3EmZ(+~J# a#.aPnp-fOx, ;c,\u:u^l̮̟iz b'(S>X:q+ hX ټ4/C5$G9ťDkyaVi>X6>Jug 1JZ$Yl޻R g~y4QS)0kK5C=a`e&&<| ':>ĕ/.OV\Ӣ]A~ ^XK1e1d7!Trj6 n%ӆF(9c99JUQ_ 奎#g"I{"[ӳ6gMMF#4G@Rua* .rhgTHl.[H",لׯ5)~ g)%~ `> _76Qe0is4ndUDUw,N%9WfKYc_"pCω̂#8Ϣ;gYZ c/[% >χD%j yHIdڇ$ Z.jqz6cեYb]G`["cV? wTz e(<Aٷ;H)24_"&2MNUQw)2mZo  'cD$S[Dxs4hwUxM}vF}cJj/a0zv.02=TnQ*> ֡Ia[zgV(%ޡ5ʴ5$ 6$뎠o'"ۊh~Avq +dOӬ{S,wh%-Jw_}W\C.&yl Do_ߥ)\sX>IG/ތy[~ #EPeiI{Z^>Xébf8; #+zr޷v/_<,Ih Ƹ\hɗ2s/ԗ>!BQ Ї-hı_FyA#FS29|jCw~~c\O.01gᭊȎi.1{+#)cō;0oB :aHU. V?!+G2γ79`qZ|ˎpv[89_\!/=^0Lb 0('iՅc8OKjfI#6\LSap4.G/bslq?7 ZcqjXA+mSm'N9DT3$yK&4ÓN`]818 D8#f _3`+ GSFw(B_$;7dzuy"'dLo}]QgľGڸQ#0Xv7 rP{\,&T=14Io~N%Ɓ֖b^*OMx՚6 gI 4kGաEgz0R5JWNOå ΰݵ?!`08\y=c  ?APU8 D1{W-:bsl0T*L\ !9<ɴ}h?ﳣ&# E5, BlpbQ̑E c=4n߹'z83@csJh;?@_x .bCDv׮vmFFEPW6Ę\ fX{ȑVwWhwa:ȏT:ý Sj)IZkΉ$Ug1që)#*ՙSm[̆IvK񀻤ֳs1 S :O.|[)tVK<{[8<ٰȴh >@eR']$Ot=y:V6֍k'a$OfbGJR J kTb[Ę7H&|=fw(reHu o!" g3;|LVzn__ hVBkWM4$I5bXAVr,ձs( *;E9G:ď6^B"|M6 Nk#g]"; F12-/{ԀhҒay]$UxK2H S I&J^=uE]:&6΄ VsJ]#/=%ib?ysPc}ʚ Ci"$T-LwY3H1#(UKgYZ