SQLite format 3@ .0:  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  E E{!L, ]I]CAVA_Setup:threads=4elapsed=568.381cpu=1978.416gc=82.344factor=3.487zXZִF! : ]ŗXf[&з>V=$ϟ=tUY7e͓鮛"O`07~ఇd:O5k8;LKngs mBMK0ۗl퐋<%hbhtY0氁Ym6W|8S4w7YX(ؖ=ץ̏%+=-AV[o{w~u :nֆ C;ˣ>[ xvzm(č^L??7H@g|m529`E OTn.dxL}NbEpThˆߕmƝry075cWQ<:u^zҿQ65 u:,~I|@_OBxG򙱰x%S-A TWGf lBUOQrGbN.[4X>J$ 2 :bnYDr1t$gB5G[@? gPPAG#%PFAu_hN8* zI>Jml\s0:ksJE{3xO0stTCk9 " p8d{1u=ƢT ^7U-`rI#r:1fB[i^.lq-AŽՅ"t F:Վ\6w[XhB2cǬC$p׎7!R@jGr9.8W\ @T̗ ?{f@.kKI-_>ij1hq2>Pa#*3dzh-%(OKXS9W3" GOMNL3%dXNrrx=ces5.f9tw p|x_0O2֮MF9`i16 pǁIb$ jI|Ԫ8s<+`>;o;5 xDeJWTqHJ,^w  ! CAVA_Setup  J!?S-#`- -."QFFAΐ4uqZOUm Rz9JpH/կYa'K[u+:U㬸/Y~'h^RQkl9H |ސQ۹pg-Y3 ]+hE؏!w블;}l蓬X8TX/z|s`8Z"3&!vQm<5~Z roI1!1 ҍʤa}$UR|킆SIeо yGTCW(Haqå-R!]8UǴ^m& qHhq1t*&/X{ aȝܳō;F2Ō@^*U.L>' Z~. vz9R:Jp/KYkl :Lstntt~:yiyK#=Y'\ܣf~S w'bsϠuu)tk}_4k [bRBGIb|xVgdwd@T7N('"R\G8|zt6xSE+k`y:dJ)b\9 %ׇԇg>ݺ'ވ7]u|!Y'Uϸ5qe*7QGdSUS)* hgF{6KE4"$cMݜmp@F,nUP43n//. lA5BR؎ H h苋#}䢉RYIĥ@LLȠ!<: /] d/3 :KO_ T gBYFwݗwؠ۫,|gɟ ݬ@uF?mŔ<8 ! B؇)"Ja._˦$cjx\6.SriBUa֌׃*\Co (8{;IM g#d$I}KB̀ҧI_KlsPGk% .*]7v qؓ\v2@a|l4D\\/$hj7gBTuoUKGE;]?gx`u;R*3O qlU55-PZ',T1 biv.oGKΩa~娂:]Z6ũ~&짟A2?·uUER oa4>vn۲[yZEm$ϵìxf0.+rQ鸲%ɇs·蒆,2QN CPO78%U$P6v m-Ӓh3uٔ`A,rrw1TKJA|rJ.O hZBE u+vܬ4sΉ*E.jK{ ko}@oȟ._X#QݑT@r7\1ш_󵃁7\{B4/=cy;6.49'mbEA+u[O+U6)H]TgjhIoKGP3 $EȼϚ65J)Džfω 9\? 䧪_Z ءd[^P}קF`v$m="]+Fm %;J^%u7R2zY-W"f SfPVwlc n,Xn|:}iUOΓuW9FܛaHF`i?N:1?PnȷxVhܞɆ/NaKw6GEiH' };{qP7I\,!B~Ƞzr$E6| fļ'.M(|UB5Z '5.=K^B芼QJ.>g`̤0b_`BgTq}L >S_#cɆ-۬Y82e;R}l"m Y\bW}iݖ&z.׮ы`*ʉ/i'_K%Ο.w={/aѢ3ێ؝l̺a/s![PwV!I:.!zAk*z\F: :9+܂K:(̇­uJ or"c3*e)ut ^VqCP|)x򇃢@tÂI9)>r0ɐMCţ'ӎp-GOs\mJxx"&quPMGTء%ȒGv t/Ќi@)e4ac&/f V2Qvr `x1T $Pt/>;yА9lOa.fxM ˌ$W1*6Z>̹?a_dSZVW"]"d8An-n[۲:&T k!2}oeo\ӢV3Ā(^2ȌX!o˭*8Iv/>=:ѽFK]IGBٶ&@"VŶL4Ve7^-ͻbNUKDfիD. 2pa"vsnU]-J}6kt3h> ftsC(Qj$;fҢ 2!6FHNxDT0,p #τkhZȑB6+EXf`WqdǴw 4Y@,O_^"Y0,Zߚ:DDL;Պ`Wr7 gJ_J8>Ijsz5t8g xtf32@-$ʔO;C~1R Xeiz#;a+.psIiW6V(};NK&5=rT{5(G0P.EUʲ  If'%(6q_A ^}@9t+Mݳ^srtxD=מv"6O:u'yǖWBfWhfQ͈>{+4 9:5{zLͦU*}mqoέoT˷ҿ+mޛÉ!Hߍ{ naȖƉΨ̷T'g0qmݪGnLӗp UZ54', (RHjK+#*aʑUjw(A<@4VKx)L*ߙ!<үHǥg3J\qO <dľpXS9]NHyw xP?X1H2vOv(|=XmG-Z2(j2OPNN #D PDՇA$ _g4u2GK"`(0¡C-j vowilSu& Lt v]Vrd(K`LW良;FIE3IL[C{[=GTOew:^*ϏlJ߂ CQD3|Խd5I:;EZΫ(+j WZ*@<ڋrKEJ,V@BaV)`IAwI@N?c6w1vc^\*r-k,#,dB `w$פj MH&Y^ *}O<{YI Ս?ZT ޢ5];0P˥9+RzݰY)|%*UtkOȄUC*o,8#!PrtIN ?,5 #L]ܛ˪]rr* Wq"ڒMt+ȔKt޶\FL#yaSq0já'J:3G19Ωv`48k;fVfW8'Z}v`u/Nfq?8cC]" Z)@HU!o7Ƹ<'Ʉ!c~[̰S//y4UjOe*29J3v+*o5,F%#209y8grvb7^+FsCQґ|.{bH;1 ?BL} I SÇ[cR X69̓m;<7 00e&];Byih;ٜd>TM3U4}/ϻ1\{eʦ}H0"Y`3gIA ߫8qz0͒%ѡb>p9-j/>@^ȱr#yENlc40tuKQQͰX倦jXW"ΡBcN/ C.>KFjST#µV?&*w1T_ ey.4U"j]hɼ i/ZM&&Z/QBI4yn@ȂcS5XQ@cLB\oʬl՚Һ M[I6BZUlQ!5,GET,amsV6whὙ|&' qbyqi񝩥*9Xރ `ޜyW־k~Pʯ1Ja_ObLE'ƛ ~,_Nx/ v8Um_):1H5Qpvr䋦r>$= &r_*}8]}Z`Υ!gGj5MIWs'ٶ_檃 /`6?%~ rZB@΀RKdWX%~t}b[(*D}&ot R)c ε*5lVödx0:)i`r[7_LP)5 \_A8)W1w>S[;E.U!伷I&F#z"gL%x5eigM\ FLbY7y&>XQŝ=~œǨgJsMuRMy -T#6=?$o!wRTilU ҳQIXtńId%zKD9[O%nM7u#XO44Fǀ7MS40mǯ*/,gRq0~V] iN(jh RyT,e2ٱ],XjVէ)`RG}[|'Rw-4C1ny3}=tr2er9D py%SV\9X\em4k,s a=pD}.zeMb'vqɣ#'IfaHoqsHI?5U+k(̬61<!cc} .}D21| n"Fs ?p9"UFMNv>m9"ը?2XZ#[~kKhzw­\aI_%қs{Ps9w=,]'scJk-u^}ƤAY2aߐnE5Y{F;xh\9 `z #b8,Ug4QfC.6E;r1ٓyF)_um\AyC sEs9I<ʩ(\,EFfjJ=:z'c{7F: sŸ[ OBNf7h!}n'f[+Nb[YP]šx\GL;DAHM ' Uwq_MDGeiCRMgQ%^('cxg 8/q\[V\~bbUR:O *%??fknh(fw9 `5x$E0+iNTzsu[֯d լ)ZfQ>=J mjF'GxKVe3o8h]ߢ_xoNb́ݑYU_K%19 )@L\JwsPTfl_U䷚f@_ $=ąrEҙng1~ ~qofB`Xj 9/%rvuq܉q ~umX>(WK(2yaG_5,=UzM}n)S krC3*>KT4]PCM*qа48wd;9& ȕȽ/xBqByJ5l~[`;sv+InjF Uq NFhkO ?WBC@K ccHFz fJʮ d:>q &5jhd9 ˢA;[ _q.'=[#KЙo M+쿻h}$5qЙLD ^p6gf{Zr?<$ _~dE]Bp[k:rfOpdC*ڵHE׉LGPЫ ^CQ΍d3C2yĽDOKҫ8[ sh08J}vz'Dv^w0Blxr7҅vl$VOFM$IogRq` ֶ՜ T/sul6wF|x'y-u΃4AAT,á| x"BuCC@WRZ s{²E[ZқkP7a:9.]lW;_I G F%wMKi Ů?,!` fE!{][4d} _6}c6eZxIŠVZW/xϨfY[\t5=aa+Âl]CѰt},jƧRVnS02q[Uݛ Hu!at‚ BQ}C ͏^7Bkl2dưenԆ0iO)*}x1{>6>tvڳZB*׼YukK/8W7j[:ꍕH㽄S]<" h𚲛cd3+[,r!+=t(خw5qF b.sY;\mqh,30q*7y-)LsrxaTf}p?jn4EuW_]-urLQ B#?u\L!!c2=Y!uXޑ7Ƿ: 8XwrB O[}MK;Y}vj:6(EŻ.qq"[JB~Mkʱrs>.bnN1S X>N* K^z{:*k,@*4ɝ]:V V=1|# ;.ͦ[alO۞7j\P,qEڴV =uD{E⠚N@9o/BSF )pz*0yCiݔ޷J=o Mnn5.΅|JTaMPݒg=𻎘rRk 6MH< . V- f[oY"P{L9o )-&1i{&>}"^ = 0Nцy42Y6c YY*Eq >{OTHt᪷u .^@"Z_^ 'ABh\VGo?sfM"oUQJMt}Smtw{3(%#T"T>c󯝗l i&d 5u~}0k1K0qHx8Ci)cLjdGe+\}dmcr@C&ֱ@DYEӹIȅЛ`^} yd.{(PyhכKR5] 0eRVhS/+D-rcVcaL0RF{y)Pw]r`(Q(8tK 8_+ )-t^@pobIC剷h @&V ZCiLIm$LT'L|lG!=ϝV#sVqȱNw5t|URM!'k4#$]rfv̯8mpBD:)9F΀$VQ]h0Cgl#4V]n=~Ɩ+78X/%,ט{4[QYBXa74Ͽ]O-$0K*hu%o@ K,Xc'AR| g̰h3}aǛ8 ٶ~%vN\MlӖ.H ,a9ż>3#m#ծ!H%wVڡLdIa!Q'kRXf잮7‿Wc6+J%lIxT^V7韓}[.jjLb2WW vb)6L54Zu˯KP8|،<씉XǍmh5r+Fua ,FOXg-5}"KހV."-%|? 3l%Y::fzEu8Tڝ4Zt;F-})7O_A 4lM0V8wٌ۽esQͷخ[ yYq+IN16j,R$9za8@ _%gKdhMJ b .wP$bgvyeJnaǒN֧@ݝu$x2 L(۽ɼ_ХwTâ&ܩ{4WVOt`Y}Ew.ýGwrLeV+] h 3[K@(%!HFVCAT zCNFsa8FޘޯuA}*x!TaB'{D.l^pyMFc2sęb8q|,8tc GhhgYZ7zXZִF! ! ]ŗXiɟv s3mU!Az|ByR:'0Od8n\R[igfZ٩ ,˜b9Q4}QX|S6P Z7n;Hn^S fj(fQaC%@;?@<>aN[K?s:hӯrDp4pSk΋8Δe3/qwkK@r!5 `xӽy[~RZ,j[s%]GP`oAl~<Nv2BqSad{/ԁ$Xh_ͤ6qr}]315*4cUg0Yfx=>p:߈F]iAz59;r t㊪f|h]"H/X#S jjlUB)mY]T7k}] {TevǵOV ďZxXOxЀXX0h>+XiYC]'%q7Iê8t$2.3q,ժ4 A }c!M%\2SL[[X*1;n}zӭ$^>riַC g5(6ct03BI}}ՂWږXilu}5Q[d=]c=R0@ܘ{ӭ kN6ƩG tOShSYn?x>&D-$+Òi9/IyTFi#r0AtyHfn2,teL*yZLxyYZ"B{e*T@\shtvo^@"Q ~gVq$e8WZ_@3VB 1k _RL6sV īut~o%rh΋ܨq!EwK S#Rjw҂G壦]^6 tTDG3"L6ӕ>FΎ/Mkf,Y d4>Kۥ$-ͱg0KZ‘1 ͸3=Y.$3Cer#N1A^f2jo*KuALs[BfAYW߰^]cB͟:#{W#Ddt.ur'3iEc{bmD%n`ef㩽δ V׵쇊W?;T488aPt}3w$?C4ch~ni|FGG3X4SQI? 1l<ËUJV&5I36{?IuRC:eWwrJ!ĹQ269·]GwN:{"Jd\7 M[7oͅ>0˵ ,1vMW?qQ3]ZuyYDŏ _ 'P8]\:yPNlDO|_:3YZ[#K]ȩ{Z[9 =:`@e}M 7oDM XMy*[9|}gp8r-HNd#0w o2J/h[q8ߐcJz%US6CFogYZ7zXZִF! R7]ŗXi%B*OCJN"LuV#ߋ-G[$g41Gy.=c`ÑeMfnA9c$ t6OOko Y!y-Ejm/2KG"ۏ~uck996ڡ[|J9_U;w`: 4r@ DVtH8 X KcI@]0qŬ]CC3L z2 c3D9&Z>sQ=elw$; *g \2cWu|t۫1چ J\ax4lGVܖa#k9ݧnAc~}C ۿ7r۲#38{w*ӴYZ8:#C{QQGuw4,=!lz=ВJ Hqommx^-dzh+лSQZ%Pγ%0@7Sj͘Vؾh3_CG)5h:i6Skq ,Oi ym^|V欔5ABI(%mڻЀ˛τ ϠjSd/8.r: zV?PP,,8tBV}A:J=.Vy"Pd`DG?ĈT}-|*S`+w vab4ܬ,&|P.>EF񝓼U2+1{!߲5/pJ Y7/lb>eh?gCUfG%̫y (ɡ)R_:TXu1@Ta2.z1[l iXݲ; 5 01q5RI=ߊ @+|iEX"w>/i4&rR3 l^vg8O;+8"s^\WtRg+3a9W:R-tuE\]/+eХR+.ϦM>9V&CQM/-*/Ѭ'<>'ͤ"s3qϰXcKrB)i(` sF /ܔoE{ڎG[gmә8Y Hjh'<@sN ɖfl\q!2>WEs$ 2˭}x HGޡ_Cr š=\y=YNh>4ZKXؤh{GbZzkS҃gnp ^_S/r輹0LZː?eJ Ge 5{×T|4h|Cti6WSKUYKcýbZ΃ueKԛq#oS@moHR,GEHˉ&e>FQu,nxU6甬Wy 4GNf6\a=+#7"K.xƐ qAA}{n[6)U΋ X% ޒV J-@=JX)JpVæ{[ tDqȈ oftOy{s7q !gY&zYoz~o ~~U/>:o LDM6eYXf&Sc:Wu,&?9= WSUK;X[InT_\ςVTa^s '}U".9 I&'C:r!_`[(P~4_sz,3!o+nޟh6bMAkŕ]tYxiMBD#_竱}%Ө҆"4Ht'jPf@Iq^A`GUW/jKG,XFfQ\:DTVnw/钁{|(\}Z`O y*~CVL(^SZƅ! iʖ} F#K\Y9,e¤Un1ٴTm+]sBS<\Η)j 6.,gZ(nbB5))c+G z̦}' ,t1v\bIb `[|kQ4A*ޖd3G\9a̽;q^gN RQm~u6'UdWsݑd+\"Rh>%DCrDOY{tV :G&t*ʹmTYb77e&s54@w+o&=xbH6Oݘ*z0jk!2ª<.@3u ՛ ~k! mN IBcrX3mCG7tT}-I|qgL0 d2oQü &5h@7N<2Hot-P!9KG]dQ;c+ex;lIS~".|#$8$yODfËkw dW3|` z`g]%pQel<.R1gY h/%w]#>'a3$ڌ+s]E(˧E+}pAeWGn;+TAmZ!ʙ_ (HNqc_}aG>RO `D][XE4_}v[Fx^ Ukz[I h Bx0֩`}Q%6pbU~yˊrRWH]rf6Fܤ8_﴾Bwo3 ZC.ej g餷QyCVXF3̌= DMYܴ)Cm2W37K8^_$JRr1eb 3ԺNń\i﬩ Ozȧ~jI>tG֎oᇼ9]3Z*ccr3[̽!a艢$Pɭ*Ǧ/- @(N6E 5Zg^$ƺ. muVRw3OJyy7:AGk> ]M,F5^G)IpzUj _y1 " UfFlR,>-rm /Y0ȿ;OZ2)r7:0i7`#)%*zint @LahH\]2794t?'&f  J(wcbȖ^_~ j~}06e7-zMUdԝޢto*nո\PeH6wk"6})Yg*Uugk1U[9weux/xHds{+pJ3g퐂8u3[.HM4+_S̊%f !2YӌZ&7< \cЇ8-Y)$KjW4 , ∴%hmv[&HƛaQ̓Er _` ;v8> q)aрpv«[dp6993o}ĩY2<ֵf9AG.)az&r)xjYN<h '9iXPC)ARv%Y뉆K^&[( I%[^+;\ ITB`ŢGZB;PсiG2i{(:z)anϕ7ugI2WoЃ@.Ќ5= gKb}Lj糳2I3Bu'Z`A90U9<,?]p6!US ^7Aqw" %- dɛYXrmdf5J/FM^?c#qgXT$V52NNrc-M7oI v!\I;<5\5M+?zeۑsƞb)ݜ>\l_JD悊v3IyHmDz e7ΞM92| ؆6;*(ށ P^qvu6oxFe%NejOkE*y`#:s✍l\8)}I[5+D'1<9*mLg_^Un^Q]>Q`e4J-7A!bpNl/[_)=w&mIki|~e)6<#s3zdr!+(-#$'jn[;VeDA&CP>xi{a0㦕݈W6H˸?7gICW 屛} ]Ԫ_QC- Q ||0 eL8%6j*Ir'(ޞϾlr֨ Y`ncgu`'q7_2'Ъ|eXKg`)ǔov|07‡-!>a~-U_F9䮌6HO-Z빤;mqygtx?/'Jy1b+=VGh>箣rct5p1' [fSa&/LƢ<l <]qf$Ơ1A&gc&`K 9]=i9\q׌ -*ACLd;3EBqJIo>ٽ陝ґ1D56`>-bOAjFعuԂQ"-8w+F}EH"\uxek'@ێ{h`!\&zkL!K݄FAAcI]tvC]|8s~<]Ny;&-m34F?JQXC{i)t9Y?G&ϼ&A3k@pWW674|YOXRpY[%n6I(`cJ%O;m}"7X"\yzKťs#`||EǟY\y7K]+O>opM+;sj̔5wZ}]k yQS{[^Tm@ ̟r*kd䏷KudɞyL;l|3B J riMn]aU8ͻm採Km}|'2Oyy\w4q\G[RZD|g0BąRzыEuۚD"`{}+ E )|.:mTHJBvD&s&m)̓H:g{wڟmOY"?3JguwqV{$|C; p>[cUj~Mk0i%03@1jrZpV]ҳr%:661ARXBXÅ 2B-wl鉵}%Q vo2u !QʈWڋN\qϽiCvWުJw)@ 9cN wxUG-T=q z Ts'.]絽u:^ꎭa(v/1/Ƴ 4ҚOE[ԩ^SYpҳV͢gqan{ '.Wamw!.h }Ԍ<MJ)[8m|f kA$]ٹ(+-6ph#GCb$b@2O0Z"~֕QtdրUc$|U׆h)IA Wqr(cW-׀|O Nz O.|e%ͮԴ0r:{5%b;]ԊsE",Ti#L7( גݜ(ᒒ\amKI132,H3'EQ@D 0nıjυt3P0P·pF{_3i=-qj}^KWlbp?R&Q"T̀,=TL.se0ijR(N a 3svi+n'JZ&o/SmTxKة28YKdf Z#OM"@rʶen[LU'4ߡt剨*pV孔Geyg[u޵"c>5EN}J:˂Y>k*=LlCP "Myo UMpv7hbi7+*y(e1;!#4F7Xܹqxe]g[pv0߀lӌ?]q>CuP ]u\W`OOpFCh)jFXWU9dƼ R‘P|^Hܴ:{TOn5'h%y{Rʔlcu,0MnʅW݈悍;'F at9RVsSO)QJi C9{k/qOVXy>mI\kL`Ӳw[pr~iz}UL 7N FQ׸ed',uJ`2WWO2 {_H*O~$QIA?H1 6!51,wM'qn.Ƀ'Ji.wt#HHUoTҊ9C /n`a%9vP\GlGGn B'?ʿ<-'Uۓ7ɌWƹy?^z`N0uL1q jkhDfRkϘ/ I HȸҘWMdu @GX-;-D\Agf8(g椾w76dG鴶ʧfr/:sqS{m K|1Ep/!ycPZ@`ߌpe)T$ JX>E+í}{Ҿ2@8))B #XL $g DfǗʹ=3 F v$iv}HA:w~zg Wn!|"d1-!vJd9iqҽb?_h#b7ѫ, EM5H!gU.? k?FI T-R)tqHةB;iD6m"BMYI6ia:.JBot*,u3Oi0 te1_[葌@v;M86P:?Tzݬ7Zq[&qRXx@3+.r-Kǵz/WnsPhB:[BQ wGuV~Z<'`jiLj2XPSr qfc!M?8Dc5- R"zl",*wlhؕ5zJf #NL[ yhv} "޵{ymKӃ-) ЗJgF[:*z2%|LO@P>zCmA1PUl$upg(i#ۢs /#c뛦M(>q{*Z()iFoe.MWYR=h/ipFIw6͢PJE,.酔,udKc}*ƃCCS%aqb },ؒ>G:,wpÓ.pнTU>x>=6!t%< ,_!}N6M儈1a?\ .勳t*Bac9L*ְ|Ztjf{R:TCka-vVa ~m? j4ϊFHƍQ$Nŕwa?q%}Q夯 ծ⣠(]\RV+f4 ֌0L:4K#9z.@`$qێiZP{ Tу8? hJ:3_ #!(ȑZINA0zȹIгlG%57k93ҟl&, {0`-v  !3zg,ӇVǸ 9RkMR]"g~'v}QhGNBz Q?ݝFmH1>>꭪H"C3FW;kdMz3: 0:  Mp+dpj=&%\-*&}b9N?ސd;ȯpƐz!}X`ҳXPϳDH - -!\MX]~_y :҃LD]:LpBZ' Mו0{}rcpHV'Rx{x\SAxy_m,>3f%7ꊯ\'h}|TRHB`s͵~դJMwD8ȊR‹-PMaBXR-Xx=ʣ7#q6n!(XYӼ!`nqis7al{ܕ<)dgPlM0zF N6du]`"RRk9SvI+p9ҡ8gՙfMD G*lf^PZJO?Hbn_sfՋJKe1Ҭ|AQC57Q}se7vEvJ$2ÆS⥐AI ,C^6s AX%Q47Dq %۽3SևnzK IuB?[2Wн2MƱM701EI`pMң/8fA{8Z rSHQʱ˞3N#yUb[måխb3b` udsYTd*B\<MԐ73fV_#zҖrY,Tvh_H'jXp.̵qz s8׬T;C"/[ |Eΰ<"oo#]cig?74)w ׋Xgd,lG$Q,*GA'"Ń[J|-'3wNѥ'rry%ĹIfSNc &0*E/o?p\@0v_ɷ]QsQ^ &_B/߹bMyS~9 dD/^=u[fTD`=k^g*'lzބ&XDTA S?r+HauCMN"d,ǗKR"JbOgݞbX"dVɶK&DOtZHx;uDKK>D4m8G}"6}?5ZoP]͉D0F핸Ɩc6 8L7އF- nVhNJGj(: =*rQôQ7r*#; o$*y{2 q-gewDnWk6r,%sZa*Jw6?0-lt:! mR\NdM /Ղ-]咩jK($$o}e`\g0'|œf˸C>mp8j>1*pgi4G?g9)5w1I*f/ ! 5e4&:r&7Zk4(_ʄd e#n }+!G} Z?/f]tiS 6H&}fʄ:},<Pj öG݋ܧ>@{ʒ`.*ءPahQsg"z̆*R68{n:> {V(t~&.JqGw /W}P:B޹ <, #wyRJ~D#^T 胙"oD l^ uyG4 XѸUC9~(rbgӨ&izmT,yh$Ps,[]O7rJwSq8,oo$ u_A-IE]cZYzֳj-ގǼ#Vu985"ʴR-?^%Z\Fׅl> K dȦRHRCN굺?)Fw%0S((E| 6,*uq_>E>DzRcf SP.]ykT W|kRQhe}9N8Esu&3<#XhH~KNRKr m2kG&oDfIK¢ T]B8v%!|jL<@ZĴNd \uځ70YV7Rd ƒ^R6s:0T%WP"i*_!lanͽX܄ЬW#KgݚFx}%Fen&b-Zhi$Ij=kl`_Д^ F $o_dlN&t5# Nh{W+ӋnW4QĠDuwv,a/O2&:|KTmnf[ac-Df+6G&r܍#T'C"8c>}*Q~7#T{|yk]㼚/²=aΜ>ar(a$=w3:Vbqb6!{TIsx[@`Opӛj:H~a {78M3Gl:`ɩE½Z,T۳yd7?‡rR<}>YZ$; w_H:U=L~2_|A=2S 78i2qS%7 ՗x& lQi㿳 T9:qWa /Qd J r|bS,apQ3c.^f4rh);6I _"9!r+JMي.xBq3V8Dn^>s>-QC5|ݹ§g2نJ@M%h-huZ3ib0El9;4$2&1 tH,N#}%`DWf3 )k8~_j0hN5zN=*()QR92'! }Tg'rN[ jTz xu78\{lPN*`j; ЊiA\::վrl'WJSg OӢG%ӊ9/{-, ˄5t/Q+|6;\AFvW28:2 N:Ԋ>]PWZŒ*oAHnsgkMA,zuޔw`ihE +QjcYcU|ruJ_u֕Ykh0H5L"5\ѐVպ2QU\/쪝,S$g V#jP)^&#S,KޗSFI%=(r>38RKY[J Q!͈ mvhA~e>HbZ8[_H)(ѥIh;CxuR%('6;Ŋ  1D̦ O؏kt!I^T *|}-Ɣ>;DŽl9jx^jF F~5l*m:JE6k\!~Ѐ6;9_<|yNC 0Oˠ9Qx%`2Tk UZ{<ʚk4ngGx""^>|gӚ [q1uWH~_?ߵQpw$L,xRS26AZ2<\`NNp(w>l?DFôRk=؂˙cBsqKO_Uh& kċ#ˌ#Tɝh`I'>T0` GT5MIu-76=ZHRGMVհ=R3HSzR];FYrz(EB*65(kTv26[-I ēD" ̫4C"wءz;&7Vc :\PLȰ!$Si}k~օ!-X˺4Y/@Tg1 Q&fH.$J23z)<:.OKcirE""ZWGz/';h˰7Zyv{c|Cgj-PI}9Y!62ݩ*fezf`kn_cN¨lj4&e:q0 t+?3>ld}_[ȣS*4R{UE)50[}vUFn4H4bP 1.WzZ<5[Eac`,].GS'J{QHfЋYg w~ !]CIgn\l<>꟮7bL"<(D) )̻5Bv'KePV)P:`8hg0ðpx%f81׹B7 r:z/SsP)7a+PA-UHS% H;Vjﴘ%E!Eh iEg͉'F<#ScZSdPc|,ȖP !H8#ωHZ y?G:SsѬ%9jiDɊQU݁M)ţ"[;q P$@|W69usuQJxEBrjT|ӌP4A# %Ub@K(>ܨh9va`rE9m^VRtW)حRmq?J*Y:㯓#.}t'-&y;,2%qiTa2K>@W<@,*RKTWknQ(d .@\@$(n'ڟ4A7DD8qDt5[M!6Ibɋtaŭ\5x'1Uc-vq]!]uDl/kJᑒ]&%Pu$z`{L" d#W2q_6hXGE84 cU f-x4I_y2aw$%73.m騈 @ x4tfVRA\ OYxPv#lG>+=1VMȬڢs*x@zvZ ^9dfla7eI~wq)~V,o;mOgV+]u6Ghў]eU6Qs }p}Cs5Aa9M8o׺7`lNT;L`4Yj)yε1)c@X \i}lr)H U6 ӎ#?\g[>3ׇG*ˆ@Q`1-9YqXK<ߓshdըN*^m4mp#Ee2o#3} )lYY  5{=#(E\ǠyZ5q2 *\ԲV?ҍeo:Ϸ[UdA R_#ʢfHmS]2l𼷙.\gy3cdדtOH^ unD˳Cb\~5 oIGRn3?OxF8}ӐA 8%#KpZ>:`MUB-.++s%$7gy {H?8N^ #b޸,GZ_pd lϰ~Qܒmtɯ!nϪ[:6(r"OQ6W)``(K"ԓ*4q'7sاh@!^ 5mt`\)L(_=<ͦ|qQG,v|( dh7 3OKBK$A lT4J|Lj]~ԅs*ER:+ v/wI/!pAq@IhaN/tbj{v}?$E^dz&9XeR{_R)X< /:m6}r?r0R fyψc .M;>h"*/*{!@, ʼjhQp3jEJȔę~[6!wp@YV`J\bOx;8=+#&׋Je(u>7zvoΦ]U8J[ޝa5~.q]9Qߌ݂⦭w[п. kV+6?С0Q#46W/s*ߊixv>e:P'eM^;Jz;C{bOh׳  1QJe5"=& xҔ0%5(ψgC-|Do/J?0;.Os:ᖻd2P .Ӛ_8A(AmL ۱$c7p竏 :kּ)g`ygGGժʇ q(|_NEׁW2"Cl&$]~gg? (+LB%Yl35A(xE@H,pB6tTFIlK M6pIꏌ4G}Cz^ e=G>hiI˱ԌI[Ͼ--V |ewT'WM9nX@9i0%*EdtJ3>~1c>gzcV)FL.Z;CC2 xuHnHU@5_Y؟#CeX童m2JxG#0O8 ֍Tx_͚tkyݗ! .5IHvׅka ImLD6w@Q_˟yuN\R٦s @)YW)) ֘'5呴 n)y]J0($ҫG+NS娎zBiFh`}~UF^tHt C]YJ垠\^n,X"o IR,|9#I<#>%H dj/<)Y޾:K9SF~}Ekc o` jV*%q9FkLm̠s$ V$%{)C!B} !*]k3*%dλ܎o&oqt=fCm\n܆Rk2Xt駉6`>:| {AWa9,ǡd=J zS yҔ$ i[-wE(UݷZ.l>خo聒K \2π}-^z8 M߳r7ڶ pDNќwu8!c%;3^vi5Eupo+=q6Pf 0: ;!EF奩x څG 4QJ0IT{ɡx\N3&E9u8|L|INTˌKL qHG`niM4Zf94te{jΆapMhm%BۅO 9C1̉a 6U g-7KIe{:g} qSo0u{}_rM3liGD@rxO 6ᙝigYMռ65odHx%ȇYKD.DWd񴽃i5h'_n.&Ťc]P,^q<]#6ߐ J@2K2jJϏ#MQ6S*n!wX>uF &yΨܞ]y墭zߜrUF2tDa_M0Tij&>d${AG?Z. °]Rb;oG❚[c=mQXk]WNj%2 h>х;ƥ~WN5]mv(9!E(5eڟj:0*2ݗIoq+6G>g6mR4VXnqI%F&x2d8wUp"IIcRS΋]lA :W;-Ҽ&σ+~xyNRIY?:톅ypsgtԪ+j}3}" p4@r|Z'?q=q)ӝ((x]du{lo{QL/Z5K\14fSxX D[)j'o2|L7 7-h_.R2xQ.f~]$[¬P#p ҭ0+BENefL[pWЄ!Ux:p\2!CMynv٧vgn-ppHJ%㼯WZ>mg$)SѰ |Z/FTSO|r# ؊Z)Lۏzj<2 S6nѵۨUɷqbvf)S&C!X xƉ&X 6!%c_z/x)n,sXM1 z+p#\T' `h6!i vX|q˝;V{ͻ R|+!:r("̑0 =Q`,p/GO]z`} 3\-.=rL-T#$LI@ukF.s;}c9 'yg2>%H Ry 8(u2v+_ w~גO{kb^\]Ҟ=A2w,!t ,HmׇӭC3 G^<\P A>7݋ <?.seY'3jEbͱPnG> GC Ϗ?n !PqEZ=>lr,dd}^wDǢBʑ  6wI(mt<'.$t 1ZHE2vy×NJUHzVr U} @yߡ1:wbHsxl3VmFn?9(TD3fIE[m[-&B/"_Y=]3;"󊐺 X4dFyվu g+BD*sK_s߯9}[W]Q?:h3u7L+3P3aQ~ήRse>zES'`rAyK^-3,ݭ3w"dLK'Kp:"Z kœ3ͭ1ZF~zBɁ~f2΢~MHE%4eeE&K|ɽ?MfK sќ8?@`8h|!h ;>+Lc]꼜$Uj2*w %5 fT5+N!hKQȜ[Z<?wA.~lT٭TGX2dk_BH CU5=Nb˕jexۓwXU۰ ꧭ$bف=0ZKQ A|bF$& % פa=fmgud[8.2>No'_=R$)gl ;sum7Do +6L)1eT)4䄶ӲsKbfsruycQeAWiw߾ޅ@1M8]ѱ.: 41MtqCjNa7ԧ/,7sީb949 9 ʡV}O\ced @'.QKq!fK3JNa xGnW֟گy e=-ʓevs+8$X}kJjQ.Mg&Gzfo)g#Veot;ud>jx M@whxl 4헐[ 0[gL.xZlvȎe+m^b1+὿Ȣn%nt#Gp+=YbMEDl؈iY;TBI֍%sܪi$8[8zw#j`7'N⿈y0> س+o0Y\:ُWD5>sg׃{ diuX."UQyQq2#e2`mTmIC >eeWP "a;8Ǟ < VAQФHŋ-]!u/Xz:VVܳ Ʒ_b,L֩kS#5cf>;Zvo;U cv-sūbD#?4 N*SNjы n|b5]p_  `&og5bQ|оalF#C'ݥ\{&{KMס-tliY_CjH "xDM^RG.f5~oR]j>*͉1 3X'HN~cot֜Nho*_Bk-sƣR 8*}ApE3b۶&w J< @4{ނN DP/MR4wo].թ+C:{Dů50.84,.\mr^ƞw4=,:otE1 $r*u6C<Ҟ7gg/.~ hMsmjj\/aG":L=&J)I{VuB z=X=szmsFizO|Uڥ\7.:j:6@W~m!_yCbt0teخ '؞Zx`y4`5t䝽qEv5u Lg"X6P׌TODi߻kCvBۙ%j`:.dל%Ⱥ5%i 8gh$9{\ 7x3 `z'P 42O$pmXc(kw9JeCS׼%&/|NM>nGr6 yfH;K0.~|DƚپÂlz2{\ĕ@Zy7^4D$L їT168!jo^Sovhk367yaڏvx2f|FyU~mR;\bkQ%H7J9a1סmFMi6zLTf%)* 3^#[W}thf`!E'}wI_J8Y.a⋧+UKxoI>%iplǺܧrFۓi7L$ `Io&߷ E.Y'}ޏӈ6FkS]mAI)aezlJU>JԙւH e-E•{StB*B< fTUM5UCx4 Û2 z$m뎶8q@ws[n w*|ՏRk93Q:tJ4%qKg?XY("8 <$Q/]nI"N`3squ6zlG~܄3v֙2,hFJ%(R} m9dI쉦@O&ut2wkbzPUXM=tӝ/QZP!41a3)A qMO-5_ΔFAun4 HV%5jc3YY8\bl y3l|d*.J{=Pnۃ 5(0Q+^,OܮG"/UЬnU9e?Fƻb?EGs9sYuv4~xm{ѐ"XƚG[C7SlF '{Wgwz JY)w\EM (k!T6ByP1TrT j[YY7#RAmթUl! e93ldM)rMXxqڧwa}LFo2%ڇp_"/Zw斒ڗVyxHt_72#؅YƢ4!+Wn. MIIE)5oڲyS@Md{l_>s/8>98W=jFﵩ[焪>GmvTQ*֩Cھo͎7salMj`nqa {`Ì- $+xT$g|m&υ4`VA>>V,o:p .誂gmʰok~ַ6 %h(K{iO;SREU$¬v!XM ULI)Zz~i{$I $-x' UE![rU}uqt)T#Lpoׇo:QB˷)' 'a>D0ľoRL?N*0rB#ŬÑW¢S1kqC0_"8Ga_؊UaH3^3:'F\u H"F[Lf^ɥ7 f >zMu$w_<8-u-W\JuπiPK ȏi=YyAr]c> ҰXcW'>(S4 t~alRv4e}L:WtL448x?b_GR>vr7G>.ns\jY`M2/?tzk[wE1`El?aFt}w\Yn[z%zߤ,I5@/4꬐U хBq}C]phh'$R ,}!}QQ;˿veRV.`G[fMx:8痹>HpY]cMo` V+^ip3$Ǖ0Sq [\-)3\nG5H D&>Wzz>~Lmr%29CSh 'DaYȌ|wq ϭ;ʑXzP専7~nlcmE<21岳/۽y9sqNB0 )Y^{:\_y&{;b&ݩ.#Y%?6˃nXG4qb\aCt^!4N/Q Obu5>k.FMR#0F2ggP7~վW&6Tb7}~Qh%J[z U9#@2"qVz,FI ]`* at6@J=T}C[xVČiuq"q`Lǯop38|{ |`_DCmNY؎07bAhTzR~b/!ɂ|TP!ƪ9;Ou[v#gb$<{&ŪA8~ycPwgԭjsy,wto(:|7a3nKS)jct|#z0*m\<5;m+̭z 1T}YW@H`Ts̈́i5o" ]Ky4x*z#Ečq@D $QTb_6R (V&_r=f~HE%qeIbojHU3erALJzKlt¦C?Ɔ-m!H |oXQ)H%pR¹xB1=5k[B&ڡxw'ͅLMW uu$7\s)fK\ز@qsY.5ʵ{yp3aB΢PG{\Ml(2Yڔuw+NdWM1^9`b=˕gIHE}Ԗ4G 2nUOyI-CңL2!S*5yJ"*W] M6rDF4>=lQ_?Sh_G@e喵Bե&;CS0A o[1i2ݣ~/ˆnoK微u5T ^wbz+H׾L#BR }_B ZhcS^َMfmaWˮ|Z;Oar!<~|[U?~4`_!MX*1xAc 3z}߄̎CAȚNL ~FxKx0`)keu4Dyya Ƈ_(TGx5`6RCtۻx` ]#֠8XrW,$r40meZ(\5ݥ`q0-;f3gni` #pR wY4^py>OWk$kdi?jseXg~?^q!֯ _*=8ćq$4lb⧱\bdy7=Qr0_#غȃՙ\ H![vc`|nQfE 0^ ul^۝FQ%%юW% 11xS|S,dǘc1pe5B9꫈HY sfiCUiĮblN$g`~788`dՁϥ^!0%F&CJ>P' j4, Gnwߑ&:>BkQEUVA;F;+iˠ2I5Z>K& a|;Xcz&#(^Q1Kű#hpUrQu'Rz^I?Vg_OOBC!@7 ї >2+*c+^En236L!#M|C95ҹܸBl-%`%Ѣ8 bTo`e c'Yƀh[LRq8\#.v`D *t %9s*{_}c.&~C3\" IbH"Mb%7iE^Wp* @ENvYTx(qBϘe`Bn$dx56l7C@s"a:+1>6>;pnL*g`Dvoڅc a0[q'uvxXx†G=c)*ƮQ1se]C2PtXCUXs# w F H `?lh 521'K",@v/&ef(~pi{\{0x("(ۏe7$jD캰sKI!:7abg\^z~DDش(cMwУřqL\S[Sc6K6"k`%҄0霈 W%0h~v\L cLPL)o5 `ܥ뇗G|"Skwٶ|Z۹ -~hO\=^rwKɠuO.q9m. Ù>Zӟyϟ8ctq&ʴRd !h?W4ڱ !ʍ;6GR䙧X wT~I lW>YK*l`[cf^6Tli VBiݾE_lg& x(a|Zr>yV]xF4%(S=G4t lk? 0$\tr8+mxx~vŬ088/(s$ЉS"F#])ummT\;k7b(|q-#2~[ {G5=^C1X"<*FK$&jl 朞[AҖbe<>\[Ǵ.p7髝:*Y/'U3+fFA7IPߏ:Rf)͙ "s햑Gn+6g8z C^x#:RKx?xEn/*/84~Y[S 1ku_Z' 3fd6|7Ȇa]?V7 . sŜ f=ștj=rB3}#rjF%Fj"]bU:hf^"7ġNT)(kÉ\DqgD#Of"A¾(T]U9ϳ0V0%لx@](_7'_l-i py qaG'ňXYN7a]BQwxӎJ-yVO|͗`m|Kp|<$Fz_IbLK%Z0t|u'D${- :#`zVvKL6[L)]fT⃍m+ѥʲb|5ء0П,~iT6ڎD/Di]Jq{⏺Mk=w!] aV홽"K*r݀e)~f?,7xRˈϗd7xmn"l[̴&օ6U_@V<ߊbY eĦjç`L1_`!UQ?.꽔ہ|8Q^:'fR= ,= Kp!geEf16J^iE!"#`%;oL0h"Q=`q9\qrhŠ Ӏt 4SDZ(KGWQ߿X6g}8^@Qcv[-KxS-3㛀g% X=:~> \Hcsc=!w6ABc+ݬT$T#)- TK;R&D >K9Uh<7d9rYG~*Jkn7w?D FK@~m8xazmY w]S׹w݃>8v)־݂av[aV+Ѝ-A%w{SbdG]$d*i;ч$)}0!ܰ?ܫ]/FgbHcQ@H3?}ӌUM$B^^7:-:7h!\C?d.=,9/!ͳ%|zT7SYe̚sdKF;Lu!e qa,B;5U3m23/%yP=& Z!;g6堎PS kf@ti ; ]+m_qy`j?Z{:޲YachFزQSԆ.L9(E -}bn9?x A ~oX'ﬥ(u_pL:t(T6),4 {ގnۙ <ٚUIҍ,i}0#%6=j׳6QMN59܌p{5K:F{ 3/~׿1{ygYZ8af99711fc5a9c07f6209d4eae2ebca58b5328e776b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 2f484737f9e309b1dda4db1db62345fe202c4f91 14de8d5ef97011d1aab90fe1ee9e6a72e94b032d 20ce141ce56eee59065d2403cf726ecb8d9be303 4a0f3700ec32a11ffbd799c70a3b3c9d1f81ea83 8be76fbaa8ff782a6a4da53fd4beb23233c9d4b180b2c15992ef00f36416ace5a16a6ed5146b6740