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 T7z\D, ] HOL-Datatype_Examples:threads=4elapsed=124.971cpu=463.684gc=67.9567zXZִF! |f]ŗXiɟH)0%ojһ`"WiD Z?rP,b7q/H]CCs:f8R3~V("{7y,2{/ޝ& 4P*wD!t^:S綇8CJP$6*mDXuNXQVO8qHF\-dW G`vrD{Xltjh钖3>ih]  9[wZy< >7oL^ly^nY%־KZN\#N3XP(,yNRҨ 3FgQ)kAG |Y)l"vVjH|:H-S'F,z#cKNGnK~ jQW+o 43@G6_{Iu$M(6$Rݡ9LGœ_C4JɮJGU91I@j 7 F.Dk~Dg[qMaHW#2b$C>k.xqkIfyE8v #jO{;e%4H0+lD F'VoRQ]XwFZK3DN85f4%oT 02r9*l_'42epL)@2_'fHUNJ)gZbE6V--( X H/<.K6&kp9u9u4,}3D)>w?0*w#͂.>>j`蚲(ѩsh'P_wQtBT2+%͡hO^M<.hܻ4+ԠLDNG#qaOiFRCbrhSt@C[Tlʂ&݁ЫtW14jiVKCqxz *9 X Pvv޹/Vm."G[FA'2J mA>"smkFQFFg8@^C[.@2 R#zZPKV0a',ȗN!LXE~Dw!? T2|9!Y=,MxTy(PBc8v"E3^˷e:y^)i$ߙGF,VI=KFW&2Nc ީHD֍yRwdFc.{ "E`WǢ:-ZF Z/j4??TOi-YPMO D֕AJql`v^+QPNńUXtIsAUU&#ʧ+AC7ԐƐy\Qis$Ƨ7>`'im +hJh&-m3.!l-zoi"`5&n@Y{GGαJQC,4-W)[n, 8{:SyhD[pq$41]ɺ.dQ)(G{T{ S sfasMscƇ!;߭=;vjEǕ aJ&bϳSɵv}fCI lYnLH+G s9W bpħkE2$W~b\y\,Xq p^Py~!qɪlsp3D0δ]EֆOq{#BXw{9#)Vq =)2eMMz-K XQ`F[ݙ\8,A)S,pXHYA9w_SQo˓vžsƲDpSD(֗=fl,=Ŗo5Pi\L09U ʣ;eu/oMC\NOOdTzcDZ<>Ïrbӟ̂OEʼXx.ҶP N: rJjc)"ȤAY5ɳUj{uZi7T[q6ayբ6F)rL}:܉.mM9\ `֟>"jB]Gk\4 |" (H{BPL6uyh\tq`RorBVąBQ%Dk`L[]]`}F\BB3ױIy]*n0I45:;*80XB}V:lm$, n'(%0>aF5@GB1gUoi Z3i"˝V^ZK.(^7e5 {;BMYtuC_I :%^Jvz=amqd7ÃV@_Yȃe{?(W= |Gw'E}&ˮFe]EQUtՕA yVKnǹȓ>hrr`f3ĭySk_p3-R uόX;Wa,7EzY L֧ť#D9)"=T^|R!)~~|O![ɡPaP; :İAuJH-9\W0)=KJZE(})6 bu(%qw3d{Œ*#6@F>KnIO>80}, =E?+<.\Ⱍ5ETY.PpT(8L:q.p~y.-.AM|kO 3u*.Y(ڮLy6W hkIodYmxK%=UuT4iruz! XW7zf^awۣOIi_B|L:F *mn%85kSW5vʰwN}²݅W2`9bvn+9DZjz>Уٯ)&Kԃ@f6S :cPt@etvå`arB7e@3!3Ɩ)RL݆ID>TxAr_pYg“> +32Cw2$I쁾iu|qhC?FL|lOa@ O*/&OJ3o4,n3R_^)[pI?31sr? Kxt PqRCGM|Nn`e sܺӅq#kD6ԫ,7\lr.1=tTp^k툄1˨YpߌL2~Ҹy R)6q*⏨Ku?juܣ*0<W RO?D' :&񶯁p24VnTJ+ۑ]0'VJo6hٔ3 t}}j+эTa%3^7d?7@wD]ta<^F ŲTбޔ :25Zќ.(hGHX"VvPd'TZ~_ǔIyӒL O!;`}zspD>3y@מ<(*I}Eى~^y@یt/?ͳy*MyyloYE=r9;w _QlGSµr{GWGk.{ :B6ϞwŜthٷrH=l$m/j$ɓ;XP.v L( LLw5'YOd {Q޼j-wv R*d9V [0%0mRj GBUIkt}8Eyu@qo[G6L+uEc˷Աiέ";wSZ@\k<(1ox:hoo Sy$(B\(yQ0scR<%;CWV"dZf$JX%%Ѡ)=ؙV:[ulPDg -|r֚h 46ҴJ T:CޒL$#%Hl~)F [[SLLb5Y<||Y/Wh dUzk.1Ɲ#g\jSwVG=e~Z"sA˄Enq3\ڝl;,kS^\خ[֊ xdNven-(qET+d !-'!y^` ߯4ijQ X5CR^X:>>+v72& MbÕPǼmQy)X粼sڑ^u'B10t Qab7id|+Q'5gN[_ 3|nHeE -G Ps!j7-[EvHٚrP*>d )3b@y%ky&PD;{Ⱥs;뷃zXh,ȈgKz-K\E_)ӳ#F\^}xzTDz* չM꥖'F \[<~\M=»ywhyТ..$IIt~ F_֭GG)g-JpF\֦d?b6-7pd6O)iBkC&Mİ-\h>-.eD%IM"M#ÿje0s7qO! UX̙#_D!T,Ɔ/=O}&qYvt#]Oep 6\F⼮+V E  ڔ(a`9z{pٟ6~b@\ }ϒ!Hr,^.RqBu9}VI ΍߼I^<]:KE|f\YMs`G5\?<Ef. ˆэK2^;J߃E~SpfE16]9OV+C)ѥ;/` S"uXh\1Qݠ)lmO'ᦷE9dЌv@&ZCpm,E" nyɫoL ^|_o1:jo81Vd/__.m;@2lh$s`ɷ JaZBҕ4/Ki^Пh;,%~&*]_ ү^$Z3-$lzf2ϪvW!ډ76r旪o- wtdR't,1*T9+Rda16י$KB='mkUX Bحe|i"IzO۽ָu(KV2?loxJп}LVaO537wxhA.u/zE.{OaX]?..oYG]_Z9X,Y$3%9ތ/M+{n}"t{i7fOɝ]n8K汎aw#;椰 C tFzB: 3 :baiu 2kx10H'Y5R81R{x"닪V#+ |OC FjΈDpr?AUTLep8>V-$#=}ZT @D<9&Y^c|K>!SJM+Rt=}zXV #qW%`+"=I\u#^-Zmru)?JM2s1ϗUG:d=$V/O?PR ' =&,}k*PyO@e%_\?M(ؙ *q*)}Xy Tnfgd\2NoIS!EC}A%J(0"M O}!gʖw=phVn=YճOƁڲ,P(ڤ|`(N RydyW#!fƀY3{\" 5Upa ̓(^@XUoS'["g$?WFj,t.1~D/K"$28tMPa%ٙ@xA\7AJ[(jIBʎT]fr*G,QdC^qbKap&\ c½Lj) f BW/Ѡ#0$O0dC/&p_8jT+@|SQFٞs91)lZ7Ⱦqdbdq9@_}tn/vԒk5pX?I.˧dIݽ.;%BfHQ^s}UAhAq?U$pޝwTErZ5s*a}CwV!K_*.K y1;d<2\$mZYHD_N]>:>ē BC zkΕP*FM?j( :LseQ'S4]6~FbدlI6l ]xtBp,BqdI yy!ԐftCil9ZR=$J#m$:7͵qYyWH? y>ME 7Ӆr;uɴf]p`%,2d(=ˤ1ݒ_x͐'%xFDx.*O˴*f(3[QKY32N'C$Zkww#`$|74g(l2NC٧/eC Sƚb:տPu*ά˜YjCSjcP9c|*2Erh]vc|&B~u K Xo@*dB.ܿX( C pT(~HH-_ (3l#'PZ17i) o,u&%5F𸠾sGW!BF8WSW;9<&~O]_1Z [ %}qi#/yUt.*K,ѭ2Qc]ሑ̝y )8utmbߚuZR܁"1 wɊƍ“;hlza 0DgYU}]|}2]%඙Ƞf(VUNۑu? K"ZU˓K?mØ1oJDw&\GZW4~TCT|pfAξB8s c6(ä%(;An  QlLD0"bȋӞ{kxSJgڝ;Se//€p(bj4\x_ٕm9*l}X3il)ZY243wq:mO܃qs G5(^c xIˆp:h9OO֓TՌ[. zQCi>&_lz c0FQi\ݶ`ֈ~Uuq6F5v.OH3u|Jdf(tkCK')$O"=L?Jir7R]U+}UG7`2j[U)Ԩ+ E3S,}d?yF1^ S#Jg !wJa2ZHp*{oujƼX>/J hs#ܶ%\2!D;|ɶw+0P*ǀ n x@).jX"w!R$kFSJLp^y <*GSɋpc wۄń$mPj12?5^O @?#vg#%jS/"iYёuWZwScf1Vy8g"4.d3Ґ:1 $BR(' Ǔ :+V y46==<zE?`YG"QAV+eVjt>$TNov…'6f ?*X2;77E=xvmUdDBop.X>9wI}ɓ; b5nVM"ih*%,6+Xmn;id1HKˮa'PH;03:(w.շB¥ :n)6ݶO94 @2~298:G=rπ E%^0`|j9Q<udQ0}_[ƇB^ !Vj]tϡe/0} RQ~ 8Hy/IBU*Q?5FMedN]^ s'6rM 2j#ܖ|X*^!mK}1Qŝof@ވOR-dXDL@c )M :M83oξ-(Zv2O3p|87lȟ t&˳:(OY8ZEM_ReM>AjĪF ^D*sKɨ TE}2iIXJG58dTpvx̚ds1)-/ QE-~tB)=/]Hf:k^zf߾ig4an6T\캖 <} E}YFYZ)[* &2Vܨ J{*o[eNiffK`Q~ߛ:} .Uރ!>JUn'I J|3E;&jz5(.70!ž9F`ǻkԍɑYcѦ٥,Jǝuynpb1B0bC~ ]#dT\JWz 9N$YԳ\%.#$1fN c$13@!EJb{%A$=8nT>s]@D|`,^?#0du^vdVhYX%DkTԬ[t z䬪S;70|hTߕ^pyZ'$7k!W MMet7$0]ϥt\i} ]5̓ qt6ЫܤGM[N=%rC: `-p PĶU:W2,gry6:$r$= TƎv>I墷&4*$cpZNEI:ix6O0XP%]4VlCǃ:0y/5:{у-Fkpg"T%N96UI'P;qZe!Ku$h4Vj?˦p\N&T&7BCβd0ߪb,dȽضRc Za dTGCm88RÜ "vFwѝOVo9)FCck`5f,*PPx;cJȥ}zESZvqU%r>HK)dE߅V׈&a0$T5y1n&zX"^2&q :z~=e-+}PN5;LpjRD{D:bg%FyŁP.D`:Z3\,^d:5hD`j|rA!Q֣ ܄ޯ^E5X5\f?;赝0@΁:>\K |`.D/<܍LTp~yh[|-{~8ht;~uQwMff<'MM6t*GdƐn~|aN%n݁dG=X#T{p%UFPP~5*&, M,20"G4Q 8@v-ze Z"?iROzm}܀;3# FtxoN f8MtSޅ.ʛ9P]1gQ?Ɇxijeބ' Φg%v &l *%CV^]†6!SL1L;߷"-b*U#ńkS]\mdT LIGmaRhSgzblp xM+AhNH[\)ZXJ~=2L&BVmO,uq]3(VA&k'<8򀵈h`ڞ|ζ,rzWm2L_kaQ'@t91n=skAVtƜ t:Lg[h,Hd.pvFj9/; Szmn83cKX.?6o%,[bHJiD80HUˠH, #< y)U qC`.kpD5DPfjDYV0݆|z̮}~PرrRG ~f\H)a3klG~)E xG2i[Y:1tER`|ޖvzGȧR~"9-BwV 1ehyGAp[hїʎelֺ* a#J̎q*o (QY[_DZ/@ٝY^< F57)2(OVZ}# (OB3®$7@ζkA&bʺbK2xU:ו@nMr]~DGgU>䆐/K03MuxJ-W(o6rC AV10~y*sHTw\3ˌ䕴ś sBQzoi 1OWCN&@ɑ[ G,." *{~  [x-ܛ`f1xAg!Y]T`\<5" :QbYUTۍF2-FٟS #@5Lv&buA+<K*.8Tぽ*]# e`p <{˔J;إ.$imI̕joRAI`w4|`4+/8x*Z>./dֻdUE@. H[D!0ʽ"Z$ o3){Ȗϸ sq.I/ʽg@apx#_ 1Q/<$/' cԘn#ҚO7{]YLW2%ݴ]xL*'טxi˴^OC2hx)BVya,CQqE%A O=/} B5 :+8ihؿڿu"i`im}"!YKŦ%~pb;zwi|>맼ݾpQN:EeL¸XgwS$,rHqhPUQmda5 x>!0^s€|Mz#},?xεm`<,d`}@rmR_ '3 HG!i/`C( y%C@z| M7 Y_~0z]ۓgu2T (om>69J%Ak_i1OHrT׻"8-Fb\UZP\Y#5RaH4MMFz =t8ynk>? {u=AJIgefn\L~۲D>59ڒ1¤v8?-G"CX| ҟ Mi7м 24V)?MMN2w.wC1~Nb%'SC.?pLG#r!.Sp2֠8\G~YYy Ù#N~p(ǀLͰ*[>G}5 eXZ4LT ^|;sxRf[|."P4nQE)c!AmAx80b g1ܙ35F\a}|E˱PD$Žu,[ao=FrtLǮݣޜ؊9LoUs( OGhN%-ߡo!2ZJQ?iSM$P!:G}-wOPZx'%*?0N8;zhG!/jHKwh| 1orSu] e leܺhFwէD7s$&#$\n+$oV|f1k|lMa,B7땚T- 4;y k%`Dq%BVi'XP"K6BZ1eDϙyBZh'+iSJ` {RCJ-LZ11G>Cr\s- ;˚=)2j x+&%WGMG{oJ6Cף|W:^"NmO΂%Ae/bZbndfOj$ZlPiMNi6) gnԉ<{9R> Ku"kM5C(RWWg ˋ<{0Sṣ?zvm"S)sۣ B!3(}D-E G󔎨~ pρQ;~nZBe-^!&li .;WT w;+G/1v|S{0ӹNHCx-F:)$Y"^'=F2Z@?& 1XgaBD[-o jaa83CbiO1+3ɒ(k;j]CmʓbMݻGѨ27~-޶ eHV>J]\<}rU[[zh/=(ş.:2a0.[y-{49 |EX .W;wMdO)#Y| ;=c= vG3c \4,i0q:I!u_Qm'YW.flx^w Cf7q{n>#y1}![<,Hiff]NC3m̉!hzJCe1\ampIZW¡Yj)X>g[)(.bHMV 32|f<$ L#*OMUlPߙkا^= Y=b 4Z<ғYN|nא˛ Xs ] u9Y3!s{ݙ_@ $tP}P&8LoLdYAGYk_UwH28=8#!\sVvЧ&J3]u.U: zC C.#++a!D8Mz¸dkSr9nz~'}7Hp{SXB`%p:.;炭bXp˥N jcrr{P$%d/{o}Zm+'wحct7DVgPL)D1)SN68ӚFn~JA*u#S .K~S=صEl8EhM=Sw*\z$U+4پ=X5{yUE8$`i9D&ϳLqۤ +/r66Jݾ&yբѶ[wK&RuҀyώJ .(ɹXzwɀf7#c1Rɛq3 Q!瞶_ |Mm gmXR&h5ٶY;"X.Z٫{>gIJ]H1t+YUT13Ӽkey]LNDKf", M`-J K=w!#?U/]T0Y05QiO|PbYU:Jx4df_,\ς{;~ ?zDﲉ] B&~ ؘuҌ$RdXW6Dm\4Լӊ3izA~G]۽a{B,/U ͭ[mȅbQ}'ᆘ˻1<JA(u^!\.LRx#&@@DVj0v63\W3F2>'1 p&UX64<3j}vUuW4L>B"/}dE4 X|] -!`ծtH]^xX u '1l3mNŔw D@։R3.&'f$@Ni 0 !+L c6!Kވ9T쉶 P,ňl9s-4A c&s[*=L`i:uc ʝ1 LZ ګ"aE :j<|(Wq"b"(꾘YOEuP^[.WCM| UL$ pT=b['v6T LtBiF5=EZlʇ3t$]Q@TuیZ&p=q,\UѱD'5Ol}ϼ>r4@D@o:k~9u܋^9j;!=K$κ,`4ezGZ/nN3z &b E!U&ŏ'9,DRS^\W?'|d!=p01UH~&:!}K׏Vi rBBXִxCQVQM3 [/1lr6-^gN,-k,P}LNmߑXh7= lӅ9B%ۉ‚\cqapO 9ͭa[矄ComBン*=f߻F `nbe*s|HoM'@l{{dCp|* _7+B"a\Qw0K(;\v@tXXYXJ>--:?:琢:P/<|?_XMFuO)V(vs%^}.KNwwJ E[GtF1T߸A߯"hG+ Ecxg4zP;pi#u6gRbmxGuJO0Խ_W0g|ס}jzE 7ISfHFoDS+?nXM=3%q ZERwWyp?֋T|XYQMSY|cQt[SeA5Jf!԰)m4Pk6k8GWfHmP'gW$eE< ̀N `K/zqCFa\\aMnLb 7wYQ wB}ޮ8ϧnCͨ^Nt.{.햝j[H $/gwQCs0AXH]9';^Ǥ.`3hA;ո6:nƎ"EBb\YJw Ce7v^]߸(*ib-UJ^q6^T'=g̐m8y+W-uE[^go5'?L]JfFZ $6ƶiQ /'T8<73R 5TW)nT%8{˦l,?5XU+f^w`Uhc0rPQ#fG]w*Ѻ:>#Dw܍쵽(ES /&e+ůMR'Bǯ>yQMZo(o>I~<CKK^9 鬃=2/²ߝ[fITcRiqoS%e%)R0 Pb^rao䫫 m9+/8b_ ;(1)^9#P8F"[l]?9D~TbEwpO oI]]I+Άp(z}hMu5_ѩRZLtū)jïHM%~9B򛙈a@V{nԎXҐa4'.i!J´D௟H@ ]s2x6L3;4 3"%ڮP+|݌r;#e >sbqDȖ5Gw{ҍHoCF&ofǯ_U$`T4^h2Jb!$&2NJ<~g󞵚K?%힢PK;eD!.U`5*6zج  ]ʛp ҲԺ&I{ZD]cG6 VtOC6_DZrB3ɷY@lB2 p\vd Z JࡾuҠR,F=#+7P勥yz Ѽ\10PP͚r+;[Jim:T5[ێ _<b6_tų@1Zn7{N5TԳh4\k97Ju8Sɭ[ lxi ,%h}]pqqץ$/ ymסW*XD!gQlj|Y}k03nTng~+ Xh Q x\ZY?g &z5^j,kSBb* y ] l}bV}%@:gؗp L.Sd2xK'f[ ӎr>N3y&:D\6{='Uܦ={8D! 6|o }m)t idA`RINK4)7DRUo(P aS~PÀNpiX;c]-pm`h3Ba1Zox262AZyU!X I\ +^e`^%ܧRBbBX 06/q9 7;_{wK˱Z;Ed pa,2ZpiBPJ~W (`̺k yM׮xq:NԲ8 \9iFU>E|WGJxXC [cKk rY-&Կ B$oCL%8}ؕ?Ol=dV={<,*[uIvmi9ӯF~|C:=(/o\eL3 La{y>,3f&@ٗ5(JԦ 2L..Z41/eo/,a59\PWhbDf;s8|y8QuhJPO2'S'I>0xïۢGe{Է.:Y& @:OFf𖫾QwBKcr6yBCB Ug$hb=ueFV2Ӧ Ax@ WdNR_>'J9F^Ru_dJu4j>RA=" 9هTyZ99 a1|43q`T6 )S0 ԜP_U0TmnP}UGyck{JPش9_ nB%[c)QWcko22LU _!=MRȶRNi7ݵ0 Xp _nՋ`v˯1EݓԥȠsɔLch$>4 XMF{\_荃@A {ۚ,5A%F<.Fm(y}.,[Ѽk3 h<Z[ QɴeQj'1ِ[c\'vʦ.9aMaSmX۵V d0jS^xx$,(߽vMUz 64|O,'UȞ@ELV(wFhedU0XGXֲ ħL5i\`vg2-Q!>Ii݁mX|j5=mt'd܉ Ϻёnv7` .. Y\Q KLhpiqgh{8T,+CQ. ᘇ5_(綕v4#d]%C2|c2䤲hN/K+tZзũ_://-.kyEd\{$oMT-7%7{Y f\~઴,M˾:}W jMLF?a#ONjCJ%Xh"Hyv(ҥQ~zh~cR{x\7 Q߬DtqӶkֹ1hXjHg>W?nqo3i l$9W BmGVE7пXd@ٟ-?4K4Wm4jڢ,fDlHqDV+Kj6f_vt|טEA\XuΈCT1P|ϒZnƠ3*$ ~-еdcmX"rNOǢIN\[c:2 FŽ( guP#ȵFYd~-8K'~a@Nt{NJ~+BW~0 Fq -#cJ[ k-ΡidS hpa 8TͽFл,"ܠ{} S)1Rؘ!R.,ZFsá4#h˯oK  gl7X\&hLGȋ:dXvfPJ*# k-Z]˴R2DBR|9 p{*0{n /?R񓁍ymUKB})`Lu}o-F2k=p;ʝc{$-;kcnAf^>Q3Kג6=8,Ldx}ᅦZz붉#ܧ,_vqsgEm#Vx4]-kZ'}k>Vku]GHNlklh۩2aA9oeF{KVykB:V _zY+}q iygUݼf³{xp`VU -Zg &9.ǻt[0-I(-ZEXƠ\ Y#k`,?lt1^H6 J@ML~ EX费~lј21ypՂ*CT0`-ɶ.H2&uP)q)>N 7TWXXpg@7~ l$(x 'b\"ogq24XG\ƞ! hS1Ĕ0i!%' /0vP1b@|[hX8¨-hr_;sh 9,cؾ ^) _/3ʜ^z!J1XN*ؐ)4w,+VAV_34d@Y-mglpG1~-zKt'|?Y\']l ]Vӑ{K͂5ӏJ8PΛCSZn3 ځ& *7gPFW?&jOO>$O^2/9%mZd4Yu*å_:ÇȊTJun{"ΌDK`^>D[8`yvZńGRcм=Zr)'sܳΟ%ٹ#LťIBo;lDƾS6\.ϊϥ97RAw4Y87Z[nWri iժ]9 o"\_tI -?R9 ȡ\X=Q_ 'q|_WOn8]y$-gIdX뭂¢ ~D +h.FQem '-諘D}G yJN(6B!!6lT7L Mu $hc:Cf_!&[teD@R z KP2ԑ>ڛ!RC>|Uӽ4 *]cB0FP7(&$"fULۋ-Rܿ:ډi`e9>*bK NG8pQ?A=Ϩ‹>v>闌=6Λ^:φ QNTQw/$_83ן0,7;[I:(+v/v!7kM≼E@#_Oq>5+F@*Ɯ5IU&>"#`2p-^W*kcI<0P6t;!ID_5ܢN+#&h7Uf}$F(blhD6@=;fP r &"7<9oM1ZFBF=̘I\&'|/04F FP"rBC@,a7F6Q0 R \ 6ZKjԛKmiꯨn'vsPxgה &!W Qf,paįhl4i=G&~&9(%.`w AN* Ü^ 3U{x?ޏR6],Q1 g.: @U%n=ۡjL˔ZW5ZKJȊjCahg!x]_B4 o=ŦXgwj2 xͳ6eЈ/D5ꁅ.~Q~V=|cVUgPPT>ieD \4K)a ܮq`Rڵ Fwָه X?{D#zaw&p2w9`:3;HE$SeB|Im ܹhqҺJ0ڊW,%o= 졷M&TPV.^k/!ܥm#8b I, r]n Wy^CAB7M9uxhz@ȌsCH>S[R"a=3\BazmF+7!6S?rvG"i[˕ ;`W]^*d V;i5Jgc}>SgqPLQp]jXcX'#=E Iz'd TXxYIq0V*<S?Z~<@MLVB<g):"X3a٠VC? #ِ ᄲSl(η˔wf`no:@I/NqN=1Eu>'K pt mR&{Jbϼ&Tu`stRd¶pǽ.%1#8TCHV/+;XwO%nAHe- ac+;UԂ1l_Lgnݵ ;jtKw_a2Q'#O T@v JXڹ$)3KؘBU7 )@M'cJͭԹ- [N֗>rʴVxH!#Za$;5xf33ܱBL uLцXTf;Vc5#+Φ^14&R¹bɋԌ>s;VF 3(CΊ pR*3sU<]'q!l7tzN^lQ3̑H 26TGp3=~uf[V'ShJ*nИ=/6=Q,I2;m qp>㥫f> @7:g5fwEObi#v{U.n]x4JE=MED#fwښWWr+ĐKSmeQ n*nhMEHA_6m4~OvγkѸ3^Ǧg1@z?_t1X/m#(0?Ų ne] d('A*L+WUAhb/$ üoBjr**ڄح*nUgFCmUG,G( %|z}ѻ 0;}XE0Z(i`q.(ؙf"f ?nqP"RҥTv"pEn-ژ*2^ [/ a}F]lYMRG/]@< vO< )$}؛`+y<”B+o c-=5:j9NHb3UtQ-O{[gVp,jyprhn}MpAxPDu~qH-t;Eͧ;r*^=h!#b,I}<%Jk:m< #Qvg[H8֡O;γ~Vw4~+7C3g mXj۳IU^.%j͸`\O}9H5̍EAp|߲swK>Uj)9^ dqq!O[B2rDH#"5 ] Jpظ\D2[}IF.bu a~Vo90kFU3zd\#l>Ūǀ^tͩcZ+6\ e5\ A/?N|y]4>kHk;jd,Bx<{+,K8L24< B\3u_c'Desb=!q;~V9kwɝh3/]c#FzfU\Gi8L8F1Q".IO{yR..5>d+&vjyNo -(ƕA[h ?.F)=ɰ=N+v2GvsT;z.%) ga%;#@8 ]]i/ ܽм J!=Mчn1M5t0'fkk _#SGf+~w-8:ɺ5 $/ u#!Jc/b)A})Mx*t7ZhvqF5s򢢅%4 a_Yiaj eE7wz_ [A'f<`n6^gUEvÓ3*\je7ƝTQ,l3|9j[)8=bzɖ8ѱL#g|H͹nrc"> +9LL87LF?I|̡I@\8%dVh5>yf2SCBs:?]p.ij©3B d$8HaIagby 3A,3? ɰs 6؛H쉯nC3sv<}Q∎[/u| @PD+Qf^ +efLmZ",Nbgf ^괏0=  MZlY-?@cfN{F@FPgrw^WgrϒYV{^m+l3Ey1F0pūtJc)%y[YQs_D]/>@fzLݙu$*[2FAϿ+ MoTr"eHU1ԴÛn:lQde*S#-?3]dc͍Aˡ]9d_6Qg4MAfSJuQ ](?|11n08\4ߤf2 ąU V|ˬo3#Q&}OVaET;IRll_^4B)]w9A浢wW{3*c8"oJV{`:.$[OIZV ljS-yEwpDXAKIm2gd5ׄ[ f3LA+^~9/QO?M'))j7 mv[(hUu{YRU} WgYZ7zXZִF! v]ŗXiɟ1)*uԚ@e^cKZ ~ic  %JU9#LWXqA5׍@)!f[ "O9T͛^Ciat8p{z@A#^yT~жb1.{ z $r qQC$Egܹ#*iSpk.uV:L޾ {u_>W۫g}_viNmL!Z۾鮋v;,zԄZ )c]kUF 9t~Rw{^.GƐr4C{X8K`TAwrΑZ}-hԵ҂~^.P le×E2LNگFa<]_ޞtu(3k]XAjb(ar0}*gWR^"u8X ,sN05+{R #kM7ES9ZCMXį0@E_Xvx+MdȨۃ26?xlr8oVYvmgYZ7zXZִF! $]ŗXi%L&ʷe] 1iJ+!̴apz~2 h 1sK+J^Ѷ?If:a6Btk42l ?(zBx_XLhr޳ ߵF5kPɂMK6щ K>v"LƒE\-T Z`?VT,N]MlD NOf-zCKK$y|Z A QSfI.Oܠ1NE8gZ_dT_V'g w+\UDBjVӄ~t"J=Qw&UnxâaINl}#@>G3@)!<Ê=jM>WA-`JmAc aFg t)*D*K& SBr)vAv ;0KGĽ&G7ئ $r0i5e4.6D>OAIbNUU0R$X tUxbڒޝ>PST̖[Ey?* Ɗ"eL 3!/I׿pv+qαİ50#ZR{1SO suOFm O)_5Yqf6qyMp{O!?C־bGe87;bk *X$MڅgG'n*8[4cE!=v0= ~TD[vĮv =v;XWВZkFi'7Jy&t+X. мY"efv0~Pa\of~sܤ2}db0:cHDXAE^8K,5]7mCgmTV?b1l̇W6CBD@meg , =w= ,4TcesRz];hE+cyy(Lr[%hwd gku5鱥Z(X>_0ey C YI lIͳȕOtnJ|~]#K\z n^V5u\}q !% 4qnD9Lnvtl92.y{oMqQ][zЖ^,PN#LB`'aڛ-'΅bm$1XNSphSS·I2H\( }Lk/zDHʹ([!T-ŧPd.35  om(F l,{c"Ì х7z}5->a`ĽS\UNZ|ޟQ_gZXn$tIm{FqijFcõksF1: "fFU}떍䃩"C`c_7~3(e(O^lRCdfn\p z[4O06^A&hI&kAZ6سeB#٧Dk! kj3Fcu2M8?Ux9e/߷4iH~piX]GrƁ12I۟4y`#X,֦J;'ch;{kÌ=l6tvTsF~Ug[؉o SjV,7̏d`]f3ue˃Ol~A!r[v='Q"XC$,Phb4L@ 9t oU݉D[hAE\m7x㬭M: $An0a2quCSTߔ7*[Qd]K )cl#-xIE`J@/3%{3rW$WQc@ӗVMГ|lGD0uuhBǴ.U$a 6 ʐYmW6$$?y>q -{3}ZvlVo{Rޗ<,lj3 hZX~Z{As:K;HՑAVn ڧY~CA6R&y$5x'uYԍAk>ߡa1(9-"Dj<4è!IGMl_c nCl'Ҡ?oȭ YUp/ބ1:Oes;Hj7Ͳ=GslvEV5^[G?H=ӉB4G6AG^0 pW߮ľm،2q׺D_~:^:PQĩ\&$ku$ !*OwZs0+P:˒0I6ŽA5C;`LIpΤfa;< ۺхy4G =$lzUhT.{`bSVqҹ"Ot 1l2w"\Ec􁎴 /E˷l%*Oo, 1fV#18f,[ u+1"xXxO@Tˮ!!Ϊz+JX䬀pEdaaqK(=M~PɵItĆ܇Sf~bgk~%pXӔ;>?)70?h;WF侒6ƫKVkRBRYLkaHz'?DG^F{q.{KEe*@6NYA오,?a"cRB"3>Ga#ۄu8Kt^NDdCw|f%_ò[.$OyZN^S\ER$Ĭ,HGY7V h_18bJPL׹82` ?CA[#R|2o#rm&zw9&ޒ0wG Nq6cu TRƯur;{hgx4Q S`tD.Jl0G}|TQLeS"-uHa:t^BRڴ/9T\19kP>5$_RC+vW\'㌄rC(>v5[(ՖoWa翵w,H53ު+ jZ(;!yţC=H5CUDZ*L8J=;X\@X?Ȧo6sa()D߼sNG}#tg2r~&z-Oqڀ=-D18JnK]*\¼Lp xl3-Rn:uP{W:=wx9YT/BOܵ4Pӆ6mo 6-4c.:yE/ /KޠG'7gT7ϙeo~ց3ڼu1ʹ;?3(֗Tmսcޓh=>_AKtrEp 4[*p A24Wwjtz2dbϤ1>xt!Le7Fb3?BhU־Usr#Zu I5r+Z5RM~h![xd=MI`uCHu܃pr;*2+0A^'G%y"Rf)1BfS&y4ck׻ ~g,Us lN@k562W>L5SI^۾5xvۗd_/2j@avvq3RVcکuѢ3aT_v")u+nO-mi8s$`k܍8  O%՛*1ˑ؋uA@OrXhkDІӝETfL/*knUb|%K:?MΥHoNJYĉ]rsJǁA5+p["MlӡJ#[h,չr&Èt8|--ef&_z3,^Gk ys^n-  *)+ۼT E7^-q4'`jۑ78cGB8J3/+C3qGQ];Oh hY]?h6&溈j3_Vz&tJ5%Ȗ_[Aَ)e$'_FmdFOTgK_?.4K?RK ]eVLÝt3I;pPp52X2?,5=zݓuȈQ'T9K>n&Q=;{/ygF";~TݳbHn:ه툌1mS F̊ܺD0u=jcl<<"s4Qp'9(* =^1jl0rZb~VEgLjcSO6QvvA!<wg)ځuE^8ZQ=kvON-qڳ>{Z >*VT}r^$x4aH6a|?Q¢')aQ\hV7*0<XZi#^._,9$t[PgytN\CH憙>+r):gU2 %9#E&TאrwQB(>k1SRo7|Bk? w>3t e:%+݄R UsE%p,YU.4bLݨ P,_/x{bU̵.75s;Ӣ RKdzH&n/.KhUz4V9]nni\sGQP\VMY.qAu,>Í{l{hIԟ&/ !Ԁw}@X;srj#2|2SfF6''Mj a:М:bFOF>ޢUR2R.mo3>OyF"Ђ`*@iyhTF|} ^5y3a8iLfi {eh L ?Y E+\Ej#/M9%hnu̟F0u6Dt.ڳK9 4Ŭq_ n6tԅ4 b:(MQZw`bDfk= _yEg{wڢ`v۫5Nvo_IO :/4 ` 4L@I~`&i rA.?m:x##^ .Kw݅$t_ЈtlK` N8Ff:Wi~uuHG tȶ?9*_t7!vn/kwCB0XQ}4t={y! )"< 0b l(=YYTFn{7V..,KE\<)w#Ş>5l1Z| bA+n%ϷϽ͕t}n05IQlA*W};}e8ΔېMVn$=TT##diFl͔'wSVupP5v9@U&zGM{Z [EZNP،)Ԩ~Z @܁)X)èBRFeSs$Ӣuߪē6Cˎuâ/撙Ӳ *f _(F_^lM,$ %IϱG=Ǔ(-Ҍ!a<%lD38Ci f 0z;1g Q~z,Jb蜩y {_\vUMU}BZiT2KQ~lP@im <1o@Nձ}:DCez*$-*IK'ȊŽmP_yBT0kG:uVY eJL7LLn,řE{?@T8l6ei4²Z G6P!koqV]t"94(ʫX'6=°FHX)^ IB#