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 iio5$T ]S HOL-Nominal-Examples:threads=4elapsed=365.167cpu=1329.764gc=102.760factor=3.647zXZִF! ᳹]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aϋ_QNiwWqm3fߌ.Zб<2'!S@i>'{/ŻEx|>e;S.R7ߦIu kz=TKd4x O[g U=Tq*)Ǹ "~Rב j.Yӆo1AL# RbM\.lƧKL,`|)b9!?V*< Rʚfs&ڌ@ b%?jj,Ń^f_cہ]aS F;D֋ٰF+(̖eDX0(ݭG%jݢw(ں-'ABq(])]qnۍ b@L_,CЪfj9VC 5]1ƽ+=m%9a׈6 '3(Ƀy6uX(r;^vH盺v\;PY6:5aoMіײ5xs&t=m+ J3{w"E-D`["UG#dvsD*V5 ?#o{);cŤ!M,mb uG1JjW# =][V5fΊ+RHY&ZE ')–YwMMh#/5`@v@CIoɂN^0@̷8Br9?9=k]a J ӌ3nZh>/^1 oIVM\6(T p@s67%Z_iZ6 ;0~dQM  |RvU۝/pbgC+RXHoM3ؠQa\MRI%Ws4 \;)=kn(9<Vǎ S}22m aufC/ o|.x>ƻ8mJ lNUy]Xˊ$#o|pID jd">p4d92xURؼbTl$ G$ Y~ZT- p+_Ԍ8?\ ֜DXWY qYc|2d@&9 Sj}(2#^oM#B"iTOLNpѩ!,ºܚP#N8A䙈F8ќweFQ~i TOn/.cY~ONqJ?yܒ nr<-5oSH083Q?h$) ZW)۔ڞT&e3>g%P}B28|x7o* 3WQh{sfg}`ųI=_qXUfV88hRIN~!NWfp6|Itvx4#QЭ]*J/il{/S8SB߻fDEP*0N@QЩ?k z9֓f0}6*&'vK-Q\3,B,$ПW,‡xZUzBx H۞} ?)Pa A9G) I~$Q)p"C:kġ⋅0=s=E&e7mp Z4pS٪bRݢOv I£7ړ"yjn"[(|@;9dJCT R^Ȁ9B)qY`gV/яw)#J#iwS2>! 8F'; mC/E'x^-ߙ7*(yQa &1eZIdqЛ ?ԓe,X Y'`]yx{# fyq a'..=p ~@M O:$H$2~*6AYr(676@NG13eVQz 5:F9 CIy3 #~ڈVa\{ZrG葑O\ u+z䟠,GAٴtbhN"cp"2Cݗ,"@b0Tݏ_u!*~>gcv0sr.JDj?Mom@uChlUc'CCq꫉v(PiV+a=Q/(-,ūMx&m27XІ%`upG%F|}<4oMyfSi׿ުrG,XkTa־{ U:n+X8"=sT#sex U.H HӠ;5,+ڂ)ٸ )ڐ}IA/26"Oƚ#iEj)QVy< $s!oHw9fzCٸq}tZ_2bvCE!;3F#KU1ϲc9ɥl단M}rGt8*ahkNii=͆lQ]>#s@5s*AH ,24ƺ~. XTȉ:f\!2"tÈ{7`-o9z(r@;+d=Ks]5,T,Gu9 vqﰔjnVi*˰m*6GWf)4B6$"=lcy1E:oZ31zP= 橉 =9+1Yqo%.e  r͈EOIED3WhӝPm9})ܖTˋcAV_rw6xD&l6F s9P7sd`#4D}NI.`t_-CAi>x_FY΃<зw|eU&{:WӞ (! ub/9X٠ξRx`B4 E.a$FHlLDKIfR),pݫ[Ooˣ! Ze9ֵ*M̝*8'䥖,XX+EY5M@+d^u/煹b?|!8X{z5>})N/Ɲ &?șr#_tϕ ]# tk3WmrJ!YFIv*/s{?y:u,Eլmq{}Dt[T `kۻlBJ*} @!-͹(9y5++לLDI"(N-uylVjIǰ71Yʗii&@P= 8-E0A i }iOJ)Ɓ'5ᤃ-'D.?Q ?eȫꨦ21- @jk5CP8Oh2x~Ftr^вo|k6OE=d}1d=QAڑnC >3 jqQd ,\qV "ohԍI48B _}ZG}rFxWT5U!xۮjg(n[I:7`㉧U GH~2ReI:]#x9{G;  xw7ì-Ъ8m5."8l_GTIci t&g5 zd1/% ^\]ܺ*մ{;w!g.N[28eJAylr *׉NhHa UT ̒=4={m?u֟!c"uoC>c~QfD, qW){;h.v:(18-/e[Ds'LG]qN UztXuv␍[ԧ),W/TR$^T2pئz}ٮC8QKUbŏ:EtoAB0~N ڒb׮:tÓ!V ᾶm!SkoiȊfԡ"qO $i)#AX;L %ȴ:rq kgD=T˽ dt [fF2B%aa2HmJGu,GklGP3=6s!֝Ғ-n] ιQn & VuR ?._1? jZJS2A'=oM >J!YIi]9e_}]>g}DB j~@ВE-lO̓6>h>!p9@9ƚ\*F<9j̐&e3/zH<ixPR!otkBHR[rWaqf;g ^>]$G ң)a] erȜ|L. Q$ihIClt>G~fpKne|pX5p{b `^Pp#ے'r|}\3S0ZzB;f1x(IU yxdѹa pɮg/%Dhi~f RjzHomx5b _CĄ!g$Zl`MUZgvGzQu,i2Jpv{IWloǸ"4jl֚y|}߈vQ4ÇN}b}QAKǤ; ([t1ʹ!6[;C;Ŀ(-s:ɋi7CB*b;P7\ sfD>Gas}Lr4@:ؒGiZ8P1+HrJحDEX ӻ,Ә-E8c-aV+Bvо»#T +|N ɿ +Bk %g>+ W2Ʊ`Q(x!jkss6ς(B[ {MbOQ[ڢ y~_:58j;Fal \SNE)\_d 5*^y)m!(z-:,rJ$&O9إ4IbQW% 6UauQ…")XVy15o(ghYJ*!ٮŒiCϳJ #+cܳWF9ڮ>1vy& ѰC;q)TcznvW ƌWC9teLN/Xlyx`!͍cvԌf޸~_]+j$r " У9B?yYG צ(+D Ѷ7.8O>=dYTk.Kmx2mqM7ސ~X>֧XҔSF8S_qJJ) G : _?:UgEuxKm +AԊ_JX.љkUL@s:#}PM~GȋAS9)=&M%'/R%&_jiSkiL} 7q ͊:@jP2GĞ'ZHLL[ֆn+rK6$ ts/>Xl?~" i>*:'n Ds"OœOȌ#@z؇Rzuµ^bF%' OW}%qQ\~/|Z pH!;މnt/%LL"KHŰ :lmy$ry؜Jդuf $膬#.j_۟v&GyVWȻ Ss/Iʤ? opst-U"PaTf@a%JTq 13+xh@$!m?HgYZ7zXZִF! v#]ŗXiɟ1ʹ l93攀Lx3 ?j8h20"u%_\!d0|_`;*>x=j ly!n3Sx̗ ԡ7a[æ*^ČQiu!Aʧ]DsRi.v %,ϨV \ L3u3ٔh *#@^cY2>kE;{r.G]g0 pEˏ *Kѹక +KWvoHTG9QQuƖ}e.s1^,CZqlD?n.W|4W&3x!m4 *͐f̱gYZ7zXZִF! 祁g]ŗXi%GV=Zx1"®X]+}s6Pmg{C\-?3Ʈ`Ջ~"Wrý7|VpL&\H3BD\Y3Л1 @Ž՛|>Rv^+O(Q7vOf2Y#jM(#dr|R3"N>6D)V ;:(@8=^*GOD^ GFrǶ4Wh$j0P+dЊF}cRG " 3dRI5)vJ$q=":$-:w*bZ{[u6eنBp=䑆`*B9t+987hKtXX#0rV֍θЭ e7Z+ w`}2Bk|gIBH1_rȒbU@jȨh()E3~/W›|&W,o5,>ax"?E_͇OalZ;XwgyHb·̞ 3U$VcnJf$FX^?957M>yߦqP]؉BM˖_ǿk.GtII,`o:scm.: +n*MlXzUW^ɊWgFCz_yو U}E)-'jR8ZpMl%ۂ Ј:r\ڧHH<32C]Qψ/GfxtҞrI$j XK&](p?#FF[9_U[y0Sn;z\jK\EPef |*t,8z@s8I$fuU-pb$(:v8t,Qw Y*0C"?KJI M)v:}WLҨi[/耨~qJmi%TK89?8 &ZgIMB? J\a-h7>Ÿfh%R ; f`Qz+%O;y_ 6 K/r:ٴl:FBYIxUH8af+D$Oǿs~vS,gg"Jv]>2S?wS m5"BLƐ>/`D ,]GX{ pFj}`=N4ض"A/vKb?͈ѿ*2 &"ѝYx_N8Xmݵ ]{)d{%ׅdE|֟4ߴIDX_zeV+ThqR䚞&O&@_"ılj4ƹ/it$y3ZְH܎;6CӾi %VIO'NX"Z7IFS4_[IM E=a#S",ma$8]MBvuDlrp{åHv`:uM:g5.#G]5dܒp$-BHp#hOH6pΐ˰ U|G,'r搷"`AK!Q9r/,Llr%wTZ#fL=bN\4KL"*UfD7liSWPԳECGXHsB!7Jfl=]Uƹ'>*N%h|Ȱuȓ h:Y~MJ^suٙP ?D4e6wBN]sf\|rJ<4dZ+haM>&Ղ #$Uop [i?F?DqQU-tNHK ITv3ZZ.F x'е$,+l-2 --̬\毗qZ@8sK-71O٭}z*-Sh4?و`aĴ L.ğ+#;DWC1įJjr@+3z-~Оkq-z{^O;bHcW,_މ^ۤn4|eccl3C?w ioe$=Z d9 j6zՍxm0",!`Vps7Rű9tٵt6kFL Y9f)m\pʻ,|Y[I>QpT9gyn&|bwnهğ?EcdD5ޣ_1 u ȝ×М{\H'(F@ljq0pW'2VJYR6ybV,qdڍݧȃ ZFp8@h$1)c9FG{=f`ʄs Ylg$~V Duf3 f!h6ЮwVeN$&+e3"Cx{FJp09J8E*=Z4!<ӏS8r.01 af!4݋ N[e~@6)+sߟFVLQ(0'@ѓA\b`JojAmM/zxV/pC‰ oEtjj_\W6 DŽŅ[ GT>Z҃.0;\IvC5< n:F-H h\abCF_Kht};4g74HԖM rfhae@Ye& %85m8!_zh)ei"] KTt:UZQ],0nf%@[b&߄愇s,]G w¢` PfשX#v_ap[q4'ϯOՐNJRZCAiz %\9k᭸~?\$2"UμͶ ;y=RElUe[م(V !^F{X,Q7w qy|u씙 H6['c QWm3[6%Kg~އ%rڔ5Ծ8fv@ bTq= Q8^@쑽=&~vMmY~dn]t~ >ݠ%]-]:5YIϩ WFid`UCN=bHjC_-(Hv!]?|Ca LCdh7{T{l3\.>ІOMR.5<@ ?)x؃ QFRnV586y&^Ķq6?mR+x98EBӯݭV1^c[I!L6%ZAUKúIEnKlBT|#f-D2(w (7ٝ2ŚP;R~Eb錇a`a GՏޣ4Z|⇎i܉(#9IWvM{qG{EK큋ػYԌS|4aG2_"ډv W:aWa!h0otж;Y;SPؖ_zf۾ nd6>![ 776[f]seOS "͗ +TuKN,cAI8o~rr r_MDF̓SמЎW28lJamkă-"\g{>JˣCb ./:]nSݑ 2?d@vO_ QHA.ÖqJ?.4!E1t`uv?clY"9O`jaS5% B ߫Lq(20 ro۞-:8~K#=ټdgt~_Mޝ::Td#`v'@DCQoNEq5`3n'(,OJ9Va+LY2)(rirohXi ;RO r5F,M<(AԪ\١Z8|Ef,ȁZuE:x =q.0W9 sXީ]gGx*PeO0;SO0 Y> 6J/}Њ.lJ8j\^B_܌ ^?a-B?yX-S :!.إq1l+wn?Ee@=>> eZ/wl/1Z/LJH#FrR\ wzdPx*L~: u!)"ԅf[2\cpG Ru0EUj#!JT@Cf%h "<.D𦺅EBvy=$ҫР|7kv?s;> t dS =eSX}J|l!IX4IDfq% jW3=qEtn KAfrWQI#+͆b{r)npG_s+U.^cMqW訽>Әl^| ֪Eݸw)4vM #{" EKBwr%kyW Z۲዇̂y_u86rI_whr\ʦx >%9:` s8})w.Uc=f{)1ir3,%B3a6?˸ н A_SۃqVʟlXeQ[9]\ m(uH6]^ ?ܱO+tyba\3`{Zdǃ=] Yzb&}*q1(oA-C\F-92?]_xCs`o(?$K'ÄzN'T&Cz8W퉴{ ئ3s Dj16;Z\v[ۦUi>Q*k3TDv} ؼ+a@ { /kV 8a6WPy܍x<ժ};ÊYg`@oˉoKӓC s%I3ٷ9^d`SmܾVp8y)z-Ҷ뛩'LzJ_xb/FgD 6NBczׇ'P,@bdxzJ5jnc!EAy 0e&NqxcVC Hn [|kw8V2!yƗwE"!CYꨅd5jJD]p.oZfѭTգT" udD M#e&Ú#mA9iR3ѥ mj~o' kKH0Dwxeroeƶ?Z9 `U,FMm1%GķP]Q'tmw]!W}qSt oi)I/V5ip~fG양 ` WVN2&F@"+1h5aҠ^_kA}X*_VwftsW9 - ۽޹R\u?M{OouȪE/Q]Kx;sFa7"E\A$&)! ǘkoU7-ƟФ9&5s@],l^ /Au|%>^|&ߨ([@%&\Vhխ6EpQsḦ́?܄䬐n݅x1?BU|1: 秧/$Z"`QD,?b9fCPk^n z2>#.'iõLBS,uMZԋJA04k032z >3?\m!eF‹@j1h޺@omB\zz inpq7FNKgu<\-MlVȊQ/A*>xTLjCP$2 k/oBa-I뺡B )«Ju(l WcҠFM&H/y]ͭ,.W̓5V13Ns`QsN,è?H( S* uU\$Eם@٘J1qjIôK|@;þȾB3 *C!vG%d{nͶք݅n(]lTȦ:o *) d(43HJ>yfl`gazKܮ\BN&U}t8׮9Xk&2[+CۖC" = S* a'~!jOC:V9Q *:1Kmr>ݹYYj_c, Ӏ닓JG/YpdHx-LЌ@ +#TO8=A6i5&f Hfۄc|wBwO&[fS<44>ܽV%k=#%: z]r*L!1?KlpGp1a!V` z}O1r{)m!r~SǾwkE>9|Ų;5R~maѳK! 661B63ʃ 6ە^@R$ȵ%S)J/cE;X@0wVcҌm|yGGzNc)ytEiJ{hEGcQ_yp|ΰY x>f Ih#r ;>zzJA~" geaNlwqO_Y؝yEY  X#_} 9S-6rc=+s.rۿt7'2{Ox޼QyNYEI!r-$~UZ.q-RaeP;qL0vPDޤN^AU(R?S;D^謜AE7[BdN}pwWU ˋFg5{i_F3ޞ@JCBÅM$vVE5%_) <7vHZknKƝ3$fSaiP Ĺ+#D7aɞk8kqb~Ljsr1Ue60)'Yl|Ǚt<@}&yn.5кJ!;pN}ؠh yJcU8}9Z#iS]or2Bpu=  Z*~äx4U#8#$?Ջd-Jv=Ŀ84\,sW$AH}̢Q"h2rsAÿ?_ʹҞc%긠1< m[{C[e ىWЀ6I5Dh R>Qs4V=)f5XFfwW!Y*arUGdX> -g]%tEz"ֆ߫bJ^ f'Br1IܷI4jLUXy`퀝3(m4q,AOfM`.ܘͭG+ZP*_Whz7N @a{Wjck޷Lz%O `'-Გ?ϻM:1Eex@qE w#n5ᥦTnN1@|$qQC]xR05Ս,`6c?~S(K;a,&E4ڬY~ٱݷBǞ֪iŁ!҈ 4U^-M..#XyP\e >˫bmMt^ʲ"]aGtܛs.n唈tcXC4jFEcLSGDOVA+ssH`XM7<7`:LB| 8S_Ş&u;Sr;ݶw RMxoF; +m_S['4%먟z:Iˆ_ƴ<(q.[9;_c!6ҵ4YH{.PLnP#[ RR읈+<A3<졤t$P!=}rq< 5B je%|PqAtN)0L ժ?gTD 0FInN"Jo}yt ?vO"}fm@E%tLSPh=BuGå 9u(ъ{gU?帓"zN:+JYinL޺ˆ8l"R$ gyFx1Uٔ*k`;rA I|Hk뮻&eKg,㫳A.euH%x Tf]Aؙ3>Y/}Pz"E\OĮ0Fl>XsriWk '|g j3Q4D; 'uܲ-%=XOK{uAC\V%*r8L5oGbkoO%7HЉ'ThW,,a5" !z, [A"␟(8 "/6Yp[e,kJn:E9sgu4H'\|(NrnwQ ~5Wkbf@^ KQKwBO{mis8 -<hcnPJ?}6dO/m*jېז ]rJP:^奵|1 mwj'6U3ve8QXJ^ [(oJm[rjTٟ4;mԒБ=3a> `k #ǜr{R[6&pJ@Tc˓0fkޗ>ph "UU[ )p0f&/ax =.M<c+ ΃e,Sh&nIdvW":xBUwN_H13Tb(S K@%,ǧ]G# ?Ü \ U5bJޞD38v~B ;0|Dm X}˺>vʦcۮ}3u DGLuJ`,?Bgֶ&0q!m+ά=D1ȇg45rP Wt}Ўb$OΜgSZk!\ uA`i>׻ߓPh: GJn?rȌyBv:(KUma/ܗإ{01v4ٺA3/xԿdIi )i.ii#B|iECn~R9ܬf?^r.(?" W.'7^Zf<4H,+DPkҮkW*̩T&;8t CPZ]}Me{[o/)1x>^aŚ3тM< Dl ?A{jQz36 /z qT*T{ o2Y,fI/GFTشbidfL=/Ž@n۪a$56%va=5Kr4WwX"Xx07Ӑ۲hr7̖&~#ܓJyFLX>"PC۩[CPh0=p*a9ݻ 9M|yףRXV^1n"yYZxO:|5g׳UskfJRFܗS߂_܄7sF<4NG<[{aaM:DL= Nr4{#/>ml_'9e8 ]̼%+ .Ko0L߃Α7a\b ;lZFklpOG(?}.Vˏ\tdͩPki2}3]FFZD._8 $q|]jcou |aegI#nH>2ƛcᲱBq?>Ğ}JZ+Qʹp&ƛpJ!~x.iu.qC!uXO ;]nE*__Ja 5F2E]Kcoyoֱں̑ƮA|3ЯݓAQ7Yl44K'zk|ZZ)$!^777~]PqV?KiL+!oo;<̡K/d{qҴL)Knh@P'|;7Midw uOݔ..3n_Rȱ8P{Q*ci*O)#[^$C|*V&%h'H sq.2V`=U8E_*@A%)s$Uen!j=i:/$X3sӴD޶v;opyIY2|E-Y)(>B+W[r[Qh" g+ ,H_zӇ\bid\~3 Fe-Vau/VmX\ou:,O2&7ylVUu{DE@{%,OA)j({{ "ACO4VŭdfU_V$T j+C*:EPw%$Ta&/aV3-42Z~Wѭ;Tn츼#G*tn.ih/pg 2 NE:x-oHbw_C0KMz) 7Bi*.?}cZ@e`ߐ۸SO||Q2k]wlGð-f@2]Sdz6fͧu PR'&>? Y#&w-R=Mqg2>컇KJ4KC"\BMt!`|دeg'fYq:U_ﮋGnmB_j9#UNyZ܎ 6[_4TOT{("BwstE5uLoEub!k:S]p/! r˂ %6&F7 -/$G: y _- AjvR#Do~QvcV*E8>̍'0bv㌜|՚ױɮqja{ G IPoba8h]hS&~_]n,$is]nJP?O!lx }ABZt}~Z--o7kcb̀!xV6TfWXSs\S{<׺tO.L]#yz#{6d84Ȉ&rZcB8?kO44_h9,d`NXR, Vܝ&Cؓ08q "WdmjanIBTslŬJ)?a -n9򡕧F*j H]{opQvԀJv@FBi/RWN~Z,Fq)ZSS 2\fkg^pߛT@(b4kxfrRE !oy@.Q.Lhd:SX!I9LK- IHφь!„MBΛ[,xgKNf&ɣWGL8g;e簍<[P& n*N0!!:K1p8j2~ Pc/t;vxH |*bCwqB?"B1J39`L=="\).gc"Cz°-OV%)QJ!%p%uA]M+͎LdI7( ۷b?\bBUזͲĦAr+"ͪTbtx;җA ruO8ү׆Hp3#ot5QK%FeщҔozmc8~Kl&X,F8N{Ki9eN!edY N( q>v< M aJF k~55lcq#n'R'qΞs(Y z [>c6X,n|Ӗ>o7zg_,gchr^[d5L)36} 4F}E:!Ej *I :_~ ||KDX9`\_Ԃd3Dl4#Fp*­+rl¹>GC+(vOGޏ-pb1JЅi!ui` 1@xCǪK)gL;o Flx#p@ǿwW&`HIT#9H,[Q5e-Gˀl>ݣ;2ӽ<|XDyNav p󹸀xRG%(ӫC!Eb5Km<ֻ$~j*ԟ.@tH+aRm\d68de↰^XQwII-o-GyxoXQ3XOWJ퍭P֧F`e8Ӫ/kuؾ6$+;ix|?}$B"C)Z|fɔ$, &3){? DC+ }`%u-6΅2ItڥpvDK9Z9Uju\e@̋sp?r1Uy0a.NhfٸYBsliq*mVѿw>ũmAwP=(nRڵݨx6 *9}< HՃo,_zws8vR8ǒ2JV7DĤ(qyĶYYO 4i~6D+O ۖpXm vk)f9VY9O}O9(r|JZŇOE)Y==ڣg4}6ܕ9xk8J"Πl鲠boU8834Ŗg_+ TV~K[ 5 mWijϑg`'n:ӹƾVu%62e]b:N%ܟԽ:| mԤL + $Ȼ?LT9t?;&^T_zVӜe\9 K+._g,.{E! |]Ѓ8)'ب\yȱˏlՌ W?.Li#N @F&LY/&j?2MFQ^[ۘ2z`;/m2n['mbiԔUB%Zv#5_Z}4EfyG;ƢYtrV~s̑AO|1v+ 2Lb|GY+8&)×-A#Gn2_zAr=P y&W ƣ= f&ލoiIկ:i$]$o^sIY~(8=P< &[^Fe' r'H2Jaϒ_ Sy?nW@YHR]EۨjtE~&$QOz p_@df`xj$81rgYz^yS@: a%Н,qWIK2"du%*hyX}(7 ..*6/h/6!f0R,Vu e!KR)VH )& i5 }؊&'"-R9UQ7$>5o^'Q/a6&ZxX N3D:&/AAc{ItRD;o8_^8KvPK!Ebq=̜"c˽}[G?KV́W1L }!;E2~|6Eun-Sen&dĽQbRy Mw`-kIH R%[؝SI%ؕVBVhC:*3gK4Ae{Euκj*oŻ:B9<(umrq{ګlZr4.v [h*KX|_FegZ܃UAbwQo oT_ܾ3#ٰu~ճ2=mS"Np a 'z`3Wq9!Ј\\]6v}x"m`ӳ-J!!|w ;&%2Y5r ns)h:6[Y -0 bs%E$ghkq T2KBϣ>;`L2U뛰Vu`|5^zF1Y3\Q;@UN'jcGD ! ;h SfЯ3AJZ{.~8cS2WJV K&QgAVwe73b6-~qja髗dsJlGɖ˅ }2>`TZ )썪CBQ>CpRm.q. ?jNN:KvϑNa cgx0:1+ץ=Вc6yg.Xn3:xU1]7tO_u/7A|f*^N B JRtCW_Љ5f.9c  U`M6xWLJIAb;1iBF c"O8}-'pkGè1DĂ;@ܔp6 % +d;$B 2H;ݒ9t{uM*g䞷$>Km:>߲LPªd"@l# 0#b֤@ z?{(;r;pN0Gn]߲?+%]ׂﭖ[(:apM7Qb! MP1yy=lۓǼpjϿVImz: 븀<(Țl58j_jevF"bNQsTUp-mgoa"]۠$K!Z_J2JF_)O XI xQ"[sWݞmŻ yX>>7f`A6-0(]<0G[^3j71(WM#-s+͗<@QSwuBܑ9S@^NRT\0AY1kMuhϵWT>B9orqGAk«A0\09jZ$؉M: q@;%-R6姫e(lS_!mv YЁS4~k?1XU͜&vT߰FD 4G%BF1lE2[PxŸ:taUfBE\,ޗby"9"c- "MP,ܶwϦdp\`}[`[Sr Ƃ6M?4C(J.u A* Jo<ȯ/5U 8NfHs լHD4>>Y Z s[-ex{堩DvU$"(qIDJMCc*Dh: YT04BA9B/냨sRh=٧;eoЮ03v\C=zE1\t_nG"3rmdߚ=2?px]lEFVf:eל @ !ZᏵBT~keO|D rx 6%R|СuD[TMۤqB.I㘥NmXpL@BD _ED+w+UiUh1V QY9V-37ZA`Z*X*CgD*蜞E0O`ydι 14J/),xA8 ةX<Xw/P_n|Aȩי>H\ _\oBad+t)dc5JSۊ۾Tղz [.['WJ@C 5P4q6ˢB-myP*<7c|up1:W +{颾|A5M_NxBG>#'\<-^{W(X> PMkpmMW? j\2=ޯT5E* r)D^=c ?eAL2bh^>,2Ply^F}Vf %aG@nڵ?%כe9~`ufvXvie Cj,~p`Dl.ʷ:7a A#\Xz]g(5?Kdp; Mu~r{'äp?Au_2ՈuvH,-+G["HlqFoW51Pn z;B {5iqr~O@'GP^-7C8;ggJM H/7fju魀7OFՅ1AO=pŔ4τ(7Qp0b̜[T&>^pףWRuhk.9|lЩD>0FQ#7O8-YAH myΕrtA!2g1Pu;-ӌxG<˜Im>dpXUFUKXJNO F*( qS- 滝qf(suw#Xɮv|Ĥ]V#[5Op)/ ?b!GR7üZh'땚A1m ]o6ax 9[SL^!@N\|eP:h~u:zbMxb&*no:,Z-uqPލGv'\dܘޗ+tY+:KC%j3&sĮ́({qb0]H8k$l(mA'xlS3+*ȓdP횆& \&&܏qRNbyQCբv|bDboh=t2usnFqLn~@8#\&^'3M3eGЊTGЫ_-|1NYTWd-0H(J,[揲>Pii&T~[!ᷓTB|2$5{ƅo%uxtFp$n L<tfɷi*A{Yn RUY%1 OQx/eLrޔƇ=PIM-$~7A*.i[# ΂awI^WI?1\ȺUC-_ĩd%|ZxzvǪ^AF89JAUȵX"i%~|fCr WeR_"^XAg s)}i@tSokeQ<'7ER- VBfժz~a8S^2jaw7C*F(Ta0h4Ԩ5r#.:Êx$wi *ZaIVc8pư xHFWk5 +ߎYQ1dƼuZer/o4c3g٣Q{>f aP68 ,PW \s/n>6*HDh2 'xV1@[;˿E AK^`S{0~^6 ]cQހ^5hJsNJG\\s5ڬz e;wmv# GkQ,}|AUWDF7ywHתqff2o ǛvY oh/~J@ ņ*Kns-럨{]nj0SUȹu?ݓC:]˕MHۅ߰!7XmҊU%)mSx9yTaj Pdak)XAʺ(|k4]M%HsB"P).Ayl|6 pH-9Ǭ5|+v#.P$p,}:V=:YR VX5@4ÿsߒ]ͭS&rs#nG~|Gq+i+lP/Ѡa|~Z{@5}F 4#/Q̮#qpiO#5 gsd`T=吏P}CPB NoI>f|hk593qeaEPwj$ǨLl-MŖ:j=dnwc-^~BwRgdV*<ШRFA|F0w'[ uSg"SMlV$ޔ*oD=%-H ;u&=P4':|ڬ%QQ SM!44`91 Ҩ0%U=r^ kx>_bㅂT]D1C=Ɉ*8ޯ1eV\{Wi`_ 'ge0il6Z2|d*݄Mhe>=H o9BcgYZd1f63a5732b47bcdd9bf9211555000ffbe95c8734b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 852f48909419df3f6270af6767789a2761eb019b