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 55#/,,, ]]Affine_Arithmetic:threads=4elapsed=329.524cpu=1154.836gc=101.260factor=3.507zXZִF! s!]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HDžU &]״2%k~X/ɰv+B(JhU,# "-PIޯR~}e$+ٷ– ,l}Ť\'-W"|UbyioC6[r&%Wɘz'[`L3lli⚍Al >z^H yٓU3c甩*e 2qsWߪys ίB8ʪ"ܒ >qz \ҵ\;a85MQ;XA!)ķ_hY[mKo=^4A54 枧;6+әFNτUB֋|eF_@oSfń@B=z{i8†viN5Cn '5^p!k]B'VV8ގ4`V-GԍɔH4ԇtVCU"ԭ# Q6^i"ʇܭR/-ϩk0~B'- KrbЋZHsU_B$z뤢)΂YK EE3Ep ȉc*T~}Ǵ 7fM }F`1"}Ex<(bBO|e!oSp6 aҴAVY;ynzTjDݏ#AS%rn/>Njy 6kr9̩aCJ#pfNJ{P1\i}KDQ8o+fڪYV#H*le?$= #Rѹم5-'ttܐۼߦCʥgd -\Ӕtm[[xSz& +*'Q:R#EEFK;z~zUhIMI|rA*yD[w!e1 ך:G`0߉=Ҧ0Db v|i2s| Pj{;fl5 !\dW!RrTTq|уh i  Ed+Ꝑ$Z0BeVM󓍷̶Wkew؛Vz4 ܏eFˤxsu=TveM6j{o#,T8߳[OU; 3Ei9"G6]eЃj +%=%h LUNof9$(B^~w}Pap(U+( }(+X^`1 &wZ,?LFQ=} a=ZP1+6d[sbx2C|ԇ0PfWc@ P5 nROXF#OZd<1;AREqX)s>K復@+$ UXTY[)[\~:\]5A)}oPansC,Ȼtۮ׃ѻŁ1SKgxfg(Qy밴o&4@P( oמ _q$;Gxa|*z3S9jU7FMc({ej+TU;an / Affine_Arithmetic 00M/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ F/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML#J/jEu͖lPuSV>̫8k ^~[R_";fH{V^Ir 92N:-!w kỶ$K&=bԂg6wo&2Jq-zQr rMuQlSqD<+@YyǠ ( wΎ~¼ XMwTix{ -A琾}le4/ Ҹk>caַ,$27u[Du0@7έ c W>8*#Pt{V>!zNJ* V@m2)Wj&2%(F⽞Qۥw$C0푟v95ʀ漽bťwӂ#r௷Ŀ-W:6kq'^g?>n{WGö00鞝}#;`i~@txp.u)>uwf8~Zf{tK<7Kc V79mzaQ"U[Lz#LY Vw6 )}9|M?u,e<_ 6@dhmVc٢ɒz*<$>FcTz?Ґߌn▾@qtUizjQUυ>#! Cúe~H~LGA!-+{caNTzQpƗX$N@eCn\ߊ'tY +Y\BR)dvbg9ū<=an|&W_=Rr4 bB'vGCv(V6(XC}s-MHOM\އ>U[pm䕴Y 4+4^{8R7gvₚW0{K8%kU4`~%ԇhEH˩aUQ<LR%@R P-Ʌ#h#ne{0-q"Jz{y{A&6K@*  PrۭJf,](.?Vj'V798sLLpdx*ԑq=ӷ8]:HH*}ȱYyճu];<;pvw(80 ->W0k`)PU?~EƳitmHNZёyM6NlXZ:ޟKS*J񔞊|4(XčbCBBcHҫ[UDZa\qP(sδRhKt z=m2G=Nܮ&1Xn_d Cea_[vgkUYP8_{]@96&1ݷ&Fkp>&#Fqν8hyOCBNjx-u3M'S[.B ~-U^JzFΦ{5oej?8):@3w[Z=\nUhz9/n8e&Ng΍%w[瞉@ cs1uKd#j&QXnctTrq3x& W%҆1B%Zvypw+НVjT8G%P+eXU5x҇RfjrT$i[T.36[ #š6KdƯ6 y؋: s&Yz}bSaZ ~c\.7e/HNf. ^a t},my I3 k~r MF'\ P' \|*.:/)z扗# V3V NknѨ!T !Z 9Ym#X18mlaS:LШ`W7ӧMxOfp D')6J]Q2(6b_eQkt^ƷՔ)km੽A6LI!-%R5T݁d1yĘ?Nd2{~iޝh*Bczk<7b _ģlJ/ߝ*#SV[R_w_A0U YT|9+8S$N_K7rO|_E0 ʚl(#Z䫢0D^Dpx@R5Vj ԫ~h'gaEf$d0&\Jed1hqڞ8F}[Xm0b!)&`cr8,bz p}b)SJEb1~S^5XObILF6Xnlqut6`|UA }y 9`λs @Fߙ 6vn ISƎlPnwXqjv{xt\E |ӵԄ,ƴ]_ ;s:Lʖsl8IUgh SaX}[OqWñvX;_:09K--p!4aRh&'C.(X~1 D~] CCk9gp)=cmκm8SQl)Yy8PR@ʃ΅& ŕ%v dt;{p0N/z #xYzeƑX]1P{(|\ +Q1GGxwQAV0uť=mD?[i+=Շy=O QҐ#Dn/3U̟qrnV(,Z f @DvGdI+1Քx`hF7kZAi>Z@UGv[dY<=B']u^$tk/@ nhrew&{p4JX,{OCC#5%Q j?,n7IujܜvEb]so͍Ճ-Htf!ܢJEv۔R ^=Kg::;'CjڲT4Iٯ*XIWT߻"p<`'S2v;>c=7?s(v`ӣ9>nܘmoub2waԔrAaK\)D롓M8c3J&sUbb|)&K xt=, ݈m<^"2Q N"a0ؔ@pw/\N}IPy4{?awj ]"Egd8 Q90hT$:ϠI=s-+XZ|gNYI0ѡ Khq_eR ' {94+:`JkjrŦ<`xĞ-Am, 1;@z %HpH8m^bVRWAijXw`4 )E*řFLJ$\Gŏbur:Y-e܆ >)>m}LV$~u.Քf5zMCv֌2 +-H/Nĭ1q4uk*]q/v-StcQa,ODzxct<2\'͌BoL#46ǵL'/p?!p"~9Ĵ|as|(6lGZ6@L#ut1,fza U]?Q}7`6糦wR-FM˒p]DOj ^: MZ\83Y^c +Re$<#94+}+D8P~a,*aOam˕=}bFC\i.Qڪ@@^6Y',A)"O\^ %k8vbߪ7PdlDwS]ɂ'0ةp;qa_GJA10ZB0umzO Cm%k.<'Bq2_岟M x:afc@#] mӖ[EZb$9w}pݔտ~ !&x /CgC jm-31__U,)5,N9{DqJBe+@Lfi;x̜#ӷo.Y$8>>ؿ:u_nE6f[K!#1:h~a$3q ưg]FWPed|M<7HDʁeT_V%-# RoBx**`f%6DY+|=96͌.z' șh}^1JC8b'&'[Dlj\]*1,I-Y)J[|} }?|3CCDZgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uG%uwf~lRbJy ~"-|~^-_5{y#磙Ɇb!9HXypϨvSxVw+W<WkD"}̃3ǒz{HԢ퀄4W !G%2$Z5 r/cV“rX"u4pM[^sd5)u^j"yq8S\"Bvz%wLk"G/RN:ˈaTȨ u6jZ/*{R0? FOʹbF3LK.:G}K%:jK`.û+6Kb3!4AbAE%ZNR{|vyNt/?37x ?ɩdI$aGk˝ ᯋ C^w 3(XLs7e; .{.+l]6@z[.٦k9qqCb"O4AhĝG vA=l6N8S$! /=*=f%o-H*&.}od-taIv8_n fipj6u9|/{?qAV| mvc<^y_vByii<>xQiY ցD GcYlHUHbn\Ksч$tp1qXD9Kr-6ܾ!p|Y@ /d@gsM\|wf俹jӄt3] [°Iv>).;+x載h=xq|JnchNJ/OWtual +r^:/=xmHv͂@jjiȘ"[#lS-_ (|LNA}U'r ɲh|v% yBNlaeO¤r;ZV2d'\pDYӅ-r۶  +Y\0u93b[3ut: P>*-Y9gEF}"6Wz`\(WE|]e^1# ʤ 4RA5"3|r.6CExtr"Ž*pWp-N~$vty O%(6؇A6&X|?@&PB2;fvGl%AzZtۼ žHR*`3cΖDp¿h!b!s=RIlU5\XtB(i>ۛ6 NAީQ*J 5{.Ɲ|foTCi@r#.b|֜ڄ#42Uz ~gK."p̝wS!B}l"K}>az 0V Vz .ׅqgYZ7zXZִF! IaM]ŗXi%Gt7C`VlI/~a`ll2ϳa/R\(9d9i stC\{k(TM'RNj:+Zt#cbBe|Q>e,Z-)t K O1 L?. 0<\:/4+vLlT2¸tC.HM;;zQLO7"#(FBrJ O\ƚS!*tںn#BJ4eVTkر0W{Ec1JӅѦPIr+Fm0/nL;|%PS[7 p7 : TITgC d$nUI4vs<T}=0#}uZ|-nH{rZc8y+lLꌨRg'Ch頢IB;ҬZg!#шkYPc I=x:rk:X kO[s`uv/4iy>C|l*w(rh>"[:>?Ьa :eGģjb7R AAآdDA}nʥV#VXDY$sXd=X =h5q!T6ܠjDF6(:lht7{T\ٱ^&Gj3˵c,u}I*z[8SK8rtdD=P˰6_{tzUn}ixq!i6 .`HXPGz k Gr`َ=~+&΁WͿ/ M С30 ;:aƉW3;l{Ы7-C.t?G=if}'* !J{_%DPȵJvDgZsvLjf̛ixӕL(cc{_T8l0 ȑm^q2kBE| IMU4r*S-tHЩʍC=ϐX\(jPk/76.5~oO(ZM|4+ :1ʯ$T@6ʿ{42pm4JW/S6pG%SU~eJl43 AB S1YZ@ iQ UFpK{/ЅBiIzZ>7!vtMCugEG`[m959Ѻb獨\ +o:YÇdI-Q-~t :M}+0b2jqR!ҷ9&lCP/V L09?^@*X)(:^)zxz r(KC/}چP$7 ixJ_p5j"sȼ5wě 5[f-@KQm$~EOZ'cw5XVQ-*[_Vz p8Mx.0y $JߊH]9>6 ZlܔhM-4fҊ:fw꓏lܱwttWMF6!=H$fZO( Z176~春UOXI_galk,'-)i2߮Dr89ۘd H=dvUcO\Kr.-Lc@K홯qKfjfݽ@Qᙱv4WU~pCf)=& DTGn Lkn0zcS.M\)twOq 0Afe0?x_[klltR >^,#5L= Mb"B(1^>8nR K0CZ%#WiԁUdl% aX-=Zk.+S?V0B5BE-kn*Zq[$=sstPXQ3مa?Q۴ؙ?! `2xU/_W>v@߫ZP݂'WR{Kj& v FJgH/Yh9,_m@$NGX%ɡmޙ9 2 p.J1tۑ=Aϫɫ *u4sterF86T/ʥ]G2Vv۲D6BD^NZT<5z:<|tEu:,yC"&=uhŦ5^ irq io߉8 .;ymgиV41&56'*@mJثQ&:f )UKS ~XFܟpQ%ߒ;b9tQ"PuصG$^`tHێ`6:y!'%YL 7}Uܸ/sZSjb _>@{c8$ck5M=c8'⟝y[w{63&Py IZQIPo $&"lJxo0OԍҸ( *&3O} 눙qֶ@&WOz?kL\|Q0۷xi% FyxȍQV &k;\bVlr^8TϹʸFtcNUe<iXarmr٬3N[1)g%wY.U,b mYEs1}LoJiVK;i%1|Fhl9Kgc>}dn{ɶـk j5 pXba~l뽫]}Jf_GQb]rUa{Wm]gr-n(}ӟ2 {jߣvU'Hq0bɆ2 e`K{Nj 2:ڨA[T T A/$b!/VfH6?[&A88&Rx`ŭ&8Ar}QcfWsZO=JŊ֢9IzwRIUbׁ.٥&OUT'D30ʑ>ܵ]]wЇ_;ѳ>zG4fls:,bRh}M <뱌G; @H~^ZEA'xl 3(|zd@n gHsAv9!q`h!\~*x3(HD// eU6BcHv+v;"[e)ەY{-sz7 _͈ʺTP:oچnƈ[y{&J,idֿb(o['A>qR)!y ?_ "-{pb404Y:QԬoO~tCYA7mEpc +1uj6ȣ^@a2[S2\~xDف(jQ6u\,0V2$!H݀ +rRkY Ru [1DN 8>6("a UQX=K!)O!4@)M<΢5P&{tp]N2-&U-8Uw,`j b8(1Z!Y:4#FSIIe$Ч#X?ƁhePnFsptE7IW/ڄb;Z@Q4AaZy{'weLp/p?W`.bIPi ;,YO[s+#[E;2VmY _ |Xyӎp<KJt},~IZZn1 /b|xk¨Uˁ%g#ǃpAZXnQ#GZ_  Ok4?g8E 5͝b U.KL  z&$yqLI3"dZ |!Q9f\=g<;w&'Z@%#S*y-L1GÉS~ .)Vx2?axs/v\QS>0X[axSxWJ:` (m9"ARyI{Ji2L#We恶By~V7M([*Ha+v S;A\ڣbzrۿKI;M'b3DeȵS $iDWrbAp#@ЃIqO_j4FR)7z-Kj1& P*%ǘ%JO]@|K#8j"8'4M!o]˾\ LCpz@']L7va[3 i:jO2*)cQK`a!Id6ꭶe072qd+10 f|#ɹJG˾oT%ʺТmizߍ<@+I0v="m *V';=J2=8@a%1?, FUIj^&Sj0kDmAWw(aJu惉ͶŃaW0(;6S/8s3 SW!u$Л>aT=XNY ]6mζ_*9&[Y&_>RtƷPĭ; p޷FY̍S)WVn|3L@L5ބS>EICM cBF66hXD- WKLO2kZʊ՘dzME.s |2f'Iٽc?laVl z:E^ )ot3Έ6P@u !Uq 0nƹ_sص纓0jɚ3jlM;Yk\$GSZVC2Y NQORWq|Z!GhЂq9ɤ䓞XǕ:u7jLcS'`6p+|hc3~lxқ~_*vUr "7HMpOmƆhň avȋ UdgP` ٞd)̿3(rYE)_$ ^LRF `04Zூr@^ITɕWٷ y!4X/cXdtQ!ZVHؐ4BgQVԟ014 T_(kM+VS,4$1l-lۙbӫpЊv'9&M x28ԉ%%[=BTbbYd4yU-Y(2Lo16+.nhtbPAVM/h$ q"G`$|g@o܄-InB ٹU3A zHD6᫒(Ľ ![: b%Q{[ s7횁X(.<8@cXCTI[(4Fׁ3{-7CO&S )>3Tf{!հ N˥$w^ 'c'iҷe+f l7nkSJuB i\X"'t^+in'Oi[RCwmW>]'eÇn10w@CO(ۚKjZfKauȀU ' @u\b}[JYL{p%\J<0ey!=_8=4c|>v֛B=@E0&5W*L6pl3tPkN|m#r< P)Қ 4['],)Xj4[ l5s )k.66ș*Ezs EgMG ߳,4G(|>ԋ@ ޅ ֊YYeFm)v||+Fʼn1KCɯzwM汉3jB#ses^O.Q,>*7M t˥P;tt PV<+R qWӍƚsQV"V~<;teBiEҍ=ԮBpS29H e `(Ubes#ۤrb~a 1XIˑX47RbFJgss.9gkt*sx 5Oה3Cǘmս|ӋR~0ґ=0d҈g%آ/t)3% x!mvգD$ +^(T]u0iF),Sa.9pxtJ)`5nl$&A}Y] @j4`o0tTT*U-RF!S)23Zfԋx/i{QN}2T5`|I윻(yL8'v(lmʟE26g%PϣRAL N!$„nn9c=k> I|sǴz?b g1J45̤LA>6"o?:9¿JS[Nd9&)4YPP5E.@|$~?eKh=id$3A5+2"'QnhH.|mf ?kBKᢤnm`&Hn j6z C١6qyc{9 R,flYԶGuT[-5TZE n- M-y\J(LD;P5|m Ndglce ʬ6GYR^{?G'rS*ʤA<#m )s$ާ$^Ơ|0=@|Xn'^z eK.R\ p됈:@6NG--ثC dfWfd^MT꫙*hHx̯m, I(aeZ̥7]b)cU em|s #A~A–2,Gm1Et jwws1&Mu쵵#ƻt$7I/ްY8m}[,l;,j泵!U]]]oJNBWrN.N܃M>7yK `3bHR)coh3{^bO+, &3Aw ,v 5&fԌ/> L'=&mnM2]Lrw5M 떠68ج\ ,KËZ~b:)2A!eF5֝ v%0i!~ִ\u(p;l ~ׇ_ ycFm0U@LLI@N ,CvCi$שzda*%5YJX{cuV]0@@k=ޯd_~s[ͪ75tX fVn5QA3/n{~ؤvz~%~+%O«+WΨWT^!F#rIwR¥#Ja@Qbwp OUSfp3<%ds+<ZLAF)Vh3z~;9HiV?:'`ݾ,v[;č #7KsGL|WR@C O,b 9tf[و9Ada;(:3&KRÓg೼a=H`y9 MY=JZKK-<hUYYueg(HTsr*F?)\ ` QMn.¼ {#8 70AŠ#t-t:*e^7dZ{MoE+",/ pމf6eFuU? Syt]{(Pj G;V"&iidOgTxQcqfVO=Ko"P-]f"ˮ;H`nJ"'>O] D"eJ8GRq9 q/'um%8e|t] SF6 G{l mdEo& _ؘ3g3#Ux%Ru7(ވP#^Q @'H`C^2x+ڳ.Vm~^ .DQo*v(!WѰ@$ h4:I)< A<8(.bMM]FH3{}IUjgTgI"UAuڎ;5q p5ƒA*qmf]O֮$ }\5gR?s>Gd贾3&nLHGx+J0W^tCb` U7|T! _>&W*U 끌 d_a6stP-!4M/f uD^Ī *8n ThšS*D5gA.!3~4 䧴FG?CJtЉ3=h|V<ğdy$K&eRu ±TbMvTN 3-1x.VSjE~1'l>}2^-79+q'R Jx5˼/?U+Q7Svm{(+fث\̎O8YxޣDz猪Av~\o-T8[ xzC,GZyYoLQ>QH?Di#'I٪mȽT,> .j[.M 3xR G:]#uN aG|, ΨFШO7=]c0J wƈ| os֢ڥF%z߅@dbJ̺|xdE'$MÒΥ[HY:[7y&8{<%UBO+vWNc6z)g4lO vUw.+ቍX8d}+oѢ lpzqTf I穑ND#βUR~CfOllDwt;Pi{J*1/h?'_aHyQ.9X"zwaRXC弗;!{}R/46|-< yS!" %. Vbv^=B{!$1aBeZKK=\I\U:,ie 9 ɨߒnDSÀ4L10?9/n#/ y-4X#ِ/PY.t-YaJӧY}joꍎ#Si,H|$^kDLWP|׈ .ŒZ{G| m[ ݖ#~ %g4f)E"ϊn%1oCGfke1AjSFt&\o52Z I12UST՗^&.(M2ݺKŦ#lBfr,)~ZWOf]KٔFd^D lp?[k3sI8>o9]̾?*E`Gnz̄GY  axz[n5Ƣ?Zh *g'Wyܽ96Ϳv %6( gPꜤMQz]71^~x!6}[8#h xp!y)6]",M3SRFM)ף%5Y5Җ`qO_2[m~qbsyjm4IYD^y*Tc9n 9YHy2eTTk`n$'1d/ݽ-#--p(o152QoCFsǧ뀐ˁɢۢU MaE(HlF-!ƕSaK+ KP|l~NOF.PCۈ}"J4Y^.y˃aCfjC>KX8|-<DB4da`y81MϟiΥs،mH#\o]EsOD;9R.RT( |H2D#:rvv=l LT`ݼ֧yYdI(gHM]?wiK 4 `p.-FT~<^C'cyi5z^oKwkyzoˡt5Y1[NwgmBW+y쭥KKz Lk͕@X!hՌ|JC}B^ v Pg DdɅ)D=}*򝥸ԺL;>])f!X@WZdZ*[DV gПik0Гjz HjmK-j  'Ӳ/c>BjT|:Ja Woݤkqw{* 5b`aEk&3ͼB( VWM2 z}V7>w3t ؕ(ǜ ~.xcwpedR:f$HcT(>I2nCSm?&bC%V;%c{__=Tԟ?awZQ=fvxcի2 2`e+UM'-TmoF^ y=B1prNjzl']h<sv,2m2_o%]ibFx@+hf11 4AbnCa&\Ws7ʑiaH\\ԑtp CY6}Ȼ2 JD&2#ev?8:Qz^i`bI|Y#,8H ʬwڽ}QJ@^wq30f/.H4}!hRR uj\ lӬ6Κߡ'WF)Ryg x cוLdG/.p%IYeש{O6>:ģRS}TQa+Ui[X=F/j.j6e~ADPW{ [.[G5P4I0T)iUI P96Nʶ'ЮpQ@){p-b#ow9w /='1u%Hhl$W0W ÔkcEN)VKCV(eDz8%~Fn% ]ύ(jcsn |rdI,e_Pwu஝>Q3 } "+j_y#G*,O.'0giD20QżCҷ*!̊ER4Hr-^]4|Ir?{L;`V@;Oe =A<-<>ϯ}&()~wjF6Mʪ2 7AєX?{,cfsZC#s"+3ja3r`Ũ_W/z- zŵ$_a'YQ.I-5*c5'ĥ&z+djH9n$9# Ea91fL|Z%"ړ teP F ojpEs8>8ld"wIܻcK2%,R8nA}  qR%%qE$;GuWVS+C"8]?@ s&3A*U>`,34?r=}1Ѝ?tgi'&W\ .N PѐX OAg_Uaމ<,:0Tg!;U1u&8 tAm+YPWS,&k#DW?s뢗ҕDP!>muˉ߀9>nk'`;Kƥ_YGNAnr,PuzQ<ּM&b g#ssl |/ O4ϙ'pΆE;xM_Ɇ 5zHÙKC"=' n(|nv~w^Zjc;϶X< U}^GIm((W7``?3І1\~R S0>r1 j@ēի#w~qR/tw(O̤2*w%,rHBgإ` zHJ$E&ƢEMbjU1[F! E0\ HaصGVIJnB'x(LyJ}`[1!p1I?XtTO〜<e٫ꏶ :%Z'2Ttlt{Ƅ-A${=|_ͧ\bpM4#i@:~<际k`_TG OL]7ʘ TYq|r{vX>#->#$^RGp!e! ǼZo);]M#$P=XލZ).܍P i[m rpmlEMXdyXfʤ'&>gˇb)2՟Tq5W Ev"F~yvٟp?Հ?_v=eT  JM3@3o\-T,G1. mfk`UxDq9|V.Ex/]z+B2BdmQ7L@+ FgO&+%n` WߛLѵR4@џ3D3H'ک%R*PMV3L]ćOڢm?r BLNNp G|Ƹ9"tD7h,S7XX&aEfZ2%"/@ HLx<=kUB^BXM]8XPOA}H~ц|v '1;mM>D{s5,,X}VיvAQe92Lh9wСinKIIْo]gb?X -@"ީ9ВtMgJw Mea5ݦՎt_<٨J W\Y.4`Fq v!fXŽYG}+Q}PPu=JW/׈7AZŽ< S6Mc֗"YJa &;u$Ǡӎg7E.=;MlȹjJA`O}#-\ݸ+ &*)p nLQJ!4Pe=_N%=$6LDY!I5" jT2H"/ XOG]7.JE^0%kl[Q\V_cF HÔsx\6[wʺ`C"-}J[>jHc<'6Hi6)"3] tuQw7/6_7G iux젚Q8T!xXXR<.'c$=uy^@Aq~2:7f,0&3y:֜^Tf#t,+:=;F[|z=8cUĒ_[@24W3.mjӻ:]&  SHS~Xϳw%ij哓| /+Y.a/ܴ, b,11~W6o[[ , DQI  7!:@suOQ"c7郝IJ4 vRbϕډDN@rM\KVxŚ]& PP}̸ 6fe馛/Y[+ZYn5Xqx.v>((y+|ɄN70c_> $ʘ]dN NlD/caR{hU7*W-aTWvw<8N[Zz!GWDe5}C6`DZ&?џGFTܲ&SF/ ŜIGpuIlZ>V ]e,9 #n~$6-Z} WEkiؕfƸJ/AfԞT<ք2$fYe~f= 2 ȘG/l3T |8\@14 ῔=eR*W,2#I#n.-+$eާao>;lGG8EΥW/5GPВpHw1.&)*Zeָ$'|(>{P u>J Jr Z޲d:p%#_H5È'\W3ʕ~Zu=Zxd*/!X}ЕոPg1>=DC:3Z׻o.ԮJlBmM,PnhJ֌|\qq0IS&(:h(/:.|\nN8M¤s+=ܞEYgMECg]j=f&,_پ-tChQ5 U :$GTӱmK;X0+k%;V/|B7x+c> e9,ܽ6sog}C=!@S_NuX@.,!a ǠGILF-$7_i@q զ 1$ _?Z'#0.DMMrD\dAdvૠǖ^80H5v,]ug{)Kuto+5 m(y0PÇM, XɦA.X bnm$5Ax']L̿fLdfkUeɷ`^ʚ+k¿}$WjVߐ9fH%Ϭa>TikHs.!|+OQţo ˉ !rO9:>5]`3;QwҗNuҧp?bc ֝S?l;rQ ͫeXҌD/E v&(-" "zT\$k<^5;,q&jJʣR ̫{c!ì]P"1.Ld-@ h㲗acW1vGwRduJ%W7!*M%f&{DZ^׹wr ; <Ɓ cO1Pc/KfMFݫJTTv7S5AP&G H{h~PI lb$p_a=7q{"IKè)J'w{CTM ]X|Ɩa<Ư;~XՑݔ^Jz"Ń pa< ɛԛםBE!U%z>~{d랻~6XP_}j' ޣb#WJ>SJT BABƧ}5KN 8Tf[^>[p΢@^n DNpֽ9"/}66]`OML.xϓ ]rfdXz8H͋g>SlhԸ.Zw)ixٜ$Ws,1&L*%I5Χ#KTI-S:󹍚O^> 0j?$Mx|ܯ[G>ƾ?U7^WٶBJ(Ùtό=>o09Dtsv`Vfdh==# YN{ + 7~grp P3$nF9"QkcGsN;Wc$hO O}8ǜR~hl[2nQPW1n(uUng/"\6|Cz6TY⤛jR5Rz}/s#\ )UipqXit7p̎0zo B_"g) 7dmS)cR^х#*ǿv˧[7||IFMbiL0(LVoq$N][c#|ij+ ?ϛjgؤTB*L[e:E_WTOdmJf!,!(Z}n|0ɗ2IoP1 ] ZvD^hS }~7({GsjIV&Y 38Eax{4ð͢P89vG9;pgHE54ҹ8ogif{\ݟ*_qz:o0"wԵSBn&Q-F+C {߳cX~IaRiVƾ }AJ0YLFŻ-ڐQ ; _H46Hgl7zB瓂ٗA!~/7v}WKƅr²\#f4 ZC. ^:i.,4txFY.0Տ)>a5 Şli|c50.qO$#%<"B!g4>ӯ2FȔu;Z;ǰZ?ͻJJ@HZ2v+N,J9`?69$ڶ8g1ZNM)P?/F5,c{]2G?opSm ;n $yRI.?tU}_ߝI/x孻OT{zM3]PʎUNgYZf80b5e22c6c5b18ec084e12679de2a1e3ee126f778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f47211a18268a9d89029a93045045a44c46b5ec91ef6