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 uu/p$\ ]/ DataRefinementIBP:threads=4elapsed=5.166cpu=8.668gc=0.2727zXZִF! L]ŗXiɟ ^xe0iu=PMsαCޕc5HW3;3㫽I8zFC 9Ҍw T \u 7(k6a@Ɂ4n{3KH4GD8̅Pmǁ\Gg|@H ɣʹ,LG./WUbTQ`|ul!5:'_MWċ:2 쳈mb#5 ⡠),zހrE93~>mS5c%jUG1`]L7$gYZ7zXZִF! 7d]ŗXi%D8W8x'ۍCCVYt}3(?c),v8xgÇ$'Z2rr:+JR8[C+1̰H'vW0t^Z' [30ZV-+`Ε*tP\|K2]!4J/u`;i?v.yOE8_QJS c=7>6 `),CvJY)-*`ɂ@0׬V`#hVsOKtg (P{/?eH?:iPOJɣd 񫕟6תw6}Z[i=0Kn[ ͟w\)<;uȊtʛlT Qn?DYsQ8 IY-}֣7>@z'OʝN_aW _#ؕQ&yp*쾔-O0ԍ Ģ+(7_Y+ m@RCp_결QiP ZH㺢 n}gYZf2e241c71fb510ad5c7c01cee602b2649736dcbbc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a / DataRefinementIBP $/C% TDataRefinementIBPLatticeProperties.Conj_Disjdocument.tex7zXZִF! ݦ#]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^97XKhrSU>\(<Ǘ C *O#wrrS+tc43yEAdbs*;+n71yVyD \lʙnY.` L߹&S?S-R}Wߵ;o<L дOLtWt}*R+ &FnLLaukP-krմD}usitAd Wdjީ£jYOWX?^!UK,@AfI +`|b4ZaPi;6v9|u5C%t{u\ 7L8p~\h`*/|kO-'/P8rՖѓv5 &Œ1 !-4F!l R yVI.d_% , ۣLSA"ÖUe)R1f.2uȂϧVY(ۓG_![.i]kO&ԟ8 G[Lu_.ĿA#Iy=1w6cjzB^e8yYO1/e!3y/2qf#3oǮ_ QOpdW_:åvVrh4׋Hh}^nxJIJe8Ų}kЅ둦^v|Q*\,OAiZh/BO?E:Z͞_[kȚ)IW{2D~%櫽`8=:X.LJ #Ddy3|+eU*Uj= Яj{m29?٤bnzaDď%տx|K!E*рؔ .;5B$^l= -yp©SN+#pαO7#)%2Z rWs^4ƛ^M4$taմ7ghWCħz O)`z_$ Ǒ|zdM_uI_RfXj(30"6Xt"#ES1s9@JBo/qb*>0;tIЈPJ LQ~rd#eyn݃3:{ 2) 2f1_|5us‹snf{Xyh E:́&I!bY) e)0qmHXȜS4z">)W'_4vg/4av@|N?oq慛g22MnPE[     sE(:/;%DataRefinementIBPDataRefinementIBP.Hoaredocument.texJ/[%DataRefinementIBPLatticeProperties.WellFoundedTransitivedocument.texB/K%DataRefinementIBPDataRefinementIBP.Preliminariesdocument.texJ/[%DataRefinementIBPLatticeProperties.Complete_Lattice_Propdocument.texC/M%DataRefinementIBPDataRefinementIBP.DataRefinementdocument.tex?/E%DataRefinementIBPDataRefinementIBP.Statementsdocument.tex</?%DataRefinementIBPDataRefinementIBP.Diagramdocument.tex=/C% DataRefinementIBPLatticeProperties.Conj_Disjdocument.texd8UfCTkak@z_R8~iE 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[2ZmuL9yL5}CjOEJ*=w߹ȉNo ՞+߬IawJ`xXεvbd׸Ҕ2w= 7- Gx/d<UEuSlt!h\Twus7c Lg .~vypv*|/l$LJʉ:"Q?@- z.J'Q/๎$kK1j]`CիMQ391jPQDgeИNPτ

~GqLHq*Hהtw*\~Q(SzgVW5uݪfR*&Y+V}O{:u9h!o8I೐*ϮZԗtemˆ Co)<;2Rfo!c{л'yEqimn0b7}VDmms*GU b]~W٪Y|j5LK vIoxFks%Jz%68L59:F>c6dHTĎ-1e^o&?7Sʴ+j o5$i~)稪g8ʍ h*֔ܩUYA6utR_<\S(ؽ/i5hl{|&:ĢzҴ=t}6=>61.tU+xB͕L N ,@1H Q\h{})X"$6Ut6 #V0!3qkeXg=w#*?L:6.60nSֈ *~vu|kDX޻s"a @`!s\NMct|1$^H;жpjyېb(v1[ d (}n) +/f|3#db>HQ9hⱸnMhwM!n{tBTKcn`'&qd 0TE<cgTt)Cب3'ߟQ.q/SwPxjߖTkD~T Kr02IDTNV  ^8CMꪵJޱb6!_ kQ7Q^TD),!.Gb\q"tn;*>0쌒*k,lcs7DJ_kۥOoWg+ɂfCc.&o#8 WƦKa)z\lhҐ*~/? A ,8aFWGXȟL pY̔uy=TS"^(1rԺRB4dug+Ve=]`;y%>AURfms< Ƿ5GS uf2|JL; i.뽸 ^Py=]{uj%o3Fg碼*wqM4U؟ f,eqxvn#Eqt0Ӏ]`=iJl `lV&J)dq.tl]p]!?]\>a]0nqQA(*Am*(SIjv6=%T> B#X 0puzp [~q#u"QL\|: ~>eqLWY1h2U2?܎Aкg=ed%6̵0\K| i1%+4WGBy1ՔI݌탨-9ںϽ6jzE?x"H̦̦i 7dv]o!d|((ps.'º/R"Ic&󢫻-K:։Lj>/BG;>u$֮3Pw=~`';/Tl 3Csg9>Qo,ȫ4>d@0"BgKŀY>WzZ2[j3cx~kZ Kop.S\ NMX:I{ر~$FRw"풮c'HBkR![ii>Z\?Ra R۠wCᬁ23 hkgUߔ*ϛBb2gYZ YY$/C% TDataRefinementIBPLatticeProperties.Conj_Disjdocument.tex7zXZִF! ݦ#]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^97XKhrSU>\(<Ǘ C *O#wrrS+tc43yEAdbs*;+n71yVyD \lʙnY.` L߹&S?S-R}Wߵ;o<L дOLtWt}*R+ &FnLLaukP-krմD}usitAd Wdjީ£jYOWX?^!UK,@AfI +`|b4ZaPi;6v9|u5C%t{u\ 7L8p~\h`*/|kO-'/P8rՖѓv5 &Œ1 !-4F!l R yVI.d_% , ۣLSA"ÖUe)R1f.2uȂϧVY(ۓG_![.i]kO&ԟ8 G[Lu_.ĿA#Iy=1w6cjzB^e8yYO1/e!3y/2qf#3oǮ_ QOpdW_:åvVrh4׋Hh}^nxJIJe8Ų}kЅ둦^v|Q*\,OAiZh/BO?E:Z͞_[kȚ)IW{2D~%櫽`8=:X.LJ #Ddy3|+eU*Uj= Яj{m29?٤bnzaDď%տx|K!E*рؔ .;5B$^l= -yp©SN+#pαO7#)%2Z rWs^4ƛ^M4$taմ7ghWCħz O)`z_$ Ǒ|zdM_uI_RfXj(30"6Xt"#ES1s9@JBo/qb*>0;tIЈPJ LQ~rd#eyn݃3:{ 2) 2f1_|5us‹snf{Xyh E:́&I!bY) e)0qmHXȜS4z">)W'_4vg/4av@|N?oq慛g22MnPE[plCgYZ   V/?% !<%!('~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`  /M% DataRefinementIBPDataRefinementIBP.DataRefinementdocument.tex7zXZִF! ்]A-MՋhvG"uIBm5dglG3zs2v"pxט0`2LƏ)\uV57;OG,fP`G:$|U!HJETHSaBOo#fIGEUAL>M>&z'҂},d`M.9ss5߇.%"Enb^s0OHs"K@5 ;4ϞREUM-wXc՜U0_X.QaO+^Wc woib&Ô4{x{VW.lz9DӉP%TgWϷZm { ~ u/E% tDataRefinementIBPDataRefinementIBP.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,NsJG߅żX[WmD=xZL;m[|aGΫ;-tQav48"/;D˕g2Bg=>7;Q)BmIRtW9J:a_*$ao7#DUPJަܑw#O6 6T8wgL zbUl/)RoӁSkgYZZ9۸%;>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`)renNXH{ԢL,Mֈ~"v3޾]q@^"`vY[| o6ǖ|~xb=OOkЊ$LN)gl^]&-h)Ĕl\&ߟʫ dT-C&Sx [>J! h,xBr>IWfC _t_ dRŖBk,OxPug3\#P _d|W<(o\c ɚ2{ZP傠`oTIG x.(l?Q:+\A!"V٪dr"5fϵo3-ФR7k ڙBpʃE;0HdM_./%̬iCW%3 ڽK$hÜYZ"9fz𝽘QiKzeA0hpΈ"Xw]ݖJ ,y165.JRaU)ʵE+ P @gؾ؇i/3Yd:?=|CC;W_G] b1+AׇK٦dtU:$,E[W`}q?ifm86T|㺢v59J GxH*/v ӌ_%S4,m:ʜN ~]0GdcY dW`أifݜ6fX0]5bb{#S=tgYZ @/K% DataRefinementIBPDataRefinementIBP.Preliminariesdocument.tex7zXZִF! 9]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=N^ k9:6ֹZrE,, -uo&,P( ]K"/.ǵ©<L$-jAw"I;Ӯ*g]yK [^z%!*>{"e?lz-4YY=_ {>H+XgYZ(/[% DDataRefinementIBPLatticeProperties.Complete_Lattice_Propdocument.tex7zXZִF! QG ]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]tUDۜ% kDyۨd Ų*Gtm&ƀA0Ҕm-(vm.!"Gf9J`_FٳȢAXgYZ 1!1t/;% |DataRefinementIBPDataRefinementIBP.Hoaredocument.tex7zXZִF! u]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 \/[% ,DataRefinementIBPLatticeProperties.WellFoundedTransitivedocument.tex7zXZִF! TP]A-MՋhvG"uIBm5kti7.5:ȇP}Kf"' 9 `>>χ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 vxDǔ*= л',ÑSpOiy[I6w~ &i}-Y9@2X#?k%OUDA0JRih(^% Ux#FVS)ku’6\|}p'\ʢ?J第WLATH>'W~~)Wɮd?Nk.aCUd0oCrjUI5{<5AzH]_$}(ŤpQ-(6!u̾Ujl' 6kf8HW<YK&R`1zefzްOd0@xJ$#"dBXRg~Dѯ#96goS^CMOOԑvtgi^7Sȑ(k%Z-牱x_)OodοǹB]ƟOwd;_O^ &9g$4<@lfUI5J\gYZ[%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)'/{(.p5_;@űZŨ)Qu9^RQu4vңb׫& p ,2YP XcAO&?I8jS.*?Vh"Un=Y檿+3Y2QF4$t6`%aV`WN"M( ,AC܌wDJψg!;L"¸񘲆\J'Xk܀x%T,}+z"YNy"Dfu܉1Sc#@BZJv1E4`sע[R in2hTnߤazlt1uf]cpQEψj:ȧ}.HK]Yar{[Kc*v;{>V g+WT)3ɞâ{MWcG4qE8IwIz:U׾RzU Ϗ ˮ,)g3{'}<7|oV` Xvb8d[2kx1~no&ɋEMV"$B*V'j`3YS[nG{˦lб˻Cn <ՇV@*=[ ih.QwQ2&y\)L*jaggi,jw mVM6CjS;YzZ}F@j!0P F܉X~ iV"~w•nl D*~4iI/}J;x)4)b^٘YPjy 0ad9EO@b/E8# Xjw i+Vߧ