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 !ld, ]]]HOL-Proofs:threads=6elapsed=660.801cpu=1533.284gc=269.328factor=2.327zXZִF! -]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\.3ʥxj҄O"EKwNs-5_.M;:߫Nmq>٢ڂC vVlPq se߆xlL" RS_~YsM."osef X0s'?dUb&#m茅 ˳ ¸4B|-B# \1 eYy:3!tU ?qEP :]Q;Im돩r6E%"yC_rq A!rڷvŗ!EL?*b.=vʢqxNX4Vm>be:b@DӾ;A@a,ƅwF%st VBoQ͊N)#=Z#UA> Ո&|#J612 @U #JOt+N)1tyur$gplϒ%>V9շP1ُDQ, vuKVy.c*#x%`(C4Ms$xxk׌8:+T:T>_;ãhKeRǡ 2JEG$fL`hRtʚ6`=?<٪.GgJG0XGzITX"N$6lZCw,7hYm*Cd WPyFP^֓II!b~\i  G7X9BNW٨VQ킟D愂J#[0:M;*ҍch3=@KehϘQK8>sޡ$hWK-ļIC_VV Yo39'z9=iҎA͊C,hkw+WEUD2RNlt!"J=(rXf/%Hs`?qL"DrΤ&S+rs)aµv =;ةgym Bʒr~5J*v[K$3&d`z4bVt@E u9uŽ9}yq8G]Cv܅Ϟantm4jn#b Nj(կVyxxU7`sܸ7aݰTnbg{;s EIB&+R[h 2MӬ`Em]FWu* u.o-5+R2, P:ScVّP>rn=*:Є? Ss&0Iȶ |hA7fIrI} k;SLZ+8CѳL5ax9& g2/7xֳޓxslg-΅†ع? D]q|@& q#Jevv;\-`␢!z 0ͣHiZ=v s(XeAx-1Og #ј:*4A^6RϤO뼮h:q ٰuגzڼq$@jw,\F7N=GBwKx P>K^aԾ + GrX61> tmz=F q"ީh'd%c7pL S"Qܶ6%]:h9$rEvڠs*6]q˓[:%7 Ld[ [*vN{0`{`ކ1d7 "^VØ[(׸VUV >SOnYO=nOtL!#V+r2;Z Y;Xr~lzJ"jqEǏZ<  ! HOL-Proofs  د%c(N2^,ΩcIZ:1ZuCML'LF+di[̵Xs p#kP_Pm?C;U' F$᜾^0_ƻR2qHpWHb}wtTA!w!R oL%)+Ԭ?M&NQ(Ru2҈;X?@V3EW#K&%/IxQc4JБ>xz_gx eyVZ[V ߨ)‘[352cA@3zS2g-wT o>a^=]*6⁡B/пUcO8{߆:JpqАD.3#㴤EHZ)nwqvAsOȤk"%.#2Pw!L-JFXY[Yw)kmޯVPwTX@;$`O;"5tS J27,LǺ86u*Rp-;o*GiH:D%q`,,yf! D[KZ#䴏Bņ́Lqht6;E'ޭmOgK c)w^ڊt[W3dZ.{|icy|Oミ:r%P WjUqA<+n}40SB|V".uۧZ4c]F1K;ԩjz3CÈ:C W!@#J(0[=ZO̬/*Kz6 SPdBJeu& N8*aꘘl dUp־ )3GpsPz/W̼9.gN/dLG7XU @@5уx>5O=Sq]A`G/ ?x+E!un-!%F"2iKΰxvTw,.5bv0ֹ^:~} hf~f6RO2·rXؔ5:{hN^\W#\V,y&H9] .<$㋋.:%OICr:Ș4PV,Fo/z˧{{Đ/R>Z7Dq OhakجPd$nG\AQVG -t.s6dd֥՚YNwj,i˧)H0u w-#ҩFԳV=R}ك~]uo݇YԘugƹA44#ظȃ˜\Y,Z}F6U<;/X_mjy%S\ODbp!3,ODzp FE7{D|ݥ A &_ɰa~f[c{RaoqF=3CE5X#6 ~تZ~zHl3Ά ӏ-N^R69U!00{z҉J'^(N"%aHY "4oAS/x~QVW Vbv~E:$VJ>@DqѲD1djevJ},ҘZP/sX]#R` JYO ٝЄR'`]p@h,[۫~!@Xa ` = L>N_S᐀#b=??ڋyc'f̓nWN YX[jXs ⚙ֹ㻵X_Z :NRU~S R@&pͺb=z?0hLFaZ!'kVXJF fDAn>@"1 odɝUnGu _24c2! Vƹe?A21kpZRgT!HΪ+NOfpz7ȸXdc* 3=:7%.lv hEԓ4iK] ˖7 ٚ2dxCN@.0Kswi&pK)o6m,v.)6ڻ<,A(U2M>l*p:ۼ+p(Vp= "!MI!y 2/CX 35_PDΤjBXoް**RJr(h~g#DE1ҿApD*qz>]۟5ktだq&6HdIj[%5[q7n=/<\٩[Mt<BڳFvtGn'@S"9haeWScniiv3A؀pNB`Gc&Gk;5SI2gYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!BgSHqDd m Mx̅}Eïc @=~m,_FP3/? OT6%Фz*F\h;KSL ǨuIWs=ʕ$.a (x̉~藻#eB s `QZwҘ*>WG"*4GH75#@vҬEZ 6`Gnavs/Jl_QNcs ;PpEOS!5&lЭ`sz.=LMk@Mהe|*G9CwD Rk*lq}kfUIJ#x*ĦnZJȫ#I!c~n Y!#Az(b?D /=a؇pLm[0 `jc\3%A̭%ڽ~NLpUXNJ텓iW|MϘ˧嗪v:۔FD'3h澃65=RlJ*bdfkӺ ,X+IV%wڪV( (x$Q;QP8 Mp%'P{@,s({+ٿ">w_U3[!* c4QB{!FuL<K͝9]7hk3y0,J! + ]늢a=&Xm- Y-G /_>ˏkb9>E^;ƐB?O31[a~߿AtPS~[)I`Ȋ>F5҄fKZU(@ٰfÎUw:BҼ8u*2$PCTUg YR.x EIy^]\4;Um%"cfƺD2*@-dq7n,;pZ+IkJ pBAYP9jAh<< 2K!v`t h3¤t16;*i3'NPG~?ZRk#fC!Չ_zC\Ʀ1ɬF:t_Z?.ѪE| # "B&8de.ftkdǂs*hE*Dc*"_=uiDt[lXyx2m ɫ۳a#ӰIٝCј˻WI&6A8obA;[KeTowС~*$Mш_}A"[<gòh}q`T02ZjDaLѫjOEcUsY>&Vy H;ٝ^`y{6jx~>KOtc1HЧxqXJ}/|:K$EN 2޹IJkVfB)+NQH`X mn7Ϡq@[&B;v<J?C %QE Z5 / ! a׭| kZ S/jυ=|қ?/J\i w `4tFoĀ1o%{̧=@&/6ULH:2mβ! s)"<%ELi@ZLh@جDLDcW^KAWvKj2رgYZ7zXZִF! }P]ŗXi%@^2ܡ@c`ZI<*+gmzk U_7X wq!b~Á }NJ/tDAأ!eDjZNB-|{0{f҆=U|)sL} q bycex8fiwu„ 3~3O^{o3v,5T֙-s=hMg'/-*^?"k)j?6;O8|8`X֪fGz U(pUm Ѻv}I <:Jf{ Pb~ۦ=obiCV:7%&uQst* hyy̫LIk͂e=3=4d6]F~ mOEiwLK] e1 3*}t22ދZ[2ѷ^D֦Όi..D'@?ꌜG}QAc:,-IDSt2 v)sFtځ EsXč{(Jt{`_𺲞AKSoW<:AJx+MQ[Ŭ!w$y&.l$SCS$Vj3HȆ1%V(HzeVFoTp>v(Eon o^.IG"Z7ҠI\4,jZ}@6\aŪ \3rR^Pb٤tF 1qDw ԍD8*\dM'UcX4-אRM*dEWS@v|Hwޱ'}0j}Z&>7,6YywH٨bpmv*b%Aa'H 5e%Ai6"t2(s:q 1N7Ge drlrfn*o 'rwY&)GQC.a)aCL?{֮A5! C ) gԈ?TV/xM.1(c۞կ HVl>6#dc!OZ\bC\ {<l\\T~8`*1_3T MI/%AM>@i=` TJ^^͚3sC[% mV|} _/@{A>;'|Z>P6 4[T= fBhjgN0ZtFnäzB' mdФV#<_GBrj,|]Z6yv|&3_F'2;DK]47uL=K *oˮ[_ma2Q6'*: }ԾQi*M:rEޱEà.)^p,s}M $^4j =_[\ 8cFPK\  ,gF&' y )Tɦ %k Ijx&f{aD tEaT.˥,`\3Je>!kTf튚M\~6(Uh[e K'vIT4y]4}2 BІ1Q,GCnnP*ŃȦ41Qs%c0*M)hzn «g+檢B FY+E>DXU 'i[&RV3,=fF:/!K{düW/ώ^ `ɄM]L(t-lQB&4 2E5ß?mRaw2tWaYuP6 ̡@f$@p8giW%/w[֥amDVR8kɔ'UOZ4%=DŽ<}ϸy>P/<_'c\LC`B.XCb/AVaQOѺc+ JO Ikd+Czp!_#O7GmkBrjl_esC۹i` WSUBʿoiH%RuHq○;=e%nMH]$Te/8Hr*Le$-ԳbwIY8hzlىE0Yj7k]wv^k8LpXRbG&8--`|Y}F,&<7_0<兓??o4`jB e$Np\e uz:FSk(9`ĉC{q &)T~Gmj=/4^* Wǫ3qĿBVzפ*/E0uU4zCy!zw#gUDa*18vYaQy;W&ʟ_٢?t5hK1**HVR:"| 2Ϗ& L$!=JEYԘT%P0r2m( { ιVqie V?^oeg]JQ}!K0OA7^O8ص >2[3ŭH]A7>m|i9]\֖0hS3l 57? @C+J-+omx<}N}א ϢYҀ^1Uٺb\MGVI( 8߄y*ԊL+|,:Z1Cx0p\kb<6w&nEbw6"* \4x% 1cE+BI8acv}:S(n7voΖ:8h%1\1]~2z'wݑK20K[[E$xAfy]xɠ:7͊+&K@BB] A+Y;|wCck! Uq|;YlєQv)Rtyv(Jto;fXtЪv$IdPDlZpDJTOiYt ewӍ$fr UYNwLPܛb ^1D>q1ry.:CTΡjۭAĬ/_~^UͦAyoQN 6.~cgًb֦pe:Oӽ^Y"n?H;c_XQa$",,B\D^;x.S-{=&Xia j57ҡMmOpUmI j7[>L6xu+bPJv>S0 yd^`X3t'.Ch#BA_f u=KU "ENlt(Ӊ5*۹>ҫAeHR -#W}=q#RW #!1W6 ѓEqD[x%isHK*^ Mpl!U?׷o#@7t:4qL>]:΋m݊OKCm8 {8B%8k.}ncoFڤ8إMEZTk]:ЉⵚõXkI !w 쪟C- ɝ!VϿ{k*թW)Z SWxHy^q8$̈k{y,| I} _[nyǶo6/^|bЌ9 9bS zb^:~\#4DSҟpJa%8WmXM;^e?Dx#)nS 梼0'P8r-y{Tƃ.L,5qGDC}B'C":ZWDR9Muqbd T.\z]wțȽ<@i W&`دyQKy%Vio(;<%J\} ReZv)wm"gǯ`d9r)!dWV7 t>0~]zr6A!>fJ0}HP 넋bgT ѐ\igTaW]hTSmVi殷cFRɋ\~'kQVq+) t!ujm(M)X_88wvk|c_FF}ҢݯvdRӷP\ρn^3 # @ HUSRg<]RNTTL>Lk1mJ&WzrAټ}qt J@nquMr\چ0q}BF}j=F4) vu[e><XSdIp\li߈0 1J(t4Ɨۋvn`$K` 2nbG3voÇCLݑ"6N2SS/T\۹~(|4OJ}^eFm[^p |0եh$$V+"eG_)uDm]~jgXauX;ojCUY9ƅPjcBBKk@fK)R* όy։7|BƿNf㥦PJbuU\R$SZm P4^f康kF?63pY S;=JW}*)SڪI6d '`aʼyu*"9i?0SܟzC]ZnCY BtlX+eyF GAɈF6sFJ!PټB'A%ZCW*>%Gna[f'v dR]D _Q":x7B3}X-!vKfoPA2싐UZ{k%dוg)gZ 뢽Pꕒ+y =ʹ$bgl;b5adg:Λ_j"e9XL R 3†M,l`="*ғ$[2lQL)7%꺶gC.aѵNJ㙌i^Ɲ@iZ^1p4%ii*O4^X/,ܐLVK!+bKIb!@$iU% n!ϴ+G.:gC_޵^!kE# BoQ!Npm/FF 7FXyFH1\XP}+ (BS*ͤhLM Fל7 Y^a^ģBlMo? E&HnۥZ.hr~}z_ǽ@K);hWBЍfqcv@Em^lx+L dJjkو ӞZ[c@Ya'a_hZ]{ɪRRygHjo|ڙv0"PP,P<¿ٓ&1 QTتSZoj F w>/t_ֺ9gtK*}~ jI|`'|_ /7jȗ%5;+>~K Y+ $(hڝÁʖ}[ w*4K喊J#P߭wj '\ĘDœh7XD_e"`2 f puL`h֩[(Mx!v!wﱚ$q%*_~}ׇ½u649hG1QMmV|ey`rJ_Va菃^;S@*L i0_~#K-zӎ%l]%4!9m5O`aG%_ [/ b5܈nfhlQ jzT ]?~J; 0TB;rE'+[M"[䦡JK Ȁβ \Z_J:3i n\q;6ޢ?Xwđ/`'h ]e'UhHzxtDH:Jta%h:\暴¡a%X5}s,?Q--h/ՅlV26@>R {*6bѩڠg[U02v`ZS|]-T˿*(hFJFHwܶ*yWfShV7=OLWK$]^c3r+h؄+vj,!NOj[inVAzW򐂩VߑdXne3_h9",QQ7YpWs?zT76QNes*|Ȓv>`WhpvR+QEkCb dAj[wA!h*&0u Y+G`h{w!K;^LfOkc?ELf;K!0e#= beS :4v9+2ۖ g۟LJ+8nHo(ʞ+\v2GE}mK3ϸ:2HN;u)g?=;jB3"ːySe%zXƵZ{V=H"{E3$Bѐߩ 3td~EkKb,26S1`iux|/-d+lgr@|d :*X h*v\܊Z0T֠HBo.X 9?ݶԁ Y!VTNI de Ĉn7;D/@ra5ذ]^Z/xPMS)*׉,id.b\(^t:|/4U2"G&'zs[)^(HW=K&pIy=)0LW qg߁9j.Sv#ƹ/,25TR+&Kצ:FC-G2JpR!BNHv E\ bk0.$|;`~/^/Ûc1R`A8WQ@Դc)!VnΥZz~SMr ҰGtb5-39WTHKDʑxUR%hu=}9y)Fa4QERUK-Cw;)Z)֨Qw6<ɐ.~0'C[*1 I5x A;.ɣ6o _| :#.g'4]O!TG`XՔ;.:OB{keO(Benw^- lx|r ^ymu"HjMbڡB|<װO]@JT+ /d.SM3`/:$4ǁc'd0pu C/A|3r b]$pljNRAC?AHx*,gjz{:eD [gL~́c2EwیX֣-H+/4 YTL.RC95z(!_RA";5(hhDYW6ʿ0~D 9p (GK^"滋O2Ŕl@r 9|I]SNb.HʖZ$b %Uy`b[.湀Szw_fhf[ uBV0k ޵ie&5Gl:36o[_䈼aN2O6p, F)4rmA[(leW_q}݈e6P`O6XDg7k /WZbfeOKrPLd^z+ o*Z1-QN#Ƃf0s7ZM{\#Qo5C[ƭ^"1,Yi-o^[-W#IjiZCLϨZ\3fǙuL!/PZ]&D=:p1mSZ#=Ҧ_J+QD'S7w07G0f=.O,̒.q.8((eXqb᪛z0=F &F k?XSjDֽTQd 6Ïx $1lukg}峍̂m!o S׹ܓoN̋oXR_%ԝwΨ魐c;miϲR',DBuf-lwYm5X*s VŴ m[3ô ?'Gq@>=4"d}{s'+[PBIV?U\]ONτbT"e+(m ~e ePXSTEn mZx4if 8-Ix5G,{y'Lw9aF9I-X6J5JcXr0k;&JTkm42F˜e:nz<bIX?-wNj9A+HЖ;KޅCL&NL4ѭSCݓDJ7Wac];T)m;K;jӢN9%mT,ƩDGZI0|PrؼɶlB^͚9֭΄ǒA_c P?uZ-_walƨRhadNYX/q f~r14ks !qrR11?C2 /=;Vr[FX$jGEن'/WS#]VV/9t0o `bd4݂]ɲn tBWsO"9^zmrSY4A]oIBP5+O Z]?ڝwσPxv0u=&mc j $ WL̘6W:Ej-0 ep m!O.,B⚁j"6>)F[1G ܯѩ*;pl=8? 8k! q`е#q %;׍ kÇͭI7tPYyՉ8ڜr/QY I,_ׇ4#NCJ"+є. EJlpZ> ȭm5#+qsqh#P4L8edm)6kNzʂ.U|>.B!h{#\ͭΐlI]}GS$ gaZ^~DPߨQ7oQ@-zE28@W|!j H$un3WlнKCbZoPʥ>߿f' d*ǒ"J%`_n߮+Y(!#OLc4B,uND$?FmIHhiѻ| /|]7\))EL[}WhՎhݡob yasW< er7򺻁^ni:(+,[5cMβ(xj|?rG|,+h@[>yCE2>2N4jעi7q0EEe=x.RMPauhlgH3p);O(æZ}5c\&y}n'quJ5dZLo{iʃTI#P(M5i{ks&:WnX57*Q b4E}7i:S?GmRk#տTÇBӶwVW%8k|z9 oU(U4ܚ1_֔FjM+ _mCY֜+8K BΑ/>~ҿ@w27opw/-έz`F?@28sJRYHra[juCAIɂ B<-\!uǦ[6yQ0o@ל~$}1mhf5P^vtygT5 L ȘVu0m%맡֞)ep,ŸQA&\ZUm0%Tj;/ܬZJCc7~tt (,t*|t:QVn]` ǖ w)k fF=}] K*aVPS0M^cY+:`C237dL+*)|O0`Ģ]QDӼ0U^$R; J@9mE YޛtTRmjh"3AcTmK(aI,6_q߁7UQYvex/~H/ʕG#QmD,A$^7b %܅'TOFCP%BA-MM9fonC_[a.8qH)OBi'Z,.'|U_nn|wPycAtUK%èj:#_ZxU6Ǧ'8gZa(,]exS,j npр՞-l EqH6aT]}usS(&dD ^6X- TUzmܤܷRx֮W'DYCʊeՎq 9u;G/z[E`jOem 򾖺dЪ6" ?3C J H ?'nHEޗp_{n}6;nBr5_`u^ܭ(I0ϣH%5zvmY=Y RtePT=l5W j*UTP,D~O{'2n)VPQ9RRX5<1S0mݪcQIlVzL͊Xaq4,sa)Kyq$ZNL7Xk0F/MԠsn'~0|Ċyw7#.s qr_ꝛmS63H;FOlKhv$=@T]nQD~9j^ݰq9k'C {Zm$s䶥q a #t,]3܌ώJ.I+[}Q}( eEt5 ] 螑q=OQzۯ!}'Q.\1-_mϜ',y_:췄5Q2f*HaTmǾm$=;P"fiPJv^ ܄I%渋swc16W`x~u]'gZ.{3-,&1\, 50n >pIYz>Ҏ:I ;s5ox8(O0SN`a08`U8jH|I]82ݝU?#=HU9OBn&mH獽ZF%f6-jw]TZ1]!;5ۉ ]ȱ*v&h;5p-~9Zjv9UvU*ә EV0>#n!9z)gˣ|L8r=ޒ\jƬ6چp"k䀄/}nr0RCsqӴx&|;M"}ޅ LG}fGfOa䱒tީ4H9\Rܙ95<:T=FQ֚MBq>n?t/dĮo:CE $\@<ŗT z~IDE{2smZIHGD?iԚesri;s.-,SzjfԥarB _$Gl^K7̟Y\gZOݣ[ygl׆uٹ^n.oߣjAXCdnxz=hdG(mBtZ[g_I毜'zfEfԩ[(`L--ZYFM$Pm]pZݺq,9Li'8߻l}ϟj.mgSO0ܣJ*OT*H^/̀!Ÿ fżrz&$,7Ž[ t.ISQYUjYdh|BST@$ nɧ3}%Xܹdޝ 6(rCb>3!?kW0c;D`7pzP3>I:pb;N۴ߧƸSHEsENpD2R^`O ܡFc7!X26f|m 3AeB3bT6Ax#K"843+ڽUnTSڐqF.eȹ&t*Wrᾥ?d$M-ſڿ@Z7$G-AE)rA0ΡO8sMjNupdb%n;AHlI BEb,Ƙ6>T\lxG1xBOcΗQesDv?"/=VN|D]/#dNm(LV! @e%j6n(Ej Hn B:h>w3/6Pĺ@Yz yCҕI .[I7M>'ȉ) .0H#E܊35% +[lw 3#0\66=7g=Wn,4Lw|Fˡ"b4Z "9.Fotƒv8EHI20z9Kz `ey m&N_Jl {yT F_tG{s%nKMR(}cUϼbAM(E75Ʋ}$nwkCfKšSB9>ƭkETb>ȶ}:VwcܠB6p o=v$ĈO+S t;[Pl-muiڌ*FزߋCt,ME(h+5˒j.fP f/&!.\[B1Axspmm0L-8g0%GԒi\H%~ ]$ orօ'ǣx&C5c 2 Q_M] _X*@pB娵%[o#g[R`0'uS-xGH}bXUH=wB52Lf0dewY2nV>y_6䃁7P ;u9eyEG _.0Rk6U&:{c`UW~[-RVCb$SS:kB"/"ojSd1T=3D)I շ - /Ķ^oh{:|)N. [3Coe bR =ҽۑ&>ћ ]WtyA9I%=DMCٯ*DEeRs* RMN t6 2'{ܦQl!-;b*KnONa{q&=[ R)'4t [lgzWۀjFdgE7}ٮrgiY5..v vǞnZp Xif_xhr񹛅R{-;[Z7XsFC 3,gG(\3v~Ux;q 6'_&jq{ te~6O+JmeKdXn_LzcU CHY7V ;?M4ڮDgi;|QaX۫5pV旑@/.xJq <=Lv*c?8N KS}/o_8'InCdѺL TNh|IZOoFɽW bݖƦ%lkIA/ LqGjHy2pJW5B6² %J>;DX 髌g4?VUmM7( {rT9\m rE-F1-,P"xP7Ѿt0QN;'^{#v{Zg8籣}?<,Bo1`Ԉ @Cu]|IHtŶ94a{U\(FF|ce X{>/u&;ڍ:j׋D]#r+oQ~s 7)< ! 7t5}8;u**wB`[;zt;ٕ-T} ,| ]Vd1^ fHIpPx m_ѥž`}CBAa>ftreևzДdh:ؒdu]>~7l&mnb|E pU,mh btYz`<ʼnTq1U$^Q ~C}MOl" 1>xBeII]H/e,m^C3p'0H2l"LДnXm0`ff_VX}]+=v~iA”Bb ;mP/MEVqo%X;҈j5]ut:fSǖU >G!Vb_v|hZ$?og$AQD'T}"޶63fmjoC f=BgqSB!=,rGgR#>KgNJe&R2/y~{~>[H|[߉?fGO;0Zl"GdِpF5ȱԂf9+; jN)=Ly\XLD7--ǽ,K!]> D=DP # <\,asfh1gwJ%5Ob!;s* /[0|b\<N}Rj`Jp{;[C$xٟK\;\Bjyڡ_#R7=%`{|dܪMo|7Ƶ6̽yW(3O0 5.%hD[.F͂KX|^iWQ./z}͆5{.I"2+$W#/e 84+Yv{ڱ{1P<i`v~zƀqŬql I'+DqA$oޓ.VB܊ΛV4i5SlZцI5d+<h`(=Bd1GǂGbT'W9P{ jt`}Y̝ r0>t7iE&٦twϕ= \MFNz_5k#r}EfpV.ȩ>i(I'"d-e0@%0=A#YE]*ֳA&ۉCE%<ލvxaTǻs6ʞu jn בc9ۣ,n唴$mC!˘7)X#$4*k%^* Cow(5`?* 2I[1 uhƒ[ C|04O/l$,fy_)4:^ Ft򴀕o,i+28&38gM\΀O8 sdI}o&\u'5.ҰrJ5ە. ѾiVᆔwnb &b_:/W^DڰP}l*lBtgn! C\ z0ȓ8jOׯO!{hJ=z*%\a; *;Qb`AOyBq@.+v}GE#np$Mw Zkb`&X:TQ*+1@Wd#/,j4CmQ[Nb̝*1eSt W /DԺ|ԡ MyH%FqYb ~S~PM $+_Ncq Lf@1 b †_K/xt<0ƍ>cicҫ7&V_v{~+  ug^7%%f{Ax}txlIۄ.]Ҙw_# YmONY~-]=m9!K>6Wp'U07UG1kgn6k ɍ帾@usC rיUC_0˜KO :'VgʣD%"_-1qvYfwFp|^90 NLiGk}n8!֧(H"n7l)(Z%;VYb2bRed? 5~!ҷ͍5"5nMOOzc9B݋C 5Dd4i:mJku|;iy#-gIa>WG5ƙ#pg^U$AG5vx6O,rmZ%\ nz"N@`actP,c 5@bB<[mꮔEFIh!s/z.S Gބ]MDu(p $)q$7er `') "$1A* `JELv|ne a8j)(;7@7js!ĩ!,VVW AU-G7λsTQ*QX7—z~lXyk>WdkK`pXbniBà[͛qnɷEyf.B0~+fpÓ遶X_ƫ"ԷY J>Q@A>fdJ`0CqZ9mM,ބ*CKgQ Qr9'I8`4,69`a 逹uñQ$budƥ ;4Hd&#-|^@S&) }ܴd^1H7is|=OXP+2fٙ艐;;\XޘHy$ɂ=룎5'|L/gQuaN*qT϶ ["e<*t'Kf\kWa34~p}3^*^ G&У~Jdt`;SKo)uS(&Y f+|25Aq]{׎ׂ9Lj#&;{*Z2q< =a֬;4@!> stQobHJ/譁2#F4A VG^-=%B\x0e9Aq)IdO<)Xs*1t{CζsH]]q\PϴgxAu!}9'?̑t2Ƀ"Ip]9G'B;ߍD l1tBh3mKVo}piC,!ǿM]BO_pakhYll._leG(,TZ[:"ZUtݒ%Fe>Z4Al;ڑ8rs^;FZoSmZݗX32\荬ޕE)z |T#c瓌=Zσ]`9{" Y~"δܳuOwo@o\1t>XUT0ew##XrKDIICoKt/I0|8~m]hTDnņX׭6Aـ;Qbc55$Ff5nǼ{%fG@Wy&`;" =!s:][ .hD [ .s' 9%s"^ρZtrŁ* +]/ ୔3) -h{!&^K&%b/6}fZ0_wM\f4$@->A7xAfF~?X\`&CatUxHL&O݅HϒSGqřӲ$zJ+d$9˗~P Uf k0ZyfM K^֣S<:N|7VSr=6t|eFp!ZM QE_OJfQ}{Upb\6ʉ٪Q/&hwH`5K2D '7K |=fuzwئVkgY;S<">YLcD]E`>*+{ac)Đ4,WHȒA+V?XY9YHmv@;$e;s{{ c_e!U4jR|߻)B\ PR?=DŽ("\%_x*]G@-1|+^0RC:җs W+J;ѡr]8̆9UeH/UOߞC'%<!^Z{* S_4tG*BhÄ3ܟ]HI]"6˂ۙ9yǴȟ|srt$6,' 2*cHjy[lGaYJLZe |]>N@-rݴ83n%%eMeeTKx Ί3SDm. f)DZIJf0#mZ@.:C w$)&AaCVqFQ f4p j/ٚu`dgņےգ"YnIظ Mvc=#~l7OD$jf'03ڔgWpϖO wb<=21Ͻ^)Py#ss˾WqѹwaIo:`S?1v]#U=sO 8l ڄOF7u!:'//Ոh ;Kx4t?3קo4HIateNY=W1hTMN-+HkB&ٚ.i, pW^fBV=kI{rkpwUdqd&G?(yrވŃ. 2;d%Ls js}WӤ杢#RME/>+Zr:AvƄcD[P ơABDU&lX 8YxGQR@⬜悰-WhN|>ZY1qǒYP>" d%q'Y&`!'ܮaD“, 6cUYSp+>;]R뚯U9,|tK!:$UY=R#Fظ{M<+7΄mD J~a$2f}nO+o0⯁ rr0ZU|Ҹ{͊*_5oN~2p;]qT^IȌVÕ*Zu"DxoKk eBrίj|RRG3Ѝ#[4U8I7>eO(XFmng#qC_`v q8Nsu!u  oJu0 @4!߄}n/ƞe CJ ͭX kD05:ݳ\BȱH|J5g@aoj7۷m? X^]SLՂpfb{!!&HJXv錯K1!W55a|PEڍ2g4BdS!;nC/;#\fSH=+nH$Jf[=1(WS|UzЕO:i$!ËR[fl}$U+VE!2uF8A qJo\b"-PMXpAmFYv_Jxq7'윬i. tPaSH~bz{]ZǴh} 6e[); |RF~u|*8"J|b4gӄxHX& $@-0is7>JCGE0 ֐iK+і>a[YJssF*dWn4)v:;kXXi,Tl3cnRϺn[n eHH'zyP3*D1gFڛJقoƵCU+Glzg# 6lW?qO(@w!c[s%xy.˞WwSh2 }j4mw׆_Sr[2kc'џז6Mo34V[Lݹ\ A=3QI4l`#V8F. `^ m9ϙ"4CgB4rf0fH丼yco>drWXB[3kv=r|7-jRdI,. rH])`Hݒ㲬%mrfJHZ$ұzX~zRP-D˂G|p/:||{n[\~0 ۳g*ݳ,qyhx;#'wx|WILѺT 4* M_TF w8Xܓ%$RlJ~mAtniW.dzDD<{sMXY%jP++.rHbS[gJy~[ PFFGxޟA#}Շ@@PFV?_'xz0UB3` RTzҹ , dJ?9BV+W}JXUODmnOF6f&-i˛~hw̧xMJ) 4C&KL|-odIIǺGfBh ZoQ!} j\L6£[ ]ӣM5$6P3|hC֊>'xndNE<$s0Jd9\sQ'v=Dsn-̩uuf;f jipa#nŹ7aB0>bEaH 3E_BQXb'g"Y-X?3Cqoc=䝒)0 ثG5BEuRXtg'Z](7su IR3BnV@ f)X$7ږ5&$n tKnhB϶sdOi;Urd=J-w0+x%gYZ580e25e4a8ed064a9e535c1b7ed4fcd6e8d46c0ef695e2210c65e40e35d958c5ecfc154ad0d6ad6533b5115ba0247b483d2a5816a941428c467f9e2e