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 0!tT ]I]CAVA_Setup:threads=4elapsed=629.294cpu=2201.896gc=100.968factor=3.507zXZִF! ⟭=]ŗXf1-q恈͐7ӺV PV[S‹Z]qتjJ e4"V!þѿVٶ$I?2بro>Oäl޾#^鈣pKƸ̫g!:G$ t=UMz7<|Hyyԍµ|$zb&tm+' 4j8^kLpB!'ds%n<-řK UGV K8wg?K4Q %!d%MkOTa Ө|bۄOˋǰYAqJ⍠0z|2q5]L6d_ğy+%; yRNJjY KU@=.iiBf& um"ŧljũwgVq(-v3qHFkuJeb7qpᓅ$|D6eMOZZmDz?e"6-,ZrVWy>1e5? M83ʠ8ßK7@L`mT%=C\l:Wjc;F"'1M#;'1* & Z/oe;[χz4MçE0u1؂b80Ѝ(Xb=p:dDz,8gU9Oc9!ICh~z6bZ.XÍM)U}y4Ve * i7\Uh~ ry_LfI:٢d<Ё0e1תg v]ᅤrQ462<`E"U 3\| 1I; nC U*cI$^KyL)[귈S>R[w@PEEQ' 12Hg;]<@cGhsm+&Bݦ +pq;>ՋxA^2~Жs}&sìl%!aS5s ;a{xdٍ 2?ސS{%GSA= 9P:~Ro~-h?oF$Ⱦ0DQ䊺 ;^9YBFWJMH'ӾoG6aN !BKT0R+Q-MtEy PF=nNK3ύBhFObIp/s.&Zb^5SMW:0^ʨ4!mTB1ԴS!Ob^V uO״YVpUFYa˺Tnl&烲 = DI~:IR xEa˸[5sx}Ժd?CN =T>bg"Secj&3b˝`3**u  pBk2í1mGY̓| Ȥ݊pZ//DT8jNF9AtB(inV!lSembfUW!B<]q wi(ɞkOyc aVҋ$DfO"}ךߖSxh!CwbT)&gʑu ¶ᇟb`؈p'km'uBTKܸY4<1>IHgV|WUj5%kh5sËИc@B))pxqU֗lsxV?Ġe2_[ӑM$ g#Z'`)4MHnWъUnm/|j(9Y?Oؤvds˴!O-IZf߂xeJNMp," `Z0C皨c[덻q*b\ B b\Ona+=9EHρR{CkB֏Z +1;wv▪н-ʛ(U l~*G2;Q=ф J-zFzOsAwחl93ᐵ6<|ZFMYq6顖x Isd-IlzZ Uw>c~fqͥnZK7_9L_|Gpzlh_=(1ú^O)LUţg"Lu.fCZ[S#Ll V1"+( ;EjUicԻ§E3wᄂ -W?,*]Tk$)050ZHؿ3ԇ(Q>S.Z*#[2PճkLS-(H' nꧢަDcA(ɝ1%Yz4 $ f:@U'ؕƗYS72L[ C gͪpD8v)'[\Z™vK(uJW(kYiN7Cx1l`p.6JZ=n{St5Nz i[,iW BPM|󹌝tdc;6g~DZSY@w8M;ԛIvUTIJeՀ⛁.nʶݎk7پ֐]VkiEʿ%'SD~5@ tnfrKB%b:gY16-*oTTd.͗+A1 a  4mkPyJm5pQbx/kcr|K]L-Opk-oW ~1tXc3?՞#D{c1(.H fv~fvo8Oܩ.^gr*-3\xA MQ@;,Wn3(ۮzFZKbz F IStBGMbɖif!Mb Ckzv sXRsKSbI,kS8pN*WbTmgF\o!Т6IJQ@"LczX0.*Iϕ7e(|ZN+y=*jΗBIwԛ倞$2-Pά^YZʷQנX9Gxf u+|pQ{BGA0BYQ (sMKJ&5-ٽږ$$n; E?)L"?9,!VW]I:?ӣئ)yppU0X6t첊Jj ȮD~ Oۀx?h3ukuHț\1f("Tւ}fV)[AzE(;+ nº[z t9@D3ܝD?4=JKdpUX 54QƲ3z@)O 6/¢eG7p˸jw6{h̻Q<\5d? 9R]n+-Z\ĩRLf~ T{Z`q.uyXt<>QK/ЉDbicA[,M q2zsj2ގhy +ULK(nj6BiwkN%A7& dL/ Z*gw`wui)!wyW/WS,(fpk}(1Bϡ 2WX 2{\GLnr2 ȎϦ fթⲡ뜐ʼ{|-g3#|^bSN㢴 .Ka6. ǐOM@4/>q[_{Eb z$6Vm?ipQ^Kk rn >{o'bO'c!O'# Wz%O8׃164cP.V"ӦPYֱ`k~EVwihSL[`TFsro{{B}3V>*:%-a6AGnIhuhW6n2{9}Ӌ22M tNR~ltc~`S|Zp] [b$}v$ElO;`xϻIB:IaY8*Bxȟd@ZtAﳩ´F!UP|V"?a5ΊmpBo_cFuÞK*T!0@=iO6N@U|, -dPe3{L@1B_3THT̔#m8jd~m;tp ^CcUoѰoAR4ҳQarDFpy] kw8D6xol#c^Rgp0AL,{0;Ɉ8v4uTmyHNKSP-]Q 8+f菣.ElЧZ XAo&TSߒq*>ٳ1 qI %r _茶F?uS%]%*Ac2̡[za=ЂF˴۽R0C`~ᡘ7*"W;Q]s]S;ufS?fgطȖ;,*ZK1Gk3k|%0#1"GsY$wQmwv0DXKԞIM_3'qSk4E/:3Cek_>aw;(#W ,˱r{O&|:C{BZYmvFX)WЧOU:@I$8%ȤI=^sbʧb*>XZ"U3wptM;}H)'OZQ>{5o㵋R.zP'~s!o.T+``r%[,Ѻza/j#]c?u謡)K k'=MH'ޚ:+QVx,~'fw: h)ظ:)ZȳČ!-q&Xrue\Y㝜=Ԗ_'~C8 .X1?nqQDݷ)6_D+Iݗ/mRr -Q沔A 6 ^ $>pϪ 7C7Ŝ {:Ïx;q?'{9?^;J Ƃ{i7is0b/?6pJ UBHOz%M!coV:+}J潗A:Q,%q$wާ%Y9uxʌ>Ӭ(xo57C{ҹU\?O>; ~KF]A&mE+2T0$`d5$㸒|wΒƭNܲt\ B ~OR~a2X+[N_[2z,cf655SI ,Cp: $FŰH Br[6z1M! v鎞D>^|4 E0ԩc_I 5Kj։Ag h ^+bkO_6˅?_mK48`J-pIOf8^|@t,nRHj/wnrTѳΥ"+HYnmɹ Jt=8Tvm/cL #ܮK":)ٲM SON}GGHsqAD_!Tlyo4V# ܭ@ Bx쐤fsje M;J!j:eTGQ\ԔLm\ɢB*#) ɚTi`zNҰ .5M!{>nN?O9cNbSDP{OpHDT=)$[XM31|COz楇Ũ 57j5fsjcݐAKs+n]<9r7il~o>_$z&RN|R; V ǰZ&d]w QB5l&0CT<)_MN լA_Kй-g6:•qfD'AƟR ȏͮ,>b^&5 ܸg aޕ^5S/S ElRd6bi*~TsDPuO aeu;˖EU95h|6vf A EDluB0\i0ΖEY6n{M̏=jRu/OuxkHX;(+<+,lU3CuCe锾A6/5a`g m֢M3b6B"-k昬S"U\f9xj[,U)]/Ch^6>%p\M@/Ƶ[6 `PZLm\7.|y<Wl9CU<:>GX[G.Ca~q`:氩m@#Hykv<"P:_L`fAz´g'976sj!adGw a$cZrOEJAZYrveh֋1b~>a@H6̼sYhfʚ.#)!M^+'T9"u%ؘ4}З ύ~R:H U]})'%SGr3.=Ee$.4XU+] htdO~.OZbmWoؚe7j+ j`ɽf:`3=(1I^+n 1R0RK`.Vhc7(̓=cA|kW<{/c$dbByJJT9߲1I?B|bCYP1D-Jɋ?Zg8 %I猱gkh=?H'U9}&[3Vԅ1&Mni+ hj|?A|Qf:kN9 > /b]15eG8 Ͻ|&&#k<;vq,\uR`zhrtb9g2%o~n5KfVtUsQ}  ڲ5.)IZ4χ}!|\ݧjmeV$>?š<8H[񬉝MeM>~)؈ ;sX);? +@)xR{Kߗ :' )}9Oa|&Ej:R.ПB*>p׏ƒ첯XJ;M QnG"-vq}quxfi!`Y`"5rوAlgIqR)(c?#9!2CYgWɭ&~ibI }QPXu&4q"iE\;>}BHa hO?9! NZUa/" C(_M`3V-ȁ8eji]}0_'+t;x.z6xv "]T7,"Zt?wGia@MX))q&~ Sŵ^pt.r θ6 3Ѵg:;#$s-Ǖ,%=x1=:;A6}s:30Jܿ"*B& )Kq+ÔC[CRdz=d)&Ά!wm^oуgt@l1IM{->jAjy?sX=)zz˃ey.1#lLHsěr^SZ_>2"Tü?\]C6֖1AO%H`5H(D~ь b'F+S>@s zi+Qm!Ӹԥ?3g5k`6zeA5֖PȂvQ /iwGm7> S52OJ̲R=_h8);ϩ~6Pz~-HxlLl`d6RN&"[A-b[S^<1f6Cd6=N3 sDd@{o DWosFƆ];S_Х%+˥ ne g9CLQ&Q"xzKkՄg~jq8WB`"_ppAN7\| [ų$M(H3D]Pu Y>PF<"tC:2׹}MEF!ۧ\@<-s"̌׻F@B# U?U9|-9౭>9< ƃ.c(? PWw>1qDbq }sdc EWj&I QcR* \ώʖljgi/2)\d\!]hWYqԵT"U2`Fޢ0)s37,%pm|ij>xZ X]]w 0_jc'-oƭmrEmN+R[_T 1sgUF6;pC X~k]}O q8ukLj2?QrGotn<}J:d~Xq-֔4K[~0YRNz鮋8 ӏKT$HirRJAE`ZjL _#UO5{iK;6O$\Arw x!tڑ2YQ^ ;.&}?o04n$Ԛ8bLu;ѣMVD&2J?= ؔ &|ByYRGdCxW@2;]IR Z9&]y@ۯ.ޢi블Ś̊W`gqvLS!Ȏyk_1_Sw%lkX9d~5Dz ]bE z\@Ur9(e(ڽ62 r s}0<$@Qvs@z}\.ӥIHŷG ~X#4#.3;dHrZ;o0wHl.8XJwwb5Ath$ 'Ls|XYb{]TKn<:>qM2ů>)jmlt؉L-C2Tgwg@SW kz ǣgYZ7zXZִF! !-]ŗXiɟv s3mU!Az|ByR:'0Od8gVXsV|Ъ:ى=Z;S}4-X*ZBo7"sBIQBBʸܛzWle?:1 XTކ҄o!r&ld:yϯ —f4U)NSClYݱ&Dp@myKSr`3_8[mͿAkJmc stD HO3!|W!N~LslG5|ietRBg0Ԁ,B~I\,հn%N|H+k.k,_[BjpJZLM嗪&'i 0O +$H(̏h#)ɦᘍZ3d% #o#:'ޥ**,~$`@*Xvf0\Q}@ 5-ǶB䊪1I(vը)ֻ ĔDpbїHDMC!ߦ=a-p^0>+̲GIWnتE^BxD'`^vy6JjR]߰2ݟasbz*%b:up{6ʙ- I!|] ϻ(q. ZpP.-/ф 6T)fcx!BJGH?lg8[^5o;:T0ȅ];)j~U2o⌂۽PܬwHV66!o#!qar\ܚ 1IY oȑݖ}1ϗb#f _>1MhtGT0 $*k$47 U%9H%+)qXPj:PIg.הU򒫱 $q;t:7n{45209 4GpӐrn} m1<Eʣ&Id'ޝo",RSoB؄3|C7]p5\Gpͫŋ6q0\4FnC-Z,=.]qDXWx)oR@%X U"F袻+PU.vd{%A`Ʊg̞ǂWʴO=^eZ7+{~?}RSvߜrֱJA)\_{lh' _^ɣDtgƦt'ޘ?) ch㷓 -i D nW=6'Sb?T+ӹCܮiCxť!?mǃ' ?ǝc%Eo߲:D8qwWB)ט~:cx+i`ڭmE;rH]𕗮+ b޹6deגW.cqAѶؿ?> p_.v*k_eU0.1yԐ#rxUDɧ.ľ$ QCC=~N@ _x^Bby`gYZ7zXZִF! ]]ŗXi%Eb4O9R@06OQ{|蔸אP9*ȹ. qZ$d&ť2;5& ,5P' ;;6ʴܥPOQcfaIW9+0wX:U(McGM  _hՈUqTR=?k+c vj"bcʷ)tRZ1Ps1դ尯5q)0ɝߧS+"2?+\t/~ѐ~˧wt bmn1/y dJ\;8YM]lzdQ'ZiAT>9bBp`\@_0JvW# N# ks3?[?~~W9. )0~A5FI)5 gk:G!mSxM+Ja3cKH"~v Rvx5f]=Zx!Aƒӓ_ ][R)Y?w Lׅ++#tfvx@#[Kc=w510N߂Z6;z02-GpIJ=K)O7tBj. D*ĘʧC1h3G/C6*ͳ E@ZP^:\n"#n\K-N G|˩25=[ QV+Y +)c%BUo˔vR;%鞔`poZ}uչG6M^$4ӟ;{&nn4I8f^zWTBc:9nM2)kCGbukov 拉 P8 y1_7si9-{wZlxݮ_&RMF?=(yq>+<|kiF(^ҬK&悛Lk-䬐6=j+]Z5L@as-E]F˲IXAjqr$,=A6D1.3<4ySmP`CO3~ uLvXBG,1CҴCf5yRa6Mڦ}OJlh nB ޓML+ Ŷ S FO#!N Pt@#jDˁiըyvȊYɃK:IȑXsۛ:F0^ Rj npgB6Uh@*}"GࠔsWcͬlS#%dW0ҺPyLҷV,GemtCR 59HQ4'qް3brEXR@}|G(NІnOfB&/KS`{ĦK _9(oj "\\eښ tJˎວ W%r^igL|*X~3@[4̈W`<ɕit9U|oO4ui:S!%Bou5bCVB|Z92<&7C;6A0T o@ 9U3=$]cV9Ugu\gieKB1Zs;R\*Ԉٖu }Zy A`oׅpA,>l{_qݐm7g̡ZSׅH(K9D0fA45/DR1QCjcaqMJԊ_qUjdPamYīJތrڍJR'thGÐM3UQtBbxg1_6hO+Ԛ%|]'_}jDŽ#]xjFdб0f+mqCT5hQG*,<*a{@M/\Q['CKD5=ԴL MCL>?gdE B@dވcnl **y#`8Y= ESh9~zG[ʰs=螀dT;qSxqZZs'ֶ7{C^mc5',dcF8PFuh+*[Txq<:>tJ^񀄽 ڕ:\(`*g5$W^M w F33\v؂Þ웏-x ix-kp([6 3VoP0Ža.ɝy&Zyhd@kf3G}?GsT xB*bqE9iEg9Xq@gyU;GEkK>l7&bq.bsYiÇy҆tҕ^Y/T[C0,,.eKKbsc :ׇG>j{59 w1Z>c,B~K/10 6S]n—/?@?Rҧ8%,^"FALX~Lj7zH1.WNu Y nttY{z*_I=?/?-Hxs!0i]̌gv@*d~ɔ{)|~y=QUܒ$x,,Dy@d_D (W9m 2)+v67u=^Ftbn& abl<:EU4B_q0``}OUڗA A$)=@Ry6&v--EٱfT"8 TvBz`ϋ[=+#=_juFp&kgH Șֱp&+܈WC!7.g)9!f1/!!\%Jؖ(qC%ﴝѓ}8 Ji4Rl= N\!_=o݉nzb J2?}קmko"YPnR$k )*>$GkN:߹+k I2zN3ͧ~Wk}t$ +Zqota9 I5i3"r԰dQ%-#ʣeu`*%X+࡬XXp(2qӋ(<4VU]zj#wc纕8}.Z+nY>7y;3}zA#nh`w) o4ۧ}Ӄg4c $ue" ~dW>e6 вԓ%[*,|oLZp SM=e O,i6ֹgcMR-C›: 4JE@[x)Md EAB)I2$YJ]>*e{c"mT:Ut&vHULtı䚣'B5' kPЅYgykĕ DyX&`~og"mEMӣ_቞)Gkyi%-HW?@vERas ^^D >SXji5;Wzw4;v/HݔfA1_MɼH$\Si[ :KADTM%5I#UmN$:Ʀp2x`@]w|y`G{?P}=Y(MX9Q;Q|Y3-<[KF>26R}b+Vvg X CmsbgeewAb~s9x$+|ø}yĜ=!Qg e`|&Qm1v*[_q%/ǜt\muSxF+:%K>v_>6ϥ~V%Pp! =NY]1R[,.f&|B2mc 䆬 #^rZȘ8'X0 d#f\>`Dzwhf*+)_L-Ɓ+=R8O% 1ׄQu7Еq^ؚGүn7\̒ g;E`)oxB ϧ7 {f-~DEyA@PA%[ÿ&o2&orqv :]ZZv)qm5E$=VsT*#-l~VKU"=1) x8;]M*~X%Kk$rWXOH;AW6Kё? mY]˨,^Nw<Ύ<RFP:_ Pst ݋ińYr"7S<6}lf0.[ÚOAX;;EpNf-ʳڻ.thvx!d0OgnB+.:юJ R@ӻD /aUz6J汽'.1?y_7n>'zT;89Y``Dbz,?;?g_=Lz#vʰ`glHkҏ᤺=Œ!D*2jS< 7jYxwO ү7OgzOE)bi3AH*~AL.Z[@R/THp P8NoHV(̅F1/vI2Sٍb3.)ٖTSi @%ʰ@xJ^F3vXKռ0P&đRO"[Je՚-ճP$rB+r>lw>.yCU{øLA_?;{;yA0ʵ'8 TD; +LcJ\I Q)k@F9x:='e9-̬<ۍ5QthnNaA?^Hĩh9Ne՟$[Ӱ7TffxSlqh J6΋P!9|A?#!u8ЃTAC f Ǣ$Ѩk&Qd!(n^A~l6jmšފ8P l'|^uJeuv$;5_/f& DT> Kk@ي'41 -';h@2Q łZҳ y@Q˴lDz1<$A1̿is,(SKNm!3&A)6ܙ}zBAX);"l!jL̡<UU$0(EZ :cNL>P)Y!@mnH dr,Ԇ;V&_cUu{oEs[%BH"D :Vn_IP>V$7%nSܺ W0k_a_&.FwnIpZIo$ |ئDq},hhM|y3N43Fuz$:YʛKB :w:-y:ʵ8kwsq&)y N^ހ{@tS<0gpPGXK,i=m1Sgewģ>0wGѷ{yG5Z^ꠀA+}.I#.rMwF,gXx/QaTV^;: e"B&l*s?+D[JsWUJ7rNКlC>u?>v#Ю$`TՈь/=YK)޸GY45_ի9>$V勞0wSJP+؂Jc_!z{߲' Qg-Im3Ф7nGM.Mhr`eIFP'.BtK}!>8~Ur,. dUY4d <-&Z8'Y5fg|hI]wz{ѳqz*e])uo$o\>C7r4B,Z\^}p+6G{#M먘enG>&GeᲨJÈOoȫqYfmEG1r*H y80㟞Cv'GOR!oDP:į}=B~:Gly%Hq }*0,y,o6_{B*({]n2Dma*DL%5@p18~(n4%\ ,a\#,h~BO=*`L\cXfנ f.4vLD;i%E)Cxle?|8/T˫s{]ԕ#x!r&ʲ>uk ]Oh +c"74y?f4aCl8ԿAY[Awػ@8=1Id IHj w)h'Y"z|ZZr~+\Wu? 6TK+i/㙋d o[CY3AL@Y 1"9blhG"v.x =eiHuaЗlɏS_S> W|0!~" bd#[J+WpJaIf.=c˰V$DZ3le;)H)=b,Fn  'FƳ{LDFm3nvL.,HphWhs--өTk>%Lt_=W߼ڮx Xރ?+Yk1T4Ő,A[3­7 5ȵNY^y\D)\~=<uCťDYسixi!Sij)`=#Ӟg[]zۆ8*]$) % oBK̆ |BiZw#r igZwDI:Wğ*Mqe2 Dc{lz/ݼ!h{AG5Z2]4k\i],/Nz}"֮&d,,]%/7!e^CLأ3%CPL6 jgػ ƣ`c"ImYԕQH$@D2mi/e@:Eƌ#p/tS2V_(i8zƑPQRٚ?UNؚݽs m{jA!?3Gx]$]MqB) &/@@_Q:I[Ѥ(G}ciP߳t/7 #?]M0'*x޾yЅ92K0»u*qJnDEj Uԛ5mz:+6[FW|UeRufV$=3E=ć ŝʥ5=[k-RA2V${g=/C%1pwlnښ [ܿǐVCx*S%Dd[y\ȟfgK9a'$v(qWY4lRkWN TY%QE@3a7.߯657~VM }HFHϨKҙ7Ph14!މѡ:cBaf2Xto1.eW,)F, Cڹ0Ť6xfxfF&yb J|_qcȡdoΡ8v8"*'ukaA[NWhy`+h)FuRQJo;!HG~k3 ٽU9f]1m9QY/݄V񯜍ad!.nM-}X-ѳ:25ݙƟM)^u@6{$훧FL@>T(<&gS>똡;89BGZհҁuQW T/a ѳ5'+lμg4a#u`(\ xm2 8 JU9<-QaYhr&C;КC-~Q#XQA FQV3,=XӇ` Z\Uzj@aPfV Dχxmt7?.v89Xu]W̤o)m x,bCԥGOWWr5iCCW֎8]?CfZѓ/np|{WC{s=ƙň_TmmY) _%3\r|&è  31foAy%(Ywa&|vs~'}6r1ӣ֫x rEŌ$1O3>}k7h{o[ƫ3 eKs-h HʃySD4Puq7sLwoωׁ16WvUl{+J|c;/?Vf΁ԟV)U 5yb #0 ؤ؁ڃ1 '>Jr΢32A&U Ewib:V?JRGaq[.8\%.kxڡ..} zMQ! ;T[t]湭]5txvf;UwM)'"x( ny_lJS'Ɛ me~)kwrG%4~J* >թG`xt"$lVdˬ$0HD/g ~h "KEF.}i% zg#`R_|{M5pkؤa aC2<'$rX %\!{cGWrc6h՟UUOpݠo45' Zr3oԄy.MٶB=^PJ=8l}ϛ]M)[4Ah)գ#;~>aG$wUV-<6'`KCly6d8[yv΁&H2nDQf >#UpXLHB^ߣyM- bˤoV+vЩn.+ſN) X yB#=gymB HTT g_za8 ;`m^OO:9?ߖɝn !+ks|swm^j/Dm58M&-l8RǙNkܨ˛qu^x6e,3Z V I@#R7GU.J;0rS<z k?h[ K=chŌqf9Et9qxRkD%%7]9ntߪ ֤cȗO ]?nk˲ǴE9`Bux= b<*uLN*uB::f弃dN#j^@)^e $?ïiEy4MV/5Ԁ+PA/> keQ(5.ID p*cC\._1kP0^8fÇݑ2Y{T*v.s$` ]?] mGH?F3R(Db \AȺsv~`T%Vo%FGdW<6P3ᢱܿ+ޏ ロMDmMEO$] _˴v$Oӛup]eç) 1Ak`g)3,3mY`%%lwz7NF&p Kٱ>ߘ˴!Pjgeł_Q77FA81Jr:șiAk Q/5sb~ا#PՁ^K?bE– r g2vʧ4 `}f;;"Sv;eJkɞrUfԕ0ĉ{~'VsZ3`ұd\p9z9%\'^; aJ^ KOS**O1*~WvՈ7Zoފ(0w_JOwpGS3+20iSq`sUw1u Z I0 lY lex-M{f7bhw:^(\nyPc!-_kZMA0LjȌuBNFp]2%~ϖ #!һR&]5 ] b2 (}"Rj38 >sw`W_08#f!vz/qy p]~D$/"߁SR}RYvE5b3UK)af C:#זּu8IBhhVIgU3bQ[z+P0]Qe#3ELC$ne2h?nV9H"+'s'MaIFʜ[ՍJSHഓIKi*4 YW4"ľxu d"LcYv6X:Vқex"ipAQJ >U 9='Ҷ|?kZ%A}^g2JZ2y[풑q)̈jN'@UN^ҁRD=׳n Xq$r#ys&0ȫUX/ϖ< ^{V(~.!t >2caet:oLV8w;mx2FztFLdA_Y ]*Q< =G ɱLʰȈI33- vsjB6HG}Beѯ6^i(<$]}YkSv\cߑ؋R:hpDI,9]O$Gd0 !E_3&x'@&`Z~/w: ^FEԪ*'X zNϛik~Fb#A/ԚթGaIs[@ a={sC$6J\:NKoo>KWgZDŽ)M,;w3dzOm ECK7aJqkpXg>|QhoYgD#t'rV Ckg$ل'J"X<?"kQ\.y1=Ƕ^f.ƒFRi=Ժ Dڠrhd+pTj2Q"Jlwd.%J1PCW}u_Z(Kt/4l5ϓR@? B\bꝦNVD;Z#) U#ZVMV 5Z6w.VFs6 i$i؅ P!/ÕuscOO֔~Jٕ8C˰@6FA2 {:S ltsb7s؞j y#jT"+Ft=_;U nޗ٥d K^84ٍ ֵ'(JJs{ sEì#EBe2\lʲ?U\Nt3u5N!.}n>.'Mxn7Iz<)+'HK- VG|k '2^ т[$̓ks>Ũ]ݩx3UUZX>U["8x$Ýҵ^&Qi!.g$0k9{7*#9;+>UK3JDM4q;K` l*<Ƽ tTֆ/V':2%l/YV,9؀4!i0Bg<)oY >~^vcO?&⵷KM Jp!lTX>@cze..{/ot cPD+\mH `"n4R/kɓ hQc}͘x G"Ы c)N@>M8Nq>/AB)')stc>TnfU!iWc.^#EBtpE>쵢ڽbmT # p:twae0vZf[b@{9AR*9[uj!cĀf?Pls6+`~<ڃ&JԊZBlZ6jդ!ttr6QM7wB쇣utRzy5]`< h(v}ULz{Gip ՚OZ̺{=n0/0&?89]d8^B2-Oh﫺u3x$,%ϫb#uI[Ug ]:3{Y@`+O,Asn jG:w_fb6nDn 0+eEʰWCzd +fvĈ0ߝ&>sVv#.UJd܃0 P57&K1M RaۖZŚ׷8zMDhOJ9X<Ծ^&nD]>{#돑9 Ҳ"Nd@Ptzr:83o֗9Xtr.eZMF,BlʉYc>-7QM&&o6HݺqCSYGV5Z2HJ%0ѱb=&QiWk({N |V~vɖ)n O&AǚHNZ$Rٸͱ$DYh?R̃v5{IWBJZ0}ky/T]<g#ip-ժ&n4'1ɢjmxc VYA p# bÂ`q af{g:݀m"ے#ו >qfj\٧}ݹx4uܯr͉0 ;6ze_{I#肭ě$2 QMqz#0uc W4 ק\^\ ySW;+Wr6_ ,taԎ$M>_n3ʟճatU(qI2S$]R=򁩔Q0ے?#k? w|( =JĄ0e=#?r"p Mv\)zK/,EF7,$Csؐ0>"7jYU@܀p6_Y,V50ĻR ]P|܊TԭǼ{# ~nWgzoʯU?zQ($#ژn3LHc-ڢ] /؈皶v O~iaG\2 2ː~о,G7SYaЧBX>?mtݎ5oI{si2<v\:[ʠarGк׮gעVA0ȸR3s+q¸gUՒ(BSc S yOJ-0X~u2S9ũgtzv88̓`] z 6'pqXF}ž*qI3=}3ڞ`DS-!$لQ( CidD}?b2qjfU Z?y醎uJܥK,U.]ب[EXD(%(}ju&_gz#Z8;Q/^gWH=^f"%C] qOͬ r'Ҡ<2rKqTh&yr#7*5\.Z%Zv/pnu=|->J\+Z\y{Iq\.!96d HY˰m6wg]`|p;\d7z.aaՒڍao>4쪟DU(X+pCɔК<}1':ş(̴ "gĜ"C"0^E&+MdPt;7j7LsmcFne|x$-g=g$lrG.bjE-k5&ef sc0Qkqx-Ic*#'FA8p5ouE/{%5:DFI $'OdwDxndqtSK/#C`!H)9>mj^>+ vFGgwU/IBo``\SH1)aԸPZmq]eL7g3N)gH}|ϫ\- gcMG 9pg=}'ɪ9"N`P : |Q}|"UM7U;ڋ W,9U0t)qнhءQ+ԏ*h%#F>v+h2HgZ缲 "`nM }k軉mEy@kmvk:l&"f UTM*q!׆b5X=/ѕi߰z). k'K|kC7OFߤ~@w|I2 ~_^"eOO E/E|%맚w0,:Ae\OࡻĎȎu^NR.JY՜"K8WW#qx‰w2;ji!0n9)*`%j)DW~4H5,Yguhq}>4ǜQ ȅ0 if5NVj A ͕JsQ6|_`9НhzɕP0߫=IB?awR o3o%~D3d8$:]Gn<[bDt< 1]Edh\*r@g<1%ѭ>IqDMG&eJdZ گVi JFBU=/ ~mMĵu6N9V^\|rs`ls0oS4.3֝6х}`+SˡX'Xci.]/)qaQOdSO1}jVwwlό_GKc1G$4m%x1iI.L @7Qȳwl?B7I΋Ar7=ŢRm*}6|2|:K`3JEGTXpYڨ^:Jн>vwvzgً\.3R.A:_8] 'sL &ia&胬;5S6j`9k(#ʻ_Mfic;5sgӹO % ?g)kso?ʹ -saH+E젽}0\77<,^Q2h|ha3(>t:.} ĩ M*x]= ߃AZ.FT^qL7W]SKLBtxd)!#nWo|գhw_rD4%2uͺfSY2h (n1AJ".d$ ʽ T-"3Qs~9k@_aHd7iP$jw]HbT $Q4d Yt2 ո)[G@ rb9K:D[lRȥoo틋ȒDuY>5&l=XuHzMsqbg4 pD_]4dx^Pu9m:* iRiZ|@s^V=mZg=s{6DI-! p!`SZ ƌ]u/T]/&_Ȝ;}O ΅kO*5e`hj+G[}^_ CZl'S[-Hg9Y1棑TYnEϞ$.$a Xiv8xX.>F2{"92j.fY CJSF[~V%%)X)tiIK=S`Lfʰ#j[uE,eaa"t5I.-Y#,Fh9/S6hyƣB#U |Ԧ#I<[:b 8#jXvr]z͞RCDP4_ V2c1d ?VtP`&& &$&ug:TvȄZR_^:Qa 7]~ Hf{]?|Ig*fTv<")9H'&jc/Aä5#(O=O~wxZK=~p(,A9-!y*Yߘsr9]21!$)a h$d qyf-ɏH8*v6r lvԿžb){쵅nuN0`52sR?#Җ JG~`3T{Ȍki- YRmMHlWC{~ZH1!2TBѬK&̯r7ρ)Q5;h+T~ :[濉ݭxY[4O gpTɘZQy^+E@A0Fk6T0kl3rkfL엘OD r*)v&b6AcGZRyO5|9D`މdRSr?.D7?S֭{W~Xde&N( ܸ׶;IdsSDrЏ&lvZt\l܍x}@)ZkMN,XX=bcȏ\$? ʮ0M-?ށ>SXKxOj-f~UZ!" |7S<3j}r`Im1Z*3[0|m e+QgL|ţsC <K^9[V f17,9nhϒp "dnqz\SB6$J4zFG G{:Vf;(60k\ 2%&;kYY7fL*i=޷XAt dPքGd(qyc!x[jDpPI,K7h7x<@cg>jmsJL<KA Yf?Yk]G.LH`:d:'#n(%cu<ʟľ>C䥼Qhν64NF@%&encVq>(zgWuЩ*v.?]MkC>[nvYޮTlME,9s1;x, D9EI2M 5Tįxaм!]<}"w-!D  Z١6HXV-a]M;tx_z6:ՠ v:L?+mW,kC_ºCƱ05 y֜nO$%qw-oҥ ܕ7ڷyaP^=8\[w"62b3J8.^n*.MiZh`C0ɨ[rD@`+"xnFH4B0ͧD1T\?z,zqĸ@TwM3_]Jǯ+y?ĸy&6p$˨mT/慷fW !6qx/e l)JTΈQ9?M˵6e_yRU~j aTΞSK\=jݱb'? /o&`rhl)TbJ.0lR,@yMЪdX3MspE<1j@b,OJy1(8lS*3tҲq*I>fklj+PEOlyD4d1VWHe:r2r -Ҹ#=OCx8K?RԜS^gĎGpQsJO[ J9V7__d1XBu82 1.0H1?qx(o$m<ܦ^?m`X}+iIN2$FqVx4(E>ĺKa gM(ݭ֛!УIA#_Err gW`UÔ5 _-0"0EWЦ yKڏ PxEVM@;RG#9ɦ҇kG l/.,`:g$[d]lWtfWqJ;o&DPX_Q_}كjO1&!Ga_HC?s brR=0LBzS L bl`G,В>+~>S]ʯ~!2ӥ SfF&~/؏(ħ{ǜgvl3EYyB.`iXW⼫yZȓŶ'#&-qpD`etGo[zg<Ӷ䙗ϐ{ZN-'8T/m¼.oXVB|0dH6.XV ;v إ著0?I|+dVwW@Lze1 &?2_a ?2:2V@܋y!F8wqrKsn3,7oҹU 5AYb2:-Ns%z;nĔeg[Q9f9s'/J7^"/1C D&ʻDGBfԦ5>e F=~6u2"o(Z,2CUa#^]3ld{VsnLR<e;7uLW=25Wu o2|_kq_eedhjK|zlm|I>=H#! niɔ?9mC>Tkҥ0]s2㇣Nҧ=ntno25`S58VaH IPA3]f.A@͔w2\F+]r=xW*)]qB̽i.&9/ KQNNێ_欤H;y\ 4Ꮴׇs1H\*[V\S۪[)Ā.BEz\yWڱnc)7^$b3ns)naܿ!;HiqQPK˖#)cDvQ+ƅo~fixR p2^\xP̼(^-lQ+?pĮI1)K}+]߆an&W蚦 oƉ_rnr5{gJK$"L +u0 F$.~?)9)J,\؟$?Yя(5%ݹ0_-Tv|<@B !NҌD4{ ݚŤ;_0"'1.p f_ sS|R~Lέ'"B{yQU0y6 Q;wUL%:%LlZ{#$uX|#Gz [x}g- E՜Š B69!,UFȨm:)wٽr@ġ EhnCtO;ڥlt" *^&iD G f:av=RFse}ipd6;Yv 3% w纩+Є¹] p'Aa'TPn q$[xABk{:h;m^0C"S(n]LR)USD7{FԼY1 QWюSH=ΝZ4ǜ_HEI$`0]vF؊4Dhk"׮QLodRz/dZajp =y;cpl'PT$ FZ-=YTVŻx]IC H&7ػH;5F g^p7QbmŽ"pıV6OP.s6Hw+qhɇ]WyavyMA.Vo=y :-PH. -Qb H,ʎ*¦G*嬬">+Ho(oQz7J}}"CwTZp?K˺.>zxr OψWLqk܊N(O`e[2x( UPh)$F` >6xjQI6O:d̯A jksPךYђoC+Zf޶s/H/nE兵W=- \jtN `8͈oéyf 5L+kBu'=m(8Tnm*4fb,oM?&>_Axvv'`4M v_䇛}g(Rr⛹T6v;>pVKX6GS)Tnr%ӯFq"Ut hb~J/ .T#™ϴ>?['Q^Igαt"r7>]9Iv"k6]ƶ t5 q>~/ 4ryô+UЅqSQ^916]@|YDHx0PijOJAfFZ+Ջ\G?9v";ڵ% ^P?zmM_~ 7v*-Ny$%q ]+nfWpi! Ȓͼ{ (5 nJ؇ Yz~r_ӣvI{uњ mb;p@y(}j Ж_ s9f@ۿU!@] ?a)dpw3lzȔbRQ煲ބqgCvN *2l, .|Y&\PL e$ 8ĈN=sVO&KfIb^:$^`17;(#JI2e賯Bu?]I}eSUN y UO" pH7tH96( 1N4}W "Qbqr&O3xM L@ZD{"(ݍ\ģe~6;=T%7*dbF8BlOưJrT-Uy38 <&$;obXT|Z773JX\Z+0#*I֭6x|]lJJuDX6b>}d@˒4L12燄I搛с_Sl:4fcʸR8:k}5RfHԩ_UH銈aC{?KKkGgqfّdw\vs~f&NtGtp{Z2+ɯ1 2ܞ1r˦QI## Ɖ">[PsYHOQ9 rÇO;m=Vޣ`}&L} RCWunMV)$¿Pibxj:1bC/_'Ʌ::I)ÙCq1~WX%yvz\͊|9WV1Khcuz3!+5Ӂj+lAFAG-4cyCjBJ;\,j &-. rA+kj%QI/?0tlۿLT+wI/+6BPqnRvm" +2ɚ`' f!MP7\>Fnr3OaǛ~a餰DWVҀ 8q r%=vP/4W{/P3tkDd͑W5*;Rᖏ{z+mAmR򘊔0? :>w#Gx5b}ZwjEԮ:x/Yݕ/.ݪ(7c&DΩ:xm_H|"k9Kg}=pVL%FqQHC|6#eV5a^w"r?d腏\E`TWH6e>4+`T 1aK:E\VT=+-cGiM9@ ذC:;sArmQFZz5WJoU:Jg8{u5GX疒t\=xU0uP:Jݮ`oꂉTRV!ֆ*]h;4^Hgܢ* 5ƥştkLz=@ʏe^>MTN|ije6Utϊ‚Y}\^Àx˙]ZyG x?ٶJb&߃:@?Jq#n8 CdPBr-3,S~1j+J3x'K"{"##8<5뽷UwA0C/u Abuu.1܍VF񉬈:tW_iHn8g,uVD<n5YmrFXLu~]%SE|_D,t*WQX;i0r>n" ;1ZTc5 wkX60!#)%擥IVU'?eVV *gP$BW^DIed0W3JMrUu-fnvTu Ym ȏ;˄H`<,ˉ6̚+_pc^W5j Ic@nE^39[FVH$t +mjoeuDB&i ! en1A^10Ro=䲱W̫>L&4vpk}aN ,'ʅ H,!2ye[JA܎J4oFvwƀ˛5ꍤ#y}=OSf_`PC?`jW 3!`vw٦Wv!wN~! Wx+y*`:8}qH'E͞dz6)s oPnx  lpN!q&}Kt+g^qZ(6ȅ+t>'}f]P󃎿rq9# ZW|i7RMb a&b[C.PiR&̽]BT9'ɁNi*~!zb=@pNW5j{ɥ s>-@ADq觓>f($v>E+rՑhh:+wvIN~<.kY'ORS!^!eE23s^4VN[z ryQYށ:nm[{AEJ$Zui+4q %ġĝXVXjV=>]17'%y/M=5.?D/=Ft uk \ F|ӎٲ|#E( ܛpGeGl|[mc]YZNaQF.@@,0d\6r(-*ތZE}'AK ۏYc~9N}XR𣀵\T&yJjw*;cne4#9jh.:.Vc'bx*ߜ _ZT*E^࿨ ъ]/8!d)|"2o7rvKa^(h-p?fWAR" @F~l0-&B兠vDJNI1![86"j&᫓RрqR?OA+QIs& 9ז2eK+T,]G"zCbo5_tNY>ixW{ˠO9-a Ṣq'S$HR6/rdτ i.k ԀkXm}? &h/oN T1\Nyaq%~fʕJ1YT4 ,9a5euޖH,7c!lea]MPld8>R(a6_LI#oR1aE\$HbOB3g8ߔfel {¡UB'; Nq}c|.㖖ɛ~ju5RIL:צeд2$<ѺSmhL=2Y{+Ycc9ل%:zݺe.`[ 9@7wɿ7_U$, c Z?xI9ζN@*9ͬy_F Z Iy63X>_cy ɬ'uIC$Q\QEtvU}DӨS!%jH w+hX=SXDf D94<ڌ?܋&Գ8.&.xCgkB(__{-X 0*i'n;HDQЯȷ 7LKLk֚qP+i b>g˹#x&б({8 U<@!&V{/+ cC뺴C_15PaϤ?R01/:tn&-Al|i {T&6e⥺ gŪ/ M źxLEH=){@1қS>L_UJ֏ No:eh&Ljv;lV„rjFˡ_L(T:hJD,(5*(5TՆy:«}k-l"XoE,_DCNj&Kú~cj,Ǻ7䡫lT_/:g~V@3BK؍۴S=$}}2:ayfF>"a9jԷPI7*a LN̠3gU^JթY8}Vbit?so k9IޢJ];s_Qn㖯]G.r, W"Pܠ/tuH5R1 ޻Mvnϭ;Wbn 2 =H _+v]Y>3ZʉI0`MLkṤddR]~/qfPNE` - OKKM[oH)t^`)MY=rL|ު Q -k>kyYշZR (,4=l(14xiYxw- &OTA|WGDB+MJecbSKۘr^_T9x En6{Ao-_n:ӼwLaKeb:@Tk`n:M.<2W_Z]C9$73HWzSKff P:/GT‹@6~=PxYU? , N(1 -Qd*~je\P z ^Z L5u|6>Xe+Mds 2 $Ōu<)dLer1/w\v%:{2O/ug]qIX/&_R.>l-V㽢/ayamոEi']l"/ctԠ7˔6@hh]c[ALuMC3eUנޡ;Ex֮W!3&ݼ`G^(A_eQ8>SPߴӻE1~l§G Efr=6I.dMh G+m^替i2D>7 M"6Sef ]lSf M {ҪQ]nۀ]?`z$8vICc2m@̯ Oe|'Q}0^ {geMfx痒 !ۑ?#Uml .@$[v6֢BMd"/⣮w#)ƗSMgy_aa08ewemqrVs%t=+pv.݉l9}tɯeW_U/eK(,xx@f_W GktN4N't1>5>P2~o>:: =12Xf4JWÄ_AԘj@w/Cs,`$Ur)+yɳ߇]?A=%QFț8oɥ؀yHl I7٠O{ Ms@uL`OGEԯԹ])pb6ȮʕG=oϔS>v:{jNb)yv,4Gad gR:3 _! {,J{8xfDc͊AL FBF&;X~.='ˁYUılj =dn"]&6NZ)L;3P}xfٳ㭷žD_>+gX~#78l.X~餩sLT öz`Y.t"D1ô8֖0RX;:3łgm::I:1;;Hd$WT,&;wcOGo_Uhp]-4nNڌh&9]eYX$Mb\@ZΆ9^tF P%$4t W:V9X@e,K$!{hC'Hrzb{ ˼Mƛ4HEvYC@&a {7\h F$ O2TqFҘ3'$Y%*dWm)DvsќJottϖ&U(_3lnV=JV(3;ң]+2OUi!nBR+)} d*brJ9NfƧ}aW(1*'yjsWR932 QI]>}6Gv8L 328|s 7 RFGhEdlx"9'sǓi ,e Xq9ukߜr9 ' }C}b{,q6e2@g ޠm1@ LၐLĠMq $]KCmϼ=*&r`Ŏ?FLr1nΎQ}4G|VX<[.ct0;6 \6[JW#?=&TE - &%HnѭF#{6Tڜvk\EWFƆVb u.~ȋn_:R> +VjS5TͦADeLdmm;U c&Y[S*V՚Z4XsZ2Q|d4U63ZeCNl5{q>+!WٯθR(4.])eƞ@`̟.YFE:~`Z=@Q z41g|x}AV dJ"bXz4!k0FiI"ѯcR!wc*awBgs6p#uBx8?G&s5?@ K|̇eI$BI!)JIԻ=r:XbK$MĽUrCni "bx(N}n PkC} 9qzſFLlv@Yt ,Z>#/E6"櫓Gm-ִ㒉Q?Rخ4Ρwu׎ <\;'@(M;>33EݢwI= q[Iv2Ǫv7)lL0Nk6DO-`BR(;Aز9a15cH;6iF$*T;R]d694uagX {CJZx:*t4zMV ڋpp!QRLtg j7]]45!7$6]G A'O*+q#c B@z`4AWmЊ畑+E[#Ѷ.ߡ'@w!P7G| ۂ{T_Y.;s+BXwRw=@dA#l[Ai0򲲘;Hg  {)ɚL|f ٯ6*fgD"3 B4 󞰧'^^dޕ >4 K}2EkmS^6B‰ا*^JWz:LNpxM"mR~aMd`+Z8bƧ^z8iES#h ݟ mfŽ36\"N`Z~`UesMI6p/%>/bcfX5%-<^g8{ɲd+]|>é /5;uNJN5wf;(RtGs"S䯀א.*d>[8&9Esj2(H[h*㖗}uSpNfz YغT9E4Mf^G!(uxoG@sN"clha VT1'9_#G WuW{w+Wn Ɛ=t4ݭ;t✵/z(<Aq憷 ){>B:PU6n I"%]j"09U`7TS~N[왍D5wPQYMkOW+W'ʺi دɨ2]1~f 0 b>N uPW;PF}:Wi o0.hJI66B'$ s&= GxZ*E`"Gڕ[s:^MŞb& C{(ˆ\y.W,dVt)˭iZHheǢH{]gZ/֡\SW t,Bt7 ǐ{ 9ʥt gړSqsE=oT6CRy-مbf6f!Dozc̝\?%$?wH&lrV&M tI[dӣhD)OG+f oc&.p|X~#-xN$kI fF ӘQDB<vz<]{}>7֠d˹;(şmHÆI[(W`Evf:>Ce`t/iZ+0L\L`<)qXO\ga>Lm^:iD94{?t~Pt*;;OQbU5Qd V?s9{E0Tc:Pz0_~8 _HB2Txmb ᴋiD7*=ե@UjM-7*񸠙(0qk  fٜaJKY!D!4׻NwT2,pQ[pKAM5١C.udo >CRF_dK;0/9O| Q Ĕ'}+a{'6,諘E~[ `OEyz7-͡ʮ)#Z6,g\k\Hpw,K]xV >ު62x9gYZadcb0f36dfae8ae4b74eaaf3f481ec2930dc784b87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 1a57f2cb4c4f948a7b949dbdc8a5748f50639d49 652bc4b287f432e408b6febdbaebe2878a39a1d4 4a3e365765dbb51c164b57461de9ae64d31558f3 38105da57440abba6f638aa356ebff4eb163b363 e058f1c017c40c98ee8d7d15ff446e5dfb391dbacd5bbcb18c6fb3c5bea5d1b1d1408ade5d68ce6d