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 S% 4L ]w]Sepref_Basic:threads=4elapsed=23.294cpu=53.404gc=1.852factor=2.297zXZִF! ђ9]ŗXiɟH)0%oyJ5?FF@ܼph.DCM ֫I\=mђf2W}3Mw{[g-@k;qNyA.(u~μh12mSˡ"s3D(H}^†2PjC0A֕YV@-9siZ"dWTzЌZB dWwQSy % Sepref_Basic  Y,k!o޹1oҕZƀB\٩ N'fewzKJАnS;vNZrb}=_g2nśZ`VAa0ܑ=f>ޟGMȢ`:еf/.QL8a{C6c01ҏ~Q@FOǼ0ix(cxx8xʹ@!7Qu tmպ{Eu6 0ytpkG (S.#in gtPi;ڟWmm rOJo0Rv6#(S%Udž!V㔹&t4jZ~ 3NaX"͊Ѷ0=`3A(KqlXm Eg +0#p[~2`2I9WyP,5.rr?.L7M_ǧ%~b-lkH[dB^iwb{FIƺ f=g.g>f'b 7{#~KlY~f nb;vԬm؅.: ِ#6e@[ZC©2jZ)?GN'>Zr,8陃8K]-q9XCKlDx7$щL !l"^ݕ xoWfR8{jwWfbIte9nt5ɸ h0]R9Л GSz~F@荃 ,\=ΑE #H 9WOљx}h-~:0Q`#'e-llt\OSҴ-!CTMJiB,lTN9v#kM4,}QkIʐ̸@M;Jʃê㇙rڷO㵝xynr ˷f.}͈6#d?<.pqr,܅V=]%.웯D*ڵ!yb}.C!~ZlF1CBԕ>4g, G-݅}[֦ ќۺ$%3%0$>`M@8ذAfhpY .kn ,FZqdvk,Sv$qЖ;~r H߾xH]3 vrI5znכ#B<E~-&?d4t̰5$F[i=k~ѺB7 9::kh Vzŝb31p)"S= pЈ~)[ZFH8HVB{nߟzG9r!4i0U+;-Kg.M߀d'ItTs} crLvz]5qUq[ĢғSHfk' }_ ݵ`%#3ԋ C1}0 2>;N cj1f͈|T =FO‹>pڟ `ϑV^MA10טřlV;;χ^}Ur$fMa=AC}/v@rDYԳABᙓFzP S/VǺ]S_Eg6oj0s+>3TneXY<チ@VWĦ@ ST>o[Kz;Ed]% 7S{yfW4r86PQ]\F,u o8류SZ>8r2+ja2j'U;q]|k-1flrfouhg !(0-\;@>ĜM_PJxy%׵y1䧶ې Xh2W<ٍ1P(*vswS.Zߌܣ*.zYVDElӑ EE̔6gQ7 0I}Wӝ)a%`Oyv` KJ#i r)D_9H.ءA0.Yq5ngH?ùVH+mV!gtbswv,+ؾnuVZoV 0{;(mUc5SmTOcRJUEMwHJQڔ &X4cL8ȍкXߣ^"*u(FZ3#{%!$ >!3 ptl%E oZ9xnV$5cK C Ț5UXkLN+z|v"Fu CJD "`4MʢG ١i] \:[QiJI`;(H&}|]M,aL*kJ7f{ N,c#q~ G i$asKp"ȬWMZɜiyF~;gf9*?ex>e J2ᖦO+b?`<vM ǔC,ve\={3jZG"0Cr3YTɋ,[!rtE{(E QWĹ ՝<4s]0ӵ`i 鹷A5Aq;5FQEdF'\Y{or M @朻:CMnH7[ :>Ayf׍}B)3i̍>oߢ p0ȭLL5]r6lqkH+Kᝯb{)"6Ĭ7RJJ0W7fHJ0 2}|8u\ҲزcH AZghtb&sBRUjLR:)1=&NAR.5w3a1|!hq+?8HȅCG=0~^NX o5:pk;Yjē3@ogWXPK}9TLc)N@칛/J.qS߷! E)WA+ No5vءƛ"o=ݭx Ul.h*AC}x}ZQ8E'ΛZ1?!8wO"~D.7]RZ!n ^bm_kZt3iRT&J vh20kj"g :v 6]&.Rۖmj4YuE f7lGF i ]2FKXڷMy.ebBE}o`@v;iL^*\[@B~}cKv.О]$Cu'(o. U:>>&@27{U:(rIkm)]#i KUPs둸3[WfRQєUGI?ʚf -k-FcEp}2o/{?ZG578)%@ى$EIS=Eb F7tRGSdf傆؄Vs~g(}b;'O٦ G%rZ)S4Dւk+t5S _C+C#z4{aɞ:K9vMH XgHD$LqU^T 05iģwZ$q޺ag"?'֥}pHa(HM>K` Wc,AZ{`?+尋q蛭I+,Z0dmBbÓ.j0"z52F|!U8^5"*SIq3W`r6̃{\` 9k m7iDى^I]DpMP`꿓ۭەZFU'JꃹƒUQV1.ڴsc-I3zgv8;vd# FXr vgyVye,Ҭe[ bD Ҍp.AK\/vel-zcOM1p|kQU cx&dY/V%؈c@3I]gd_wd`[*D>#Ԗ8t>r  ky]z")90>ʑ ; ‹w~=:VUc1=]!UF龐("eS4gc̨e1qp8t䥳 E+!B*yS ́ TTj?'Z&FQŦ{,zy?yUOՍ!}C-Y~mtd!f#Qmq?qR0i[# Q,6i2~╙Uc?"$ۊ?7hu#` gw%+3N Tq9ɌP! ?pi'.6+Qfu:½k[AN:cߓ}V |ru5Hr.AǼem.Btn;qo"zUE1=)σztipP̀ԥ?'KF`}1s>ϖQ0\_!GAe rj B%̀4J4"uoe\7ͱSF˺N K{ro!p߂!ڼ!>ۛ UxCa޼ƞ\d.pJPј)=D+UK]JO黖l׮;z_ _*|=ŠXk9nN8D(@Pھ62Sm+"p*i4͚)Ӳ0CUfX?cYqR$I|,O2Xu8"*:^ʹgՏFٟӾ'fKIՏEGlC]ѷ^~c#J 6anWʯ1q!V P _0XAB=FcL[P{l[0`z:4a>>A_4;g˷W 4sYJ)Swe8Zf?[3 /Ư7ku@0E<<2Ap6v }Uô4{RN\o=+B<cgg3!(3EXrU2_|[ڽ?3bwAa̗-@}.Lȝ!$L^sY_'a 8+ិ0e>k9BZX"+twj_UIm$85F(FkR([V(Pm.ػ6Vۇ$:"׃4\X-]:d1' .m]a73eTD0Yʪ\+%?VDU9V 0JqKqZ ?Hۜef[jbmd3g~[eƣFOrTO*y&=xj`OB1Ucp8衡X $zd_aeN6]`|(kRbΏ1$j^g} ^y\a*f(ZEhr?TEsMV3ǻTTEUK%8ȍO=6҇\C5{'])R EZ\P WĚ!A7MB`!kU GH E >gY6T~OuxK*BA;yiQ2s U#k\#Rgc@"+0[v"i/2 @Vb n5w&.\Z/(ɘ-NMDjZ gB# 6)|Gfe|@9J"Ta$= Xkm'R0 @fv)%%2֊25#i%ai H!,'oK/ >ah:CdPMSV~U MNcV2mPbQ-hW^tyPp3OUZtbMqKYBE&P/=5n͆lI?0z`Dy7yWz1"53{9#J<3CF6Hs`0,^3b\i!ԋt!9 [1/KŏG'twcZ`EjPͷi%A%:{߮*<"7Mp+Snw6 鵠 ,;J65#M1غ]{0ނ$&ܓ99S\?2]O̝J4x ~ bVt#V}|+ ;2<[|{hav_AIxc{Xk@g@AzL̫kQKi *m:貁WJl tIIIwDx)Gv94f[pj%i["=fm}sTidM-+$ZY[!$Zq<$?HU/٭LJVhtvGlC紖d?.í>\G?&T4p+2ws̤ց>V_BĿwQY SM urȳ,/T:]n'e [#UODN샊m#9w[$͐FpˎM}8\~/'rbE8etS" o$ԁk?pRGjv棏$*a+sa4Iv|ゾ 6#le[@%!ZEXdfk!Pdے~oi T'#_\tdž o-JG,$ӛAm04.״ɬaHq^ЎM%ƴ"eOADz.}QbHB>iN ]{ݠ;3t`Y2T8AƳi2"X݊$=׆=n{w^>?*{Ƙ8wDȈ8#0iI0DJ'eFت!HțCsYϢ$le2YnƤu`)Q ꖔP(,+Ã?} sêTi@jycpvH)1U ( 8tYzXI`:;Y¾x4191Wтm9Oost$LYD,=àSJln Ɋ , |w@<]jӮdFfd`\*4(uz^$n)Tx ۻC[Zzu[9}Z 0 TRW?:<7|O _ b“l Yq~dWM <=NEKIzqMGff_[^>qtSNڱb1kq+E^M{ <%7HK ϯ+*J.ai kƽHKv#6ဍŞFR~ n|cW;VqѺ5g4z %}U w8zvǽh20[ّ8 \$OC{a+A%߆/Mo;yρ0JbtR~6Pu7Y@#"<eL͍Hu8s(瀋ZWp/MJOvq rEYBmq୾JlÜ:%7L-SuzO)WG9 p VJw~~D咫eSS`F7GVV|/b8 cf: 묏ˮQ.LCR޼_e컵Һ waJcMS}A:Ŗ΍XVGx#=L*l tLgf}?Ọ嗭}!sz&,*1IH*UOÐ;NoRHo6FeYGc|/3tvϵ^ܱa'&E_ZXp}"-{>\}8krqIfůL~(*h۬ȱTlصtH5nGԜc\Nԩ>-3i`"i`$@&Օ @L+d^ mD=u}_GTo׵+ i\fxUWC+O.Yvm^暕>+4:c[&k֫-H&3V1f=d>TؾfUzZ217/R  TORrO p!u[ڕz:8!_M r=Z464Úc{H]l%(Y\{u/ m@!gNĚ|4$^}gC(mc-J1Gl=0(\$cܕֽ;@ɏxO7ߎ,MNY<ڒrp]zUE4[PLR绂Qa56[]N(iDžrKLJi2(S-Z!cndotB,"חM5`rp KEx7cH@Ө:>/?k }<Moo[F^zn.ߊcQ߰h c"(vOC%"N5w%GmPw;Eu/[eEN )9~˝k`Rm8Zȵ`SfŁ{zM ω ,m,DWٰ@LRW~4n4}c˖%(=1JI)Q?iw)1-&ΌpX0??0jԠ%$@d0vK*XUPyud1P6Wn\I5({]RH^yu6x!=EFb5;ȑT'n Qz_:z< m*2 l Xt2((jYnf**t-*{/"L#)&-cJܡ᢮ž?m .k]^iw6SJU1gx>cM|^T\ۛÓL% RYתg-Dp;[ɷ5Ṇɲ/Ӥ;~fA4{E:{څ]ERZu?}PyxVmCgX>;NBص\߹@@. $O6#3$tXx=.*j!3}ÌaX˄]@J`$aC\3}" EUCQ[2.(*Qjq|Ye}M@|{H2f[Blq@[Ť`*^]hl{6[6R "0o @eN8SfK?}M d/k<]]vOGcUXQNf*ꦭ1"̾F{'a: 4^D!? M+_¬rjq T+' C3+5k\>f6@K_jQ4by: 뺄y+DW*sIHy*]E:49$ܴ[hH%аT(b--r" ,M- % &  @'u_ 8V`$}@k}~N=gwr6zc[n;`(E6Pqs_{a½4ZW~VzRZwN^@+WaB*HPQ KS\]U$Kh+Hڴ5NhMrDm &h6/"L]dk9Ր@)QdUnyP0>J\z78\K^p9cF̮jK U#vdXi7Xl}j `U(P/)I_LeWW#QHYW8<Dg3M:dloU.9z/ig_ Liq$Mc<[,84EŘ^;)##iNbu6&QgmѡxJˡAbZR xN~7fRg0dG4-\ܶfV[r4{X.3G̘ jX7Mdx7,Ȋ&G*#i Hi$ИO-z-zk !? zтk WZ(H( tH>Аt#'z$`ݕZ  #U/@ zQ/5`;J L3Y3CG+~R_ʼ" -i˂qH2BE4ܭ'5Uo5]t{tnvWI Y=>wF{\m"9)G}Eaʣ,'wLX(|lQ+ݢmdFi͞?\J(ޗgbC rG1:w?bO}kU6v?癙|--NLf$Ua^49H$e|?5" (P*Ԃ9>Te$:o{pJ]ՈOMh8 ϼPG݌ͤ scaC$"\eu $HS (_(; ,S)-n@Hڴ5SW@AP`hD LtSc,Ow+@^b`hө'w8ڽ[.ڤ}Uf7VQ|˧ਯyb  +,XS[ԡE0Mx*)lZΝߋ(!S;/Gy`JxHXc ʕa"NӀ,$k'.u=]q:GdӐWEl#2‚̯\]aCFUsWH֥н[>>;XvpJ7' }V FwV C)d{$xb!)JEVu)"t4uRsH5,z; TAM*R%XΥjOgU[[p%}Hi\,eUenv(od$UO6,{kÅD)_) @'sF'pmxlK {Fߔh )y,NLk5UU~;9jb(pk8HΖgIA ]{6÷ }, {+ O@\6a|<?3Dȗr1T3&qI,v՛],;56apÕԩU+^!pu/Ùt!DA'9¿%sj;\bnLIZcօWI=V͛XSO@6Ts&1K)խ(0[ 0~-7ƦoT^DI(`-0^ܯ5ǿlMT`3p'%M] b!oe p,&_|n8fsM>D1?j| hBzs<͐L_MZf97qEt} }lO5mb|} O*ˡ?]?{p|r&hOTrh`TƶJZʖTf![XG, u u ~툵enR'Ľ(>1(5 ;2hob={3~)1=^oi`lujxGe:˜4`HgF9ܘ&+-J*밤&CM. .+Vz$RA,>Z-%o6p.Za1 rFrd1Vx~=q ^둳 GA̙0%룹M|MFllv$Qc[¸+zYjUjS랼OsNjG."9c0}1Fv^h`hlqUv9Iv"=j$4Z>ǣL-{e,`01ju~w^XJu X2X8?+5y-XfAUXL-\PLͦhE?[eLwp@6B ,E&+~a Ck\k^EӋ5)L2z 86fiG;هԅ5,*8<@8/I 1?ʬ|%K@~g@kbo:ad RE$Ƈ51|u7v$7fޝVFobft0Px Z`=oh<2︁QUt5(œբdR&Le*wsPao^ 咔[aQFV q4SKF#y+RI߂%, rat^O,=.ՠ)>yFݟ̝ߗ4֊me$Hw<2kL \q*8@]+̨ d|x/r[ZvC|._1Ut1pD"ʋz=Nڥ퍐=<t8QۯdIwjڬ놣0&`f=E N x%sXӡ(X/oƸ3ai7:Ӛ&?+Z. 4ȕlQQK͸LFk(*:H[|EEK M /#49%Y<5f _ށ` wuL*+R+2J( :EpΜ݌3op.gTRYz!pO1]V E$>*2RXn"qD,am.t:Itߞ ٠U/A5Lcp]}nm i=$*7- `@b̡fCoD6ጻZ?mQpR)=G6Ror1ST@wi3z@*E= (4R=4=ʨYѧ(|ga{^`ݱ']65h^۲/uf mk=qd{d~^s{/aC8'"Δn'Rv+ -^[C2ҋWl'n`~=.'ֹ|Zә6J@f,"u,ztHT  ìyHyHZ1!( oGѱq ;4_9%>c3.pH:c1ևqi;(7sY=%}qsgL*@^o T= ^-Jב0^5nImb^G8D Z(zۡyH DqTuCT'$Ti Xw!&Nn24ⰛX{Jbx\:G_L_! a5 -gꋄpj E"T yq#FG";v/VBBd;@ψɞ˨v+u8 1%6K :`:u EQɶoqI@$P$ ifhL>yk"ꝥ0}.Ͽ)_4k ?Оq|mpP7y|7?Ùxm %o"v =(.z g^sl$'r6G) rfgv-jrpljpk۽v9 ǧ5ؑx[z|/] F Szf54Wk9l5XcRg(\X ?n[|v1A¡N8rOASY1;] ;au,5~s*e'|~bY5]5+= U܍ஹ]RISRHd=K>5CUI ay\Ά!|cӷId[x: - } P:fS: 97[ G^.u]~F< le06VY/!\ͱ0LE+ 8ag4nqhraY"Y3> A~njftG<wzDy:߸d";.ܔ8l*9+ ,Va H _BS2yeAUAi"ߊrzSa$Sq۹ ZvuIθԄbקv*>ȝqG'苼@`xv&$yx `K}Mb= mQf:Z/s(tq|luE')C99uvdPr))QJ˱2Y (XNT(5nVD;zUFJbD=;2ť'G^T7 tѨ|a 5LWxSۜzJۋr:qGd=8%KuV) !4eS3<]RAWD=`FiI@&e pl?3-?O7wÄ- MMF.UH=dhWIV*ϣ#K4#W0yЫjלspq}'xޱIe7F_fMd08 d> d_1#l4?AVUhW!,zx xj6ȟ a\j߃|i@SXC 7O#&tľ]\K? okO2Fgv9E?T`̨ɕQF*P"?M &m}}ʏT8qN!Ҫ&3^y̋9|7KRx &CD zwBi9SS?Lzݚw"*.]̦ip-;;{.S~L}XVg}Q~}hk'pVRRݵb,io"(W=LكS&.ʜdZp9V_ÐJ!.ThQtl%;ʥZ*=Ҟ6:!)(ԳGOAVCRH>yF {)ɇu=g Oڧ8$kM ҵ\8d|uYd qV&sq*Ga794cԼpԞB AP.i : )^G{DQptN74L¸]W| ><-ňO%GWjiFE@[1 ̘Xgst& zDe5.m9E೰I"ۈ2?1'\IFnaGEc]%!IhJ![ 1] ƢE39/ExPNa2X55aEI{ ]r-f@C/nNKߌ w(wI24 @\xUt"kAh+!C93Y/P.w;8\s5jBwz7JzPDmE Fn&*LW,ItiE^p"0ɚDR`cy0rʋ fk+۠5EaXqC, 'R߈KFxPoRFtz?ّQ4q`KإB:sNZPQR҅/%D[:eoRZ-7ԣz`mE# J뚗x (=2etqE;'=Ň/  .BHu~ VY I34$Df)ͱ4BGa4\I 1 %.@vl~ L}QZ @1jP&2lLFS弩~%2qU")}ѥ{p8Tn'hM!E=uSx?f(eZ iUv5Z1-NkU=]'w+̫}7|jG>p bӿ!X[adBل5Z JGjG1NH?5̯͹p5Lًy jg5MM|-N,-I$r{ ȤB#~<">q 4dC@"%\47 0ul.2_Ќ2|;>=hA[{& 26YЅOۍn`;Ѹ%ݙW: ;vMCr_܀G"&ϗM!w1Ǭ3ϔ$e|Զ &/=e@lX "SBGyu_w112trA۬RoXgFORBN;+OXd|g.fa\`zd%) z}]We jTqCVr ?J֎"L?acLX,Q1^{)oX46*K ƟRWMu\ d2|4<ː=OX ?Om [h<ع&M8ZCE՗;=]0JX{BF0X¤m֫wbG~^<*.í|g҈8,W~ë.*KDTPW.Nz^k4o=#^Ƭ/,P-M-k]*uEdPs!WE%ͷ H,fJ;0<+:"21]W)a Zt}?rip@AE.WKBDPQ`PdhPEժEo Mۀ =k|͓ן+ENz?б3؝mrlsa Cƍ&0o,tŷ5bWsm ]ni&nF @zxӢ]Zm=_ނNNjwO8ga.}Kq %wJuf.SOW':j =K&>naēs:QKx/JJf\Kނk1Kp.eE\W%Q*u{A`&JuJn~p # hIJ4 񽋥U dAjy}J_MϚ껎mʪБyޫt:,IXtg(Zz`LA ap%+q%'g)H_rs"u,Q%>4%K=kҫAzu]naM p>pQRA3B+pT=7`xnV'UC-i3R&qH vyDŽWvz%Kn]A}*7QFG$qP ~M$z8,>y^GӤk ?-#p#'مDH&3kui킅!hQ%ȖƔn.uEDZg{7/RAuo3&XoA?<~-tUgK RG>%1H1W<<0EZsGy8c(x06O&ސɢ $cܷ^( xJ}1TSFjv 5]弩>H ZΥNbL& 6myiovmЁD#2]]m=;IXL fDՙ>j/CƒՅFCa&Q:tS&"o7q[Ք` RЁ4=f,hvbLRݧ.(\OΫVdgq jWQ̓X]z@ F\;EoeĵBN|zL1zZ0WXVQH"xCp`vO#"U;X)OQ_+L`SMy9$=#JIo˙/9g%U\M0jKD8Gd0k1H 2|AOHI}v-*7 ɣ\PL5(Ɉ5PUA`&LhL*UePc,*ls Iג.%BBX{/oa24 x4Vj ۯYU˲\C1ۨc8esǖ-c q2ΙՏϣ4:2? ~cmmHX/Y3^{PkJ@ }'ܮ6jrA(q2G:e( %YHF^j|tzmۧԮ\ANoSȠBY^Z6|I/G#Fd.֊ QG!ε P_Cqx (-!# 0w=تjfanWE_MP-KK)g($3rWxѧDȩa,:K.>2yBz%8N4"y?_^eYWk}[BBWta޸s,kLd*Ģ;14ra{ahy?)rބgu9VIѝԮCF 2 M,뀕=zGO6"Rqajf7> 뚘 0M.j]/2ɩNc|#V-ㄫ;Et%p`p o5)B6>$Vx# K!*wOtXCMg·QuWi:`5n*Qx/膒9#sE<@hд`3NpJdu%$zύ+&ײh9arbݜjy$kE̘lcPX^]{S4K%^pH]YR{d LE f-v%=HŌ?IB$7V{&7uF9Sr6,/Cͪ'Gam%*^Y$sS q5S"^LVՍ+PK! X:sYD3}2{&X;c+ ݟ pU,6p]+npD3S6cBrnŅr̄3g4Vtˠ1p _v/8ر-pd)pZ>L+$0%tH8T˻}PCGB+ *C nڣouWWvx;H ov[ HHgj~J/}$7щHDs` 5nY`5l+8 زr䭗&$&X鴙j-.!w{Z>|& ]x3ԣj7g8)-zJFA)x ^(zb7l,`"i6qmeiaqAJ=&/WHGkV :?c!ZT.&dU@Ȋ$Q6Y2 > ,( y1ch|+C|%c7ϣ1ZzTڻ]x`IӉ\"O`c)PEZ9gHU[Gh됮|&7ӭ#m&VU $>?Lɓ&Wro~,2Fgw-nFcNhb$H٩AD'1w9Uhu g +TvrM;$TYfr\Y&+vX?lY"%L9Q.AZ|]P\3ӗ☻p(N3>HkpapUN&X6QNL/mxf:~HMaZes$2YwUR9c@ YGN?@zӺ#(E1WxƮm萶83=V:-8F#뾗mw1=i*:O3ö4$D\7urOQƬ.?))o{Hj|bXt¢V*X2dm0 T F*BL#K XN:z~<[gS %q6*o Fށn%y^!+'2xz"q[uz˘)H3M E͗ Yi}o02hFj8g)MqS(iҚ"܃V8 pNȬe E8McPY: Uߝ,ǠƢ>[OǥҮF 4̶[dsI"9싎=')M d CFo#cH?SAOś[oke'ԿC!&uZHǜ}ƛ)O3iFaNtB**7qwIl :xX<2;M[ΌښS?:1fQh~$^h9ȻDnĢ#4~JcekUׄ`2TJ2 k4v+=/se`2 A2U{@;ٟuYqB4Z!3JfFk$szq7d?ċx8T(r JyHQ(vw"!oH3!P b9uzLk&/^S'5Zy@ѪikfosH=lG s-[g{ƻpíF0,Qm|A Kɔ_g/).9*B {lp5uzJ-a[9r2$},9Nm4~ćD\Nw9+R C)$dqfyoW<w\h^.@,ԀqY3n^[G*%E Be*CJ@,ԣQ ƪV5iUyK!7-/A4":H'p(_R.3bEDf5[cC;sT^LtחߔL.Wﴳ?xLnz Z@T "ynmS5{/{"8NJ-p&<+0O0O!~4XZu4Q0"1 F塍١xGʱ7錙 kAB8XARS6n,wT\gB U[AnÝ)w7>dM@v픧eC}pZ5a)XR V! O= MqZB]GW#_-jՁ-} ~7+ƋQ^/:Ґh9sEg/3ӕ:(;-HI-;ccNk~?[lkY0VR[j3igvnz~(#5!ũz6",dIQgMV&tg<HP6HNx)YCv;^t1{Qh2Ugb=tХQ_(Nt[UJ5O.U4SJ)wW ) mm7 z! S:FYNҧ9F,y ѪJ|Y -`5{A&[s|Q {34lC@v8Td՝Tvj&ȕ9~G~C Ԡ26Z O 'zn;]\#S|'1^ '17t.9' 1'YLx҉oXޥiXX ̳ S 98!yjKr8ӪK.:Y? ̖nZſ6ևpTƪN /YBpѐ,I 1eCsGU2[ԩwR]pW$Y,s I0Մ{ͷdΑ>SRISl ]ơ/2.}ĒkD+w2gKƐt {+fK/4ߵn/#_H)S(rbs2T';=~r]zcThhqFlc8@ xZmFspj޴QYN:Sח$?LmYjT1J2z@'F7?2adgȖOכ.mfuۄ itπM}eUW,yi՞4Ū &"T~ZMDvU^8T#|\,=$.5n"UNN; iPe+h u_,E1!-hdg@-%;ݗ\e !ˊTpw}KQ_׮mAFkqCQsc; k fl0MFb1 {Fmm65Zύ%qE<<o>-/*OGֱv~3C3r3crhEǫ0NYZj͈sgyHb~pxL5WOBJUI.X) FհKb MQQ?VYPPSp?R'mhș>!>o["Q(+4Ǒ<ܝ)3"ttq%8~mfXttA_bA{*'Zi@{uյ#o # U6 B\2-c\vV bZ{$EW4!:d;ȗkx54k㐙XƁ8qvr"ܤ %ݠR!n}) |^=hDuv D'b0?Z{΋rVOan>XD1 3!eCiU6%x '';4zf_u5ۑSC:*#SjYhW;m"' TuUʆ̟Ń }u~L{8/ "5i\/i]MN%CTW-kIZb>wOpw9 olnx`3L=Q,m@/!W&JV7$F1HJQb&.>Tڧѯ 9O.C i[3&++Ji${Hy+ WaeuK 6Htdr@I_q{a @-oBr@~d!?4}>֋JG$Oh5ݲUMFND_ r$U;M\NR⁨ Gl8!%<0%\g9wVeU(TqQTw_O*+1 3w @N\`+1K5\"nlc :c{,dS˼оP&G-:mb)܏fCXY@^^Ufk ` :w d~",gmyy)^YLkR2:f֭϶v:$G(%vfBkH_HXdБ c 3N~9WOPj;Eqf^ E1Y5\#Oϔ6P|6FkF &~:ϰBSľ: aB)!H7z] #ѩ j;KgbƟd&{R($H#Lða +\-5ıcN(lG;jJ*{ÃU׀Mm3 ?^vZq*xO`HQa0yhՐ(% 3j鸬AֿBbA/$[f^ =g_2 I-흼L &'NġDx STñlVT@sB7ؓOΌ9%{>l-)N^tIb%<ԗoVb$8M2񲴑 :A'@x_ ʅTzv7b<7&ݫyo( LqLVQtz/dN&?c42'KC U8Ѷ`/=q!X/^S `AU^@W?eIBͷ7oK.=,_YYȇ!خ!z@릷䂩Us2VF8EPG2_<mWzq/05V#Mq G l4c]bπS-] 8P_x.XfϖԄ!#z)~8D'CGa*vZɳg.ɳͶ"C #N2^dgT.#}D<} #o3V0c(U&cv(gU+'Z/"5nu./',Bm]'lfcՔOe7?I q$ܨryBån5B;Γy#˅H9TEJq#q ${c v/!zUZi"V~\@x߃MIHA6'Ew{#wü|q+jm< b DH,}O :&>(l;?0pa_equ8B}2B%3"bgBa~Dsy ŏsl  ~$J/=t-͓uUȢE#y9ׄcL8E J y^x{Q Y8s`wP.ɏ]y!d>|2+Ґ&u$l^)73!)R9w( % <ԚՕTAzx28+fO.@~j!࢈$)m)i96I]EX3ݹN&ܾ>Dtaxn^dȚ- }_嘊6M (%?JyޤAqO|X{xZkr⦗Bg#H-3r˾ӣ{|ڞpA)|Vve7 <әІq"nT{h?,P ?iJ? ]4X=_z6Jo5E`.%䩃hzlCZr@ o0crqt.ɫseL{q{ qIV4m#<$ ×Ez`Ґb |/@q~xΝp&Mh߮'mdߴ$ǽ7m,m݄T!Ip<]m?NjVDx?Z<=aPk {\NG$EI%S ֏"x+Prt3wrn H)|M.JbmƉv4Ѿf+JRGr!"NүDmʴia.lkatTspANT hą>Mm븇=l#3A umÞI+7:Sx}?E8![FvnOXLoy"N%@;e=F6dH' UwiK}g*xr9!@l脡s;J S]ޘ)T(U([L.Z(3$BIH{V礿 ޚjQݿ\lc#'nJŭIU7n]~r.pN,%HP#"R@7㋕f*x'@ޥ!E,8;c'*q%k |پrCW3\G҉ج eVY埸_Wqo)iw{= unbP u@-Vڕ&7]~iyYd.f7  ķVѲɐ_ṔI}doHgFK8 ⵈgZjϩ/k&Ufh.%J渴9>)6[1[o Ykȣ2y|eΣjrq(5sB,V6ECŪڀ`G !TɬdZܕ! ^59j9(5̋l SQsF؜W)RsMaG G4"Tii?bR{?8կw=&<ғڳrE)wI[ (lL;,&U GNxs&d%WJ]96'dt1an<ʇkP"*u<͝abFY,<dǑ΄HCtd`K ktOz pO|Wk/qxOu^y~ؽ<ڬށI,"iFcݟEW'ό`BDIQ2c/(Ri-] g岁((!JyӒ7*h*oB=p`Gvg=PCŞ>Oו_DАО!_:jǨyRPr+VO 0TsףTZ^D)2uk8G{@"K.~(6uϩ)S7:-(kw٧L= Ev0jslAh{ w[Z娞~i?@gOqh_}+ur5s+<|Z~8ݖJJ:kI,z=bSH`:< 'RbrmS&єX{{33Μh)Q*ۈ*_^/ܚO: ֬˯h82dxesH v]F fӨhL>)QZAy ZfCQC Gm :6׼)R[_Y;fWsrʤ ϒxgYZ5d08cd4ebbabeabb5502c71a7370ff25b6b076b7d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 fb4c1b74dc44b9e4d916ace39fecdb0c2c700d86 a171866b33c87f94f7491799b6c4202df0eace96 e6e6935a3ccbe690696c707ded9891e094917f7d 3cc77935ad2a92c3cae3cccbd1fabb0f84bbdd1ba2b140f8cede50dc90864e169fb8998d5b8fc89b