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  " ".v4t| ] Circus:threads=4elapsed=35.472cpu=127.752gc=3.0447zXZִF! I]ŗXiɟH)0%oHt(H!=f '2w |.Q2D[1]o"%R|$~q>El% cpk?VCw Z]< _>1hRx*N3,RGbes=ڵ>|[XAՇiz.u̾a$6C Ŭؖ੨t^rlA.d<㹀'tz1~q㪻kvifOB-V 9b4: e6DŵhY&~[i YᢸU'3 Hg8ei~1S-Rtdriw:X0fgPޝ..U( 4[ ّ$Eb4rc1T|J=!J' ;V8J5S@M; ҇ܒȬqAMm˯M/ z95={߇?̞L|)uƥMv#iNDRQ &jg=p{h0ρ95=yą zBzzt|doCc{q;%Ֆp R   Circus  E*&DrRi.v+&yj V* T(Yy{FKr߿1rއg42bj<[ېjp&9j8t iGRH㊙[┪#s!|]H.7w,oG)5 쮪ϡDYi҄xiE@qiP.^ЫjtUx d0e4RSʉ iaidh\D:/ڜPǰQWVC':0aJܺ @n:ZN1nl7g Ny2ym<(铉?ӿyM=Jm D 0ξqĐM9+xOVB ДXĈzXsQ:\\*KH9[^{X:`2΂`-"gU@>=XKgZ1k'/55c )wj-qXNLe݁&l҄&O|&YAT½y.N`! =0CayRu`-:ަJ0mW;"?2wƅ((0v 5.M|$3'PXyA7ΉD&HzS l@^bװ:m36FkoIFV礛A|g:4l, T'P]m5(eZڅ>{uy@~!Hfa T'SYF>@kv%Dh.$9~_ ke¿FCʖtu-8(d}.xc,]SZ2!ȧU¯8Gʐ53Z+qcAV'M`nh?~]k(:nMpV%Viv-RLQZ=[mh:QB* C"/+ărD  7I X4\3߯:,~fX'I'+,"SA'/x{-QyCٺJC*xS̙pB&bh{jF8s1qeg\aRo)u6!o~/ӴD,KԱsjmڢ6L%uE@>CzتryFMs9 ,{:?:> ǻugN:r[=GDC)<,Fabn(@#}ZɑK+/&Wۧ\O~du5#a/V|0$y:Q+P)lʗTf%!R-.A>l)/Z9ڀͰ" }Hrjvj.Ƭ loߙU ͞Hvˬqf6Zsx|lZ( 3[:.k[ƠLS8f(ŝvmN %rB~YRgQKA S\]xЩ2zƖ?p'i?4wfHrG u' 1}5WnEm# RbyV GKc~03'a'|s_yW)j'༇;x3FBdTG aW^U&7hWqXɦ$Rט UF+ݻ5~tzbSϻ¢޾*"H}=i{[XbANP+>Gf]{kBdoA}qv7OvP7)ɬ`܄NVnPL /sˆ@4KQ+CvvTk@Ҳ; 7ϕIɁ.PݑN qrKt=$ HڑpIY@tGyB< J>)LfM!bqCED8α{y_*ja]NS0wBA5=5z?kf笸AK兯s UPWx';ޙ#h~M"%ewQR-jc|膸S:jg* s:#Zp76Ğ6V3{~K?޽]9[@ )kҐDNL|x"NeE$߾vBU~WG"ˤDDu٧=4w͓zC.}sn8CvS@Ħ6SLxE^e;n0x݅{䙇CNzy?'2h?=wWlDܬAR՜tKK=vJCdR uHϠb=9I1ŽE 8o9sbLBt͸mPTFR6?ei+aSd (|+ nJb朝t8T!kXAerG`;2V}OJBE`⏤w^_Zp?6e\^knTc9Z؅{eC c] Dqzt/jwp//ZSc32h˻(I(oENWR䊃>ل@UH6ȍ-%4T{x:־QKsƚ,!6no~=D.xvZ ݒ.ͫ;CRWwGV&{{`Xܘ Hl{*Q<.X$87m'ҿq24wPL6Ғa#:5ؾX?O/]"xDk%}n@![hdgNî\z{kg tGy Û;nH7 4'e PuԽ RR͙TH7toY5l-Z]DĄQ?U^6r9g47!7kD)0&$IDvwEӪ ckY44St췑$NXI$VIL^҄ixN /+,El&|[ug'pE7I] /lohs)jϩ*ϭk+P_@0EVB%KٖU*Fs&+(XEy $?jЍooЛ#0b>mY7ZXo.8a9(9нRD!\WE4ߠK׊B3|$9 [mm1GnL5wPTkW?"U&^ h@/DAuSP!Uu}r$&&SvNKA_Y(p=*!`A)vMr j;u\+@RZ@2Tt1*!Nrtz9&ߤ%qg@)Sq]\\8+bI񫼀Wؓ|r+YC|/ <<Ǻf(%w-Kd iBi|iރ=Pg_c;d{Yhs ,qVJ^!Nq^{j^.ߨSKd]^5S)FP(S#-@vc^0]NZ[l߭ V`GfyBW7D;!Z6 0Ű%j)m((2p @y2fUTd_15gZyMckۿ;\[!{//hckBh6V}ͪWe6yxU@"!v̐][,YɗYCo ,""F $h=\֗Nk/ȪjrO~z#:`nYVtGB$ >\#tLX2=ܵRLŖYa!lvR`P>u~Gc9pH(]d /P?)j^adM/% 1?(sgtM@w[VQP WvNJ*I5 *8s[n.\?[ {H}ݏ[!cC7_9043!OZ6VWit<>]$"H (~a]!K: tAWD _3xO6?bl"dL$^ϸijd2x~7 KTmuKN)f% }uMNO{ yU+({#$'Ձw|`lQp`%`}J͑F/?ͻ D,jjB l8KGPHvnh~?F!LM}V^z'DTafB|K$N3va nds&jÊq^;n[$T}'`ł[QP?/ P(drƻuPXH c'oz# @eb}(vhD@"ikK;|ͦIrLO1<5T*/ҭ$6j{_ m)"PhT/8U09+c#`$z!5*#('/Gm׽kӃ$} ? ^G;-FYI-[syi~D`38C"3uϧBuL;;3Q!=Ĥ}X*Mt,P#tȷKry )ӘOH[2BWTA}03BEĤKWI2W˒yz}9Y3IKM'C\)qj8T4Bܽ !)XgHܗNL,%pHŅJ0XՍ+LUW!0}!X#?yNE7Hq~wAk#+2p6 ޢ'Tru`w"M.W$~DZO/* PNz}tc> L?T9,\D@@U`U;Q; <(#lOhZOߌL'6OihjHǀTad#%ɓFR19wfq6ڐԃ9mv)oOYalE^x Ȩ,q`BF|o'z_Ѵ+j=߄5=dC(J >:z檣fyšS8NeR vf_ %!O;J}]/ ,dApmU5fKT|}3lq!;~pOQ037Pv!pa24g 84ndԳcl,d$^r@@^0MyegDtAF%[d0,gӧp.l_>P`Y+gW +T5I+q .<:`tfk`sy| z+1M'\J@yʌ JD}U<"C%<ȷ|yR1ƚ'c[>!2 IFEȠgz(Hϭ(gzÔ 9B w{T[LO&~<-l.ju5O6i0'99V3&(}JTZ}jpNvKbE04ܯ$ȩ>NιGB .IqjVtfL/ZPR`ZsΛg(eӑGS;- X$RxQfo tBe$xe@&[3H`$;}4dd5!{97]:.d6/,#zHtz_3$C1jGo:zV؀1ᨖ[oӸw0scaЈ Q\]b6>hmMTuܭΒoOS=:'NuHLJ`oԕx$.P7n y9q}JwX"o< %bXiܕSKq JMX:F'aRo2H Z8 хZ:rg pJc3u {jkpץ2t6 e->_? DԎ^`PP/iwK 9*mNM8Z~V1'ZB9 R.*QIIbk OMuv5n+2sPh3;A2iK_[4Ld}0Y)O#~@&W@1$qcynf%-jjv_LJ)HTԌ-k~O3}늱|CXI BoSds/-!\m Mm{}F[a;5oCH!f1򪨶bRGG=IX{'_3@LNs]+~e<qfliȯBhmqLۙBXV"O {elZdQo5='wI_i9İDtf0 <G y@blq2Z 5p^Nެ(6\Q(yӅ$@`$qp;ERnLi43N[|;/m"4䬼&8uy-J4iUOK\y%_qChKX8l}p[4NlC+O~TF)6r)I6,Q'hP35ě\o|1m^/ EݥsϏ ҉#A] L 8F~K܆50=h4]F]&q:D,R|Үq,݄H%0%WcU_Kbst y'݁JvcŢZQbg)t.Gr I͈; xF$ѼZ>.yZ` K23 ^3T."Ó ,Bo#+m,ZhRrH3gvIQ;s8hзCDhZ>ʼ!n~Ox ;r#($&A,Ana|+$h~ ӐRY=sHl۸I06Y2A!p殻V:ZME~0 (Mft?_ %z\a<]tCQ:e_,A݈%t¢)ٮ-wPR@Rf{Zv lRXJߌ? Sxrp!q./Urw[:Z4G.siͩs #G؎C &C`KQϋxϯ>f7:8\eRRS'$2ð)EApA[ay}0fCW*qvy-&2+=`[ޫꉷR| 3zV a-;fch'NOK1{~6߱AWY`E>"`pyO+x8oSH"-:puVy(6aaTv9GCe_bhޕϦW9~Kj^P33c3˘W2ԁι~yjw6ts>Mԝx+`0_si#}cYyS D3 Poव/ߊ` Q:^3@X}^ VԬ%(ݑ7[ 632D<$O#2dvR,V D{ږP 94F܏FB!'_[ڊMd3xԩ`3w/75XEGKw7i8(wS(\ּ-ɱ !-pJ7wx)yDV 69:E%Jur'{4<#6BD`0`{`% :R:=uz//#I´@u XK+<)¬^ݟU&/oWb,R*]mg~7fxWt醙݂N '7qK*˧lOi2!EF<)̀o UNيO8#n~OHyu~D B 0||@mcr,-@õ\ZN%Lk:7gkm{bo}LH=R3*)0Q"XЁw6DuiJNjތ3[tH3l̿0Wβsޛ\q*-H-'<諆股U̝WSY's*? ѩE €;n6>`g\-ݴ6fX? mb~5 EekcUP0)}q͘lDkKOXf"s|MどZJ]JI!,ئ"Y}K~W wL;lݘv*RD{D+͗ ilK8ВYeRt|V /K㼎kJrލk#k*5Z9Q]ZlOvd4kqBץ/r$[XC .`T(Ҕ 62D M]l<%]N[B&&GC2CnNǾ ~]Uo4d5pZyUUakWUz޽YCzwQ(QUYaיCԞ=Źx AhQډzV[*oQkÊy}#f:>T .\!ant =B~濻Z50F4=?PŬ3Zo #zÔlj& Xޝ]mCHW2wZYct{W4qSKD08|t8erXA!mNs hif$3*246J9: iI,wa en,=K(134p7X43vK09cx_](+i"b!5P؞+u?DWc H8=M`45F_wuN?w qrݗSg~8Ԟ ;;o2j6Z)( {[ږ*Sg B'5W y{Ӷ+*lz%0S.%بŽb7u4P$F%]m2o]OÃ#cTb8d@j W?G[C6EV#^%0+ם}Zy3dyI|,ԯ&`gJnr'?4iѱs*cnh؟I#RU6~*Hޔ~HƼ`YXILJ(i+y韛_!R)[Ӫ2epָI倇(Hwd;xRy%mV8 e(I;mPc @Qz BnPě2{8 B끄p${q`/Iߗ^')1)\}@),CsHJo(v=Se/u`uz-d"-S;-&u-a+RN('Y[H [uOe1;U}Y{g\mř\Ax66gzG']D-UTWY&Χ(QPlRxNe,򗔩wIި2lI=h$os_u'X3rֽX4}/vsrsM(!@K酶8]^H; 2$CσMpydɇ _PĽźmH_]/q)lDom`* T|ɝ{aPH+HH*`P#4)5 \Ed;6z4ЍJV׮Kr +*g_A&"}yI6"hv^hhi.X۰( ߛJ|J!"3Rq Lnh!6iB* ;H1@[>fkEp 'C@ ߉ҲW3O-,ZQqS]G=GVmV# "ML0E.%Sx+o_ yʎMuQ\F(ܐp GOik.J|l[}$eɁ3ğ8}PJ5Aaw4O"ūfe^xEPEIGkbrۀ7ac!s&";u߿ʼn!: s Z(빎cOq{x=K~cY<)g.ICR&3.)|QM22㮵}"B25sir7hI8 ։S?s+n2=!hV .B8H\Иf6;-7I^VteX\7F$;V0T-ƺKޚv"%~߀ۆykQ b |LXِ} 2Z,xr>TJԬ3 )K2duy5hɼ9 xrqWr'ӸZYC~^.l%odxUOmm5Yn\U}6VuehD'yC4+XaaF WI3&2b!)b[1 P#.'d=کU }7k6.Ŵ;:h6m&SR _< /n;%d OAX>B:,Z jx"cPfW)@ALyTIhmP FGWτs#6B]W i-{O\e,Eբ-*Hȹ,|_ұ"v=֬f ROɜ53BKAAaYDa V|꒴rz-XZ?k SDvR4$GCwj4Fէ(Ca!%[l}rb'S4Y&rBX6ꤥweŝ9l|ZcM)zʈOVuu`Ȭ(nCA}n z/l*NI\h2ADgRs ~>vo!$>;n[j$$/f'\NѢiwPCφ؅VbdEj^Շ yd8_7Z٬Bh{(S@;7]#GڊjJU\3ӕi{V/Wf3S>$Uxv_:+z嶺s3Y cpU:FQ{lo艹RMOwY =\橳4(t.WѴɶ]D]Q]xvmgd _hjCӄFCP  ῢ]l۰{ohaaY< <0« }Y޷R~yǿ35i˕u|&3}Sv0fdwtU{_ PNG:/rϔxSpS32gƂݮ ;,}Lulr+mhc|&/BO;k\֏:$u$r $%ZHLPrAp#PG]ɼ&ڌDQ!4A$jٴQXYjS7*\ Vs`>8ucm Nq~}Nj|*!b+[mZSP8\o۾skgfzGa/PybA{nlFṿ~bc?Z}q*-kBKFVp~at_6mmm%o S+}.*~a4qA\M$j@E4e =~]15j:+O)nY{x$Rqu&C*YϮ1 XpK0lȼ-sߵ{8/* 14{(:6 pYf&Ի4SPW_+J~ߙ6jx5w9|efa Z[lk8$=DǢnh%KYL3'njW"|2 _(\TN.-[mdmv6ZH+S=J`yW+BxpFy[PMRNh-c&Z%_+No]|/ezǓGGT"z k9k_fk Qt(ѕ):O$eQfFiS=najGo4U<f*3m+fBVC##j!$6J*r ӕuİ=ִ.R_"ÌneIi؏h+dC )!њԮ;" cWF)uu6wۃ ߵ_~$w'"nI?߯evXᐴGC/Hێ]{ a9/ :Cg)r{k%NU'8/FQs=\cC.(+69Ye-+! r(b[r%d;BK]>Չۿk քP2^sL]c⺚dT@8Kt0)ˬ]sZr2Ç6r0~ r VޱՐ5Jjj"0z*pܛ?BsjvLt?ŏc/&l9-Ÿ́+/YP P{MRJܫRO~"AP(!J7/~G**E/G!?7h=Pgdr<la=95O/Rda)C[㤛 vt^ xľqdyLCn{ w)ʱcM,؀Uϸ`^&P 9J=D7Qo Ȃ_)o`En#RN9/'2nHT¤1qmW+6OUitp\91v|d:d+΍@sj(F`&yLNd1;I qD'}W]M@R^ґs'f_#@2њ%c!S`K37LoeBLH"1;N,(BV÷LcPBG ;5Q_Y=BybTY%WYJ/FQ`7l+z4'IېH,~S`6wq5"OjJJHN L e%āVcp Qyr}dEdxIj{26341YkM/8%E58a4vYR1&{Ay tC3SNd[7d钂--*Û7P'%֭>qV_蜜τWjF젓ŘMA:s /nsvÛ妶] *CgoN5" 3= JAxl׻"hY(vsEyAd*c@i|Dh2)LHQjcnYה i)|t` 1](OhܵW9跊M0wn[c>D4ZYHd)9JX Rn["+/5͇p-w?70}mnaej0]@dFJEj}RNgK@t7ԋQ %c |~ŗ_5o(i}LC7iӤ>D:Xf lzGCU DL #'H[VB>iS7 F$Tl>|}Q6I)_*)WP0R pHy7yޚN#}>D]]^3lݺbLՓX|8*$N8d&/ ƶB]*gv`H |#`E؞Ę7a6mC5׉|~q xH(w`?hzf%ś"ݍ-_: qʔabPa 0[<ʚTӛP$vQjS{m"FU);>_)V[!*K ,'wm ݂QXH~I)v)33ml[1tn+4Z~VQq{ss$H[9WUhTZ[H(@ bGF/(pFgr3[rVIp'RJa71 ÖNx[5m=}\3 CYy]#{`1y  ]S*v 3R]>'XYe)WЧqs5a}*.3T2\3TۓS璲 J|z\B$z c/̼SC/+RV~Io hqܮgAg>|[+2MJ-U'èxX gEZ d6?;eZlhanu{WTȂEhb=UC)*&~/^/B\.;QRGv'mJ #.GoĈA]l VQ=RY-' ˪inA2[Z+aBRN ΎT=@b>4Gfwf]}c-⦹WRޞ Uj ͢_> tSz~bi{'P1?*0('ך1tl.AA2YrsetuTZVxO*H8w-ra6h/w9>.jJ.ݮiV6:X2[8s<~J_ok}@5o`8Χޒ`M'3lͤhUOLCF Eջf?cpJM z"T S^*4 ATRH(/ zg;EAew"M7Ȩ TS0y)X"\N` P/k]=<}‘XW.+nOU= .I[ }䊦|ۈǫ=t8Hf'w1̵[\;u?#8d'߱xwU; ;>!eb o5F#kw9 < WԮ7__c!Yx['im#yF")׈)>ĥo@,8]$Đ~+U?lHM=~,[G=[Phd-jEoh!|k4[3UyFN#Lk* { Ik/^YY2E#rb .{DhiZ_APm/;yg9rيP~M4 Q;Bs),>󉫨2P Kψ!9a-y9l ]_HI(jV?HKm.`+*-u1f{U F}3ع# %)yc&6#U+ICbR:g^tҜYޯ\l"%59jrGn(m qٮ8+` ]vyQz1zZldwh2r(%+tE_`1;AO2QcU~uh7#F'Z]sWz)0VWeC֫>-+SX5\;ƛQsJ b +gw&k.t'o/4(+׆tOj[>@`y'%!LRJaYƤT峯h4,Z5}\5d-/ ,o'x x:̀*1ӥo%J܆ Q;W0u4j/O0۰5(!5<=. Xಬ)d2VB4  <}(&ӄ~UJ3G5I}f$fs&IϟQ<ϱ&fǃќgՁ{51?`'l;f́q Dg[D s<zY'F}{͡2[=bӜA63Q"^meqk~Y<Vn(pkׁ:CML]|KSAycl (Oλf?61)*нf]k;[u^~f `m4;,G>-@>.H#ID8_:)x;HJZ9ȉ<]OJbmYQM-yy[&R,ˋ;4WsRk/_1l8kӂsbj6P%&V:Y׊[k+ f`sC-8iUU}\Y:!|TV&ZfUWLF:jV$&Y`3[Z1iB~4#w:#ji3!MTe|!X4h"ALB\aO't~>i`=e~C 6SL$[eyqUq0֮⺠9_k ۧH>yK9[јj|9BƖ wbI*ZH3J"sx[1$=@m)s~ߩvWO[`; 89BRL] QPR:{:oP3Rl_V94e|.%Ƿ-g=]yRۃr@k,Pʦ.g>o ;V& ]e^Nd&xy<#$(EaUh٘t%(iP4y}@uÚ!Ov>+H~X+$z%zdCӊ.Z&K-Ck#^MWb:ݍuPO[sYsA -KIZPWby/2زIp$ń >&5ǬsnȻvز!*Oka;|y/vKWT94M}}QN[n ZJk-lK6&na^ڹ57qf(3֔䛼y96#絸c?7rbyQh6RKDl*G40 kяf?j,hȃ(Jpq^ c|N9Q=I+ -Z_)z Tu%96}Idu'YcVOE\?hp~QZū5< غ9ϰb zPH^q0z)|I6 =!"^' e։GȄoS4>fJy*W83o״sZIH㝰變@ sVÁ:xkN=g%GLα|!/x>F2,_ 8+aQf.ZV*WFBv3X(×jC(NS҅FfTےwTz9^T쥺F8T`bPJwzT~O;OWs_:w'g]q6FL LH %G{hŲl>_@9P:҂hW?&wQKS&S!lyǭr~Xw" |q"cyڄ6[`)8S,RLM3rQGQfB½$ 3p(Vpl:w[T$1~`A^-w Иv-g)/U d huLA45Ϙ@Qvqt]P%U28 3dk = .٤+skv0U,h:7cm2WIwp3SˏE<0p֤! sVg+j,_uvBr#/^Zp go8{3@Z,`_d#O+-L̞:'^Mӷ۝0+}Ia=l{ l=Ad*?d[[q1Iי [O$E!;wz܆RYg` [nov?_h*D}L sh8gnZYɞ'Eqi&k|oULwK5]s41;+LF*qYMAjɟN9RrO91xWmx#ZI'|i!88vA1odO'[Z !߹!i``^uOX4TFx~w6!/ A"Ba 3xHn$4YC$پ~_7k^_Y#&]Af ~ςgTG>Ԃ}x6C*<%8R#k M(_rEZ1?`e5%GɄo"S?x{d\$yλB6I=0MA- uZȀ` Lg~fV# ofr1S%lCӧ{C &CZў\sJ8 ꥵ!-//M «Im`'D wIa W@1X~i7EyXoæhʟ"Q{ZRS T#E,0sVdM `8<刢BFd7扱J밴s~tvUl8+$bT~N/yW7&P*sLH|MiPΨTʁ1.;2=VL ~F,SżrE&b7U 9n QY |j 6 y8TxNu<. ڕ_520=d7sR\G!ꄫe!Jȏo1=x#$ JyDr_lSSxn{(ɉ+,[H05a<9k_|E)J:ڞAbrja^Kܦf:S#[XW*9:To: M?Wxǔ!1U.>oFLl2y;/J ^ꏄB7[Y5myIS Yg1[XdF (!s ՛\%s B`;g4w[PEOæH6W;diW}-0[L8fYa[=j|4}f~%Ŗ@Ӳ;شOar"=i`8H\.4ʅؠz{$;HU:FIC&J~HuHyONT+}mOh!iaQC %25}ڋMHh>zz~bYu*/ѯN6g9sV J_[h8/ 5x鮃B[ 3tg#!"!D#GgDAQP98h A`Ձ"i}&+q7&D]Unӱ8t6#h,lF3ו~e\{S1*/q!=,`K] GϮ/P_*3kwG(۪xV)ȨFή D V/V@G\2jzgtV|oĭq8{}ɺfWZɤF]:w" GH;[@~世S [fg7pg HZr1:o38ƢX`}3n@]lѴU"guvXL7 OxZ/Q 9k䃼5҄S)`#O9W:5<.BO`s?qNJXqd3. s9MFnP8%!+i 3Z:-i5+%xdPk ,m8mwH}mQ*Wi\eN%i[FNľԜ6L=b jPb_=k]M^zeHGm St'P'LODyNfs+SɿLb>qBcBTps2 T{vU:r#"K& eO}n~]ϟ7>웅j)]._2$}sfT3`F}kHf vRݓN7쌯RH]e+t]<@9jMaZn (u1x$~;XN=ߐi_'NxGqrr(7P,S8Tk̑^C@( q,$FK z O%δ雄{Gk֑z^MrH11W11$.vz#, eF3Z!Sqg4*a[C}仺:Rz!و2Ԡc +BvNI7Բ S UW=n|2S{>ΎiMT,|Fd?!5!ԚE6QQ#gFjya Kf.+kuw O1fuaDBQsQ£Dd2}G<)H)`~>^˳}rYSesQ(ߖtyig*WG$lY }fCy{/m'Z^!G:;,͓$+ZI˂~e޾VϔăЛuT$ !2ކ>VrJ?$QLH2t2X}t ν.<ʌ ~FW8s`a_\\A-1.w xZt\B[t*<Ƹy$yGNl l0{1]ʨ"p-Ò%R=[M-> {"Zcˊ9Iyx <`j.L,1HyWᱩmw瑺R I3P #f1D==]~ Ϥj"?)}ue/JDƬ+p1)O//'<:G-٧aSߦal?OB.EAMn Ž4o:d^j;30g~#|I% w0 )l) @7e$LaRLiƟv{uV9ߖҽ)/žkm˩ԪiNBfz 6knȍ9AВm)0:ckʤ8LC/fҭil H 9#BmWǺ-!=|J=U;ޖoOD~ks" ]ݪ"gM&%]#H;׷B'ISww#pXW$hwSn!"֬'ޫG<ʰ;3OU&d!5=d[8\Q R6K9]ݳQn)RiA> uo,{]vyi׉UkYSt s* 'ۻ[MFC*u:U~ zr_(/3NnM_9ͫ>tnX=hE!nydMda#Iw e'?A^T>{;;fmO]g7){W2&iPsbq:g;,$WݜU~5c& h0ׅf6J 5hOvhiJ<^ܜ1IZ{~ e>oSM'5r6;|, C_d"Jk8bh-LWSWU.j*2 ҆KF=j:4ϋDzK7۰MN1 )|6Hqΐu%¤On5B|ՏLX1֜=}8 S)z{Z(")L1{)OyJjK5JoyǮR5 ~ k?F#Ffu(Zj>c?0y@f?%%=Tmn=iQLWc4'u+z;͘J2Oki!:4 ȷlqP#1hGYV Vp TdՉ%WyǾ{wB`tݿhwdi/V.^5kFr,uuc I p9@n{u֭MWZi?&3WuM[5֋wUrNv\k E8qu9;*)$4pO9Gy026$Z[˒/Y; Ρ\8o,b83e|t )2u9w>:s?:H.8d?'Ejf4 qXkfE2/h:WrPKI(\ ( sPW)'Pttt"v8 v U&1w]tlt>0FnH&Qu{+pͤ8(]17 o&Ce}JRp][I|z ?fWbM5n*Mytx4lm (0p)RMaZbQdN J03+e|A?=mH6(zF7sW [:#H!J++a#&: 3^MW=*O=OPc2;47*ms 0/;&+#} jWG=Ӗ03| ;}-u 0&yz<2N WҚ.6UM-Э ծ9>Ht3A(Nvwe:`㭽s"H*ʸeEtBP5.]+&̈́F̻ )òq5flfdFl̦..YvH=eMvɲ_Hߣ=[jo ٪@$gp='ԤvsS_/N<ٞ6A'K8JMRSO ]H4זܔ˴mNI|pq~NtK8&*j-džΞj(bq$x41u2h{x!DX^㾦Y@^fgzbDϊ7 KR[2"IwV{1ĻJ5iه_.2Igp@=0]3m*>طH++<]f &3zkn1QE|~$3CTGɆ9 hҶТ/\9qVՙ*pR=10AUҺ qHށe>^)OH8__蘆B g$;ү]@5 Bm2}5XFv-.PL[HŝZ)vz4mFN |~ڸQAHrS./e&9^84̜@ԟϿ# kXbIΐ'F=|~bT~dHDm*Ұr· Ù zrwyHa%%'PQnXշ!J8늂U>ĝkP d}7 EeOb̠NiVYQ>Ֆ ;K&B:|6HTX3CfH4Y9>6Y6F&&f!wޥg~u *CdIU풚>D9;Ð_" XWc 5lCUD'&s^Dz}5B.D/-тV^ נRBpO&0+jiڕENeJIxvƫLM^ 挸yq7bYh'ro @Tۇ$dfpӇj9߬ Ef,m";<<*S,L,(lR*V(!.)t74DYlSY-U?stQ}E ;#Y4ŁbK6wc;O'b4DAGs&Ijn .=g JTӎʥ_~qbmQ͐mLd> jQ\i7N)W4uΆ$ZfZwƓ4"?L@"_wk͡I6 y C d{1':=\dv0"U%/553YL!OlV`\>t pF"e EDfWuM}".!L)zQrQ#pfĉ1Bk@+kNW 'V* b`Od3B IZɜ\hQYͤ(KBC<{S8hi#de`1J4^B4'i' kL d#=D3N/B`]:) fӷʲV;?!7x",S $>d =\Y26F? ybjledm;b&ʀK`Y0  Z+R OΎ"RGwvȱ5w\'6nf$LP*v8o{Ӈ#۔9$e Θ]a%f^mut)gw)kIz,hI QTOXyYY_[X˄}ݾu`C\',-تIEM(e)]&-W59돋Bfp16(R7cQCcE5,#0` WMBkMF5z~'OTa4NE7w~( AvP-Rnfز-/9X ߯&8|"C2Z3UynCL A\=WHeeJ`9eD ~ZeO6ulij@,7v^DPa~9;;! 0Rd7kDgYZ7zXZִF! d3]ŗXiɟ>+yC, 26L`[38+LXn1ţC|^PK1n_Kv#ct Q1TIZCx|bcꟑNVCTMh2ig}Z %_U݋J)rrnO @aFxE|f?< :H I/y94ti Ut6Ek0\սXZPJ3lngΒpBٚ`1ׂIp|~UXYu|Esi`fHR9G{adgYZ7zXZִF!  ]ŗXi%L&b™$Ǽu?ly[7V =us&8XW n8Arب(]-H!j9!56z2F,B18" 䕛o$=9F.;pRQ alɷҺM8wZi(NV@dR2<HU䒊٣j(J?}!3vB\Cp;ӇUJth<{n $=abӱҧDLBԜC{Ƴi((ecHxlkm|I WX!rWەp)qv)])o߸|Wz\5S(cDDidH$%TG &FM~EfmCS_4T>mYާC|ؙᑓ1V^"v3 4%UGl F IQRMU;a]҉Q\"}(+P^Oeb^Er~]'Ǡy(V`h/#P h^4H Ŋ lRp2Ƌ::< yʬ_ˀ*$wNԲu\{lӭ(^>5"/j p+|H9_ ҝ@Ok~}4ugb/bD,ܑWzv_FAP:_m1Qb,=AXܮyk+.&$:8ToIE h"Lx9oo]mXB!7*k 2zpK/!7}!+p_[χ5`p0%Cǔ9P!=]/,൛q+toImbjo{~. 48HrO-Ar\,Uֿj&Gyfvg&wL-(G"/֌7^J\fl F S9]' ^ݒ[蟽*1rFῷƍk*=sZbjZ@ۿ ݺ 19'0FbЊ2d5z 2XSJRZ؜^xitf {F;7^W$Wv7Uj,8E8)tt/eZ^,*6p4V.L(j&NozXU1mZ^`٘ViVJmj#Th)1!Hz p G}&8S+ MqC`>Hs?a/ v/9F͂:!y ё;iyd C$4 4B:>O-B%.j:XwhVZOͫm$%HѲm4wxac:` E.& Rwd뜮 ,`KqN=_kh>Ha>ؓk/"%u/6 ,qF8w^5  /E8~{<`67rՇb_ZO慿/nCu?k/>*|@$]}uy'طYk M & ??O#e7Uvcu9>>j\ cӇM] n@+ӑ=`t5eבNO ' ˟[ެKIsnK29$/h+{t32+wGXŌ f@Z[ XezFy"+ј Lq'L= #Œ"w{`RYm2k7mf#@9'VlFg`™G0oग़1u 8 LtpN y!^kEP%6#|YsuCh[3zp&ةp3m.~RT|jX#{:Ӧr?Q/@J"+J]*diI~[r鐵kFQ˿֪)D pce,s5VZKJ AGIx\Qu[KQ+gl>OFRlbZw`{8S^ryO$ i_k GɛR( G=qgYZ9d6c705a9e1afce9411af89dd3fdf168532702c19aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b5f516bae9a32d9b4b682d16bbb4a256ced641c4