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 `/dd< ]]Affine_Arithmetic:threads=2elapsed=490.597cpu=833.284gc=79.208factor=1.707zXZִF! *k]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=?r ¦նq+!}Yi2eɯvavC׮?>p.M8]Έ5*7/4j Nj %6P+}:[U%%+cK#(LiL- *:8kҜyv0eqۉ>gbXSq⿮;3"b*N-À e KQKz\eFQs7_TD#md1G8gr؉ڹvU["> Rj/~/*k6tVz' {:xaj4l j8}T(Aݠ}ͼ/K !fY"4d~!rz;’$+BNǒq]jՄLbLsiIvK4)V琻>!2묘.:!oc_R*oD G4dFJ+ Xj"r <';E/pD-x%]БT~M @Gi):9oJ]?)Ϙ@`Ȳ(OJ0wEEJJxpՒJ nvR PISL_ KNIyYw46LۗvQ2yYq-w-;0+WB}m 8{T@rcd3'kWިۀ&%5$lҍj-9hT_g}rjz#Nu!/ˌGs)Zݎ͗r`p,w2+jhk쯹J\h3C5N֎BVb_4bٝa]԰, pDçvjTPad+8)^*_8#P% cS9VHՑt%]Aː6zА"G<95}%9Ⱥg=pp".*7msH`f ȟńws UŊ)\5g$ven=y\%bU]ۂqN %JY&> hGsi2Y ZH!,Ùu o3s.{?֌DcY֫UhsL 1rpw=w:^ϲĞ]Z(!Ⱥ`J1C= pQ"m<`gNĒ7XR]#hn3ʝc>4,DIG[|o+\pgi<_/,|;D[Qatjb¼3K֖>r(70͡3Y&~]^nQcvhNiv(& M{VZ=@$ '^i}>l{wnv jkw.պye(സ0=FwiBlc!kc%T^XK]:" $sAjFfN`,tJٍSeۤr씿 U?ws^2-cp 2MݗZp ^o|}":Ay^Z WJ\<]Jc؀El3ʌ #ԗ쪣/QC/; UcW@on-r:bF*צƔWse?{= i S'&Oo7>fkq \K|Ou/\162ߜ+l+j̖5[Fp)irquy[|^Zouƶj)Kc1{χx߱Cjeʪ]_Jj;Fjv/G;;e؄, Ѥb4JU䊐k=E.g!.\LòpH;[UW QrN'KU+'a֘7m?k+߇>%R?2wui16nFwv#X^CQ@GƔ`Q奶HAoKr90LP{i]Ŋi_Ykͺ\=v(4#}* q)4b4pRX Hklr!"rWҲSHR -AiA<@N$EVW9$\*ٚEF̈]mFfsUt*=fSð'HRis˽lTwgN|wIB!+ك \>_+QG)wBb]5nH]rrYz$ҥXfPIóy d" nQS x"H ^ĢԘœIag @ٳ #sO܏0c/:̗()?#OQ?8ڶzFg)k2[kIpĺ5vݎLCBr5F瑯c TϜUǏAgPcbNÍz€RcjqRW`]YSҀր Z 몓f`&oJZM I&TJ"v06Q A)2F17zqcرP8= KBdvS:5{{Th5/o#1Gr6#j͌@eWiu ӂHf|fK/WuS;v 6(tr~(yQࠛFA__$7nzd•*{lؤS~HȽK CVFL -GA/-'0f졎#b fݚgeGlˋD?k:f$hM5vmta L+%Nș) emܼ</2yyq9^ҕpuFTNKG?ۋ.BYh Qe ;˨xT0}K^A̠W?Mݳ)hvz>}tv!)@DdyX/ v3b" l_J~O?#61)qR%k{bƱ( i [S30ȷ}x:IOt?!Z*7l7 C2~:*L9Wi0ɆYT(՝(M8pY8Q]ʛ\6<тS0XM,O-Ipd)(} dowޥ:LM^cqrޜPeiCrXO RWKqِ R.6vL$X)8< %NǏ_Zy RN,f5ie@&Qjcm[<#1HXF5"8pL7j8H,+qk~ ٦ȇ}A.lLn~^Q$;"e#5a^eC -O3E*uqJ軲Yg6Ac[t2U)=D[W#*^ yNaNQ2.lҧ{)7-YU3:)D~b J p0U|]S-"W^O Te#2껠4=1W^I %6 k)|"K-[ (y{qWud8Ldi)Z1BT0"k\ј4HV ƙ M.x󐭔mטn z$ddSL!m)ɠ"Cˏ8N0y`˹hUfN>%aQ޻::s!vii=EWJɀ-,֬koj3u@EnCl6Tʘ&w<Ӱ&NhM2S3A[;AnhueW:E\MG1 `/sa!t : 3(^=Ihez,|L6ixl+ SIНTjd4 sPgٓ_!Ł2'x50x&WΞDzu`V jՄ LQ^NdsfBOao{HEo091.Z =s1ق}i҃Dw0VYT]-< 70_Lu|ȳq|:^矆:Y_'~@񰻓͌mPvZ #f?|]JFH R^W !58:=AvKyH<ͭ 9,`Q3?Xfg@O3Z*MS G8gH"flf*9^iO_Am!l,>X\tk[h! hmۘ {6m #C8mգ ?'&B׃5W4*wvE4frT>"vj-;{ݛ[gwH 'uVn؞üAD ^#mx~H2K3\.q%r|퀰bW&813) G-MAWtyGs;T*Eqy4ptq t(P/);$(8 nhVNH?&P- SBф^ZT#YGl^^cs 7̶ gBw;m/^pB:rMO)8xB*0TQϚeAŒY`x ;aqr$J}a?ʹ5#d e@ܮ2a'EtNEdXLWfR;G"pɀ D?ᇖM\ 3 vچ&i\Rѱ V^*gy_ü[hJNS@m4e:βd3H}`w;ND3Oso#Q[Xe)W4#F~ ֔nA+7 a>s"0Sz[^ښ%VƠ}LпipvJ|v4,*|~rC!뢝.W~υ$YE-qrSf27b+[n E E؃y~<9‘p&\HT6s@84k+T:_R?-vI@1Tq !~E=G^^x): AgvI'J| qoBHsVREFVs  !ıq$ 6J_ŔU9QMطJ&lZ+[Ck@u Ƙx&F}?Wa:Y)D3Tˬ& X^_]|d<Mփ>QO  p>IQ62k4mJrUS #ͼf'HD@EX=jtbB!vkݩlwbL#Z SVVOͨ}zé+TtAxd(ڽR/A LiّXe=~ѿX=6/E3W$q%e,h7p*LϐĕV[hMSb_P 15)P';&{(U|pd 6R7"h]a]T {Unҥ۳B"]K4֌DF([6?[|bN>_F@{B)7#:3p$*C/}#[B,¥ś&DKIHduBД^z3Vװ/xD!3z}ͥ~ Wm:TтUJUd_i$ [ԪCo~váxΛ teV_d yg )~0tQOFv,o炝ciNYa ?ZK噘Z$;sbQ͞!/t"Z0ŅͯɑnHLM OkcU'{er̛W&}_=mu؂1C: > 2UαW% ԗS@|**A o5O1"w~z_JбOu]V6蓓v;/ G /ԟ:"+8|cgsu`rPvk,G<{O_}o8)fBCgKYSP(OSu5~_cj{2Q*;駳s_"~]:&9c8f7oLپ <~ƻ;)6iz+vˠJTNHaYw xtB_x / ֲ6>E7l,!g=c9{}2LyA_~Ѩb@eV;vMu"zv&D*^|GC9P :r2;'Z5>`e1X}+|%ؔiFCS30~5+**9ەydvHH@lJ=# >:lk6kN=!ab'$+eA\BؒJ:}%\eldA@J8gT3?V1@r^`n:a8‹T0XZi.MK܊8\*70n gk+ry"?+m|jg tdxI/d$af#? ^:oYB>C^dr8~ j@ wTji-G>2m徶Vj?,y g\c0<17XMƖjj=r=D]y1}:p A:*MG :bY"&=3h|4H_U \o!&) 9#+afz -+b,#38LU.V؟.%vj9}<9Ocβ=LVPY\mCCzT.()JQhGt}^oeL^LmXΦ /Gw7 #=64 6/X+0PSxqmƦ[V`/tFf#΁Hv0fE0lo!vnaݓ2FGز.;) K {vЍx3;+p9efsBḺwY+RB?. ;a!mnv_3;pycҏGf4c/SZI^Ox&06_FUVG%4pШrBMV.b37sTͣbe.H۷1@T|5hAǢu)|}=& A_ k IJt3ҠCZS!p읿bij_PeHOX`G0} $8YV9(נgCt"ՓF>7kT m>}5K]bvMQWKm,IPPKCpx;q|n;V>-By$7[KH_@GU z '9UhׅƱmVE wx?R!)'_z~33^*YO'[)/}\w'|&J{ ['(aT3uUJ5 xUծJ}2}I$C{ ֟.נU"9h%/>@㫅#gܹ fw q>BaݭI]3E P6ml8ZzOR6fjNJ3r E/;˝>AHU>9nJ4}Diڄ*܇ tmX'7)". 0: ]HzXã }PV9as$]8C ǹ+d+b_2Yw&SD­o 8aQ9̹,-$ȍ`Ϙ'e ]-Iҿ",n-&|@֖> '&˔.$wZ kHZ3O?ĘXl9Ki.-rd! &>p<Z*#fv'[YW.~AicM/%љuث#+(kzJlKTF YYsy=7F{D+2ŨiQe|nu|PهXA'mTs ft~PBqYK}^Kq>$g~˦tMVÔq:&y}TÞQ y{[ïR!+'f` Яr!_Q [8'"9%.~9s=jSP. iz H+ͳ-7"Z5T Ɔ\(lMEh$2U[KmPpJO8"&u&rt3ۑvcUvڳ87Z (L1nmAesy5g~ZE74H#0ɧq˳T=Pp@=:{;5ۭ^=siz+A{رR\T @~Bbt5 N}!I P8R9eힿ.Y-)QΆE1>g3%QŞݹ2>ˮy't/45:! {V!*x}7y~ŠYP{W?Nx XVLaG6;40pËAHMe ܯp߷ sP'%RW j6{GRcǺGe89!y*2<4i! \cƊml叠;к˚`HS@>1V9#P}SB_&o9n9"{0 ez fٰ0 .VXƪm"o0 _SH{\cGt>ֹM ͘D#9GplYLd4Vw-u{|0ڵ0$;KN%B{:zsMK+!?EɊ|tۻ<'c fF|?Do 6gZn+5N&Uw;=͂2' (#{^4cpLK+91# `TFޘ t|bUqT^VMI y8uZދڕ:Fr Cε\un$ѭ+ʢԲp._VVK_ڴQEaS  6$@]*}0uKaV?0eyy%cH[ufCG;{Uh9N~55Zf4`"GkĮە\ $K廗7zXXye,R=B)kNUh(W 5r$C2O HUK||6-[ZUdQW9ʅ!+pX^t44jMfm0n2~j*I")i9v'C6F$SN==K@cP"OS&Մ?1]g>`YrR@W.Wx=A0-ɯ(s)X42g^4QPժZaˣAlj;O r])Er<{j'g~2D"sHhgX:{̔tVRSzmp?rTB,q0Uk(?8=:Bi*lik9)N^l:qggz .iaUл߻B *>5/MԦfL<Lu!bx4$ΰv* [AlCjLԌ/h[^2mRW:`y>j?bHvN#uRp^ⶡ3I$¡qU7 BbNꥢCdf9`KM+q|e8RyY6bGZ8t֝Jݒ:AJ׋ɮJ _D6IobU+֘TSTQ; #/Tm7|0f:sd^EWw ppQ c1giroh YĔp6;AvZfgXK^W8P'(dL.$3Z?X,a_Fk -ZG6/f5>$"?ӥ Zl @:~AtoltܕWH7-+&0-Ř,EZ *XZ![n{q(7ns ͜PD4\ѿЏ[Ḡ,Z%̜V{OcW3}d6k $F+YҲ@)]7 DQeet%[e@F =qGg5“@•뭟r;^ t[1(eoL0s6jGQ#T&j'QHgY
w0}zJpJlhziQz{@ ksTxK$6> Fؚ"ȣ;C/g۬}5G=7!-@4ߟvg;vʴ׀z©{@'wweؤp C]d#GUF=?鏐yBbIFV*nνBk?sY(fZD'U[JNm_nߦC%]bS/ {kOA$$*R4Fۏ`,s5]a:m7p{ӒŸ`-Wk@3ss:dGy2a<јop:mw ; K/U@վ$D>7 sWm᳑@ zT(lON9V1vXJu>SSՎO@(Dis$lS]qn:c8#O|O4XYnTk7w{S55cE"؎xcarS!lھ1 VQQAga5EWHL"I]\F^N\m%]`[A2q!VN. Z""hQ I >yc0f+X贴G̛ד2\#R +J mG@h@kD=u攪]+zHf~= h"&:q?𥳐/i` `B2r9U3-E3[;}$ar3)5vƨvQ0/`7_L8$q4pdv> $ v*_A2 za wsV26}X4OTq M!+!\ukp0`Lew0-xL?D!74)hH1ciz"!KՆf՚@۷qŬb{in>[Up,@u4 N:Q [i]gИ?ÙTISPfSD0퟈n.0?y=+[tN5ZX8V&@L^Ly.kHěvO 5Ǚ!I,,K =y /ik،S=Xړ '5hãݵ/6cF}S[n* Cup ;bٻNRG3ci(l(1ɘZ >zQYw؎-t9j;/nd .b!PMU[#?.lzQ3'93@\tpg|zh<;Cs SKЃv4m=ɑߒ -n hs,>M]75gFx*iHFj7@1fzakݮp 8sZ1&шW:Ibdi&+ 1 fΌU?mS$ئ=I ~z `:?uZe>ş{+9 U%tKqj5zw{k>VjnƧ:@*:FZoIfms;D/P ꨹yOU=C,s .Vf33|< ݗˉe PˆFA$BpދDQ!E,﹣tbUǺw3zQ~elvwKNeԉgDUXD{5y%F{4L.߮]8fM[n؀C;=165;!eRʌJ*SGKh[|"J'aB52ƧDr&0U^n!w2@ tFk2 eR'T}؏v!/FYcj#b *1^3Kg3?Qk4ߙu|K;wRjT6A*'8 iU#Y[!(;ϘW$(P^o!qVdl<#`9.o0`OcE¡LyXWw_hxˡJϏ&C2M?a8aZ1 0LP (HA,-{`w6bFAu'騀 MsX&ȴI"L)k 0`)&h`%׷wdV0Yt-(q0mQi8{(CTX}AE$ 菇Y[z~3=Ss ƞ93"L{n5/`gZ&;@ȴka{n?d$ꊬ oiMgՠt|^{/\AxKsГꙪ_AѬO,S74$Ik 5o[l`8i`/88D$,pIr_!9"* D X~wjO3#7)wjc`mBL@0d%47{_M'7zw )cD\ԐdҸ%6*PV%U̎Yyx)Ʊ(?w <^sfG +י45B|r gy$*RkV[)ёsW#C1ҍ9oi-a2Wb5rf[=7O੟Lv@][bv- {v\yufpp@!G .Tx/ riFs0 2o@12LHTX/4d pM ى߇C,J/`+{B[(@bF~׫`k7HJbIz뿁Wtd(HȐzМ55ގޖP "UlL'C+,zaR@`OĔ"r(2pTSbH9vΐ>.9zom'tF ߿ٓɠF-.XLIheM[ӒqmX~_@a=" Uky*Kt49dl(?WcWiv@ԤkdѾV o^/HN%D"阐ffbaPm6v)'NG-:=D"]݁`psI ANm>S]'h}~!l]90J"WG#4^ %>^O`P#b#CR^:x{+"T'Zo&+nU v59ȳhH,#wU((pN\s[dž–~.=΅;7RnIΪ ^=}/v$^8"ҷ6L؃؀maB\|q@a 'XTʃs'6QDD"j4mR[{Z?J5483%&v 7MktR"c2`w*cI?ĞrdsG)ÌJuЇتߊi2>`D O[ p Y~ Ls0΄|ICs_<$NN9bl35N1Mk{﫿SV|$HhI8x)/e8b=G0^FztGUq_ 욵M ~[?+>;I9⫾Įk՟ ݛta[H *f#S!\>,*:T:g4!B!FZN RMp8N&,}136L!;sRE 9o}B. jEE!oϑpf4ֹ,[)z{v%JvE Nhq5ewԺgJ=A>CwyGBn)@uNl_ kRS5bW-o|∅~Nc9x16kD[Yq_fyix/~6mR!E(5!SY?º#,$kSO E})ry y ZkPDT'\Үɞp? *\y3*0<73EfVX"0*G?ӛ\$';b'gb\Άw4w`("By3Um9?nWYEz[j75-oANM[0py %Wn&M Dہ.,Փ'a2 ƯHCUXԱ$>\*ck X[s1J 6Dз.~=iK3@* E#O^ ҴwwDRNu81 y Vrt@':TĮ2#Y<MPĝ -S1" lیp\"g. ߏ"7iRv|Muh #/.GfyK/k;YaR%nT0;SHU$> *=Pt[6k \6ۯ@'sPӓbAHtfB!nj[x )6#o^nGKߡMǍ7GpءvP\g+sxZUVeQP7$G)!E2Kќ֮~{ -:cGA6$K#eQ1PՙT`)ZO sgZ+P3ͭc8>D93_i2$$s[ƣ`xb)P[&Ңe(+R{WkSD[+$/jg} 2S+0Y,0z/_=`-H~%: w^_DAQ*zʿjz=""j ]IInn/08ϕV7lR d;|J93MO%wPT СxJ+zGle]PtlDUbXu; ɜ6Vf\Zml;cà-DX4|w1WrSITZh,;a!ִi%^Ca(-݆twjf,+(ķwwSI gJ*9ytJ 24!jljŐaè:sRnt{XaRRWJcQbD{H/gkAs q~b1zNs0:/}¦dguhnt[O Kl{7KΡ{Y ipyK˄t]IiF\>W`qBӘjLJ oVmxK]SݽXwnHP3ucPJe{T >ጞ`7t4]0'`&Cq~C%GQ|aKD #1G_1%ZhAs=C]h-pmvCA,HpA'a{<@l)G&0^B#"dEy_B"pLH؃ _H@c-DUyWT.0:S^ w,M)1bB$MqG_iy8AvÎ3H1%:#MTgpŻd`$-y5 07*CVJTQ3s* ŊoX9?3#BTUTem T[dvU\HpSbS'o}m"IF8ڂUýcĊXB Ff-!;լ%Tpq7^EÞ `D}SII\^a9yB%Uo&͍eӰֱpLO3"VwQKCl[/o\XgWy &dBp[۷+Jţ6r5Ǔ 1!2ZJbo|"&ֽGV, 9Jg>'"z$$Df͢E4B70+osI ~>y>jiZ(C63'%U+͹Pl@޳{ȾYbeN\z6M`qk]|k!{/gmM<֍l]vu~"%:m ԻiEc;*RîJtܡ]Lw#8ik{lt7zKMiF0t‹gJWa06[ gƽH3 'fkE@<]d'y̺hG5]m)GC C.xzwkD4:tPDh!.e#豆|Ivr [!JT.MBXܯⰎ0髈!^z$/6gaXs ;ІrtQWؘe.(=M(P[#1G h߽%#{.ʴʮ&FCИP5]t-GBjwo,Ri_m%/F›NgJl+a}KpƏ?QFhўNvDh{T ${oizs4ń˔2ZWⱡg|]uh¯^L~NFۛgYG_t1_;LF|nDJZ6D۩AHZEqEԇ>a@.d"KkL80<7 Br/J!(53cY!{R"O4SE$Fb =ĠV ,X gT*h^i4a*mN؄D4 ꓪtIow1R ¯ߨW-&* |w4x9KJ4m& !;_02 *m`j*@~r@kBНQfڳ3_s 6>C!UpՖhlm5W$oA &6NvӦBaRuNW"]- ~E*$)Vo'{[ q!YRkT3'NQ>Rn=ۯ1 S]iӬ3(@h]NpA\D̛a=T^#1 [Ιi(t˹ӆoX/ɞCи~x$H-I I!VtM AN@Bln2^if)غT@޺~~%Adw@w1&2e$˂ g:#e-O\C>A YtR1;]Nɾvu*" eNJQ`ɷ(3-J % *_>m6HCSʸwī>x>FEWpلwy/RvaI>D遗'kWr+KW]DeTE"qedf$.``q.zo~NF>?7 RaP"FɨAZP.3$-d܅Wq["3xk.F%@^a WQ"$^b!Ƈ^#WrxJNUwAy]-mxv,oF˦6WSAQi}}'#JH_wmȸdd&l#GȫvWzuj;^wYL .m.$_|w&ቋ Z3o%< WՕO6R Op#q^L@<΂0hnfG ' E_vwz%w`ۨɇHva l ĴXW[zᏞ`i~9/m]PNHD2~b2a`;A~J,6iI,@6֝ sCobXs&l,TO :zCQj`!/)0g eX7Kg1AXSi\:4F؉!$kd{A߹]ǜbׄ+T+vs7ЁX?|dՄ'^%sTǤL< : }S}χC=iㅷ>+#]$2WfKwsbcEɼ-leDeh;~9%؍DTrͻ&n dlQf3wܞ` ~ۊod:P愥o7w] " kv݂n彵`WLA:YK(&4AFwv{(3b9@޻aeO+o6,;2E>våY xV<]aeA{MRAaGQIMn҅ gdWS+N 6 leBѓ{s-勧Ĥ~:>y`\vAJ XBq]^sR&B5Qv-%v6plVK`\yl݁ TiyR]gN|J75;m';Ո˻ $7ȐWaũ.6!d<֞754i!%%vT`ako"+jx܇89f] #,hq?`a:A F D !"6f4Nj/+\(x"S 2׽ZteZ͵ǹRz\m6X m.]tӎjA$KG ki׽+Tϫ!2i}DqFZ ʦ9z6(BuhM:L"Gbr]5n+4qd=3ׁ9 ^f!5~Gxԫ(`D/U492քIm~IBTD AT/dNI"_jk+0"Q!5q G! lgkNy` s5H4<899ƭI 0d =.& 5W` ?We8܎+*Gn+Y[|Zy_cY$^_BX)Z [P.&Sɯ{ҪZȐ kqlրh1F;Nvh0*};X'J$Ks`mX8pEi)Síλx97@0q1\b_emo\^kTCc4ˁYsżŦNk!U(A~5M[t*sTttUesɯTBtc4isy! J)CD'Ɉ!t^kr=u! -.W!Nk,xO.>*8MR>H!@l3pbˮg+>^\r+:ňɰ2=8`'N΄CT.ษ=ŮqЭsH~B}3m{l3b& KOyJKXqY'>(ɳc˩|U|O @ plXT1:xZ[Kj&HKd* :n ̦Vm8/"Ї]T r@ C>-3UrpG[Yr8a(hW uwӈbM5͗VC7MC7Cj9X56n1EH<0FcWf~R? F03\e"Iaey6|澮n Ua >a#j3̉`z4Ԩ~ɯK ]쎣|> мesrp(ُ,@!e_޹rj!QNz(it}kɒӐejQĚ#F!<p%j\nNfŌ yKp;tRV,(b4)6vhT;ބu su&%=,rHsuqTÝ{Kpuc$hTxzQ%?sCH,U3oR;^fǎvI]kW}y@}i w`㴫EdQOE6m\+kWc G\g2WH\򝶷Li# t sݣw4˲x\>ߒkzفd@;^%);Ev¾!ޙe^j#>B(xCK {A :NLjd_d*y70c7I>Q7E2wpR"yZbv)$>7;!vphx3rm̀Zv_COr?p05sA*GI~$MKJ X]?NM4p]XԿЦ~.膱q[dT--S1Ntq7)g9!B5eD+?y>vٙm/Kťxj =6/`G쉨-@_jPb`zٞ6ȇCoĆ~įt;BmcXFs\OjdblD{pO2Xʣ8dP+}RIYtš1S.z״oЂR0)1\L?rfk6ךHGalbÿ 'Aj{ eZ8ޏ‰1ya ^[aΗm’`d8\̲OaMV+>o:6'=D|~aDŽ?O~kam&zzv-ˆgvU ߟX=*6#LCaluoeO_i:J}z3^'tAE.FѰ}4< KxA\#\3e! Z uy!|`fnxD=[dŸ51nbNǝcSN&) _#R:Gt\.NC<0r8϶-̂QMp~ [;qmqe P lr7GRJ+$ _EȮD~ x*(<8Z9Խ(|n! 4;vS8݀Ԇ͟MDHyzYX 6W#5K|j~+l)7C6d:LzxϞU83upeCHV.Kv]J&Q, c6f7S 4H↩@Vwq=el% R9xx7|n-HbCgkn+1 R;()uabcr x^|JVl 8HY"+RK;\`:"qꜤPr0-,UNȃ߄kJ'M8PwΫg >Í辕 rI9zuR%gF2׆+LG'2L(nz+׫C Tqiy(.Cblt~{xi5)knmog.c*RD0iNVwv= h@~>Ӏ(0at\"rŒDmlgUk3;W-ݦ]FNA8-j?z]dkr$eA̷,5I BQ Zp'X2?3rOt؂Ki95r_"IQ=R[uj1,CҲVow~-l^8 r}(FoMdn^5M=ί+ ]Xk^^a!kDm3 .و]Sہ{O@XwC|(vc zoXF7YQ'HQ!78ɮFXd+7(,]r\Qҩے*vc^mmWx9qvذbLid i=c&C&:sS|́m`&?V-y!Uw (Oŕ*fvc?FuomffήwFL9SA@P.`UpY.DXpvհ_ H'FuY! 2{ula ~ S^T_r6cnїuBt{JX@zs bAt3yI046bjIq:&sV1iݪ .4GE h ,){9† qzY`ZEɡ7v+& $9A]}.2F0~5w)W86ܑ B)b|h(Dw571&iZ]%>8GJ_!p. ]݁<~xɫAѺ[A;U>Au_oph)(uRxEGLyl9rq b^9S?[k<ڭ #tAH읃ק !񌐴ۀ&W"h,GP{^A sɏљ7?=Ǵ қ!pL:&"O傊.~2ܜm9 c4!>mfo֟-- !!%0(JsU,̀:,Q{,&Ko Mxu &VD(6~ۭ#1#gYZ925a1ba64e1deeefa9a127657a869ca02405967ea70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c913108b98a41da750268a81467ded0df89dce1aa98