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  H= ll$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.067cpu=30.956gc=1.392factor=4.387zXZִF! pʭ]ŗXiɟH)0%o| 0zZC4?O==#]لg'(jf ܖpj.N8*N.7`V.,S'r$b;kǁ<0V%n3p/j&اThuH.Ă] Wh2C.-cS؄X̀qt]HLBT|W'-BM2״B}P{fKJB"u-\7lHqKor&Uo6>^ vC%k| ?.A+z87%]9zdٮuh| = HOL-Nonstandard_Analysis  `}8zt.b?#DAVpRJyRV }5\rⵄUrr掤\"hp?=e E)W?B--:_gs54A@˿JNg ^4]uUl|ۄm~f%whfLsӸ5WJT[(livq; 拨l]JSt^vP%lj% ]7EhZiCПBs 6w>Ȉ=:Eȱ.qnrvO8gYc, CR 3aE@i\I@.ϩߕR4&75y3ol!Ϥ,3ǖK$H"G}W{G Q ^TzRODhܧd>/(oXDP`/VYun+k/<%6׉z‚_E.p 0le^n9SqaI'0lx^[/,|ܭ͢4,tpÊ}:*fsSc>V631eQ0B $T ^b2IOCuMFufb[m~UPa \WA̓e|ySVR*з>HM &yvzrEǶ=)_.Ʈc/X0&3~# ,OO I!qJPR]^EN3^c[vX$L\o7bw\O2PcӛgEW 84C0~ "z/R>F+P?>bUwYfB7k u|!5#ݾ7 %O@hڵW[o ʯW54S^ïgNE;;xPƮD>0{߇\e=2W0c5QJ$NU~, 6٬g<ndT]s>$E:E a>yhJ K:{ k仍=Υ+hБuB@w<3ՔMPneC r(CڸjWVCs3:x{;,C|_u|4}_C)*x@83?3-{؄#6pg3onk㩧 4@ 4 n5bٳlf, ,{Mc0 tj@L"$N6_\Eu v߮Kv,$߃0Sf2lXrˣ/ė~MGq2SqdPpY ZK*=mng6 lMOT4rC%En&pImX u2{vIEC@pvZQ.JJj0RO>y Һܺ!E @W=qM勞 fQ:5uJh1z]-^wT%(ʲJ.1bNj?iY 6^XϬG bxk>Z0 ZX\%XNNGMgkH/ ~IQ^}9CŔywǿu;sK">MdDŽXooOs%>FD;1=BB'#9c<SC`Sf gW.q$zZj]èW@7b_\Gg3U7 GTf4ȆKœaDb7 t;qo ^E$yL-\ux.eeA,M?nZ',I8wkw,[uXᴥeX8K#YNe[D߳?y0gSVB}Cb,W=^[篗Aڽ3|QF)FT o`GvԂDwv؅'v,n @"fBw'B>"c8) -J0ycmUPfzi}vW`>r/,yqi iÙh`mAgfXo $b/Civ5ll`JΈx;h*{sbОI;xG|t0}-璠^Ђ(x?4c "̐b]peoc00wg V -mhJh |S6[Hr-WAL[6,7-=4X$FuJ-(&i6ŠpVL>$(WFBust "$xZ_B/=†EL()u1cK9Z7;BaEH]֨.ivq­P:ժn-I\ d\ϯY"LՓqys'/ghWzXUqfvل˺ᵻҋj%1qީӛ`p]v0}/aN.qrݖ #{).WL&{xݵ`zm/ŷ(EM;tm2 LjUx,lM'@âЍgF`7ݭ17_T0Jo"QqW!8 1Bxm! >Jw,$ӧ W]bm$Hv)dt-uPS_/u%д综Y'L;@1ʰNJ&5.`0,M]>#z%C!wo{8cRBBط-$F$X@q!(3TS$>ѕi KH8߿FoeHA'6H{<C <S M@LIwXfqT[ɮ]aBɏ4Wbw5:#]&:GttEal-ۿ¯ogYPy֌JeAFG0fEF?3[ "n}c6 V[ܳFme0mP`JC&">o0|Q$3ZfsAoupwz3IA54ǤFHC|0'IR.}61]ι'E>J2zN*Wd2pOBIAړK܄bQvn8ph.qmTk 9N8i`"~#b'MQ@(&n'ͳ'K 80?Wʇӱ 1)IX6&yf. 1lUˇt¾$W v(,{`m\Y-yxKJPل!P[٧猔:)hz>U`tla\׮A [\:ok6 "`P{G QviR^6GmVF/ q3'-/sAKwƤ##ii Q ¬RMCMxA΄\齼0yrŀ$l~o+Wsq ),Z\m {N}n3~މɊ2q;QcTTЇL(R>nKKme1MB}>$Vi܋!:n3$&-ʉkקȫK~k&Kԯ5_?*D*5+Z!Iz|ݸc@kG'p/]g>mȨC |\RJFIPux_R脊%i`|kI +YrYS"C%wWj0R5t /{c0&vI !#cITeod#6Q>V/;9fԤP[eZ0j *;4bg;Ƽ{X'}[7݁.$7w(uGx$L/~*_:U<\>`gBkPpa?) 3ˌ 2칀C\C<&Wnq?#>W0Z f)yYFe -TE}^Jq)цugڇW:qF72lYGfk%:?S<ZC>%!y %1fXCǩ_U4]a E{V]Zl׼0!MS7u< ^3[Z't&T' LwwJO-|N4gh~WgBE`%at<6fLaYV} kL>5 |}[&]V@='}w>>s98/ሆ|7HqwVE@v՘"@G0h9.80F{^`o].9̰s+C˝6kyp_ gzHb R-]Nz;O]r\*p@::.(-,syh̐Odm0EwTzn>cXvE ;KBR=k2UD>;\b^R468p'ك[HZURMCE88xH}T B'kZ9 ϺY!#^(UBꖁs(K%BXbC gKR[7G~12,BtbjāH6[h%H< zYL]τLCUlZ8\3I@lnr^3STHugsqP!jeC{KČgOƽoOv_C~,,`- HRzr278`A[EWylw %8W5jd6?Mmb{]`d4 "b.Es7j>W]ڒ;aЧB@))s&OON5Xw{ IwUxyjg c /eAԒ)d,$dxL* g,]v ?- :o{s,Z3 }!k AT.}j ]O%yddN6I%.Cmz1D;m)Htoz)uݤ|gb{C>r*]Oj0ۉ^L/O+b[\LI';%Kn豎Y nj?NQ+fƒI-xj!?odJit7%{B&]P{ߜp\bL*ܛX7u.6\1fUgZ{3W b`$S៰k:8սoY$%s1ALvR'=8VZT 6_r!3C3 KeOv6bŷ( z:]T6YF΢hX9,(hq' QdJƑMD aHjWÖuCs%qPIP0|&]_ { A;?>'jed22qp0~\'"%`eJ\fv~Fp$Sxشʖ$k' O ^x č++!$6^;{WCI-x&:H4X$wt+GvÈ*:FՆ/aEwKJSPFг  ByW^WRlgAmfpԴip 1s,]o]EcxL]ҖH~i x̾6XiJ>W}_l{a#(Fd!,G,cW b7u1s[߲%3E0 ;).:BjM̖:sbĘG t׎8l}I1>L@įHUY3s`+QX~/ZkDh VJQn9_ƞj~7KI20 {,mWp6ԃG,ZgMT,q'Vۣ'3Z%zI> VF S\:~—# 44Qm+%/HTCr#A(a@/b'b5W^m^nf ^NKhGրrӦ61^_6z= |w0]N푼AQR d' 4L ę_Fhmd1of{fGG@Bp@fYigq+SR.I~a){ķy;\Do+BF4t8")&c)qұ[.U8?)E8Od'w;6Nk4J[!♕ C6; L)Ɓ:p" ,{x꼺ȋK)56PЇ!S (qi+J"g"G=5I%z*j?Ne +('1mCNotԄ-ivԻZ-:O;˹A4T?i^&>P#y&74ðv)j&ye~Պ `TEY6WK'"LzR@?f%€:0ew,pX2A'tN& PhU)fՙ[sk+!#q!^]q崙.]'JoVs@94UtEj- yVlU x\e6iK65P/'!VrC@i[4[Kd{yi*uw Kƀn/v,,:|ޘ=Dΐrn] y아d$L訇 h(8c/61lxŋDS̉5srH+, X)Y- t(HWUNTu]@"Leȕ 2b8:95Ȭ)wS'BL?eÅRbvp1Gqc m<۫pOcLhN3{V7،գ}N> bwܻ>m^nuj~N]Q2bEJD,cH$$!k fa(9ce- XgNқyظϝR=vte5uBs̓+Y5 PieuBGZėtU }u?$eYRIQrQʊm-$zfx\5i8ĮV#OuPW*=٣cdPg";4XM,ypimVeRd掄 22fj+z *=A{窇+[|3:OOdHZLs\k_Pbb-U_ͅM%98І!;V~HȪM^eƿO,1kK:IHC:z)?_2Uv߳:܇lX^:ܚ:ZyxS gheQ9q0cضYKXz7KW6Iw*CR7 d| ߱Y\D7`6|-4t1Cw)^c߄x.f0qGtlL}Ѧ>$p^s$umK=IzL 19S'Y]  $lr7l9vբHyBҭP_dcd)HA?@(OXs*DRޑm[N}`OJܶ>"4my ҆0ߧ[՜O=+ɣ%Z XRd]!FLUEr``rzR}H,"xVy-(qN,M,:VZܨTQ殐,Xy2?OVWI?W~rr^k-mNЫ_1G_3@BfYwjEQVBl,$dz ck 4\=1 ].sjgYwU7M1St]T^lZºZdۍg#ȗe|?y/cTR">0]'#Lni@6)m@GF z#٫CW }C&XD^G*o(KRLSP$@[N#y_3 *{#JdxFtXĢ6Ȓv1K-.qj 1p*Aati0zN;aHN}|>Ig[g&Ybzs-e%l`8 *[V]9}ߪXSr>pE2gcޞmtms1U6GDʋgKcjq5ڛy%|RV*izGϹ?R\݁=`N}C#xeЎuȯ.>7RecnImTP=*dCiP~||Z,}{AAVhn?!퓶V;VUK#{IĎ1R 9!gWU rc!QK %߉MvHRymCWlfM=: OsT4TYa< SbbALzIdZxh䯑wo^HHD6Z8h,ܦ ou-'\ፗQ&35ve`*P:2XhJs?lECEB$e)Huʛ9Kd_876lgʟKpϴdjy{͂`K ސU4bP]Ӷ!-JqoK?-E#Ȋrs L c(lwJ._`goԵ!рk̤}ɲ1pfF%Q!qٲpSMP/lwrA0I WYS)Ǝ_ *_^#N`@PBMI$SXD[=Els~qvR|6L DKG9BК0teq [CD"tdm_{]aMᨳA=kz?lqjc? t`A<uQI#b}j,]OavW΂}i6tcu}@u0vN=&I vӘZ>Q l.i8zE ]h`pD~Tu`[kB:vIrXa JD9vPBh<4(Čk`rbxv1!=xm;u8^4kUed{ۂ!wf{ `y$t`A 3dApj7S7ҺD BAb'Y_O(D*7=֥i4vSa#$(*+(/<Fh^? ]7 )k(CřNM$aCH_Kr+brie,o-`KzΑVGN6I(쥻'iGցPgBw)慜6샔wIO: [+")u>DPE<ŋRt&•N?001`$* HW֌A~9w4CwyV9Qb|%B&S Fhk]]Łh"BM@FhsMnbDb X| Zc@_nj]-fD0=rT4>PI'GK lz5Bg\;K6K焪JɍGk]M}sx kZΏTWcJa}tøX E]P#C0y*uJ*~rrӽ:&oFks1u*h%lLgoN #|cJrA."%E.F=\cF[;^T:͔;B 4; DMm 4^fW `*gX8$xJVB jo'rAM"'n3|.smʒb`;6T4iK,_3<5 #,rMLt?#0Stɽ jj>vʧ1Vېrՙ fua8oJ]>,~3ÓGȺP#{JFzA´i#7>',ԟlB 94XĿ7~eHIJE;[Cn{o{l+C#ۺ s译˂K1_]WlasN(lt.իf8|Gd tۯHFNmcK!:# aRc@_Fa!V_]:CGi}:*eƅK.qxFxI ކ^&@!P#VX>zFrxq ސZڭwB!nbXppVFG-:F"c.;hAhq`&g0SҌs&R:V(.d#e}ߒ4% }~Rʻh|FvmJ qogUUx݆KͿ,;_`A>rH|V%] 5 z]e)˛3A7gRm_(XER/ăLjb֞ၪn42962r"1*}̅b Xn~{yy}@v~! &h2vXwK 6-zXhAUbj. (26Z8A$,wݐI{O ;ѵrM6Զ7f,]< x<1(-aZ{:e8 ZNMs6_2 GiI)F#Wn(A7i/amG QqlPrTRRf6CzMg1 oa0~|z_*fo wν-\'Q|Ӥ2o;`ϸJSY+gǴ6ИLy+eQ#Ց7f-reN,X8fF[ Th@+*T q&ݴ19%3) &,Kpк6drjBTD÷kIl- 6vFeBm `d(K\OOSUl_#+"7_:NWqf iM w6k,LټFWr%8[˾hQoݾ^TqebY+ ܂rmLke)+ۢr1rh8lJ ;yPmqp|X:jJNL5_1-#OG3Sd ?QL( n)bebz5IѳexxBLo zYyȻv$>.Ycqx8lX>!fn] {;ZRDx|y&bhR*t㸞Bvmޟ0TPfdL kB_@}&B4+9'G/êIm#&Cv,pQ >,~+!fdz˵^["Ϡ,ހ#^Yd3*H,(GW5ܼx+(sn%=t-,**Vm `ۇ'W\S-63g *DGdZ釪0FֺKwZ }E Ar֊m 7NCpE<|N8nhV-&220f"항ɟԟCb*)y$+w.biA&ܤVڵ]N|kwĶD;{ۺgOV8xwpzBŸ(UCxMlwAN˝,0p''34!B..SzՈ\(}oJE*@sz̸>gP)5J&])24HS**d?LE>.~ )Y]F!f:br%*.1[}%fըW !2 %FDx 0R~Вϼ;`w1 0 aVa*H@ a GJ]ʿOHeoVc4yfXw&hav('Wb)J2OB 1Ig#7dV~u<_ Bѵ+[NKɣ:HqݟSJTVq vf\ UˢQ6`ދ>׆Jd3*^OM*E*Hֹi8xU?$jy50-95_D[ vy<O[)ۻY 'jPhn'aL`:ZuϫOhEj{;\i5?` oW9ńCS ; ދKbq%4H$5+[W=qB3SD8|{ݬ*큕}Mt2Bj!_jq{C]}MbG7 |g@jwWnQC! 9P~;Z\73h_Wġ=^J_7J0T'Kr0O=(v\(ܵW ] ֙PqC{]5 t{tiUO%hס/TgA~OF[6pi'OSuC=: h , s+-r⋫Tx:Tc3T1H[}SNoZa֧˹$(,u^pӏT~$ШAd낆17FH7}"=e&iJL1彻ſ cp M[}C)K)#ej)k: ܠ}L՘Ow x4<_vIOs97O?CW8EGHoߓDH`)ZZu+S(Qҍ 7l}b5p=\atR"yvE{C gиq7P:VA)'(:ۤ`%Hwk9Yom[X}WgE6t,b@<]l D,ay|ZěS NMzT2g~gv}UՇMދ|<=7 RʼVss  E* "@PbÄgT`1чѳκ֊ lbE NJ@CTROo-ъMbAA | ߱EQwꞢ*Jd7v:LIjhB/ X ښi>Zr\|@NNgRB_@)ԅӃ5/v&$BY,cǚ?hԁ@Ţmpa'^Q{Z2@`Ϳ*hfSa3#R6\ x'+HK.XX.2[LV}޴%Urn(W.K,B՛! $/PY$A9Au.Z%G^0Tς[.IbCQPrvYxr Fhsg@^kxed:+1^ >7$ xlan6GCÐͅ$G}}捌j62:b]}ˠaaV9<+~%vqM/`JڛƆVF _Ɉx::}߹Oh'lsvdH"k0l5HMHd|+[+ŧipj1Zڙ8ELjܪM'2%#rh& 7"[bnڦ'!t(P͍w өsgDQXQkP~hSc!kiVj/r̀wR<»YBxu[ť{Xl1L1j}ϐqEjl$|lNW_ 6R*—ƺ\"dH\E?xo?[J&d2˘127>b;(~؛n.q/-wzLF8TЦv2/m$^IṋE?6 T!UTO sb"옖bs WfXPxO.1y8ppzza=qW7SD~O H*?x>RNn OELݵC 9cA)?O] <%Jd';}4߄B^ `I-"Ȫl0/d1`h8GR[[p0l2X~6#7bWV)iĉ(^P2Ԗ*݂zF/w̅q‘x}# ᤊRk0Jr}WoaJfy?˙Y/6q"2Q| 7^O_ƀ%6eI# [q`M2y,6g&OHd|U#+̑K͞8#8Ww n )M4 )T+{J=t?wlod#7E-8kE WxU 9[!(E-+?&k&3ި6sRV,=ˋ hCsD2%&@5[k~[XH{<>mF. y҆eK,Po3E%R*ጛVݭYciR?1~I pMnMUr*hlQЯ/wDBd0ƂNq;U71GjiHsXz2$a@:eEc5"%}4Ylk9Nf KT7i ِ#QDI3@V~ׄL`{ʺǖ 1Ze9e ?qjeۘx` QpHUʩ0UҜ9ܢ \篔^̦ Xqx0/}EAE#vfX+^(Dp!t9>'o V% ކ.*\;, bmu qu0-aUJ!WcB$)eBNlo2FY@ ء7,H*E.EqLʈ3& j&3Х1T?=QInW/Bb[o *r-KrУ#-ҭ+Q]3 _7nIj+;tIzb뭹Jce(42/5M]5D}qLa/k;c,6AR\vD; ة+ *t(yf_"e*-Н,-X-ȴfV=j-tJjϲ[WPHRH/ hy5 HTetϡ&cC޲'O=|gTFGfw?/ ^w(IFbMlawDZ[ZퟑCXV3eOPxJ'\p#܉e\X;.A43ýACw~B ]ޯjNnڣ: ir7nGf I!Eg6Dѹ9YNy@R7 > hjFK94] 4V߽ 3Nϐ0W:(ᒐQ^Vf7*FlBnF R`:xW8UO&W)_q y;iNsKf:(J VI nĿѹxFLmk˨Hڃ2Af%S\I*YeHtts٘|u9B1,b YD^8ׂ0~%6Kvr[> גgw -8nVB"p6;%'](U6 ~!6r!@7<ԡqfQ S,/J\]@*4raӆ|rǠ*ŠaG0G+\ufxV5'W [HgBۋweZ҈ػ|TZ2Zyhpm2Î9ݾ4N ^ kw:+P>h|i랆(g?ID ϞVu^2#Sjni) " ED`|pՂDi.]I&!l*S%@j+f>(7Z#[Lj,BU72 j)OGRxdUbC}BcE3]X;]X$huhR) uRӊ}79R*?QBZ e`w^|fá =a>i0k32T1 RA.oJ/`d!$('M@;`u|Ȟ3Aw[ (ApbPF hHb1=OpѨ.m|W_?`°5Xux3iEsüU1;M޺E=89 y!? 8hZk1 wgwV &PXDUaCFx!S ;Y\A̎:al(T23chRܪ*Z꼈ܹ^i\\(2Pldmb#},s[rd\+shtT11 =|]AԀtjuژHք{Ew7Fԧk_p(ωAb,67@7]qL\`3jᕷ/x%O@#1@5Z} y!DH@}7F'%N hJ3Qg]EX'7H%E(cZ*wnlWH[kb?YP6Fxo}*@^UMn G&0Tv0N:LP[ïI;V!AR'|xEKlp8LdfhؗKۋŨ\62{e #QKK?IX۷|4z*2=ՉtRRa t8ƨI]|SG,w[»֩+fi8cb׉k{撅Z/۲Dwk%ƌ5 93Ҿ͑M-BTN7@ zN8_aB8(DiZAD ^P:hV}ΐVgꐘ9t(\5V]lzUnaJV>N007q5?Z{Pjo@oP~c#n\g/17UYu?þYddm[^KxoCFuzMQ)O@|l'\t)xxsưUǝvR`wpT8Lw o]"<*tVLAȻ.ҟ.p`H/ׂ~(gv;MD< V4MxSI*\z]@Uy\peZ/"G/07O,J!(B6+G!w agbuA'>n,  Oӷ|]!)| Z͎qo9MRaflGa2cH(&~g/EiT|ɑM풜@62F4MGT="6i :%"&&9๓Ki_z,L8a& |WUUy X?}N-dqh-5,&ؙeO = t*'T3mhЏәC䊽( Y8K&]殢WlNmsfgSt5si|[J ˘93!_`FCMq oJQ TRO%e›20J48jm+%|Q5H_m7ll. ͐QntUm= .*QYKiFIGĖ;B|!rRJN'Lvn mE[L:w(CPΟ?FCk?= eTɺ髙N1W\b]7:{6_=? JKoβbG!rMǭx 5T_3>Cy%x?)@f/J=RVh8Ƶau. 26A)oV6%$m_ADxӭDQdz!\*aFyUt69pk!C.e'#pks5;|yX&K,6Y.#w\X-b(DMÃc ɔJ]LISK%=ө6}8fCprAE SųBa};/gd=ԁ<\>vS0Xa7 |X*Vb677D{uRxTT!`jZ|)7Rgtݖ Ȼa,©byR6Y ?Ʊq^Mn=+_!vyykL4qub*ؠ6lF_;nŐDn8lSR L;&5*B~᧫iYQ A 7B)ѫ!HQgSwyR,B/^w:~\H>vJl>OG1u?l5ҥC&=0*ɗ6\NEE%7-|񡑭? /6lhjxE|}9_@6'Ii\c7bU,FeJe&Fc AOS"+v2qt$Se〬 ;' {=j ? h JvS.Nr+ms~hŤbpaU;Cfdt BT.(w\nүaDV S)pEcHd1aƪ^6D6lw~&x5\Z{LT%EetS~K{tp.٣\wڜ@DUH % 薻Br)7s# +>[ۢthySVz Czz2o@etW .Pݢ*uGr8 rlCFЗT~@W{f8 LXḻ^mxtB-D?ˑďbdzyîG`+aO{iՙD齣WR+nK!BIXhw2ΰ38wKEs8}eҏs s=|V(0ܵfwy]ECbܑmI|[ùx&P8.~r0e󡗎)V .mʮӆ'i m'ujFvC'#u,(㕨Q&QRa;֕5kboIH4BSV1%&x`CeGL?F$,} V+Г,wғFYrtxO60D`*yh>ICK3 rZ/+"cik1*)+.G|p+M *#3,WK-$A{l$zbJ82C;tP~ڽwI.O+l#/☝vgBzf+I_s ߸owYiHEw|zZ_ 3r>U܌5_(ysV;ԗR]|fVJu\7! z7BX6J' )bj)yOJh.!5\ s@hKoԧS\IyT'C bG S Jn> gw&ࣨ+kU^H@T-ׂQO|Im+ƮӹּIB1Ok2Vt[Nz YE9ۅGg^1<0e >z5KnVM6[W5.G9&0MO{a(r ,LqWȿXR=bBKAW5x^ :h%؄Z9_0\/ HVo@\6G$apEDq*@}qdj%\4^&YKx;`#|'+-zs۰/FW⤕ӈnwaoP$PG-QpĸrD9ֲ&M ,۱2&3K{O4O6}BPH}۩串]|c2I;}]lb)y_טpx@`9d9q/;pEF+Tg\X^MҶ d'Ta ɂA e i1mן`V/k}?˅ΣfSF/ǹš1NznsJQ`J9,@o@~ά,c]_ FU3OK<:x#0#@4Iᗰz(Լ;%-e0/mهp6Ym,T(jR[w54Qf8.w1m sG]Ŵ%hmxZTzUoԊIoߣiLdREf PY ;Bd 2O#GQW$:sP)^%WӼoVR= Fl&DEL9}1 LJ VrG o9rE{Wi \{gӻ5YU)c% ]-&&zU(^`?tL7> eMe/uPJql3}$yԴS=$Pw,vaV"13Rnq_F/UC@ 7a8 2<]k\*bn1"^v慘&Fge-y؜ӠV+^q+ISm&f~˲>I/܉wN?9@$Q>MiD~῕C;5;0UAcj% ;ei)yG> *CB|6Õᔠ:u D&n*=o|'YWT={/%U݅&5؉VvYCXQSsLx +&t22%PĵԓBXvFY>.Gg)9ycK˗b=Q!381p5;|\YK;e1]>idI?N%뾤xTaz{Zх̋t.1<:g‘!ѫEzKC <ꎅp&_|'DVS`!7k37o8Mu9jTW"›ZW]s~K$ ~XoVAg *"g2l8,=!{*;"}JB<쥤R:3cbTәEEy\hd3`lfZKʯtŽ JBtNL u2<@L+M/QzE)m[ؠM&I[_D8| tHVFk?&IcAg-ZQY-7}EqfA3/&[\',ZlKgsX olQ^!,M˯A]M_|U`&;jQ"GD'+=aXGE+l)30rs-@zG)~RQ'gE.g\,-Ih,=pOtu|Ӻ`9/Z^O-]W~TP/{K@biȣ]fNCG7z mh^؎(`~ \HL5zPvfs>(nA6?Am#vK",,U9*yJ*Eɍ-1)tkeq^At GĬ 7JfxwoO NvlwIP c|9{x֨QΗwt5ltQo],lbX8EsAKsII.UC_ߎ?g<;4[4-0;cI:z~x8C GW7ہ3-Ž3RK]>HgT:.v˗Yy5$o?(nӲɾcq >{<&+ @m9~M-U+5]|:7ѷ}, V)2l=/W>7Ј0vIZJ G,H+F!V>Ri}vR'c3I݊SX~[-҉0[cEr2x~uY&%zU- Dieqx?zߋ 3S40s>$Tgm̟tsav71@/RL*ulKz&Hy#9{f]}<_&s4%AC m:M 760 fQԙ̳ߖk S9+E#5$c~Xyn36TdYxr^:'[1e)lxܔ ǻm }41Ϙk$`STҏ]{Yf !~k6 m|JJmZtQZGpɘg~Zs5. /3>uXNѺfRu %s>-ߏhto{'uE#AFlgΞ]O!JyK}sl4$"ح+ؘNu V;~,V [.3c}@A3c˜l>gtG۪go:Au,`ʁwwpZ]MVOSZj@Σu-}rW;ƄY"vC vJ'yǢUp@H1)\"oi/rA]oci;>t^Y4q'%GƾUVcI#ZxS^ܻ_?:2yr_ZbAl~ƦYZG]E Y]1-t%gQWZ`dQ$/3*82 ơi6 aGP9n K3i/8.ob-QMx,Ѥ:9+ /ˇT;܆.dGgevA!U K!pnܠKn|"y|?夞4 6XqdS꣠&_"`Gj*{ȑ6 P㌆+ҟ}`9/\|%ڻ5X ˤujo8[}B1SZ:#,Vaќ4-$f|Pu}l'D p&T3Sw"G~PGΖdVG9. جsnWTؔJwF}ߍXdYDeɰVF'AV+"ȫeu%K^bʄ΁FOJYx 22𐣎)d{P=u?/ IKv D5\h~M$c!U5yJ΃Rgz1b-9靍DbTs_61~D/axQmܬ矀.S0Nu.D=fV',hBl+ xS +$ٷg#U_#6$y^iq[K90!VXk4SCAn[1l43=NmAk=7r?/|ܦ{:8ybğ{dl:V׳Sy=HpVNZ7~n+#c3bd "пK <v%:@/ie!&S_*+TɌ[خ|6ltQEӕ5ISWIrV,#B ]BGTot!#z\+UlN@RI3$eDf\?QȍDJRℼIU0Bz#"p W9V`8dAL|b[2ƫȠ- '۶J -"difX9>غwoPaZ2~M xB)ϣ`T*(}= Fg|\\{.+3s8kAUn|ŜA:,/nr(*[CHqbã_aaB;K ウGf#G䦼ɻ鰺ջ5"CtfҖLԓNH-w<źi`5s'uĪHyiJi y!5%ȫZC'ynݶ5ISꀿe'Twܔ.~nKLw`hG\GTj·8̉n\ 5dj ) DBZk K(0B=~kZK>gW%\g^<84MMo 4\IRš= hjc "|9F#Fi18Fjj"gU{(׼h)"_wwnuGGz:z—l#_ jk>do.; @lAT2Qʺqbʇcnld@]:|=#*yK)ߣH.v|{f6N47wj 9>Sdvt'00P6tM89 ؾ<8:xpG>^"ˇvz+ @}9lq/ )QyBv^6uSCЩ7V/M$ r9lb5wkϢ,'t6hT ؟z=Iq| G,45)n{s6Ӿvt@bPj kbnz4wt( _Ysr*WO2 NGvNhd 5חC\@s2>]ar feGvYnZf7N<+M0"X>P'0xw y9 n]- ف4\{tiDٙhAcrŐ1Ru" WTZ=N`1{*;~̞q!^,7sűusM{dA Nі*r96lrAeь̶8(4˧ 0YDTgB Hac d!qY̱3#qkD{*xy JjsК5a~A>%e-e<5S E4w5䂍%P4$f!]95(,jMu";>{_/:4^ԃTGn@Paoem{!Mˇj_wn-ܮ/ktUgd ; }ޥK»Ѷ%1 V!_/Y^ՙ̶Pׅc 3!G^NElr&5U2֢kƀƘ)1K.J 46"<}NNݵ0fDPp.(=nOmJnl{1\n'}w"EWfܹ<_, 1^+, |so4tu%8beu)A0SXB ahyʬx>vg*y&3*vS n jm%Vg[L&(tm"I2֜򒐴}{#biF\$ҠbP:q(ŜOPB"NLh`?И<'EvZ![] Y͘[bv>gz/  =S#aլ*q^رvTn.:joTi\#E=OSrDb;*^d!֤[`idCMfm!W/$Qim}+n&pXLnytjd-|=j!4rC+;%;]6Rw>u>/QyQD`iG\TIh&m^YccN,-~3 &ZgYN<-jϝ$Kw7jK kA?\ɩ=d̉6loIG/Z 2)m-o/j껇t2=l_Ew wGr,7^:lU qa-٫ބyޚ]BȃI _.8/eD G&q).92}CaK0!M;CCq>С)#JʆF`(e0-.[Q4pu@U$<<8d `)yVvqRbiwm/KԓpJ%uaUXpU@?0GsE`*oRZN f3HQ{T93X^&W Ij`nԬ*&cmʞ2vn{ǿ0B\ M4UXqPL揝yj M$(y-xǮ'fuyD)1/\4AJVc+B'ʷdniȒϧyыx%hoeGt*Ȏ770LPQ@I)PfMԄjiT0," '}F *:T'|%䒠l"N,dw$hx]c22<Vl Tc2HBVP$ܠWJيN"tg۷"@8oτXyux%:Vaue6NZ#~ "9zJD^%Vkz=$G~|@#)/ ${>UŒkU]Ygɛނr(\҆T]&3LK[rCu#|ԾRDy1&k/]5]P'0ğ 8`ps{]9F%w׶F-ыJ‡<\ػK9/U <8!:~;pnN*cPF3ykƹ }0MrLA;i~pJ +f&qlr"~^{F" 2,sޡ:oVt= P34 letb5`vsuy%nqG쾣vT6`Hq)EJ{as 'C)_;΃`'=Jr.NGLM_,`r+CDމmWJFefTECW}8*1Fbs#خӌ]ilJPӾ)D Aa=ϗAiE BmL-m=Ϯe!:H_֑{l6=J!/z63a}zKV_ 6܏#O v0V<> ڴ(~_-h5h+R0ҤWc flI"ަэ>&N0E񎇼-LvI1%!3<&!pЕGcҹ KE]sdv3N[Rt> HH˱i:Lp~W P=~<_/'&FHGcOvn[(y3q4z(q!dkJM7D! [i38 B,#๷Cx)nw,,Ti n:v%tiu3nPFZ:H2&bdV[3c@)&V5ͽ[3uMR,ǖ:C%w5,PKH5 R-03»Z44( l reyyЋ'}N $.H*8uR*VpkU392.oXeW\rXZ9DbB9.[ v)p|@*T[MP:8z(n?缬@Bdjz|ٓ9,.cb&~fΔ*^^2BcVN{>`Fe 6aoS"?q~sޤlZ©Xne'ʮ|qڽ,^\D. ʙf6J,KXUI q]ʞ|tǁl}),<PsPOֺE J);zDڊ̹фPqv31|sAF46`$+ O~Rz+0nN}yQHB;Ujr6բAd{lW\X>OzipBڸ-z\ V#@aLQ7= 5d_^ߎdk0iO:R)Unv5l*(Xy$Vn/[U@A {aYERR^@TfNwEQN+}3Q3K$~j%Ng[(PsACehwĉ)95WYe{@A3Y~k~_˃vp<_74rzE9X 2l3S:ebL=?JT' _8Z*¨?<~䆊 !W2 Cqk֭?{ jr IwJ$qM*Gbd(~[ 2sTyHn z.@hŭ,hdoň JZŢɧYCឬC5v>5ûĿ$F-.z&#Xq|( p]P7877\pBE4YFUnX{Yp-sAStx=R2_*"ݯ;DDb @zi^SyA" Z.]FvC^J<@KG3ŝYVuOZ hꘌ\= xޭh)b} 'mmAt|MqT[7y}hkލ#mmaݍ =e?`;{/K9ͺ2 0%o ;ĎAXqf"KzRdEucЍ֝PJ[enNoW;g lBKτ:|9d x"_õ ffKUyRqharN { xO\Hy27(=?rŃ5 Y#˷?tL&lt&.g@֩1nv⑈6t&(֙q!03 4)OuF7e~}[ͷD3BKR9$7ctN?v$QP^\z(tGѲb~;X|b4\!05ZXNfccaJYT(slݒ T8"':Ę?|K1U*S9y9mre*;e$HX{{r-$eP+ ɷ.m"B9=,(it2%PV Y]!b=XdA.3GGN0>5υamƒMPZrRrFOr~U2'1ۈC"2\I򁪇7Ӥ do)aX6~|P3$">2!"U:ճ4i, r`:em,t}2)ZCIyLhu)-l ӿn'.XvZ c2hIW𵕼8KV( ݼ$i-"aV([S-+_Tl"ғKb 卲,JVXŝ,nIIJ @ݥ| _HXmO"ZI HJ}x ?}gP)|#YuB I8 66԰PL2;V˸[f*&dPt:~=(D~-"/ԬÓ$΍ )h꺆J %Lb2,{19, lW9'G.XccJh IxXXqw< ݸAa[;CqmOXzgx"ۙiBnRQSゥL%sw/ѬzZ,(C΀fY2q6,ΪĬL ϜHFV^[BU {:9p sKJ?.9!eWkTRBNM!*\Kl78ZlJB@>>j!LA 2ݽț;6P"ޝSU[Ëv\oޮS5֕) P R9.gTS}>er8UEKHn]:cJ"`}%aK9P*:&;fZ2 use}ܳS!&jҚ}hC=!j0"l~̦I .QQU 77eFWя uVI_˚den0s{X0M0;Ȗ?(P*l4pd=5SWb%d릉ὂSj2TۡȩLհ !1\aDLb7ܥ8 q4EclZE.P|F;^4-ģ6~&v2#STѸS".|9qz~#mOHژhn=:'gi,3&6~iilCaYGO hR 0Oȱm؝tg0 D_ _[Z =YQ7Y)Ũ|A6y&`m,B{|pmu˴ly% zkGCKmiJ@\1GVcsV]sW(u[\sbySӵPzM 3m!`$w.}KnܵaVx)`4@B/"Cg{M+~εy%Ȃ?fr-.ö'M|q%ٓb4KuvAbg6fq:`M꼁t_vha odkkUz%>$1f _ ÇvGCgy1E䆒<COko>y=ITkW€93wŰPr\=Tn cg8 `?QEWRY=X9)9"-;Oχں7V/3"IKZ99/,ultOt!BXsfꓕ' %kGg12aΐ%=m k[#hєo=qPs1E- 0^&BPbapuҘ,TCu;3Fc~|[5ޔ.2f?oҒa5 z f*daɵ8cQNf^m-T:P;/4UrrS_j_XCTEP#`Tp !8{Ѧmw T>]Z%[(B anºo]xb^.Ro()7.Л1d|$\N_6YpxqU0sɵaz>+w~#"wg/oF$Г2:AdtL꘦F?zdKz*wq ,'O&07|]Y/AΛ Xaƾ7:b>[Mo?,~=kQvThc+?:4BuQ!qN sσ B _@r\|R3s7Hzvo^6,Vsu}UIGlꄒK[.Ջ_8eӶ)BZYJ+wD(HKR*$ZNzIJ}0李5s0 h9R0SeUb~H 9ޟ tm* UyWll}Iy& T2ZZr'C؝UAjP#Uj`ytgg}8w'ExSSYWXA?s ыI6ͤ\ыZ,؛uЈ dX{'nUDDŽ&$j=) :MAjA_gwwS#,A,gdxg!\ɭ+C-[:8UdV\V2WU?t.gkbs(%OXl&He$-A mt )gnpAeJ].!5Yu=nw,PI0whәd^}G~_cWZ%Vk+#|BMW(kPwTӟz TyBp1wIM~R@v ɖ}^x8M?MeʊpmCI#] |(OLStĄ -兏[E6RLwa]WDe#yYe#ui/I()օ<$BۖQRWz k{C%3yoW|( J>˖Cq+6"^&,>I+ƅ4.F:߁#5/dx̪AV9;Mc)R-ܙB:1k$by79' kmdD:F-)|NJ]͞1cB|Hv\%s +}ۖYkܻ[mff\x4k,<2FDr~9z?,'Rl܁KW >GvujCinqLK M^Ouhz+bDFWf 6VIv')(83a1X ;d͠=; k?E/TM@s~cVMR/HZV/( hsL` &fU0 |bۭ!CNTg0N( /dP*_~4rKGH6-56}HB0rᇾ ^{#&/'J[2יإ>qha/žy)j~ّl~B-BBi\i%X&;d< ́P^ev#nZS@#P2C}OMLB<ׂ ! &zN2jVPzrח,I}CtV4a(Ԝfuۢ fկj|&&>:L[E, m K.ރrUWMm6/zweāIaZn;i3kۍF1Ax5>9bY=4AwT-֛KϡAi^t ߃@K. 7DTYEޒnT}LktkgbkD!jC3 |븙F=H1ݴHgh+($7NBh&LrD?!/j+@|ʬ}AlNs'pk:YlK^Y}!9-r=Rwe=k9p1:ŎnGgnaZnc@[H}Xug7gl>@ty`ff/x-õ&r=8S#tkn{Roa,4IoWO$#BAwQ2hcie">{d ci ϤR2Î69-w/^'f\KJ)=,$,'MΞr"viZ]bOvXf[t /Y =Dx?3{'>mP.S.8kfUZ3Kێx rK h.M2YGR5yaӰe;ܯ2lRp!PT'9T @6Wk4j /¤.S.ݯ7ToԽ9UcH-4/&AV!LjUbH$ AJVP+ʬo\P91+jT~ -9HoL@|l@hX %UoH嫧7)ܢ'! N^gQ$Xk[H{߄?y)#T:C\8uiT˞8 ! JeߙQ @̺t/)>K\M:B׬D;hsPޞA6樒{{dMy3ꗙՑCv5WIHv?ϙ^0]:#|H8e^NK(qc.+T7^ __0cљgW1S`iR+oUL ~P,\M2SPxp 1xu0J֋$3mBa{KS<ᯟڙuBW Z-viG|xZ۽D\~i 3K&fmTtG:#9H|4Υui.6<ulAiU̽]Kʼn)`WWJ#fY^OUT$RL=$I>6VO/KC@5P"1ew }L>8 ,3#k˕-^4xǍѸsUصmdDV9h׃G8$ ;Y܄P,plRhPbE?~5S_XJGCݹ w5 apEQq)q5BV--@9&HˬfIZN넕ˡ*.|Q4Q;Z|Jr ${ !̚3zR*UKQn-&ۚVkXqRD4`&r~;;sh)'!zGCFO R)vSKޓQ_R¯3=-B"_*oΫҤS1>Y(VTQ "` sQ(?mի6T[#Y_{MKHn{M3`;̓Q)凶2^/#i6.Nr7 7#]394fg\id3sc+)CZ}+uҗs(?˖qͮ\Ezȫ@C_vdԴ,o 8V-GLay nz&f^ϒ3Zf A@g<4v8N(nX{vT2c_DLLq҈],'Fv2U%'ݹ^}Xգ|(JR7_`ׯ+mP9$Т_.41%Pl3Js* ;[;0jA5gJJRq*kM @j]>okΩ2&0R`[Ɖ;>n.;8zCjs8/3{@@D+gh?7b˼Y)#9b#6[Xa 6JV6TSJztr|1)q"G㉥qٻ5|Px7­ PGs 3I}LLp% aH xJ(YV*}j6iVbKPEbN)30Q;"bQ W -L(9b֙6|a6 {p]AiYaqZMϑA_{j*>QJCVLj_$,vajergߚPwÏu9J n$ύ WB @ֶ@Ăl1L{oTwgug\՗mk=ۓ)SYo"T4VNˢHu׊П-4;ל .B|zrzS'8ݿǫ !L\_ק حkSVW:3팔T0оg?5e:&ʟw+a}5dDC1/X"&!_@7_^!~"98$jk6O ?L}惒c6_{ig!ڧwfh͍h"w8|򴐻ƘR3J~jNt}:jM骀)ZJxB^ xT ( lұLm9 z; v?6q4|v&O>aHF 9>kOu%~Zm὾UnԨw4AUlÔWSA> Rzipk፪JJT6cp-b4-Y+4L}1۟@u\Z9оGX 0@?@B2Σ[O]t, PQ͖`h$ĺS= `˴#prP`\5[\K U50q)S oBt+7,4i>{!DxM!㱓ɕ-Ж8gYZ7zXZִF! n]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>B)w-ҟU Fu/6GX;Yɏ CrlŹV O{j,U0;Р흺;&pC%B%*L8ȿ砰ʙ;Q*<@D ս@OݡڴL(6 tw SpxC>";D &iAI"UӬ;mS]=6\ڑ! VsTix-7 FP鰞xupO`'(ɇN^oR #"  -gYZ7zXZִF! )]ŗXi%L!ucLF)Z7]fw,HytTr+Ut#tBY"@O mlPC37YUFKͨ>vqIiĻlv#:m,,u(󋚧-4[P3ekKI\}j2e5`ዞU40Jb<xxh$4+1vyTMf[jLtFaoiDXgMAW(Ŀ:=v)\lΪȰum%{"1-VUTj],^J C(?#)>FM ϢkVئL7@=uR#DGD h1"C*$͙\C=Jɣ^ Ғ2i=-UAgCSq @(W~ ^c9e:z芞~8:)dkl{EoQcuC&4x <٨A-$-:# hzrHeb&" G߷rTS:LY}_6w9 mp."K_MybI0hS4DT͸]5H fpbQ$,D,7ȇdX  ZUbNH]UQ?`v{jhY6:QC#OxE4ko]Hq01p-]SΙۜ3K :?vVtpᝁ$}DG;i!"CW~>duiS@[%.%$Ԑ1/'u%:U#4~>+0#oٻV.ZalaG[ag"CV$Ga9@&:lK= \?#u鬳|f-XFO8%Vڛf' _1wHûpoZxΤJ01ζ}DEN 9t&>Քd-FŧGP/0`d3K[{ S]j mSITKx>!L' ēq _*/0c|İ9NjL?LcOњjpMxf\7P S9>gYZ3d84b1164e833a6415ae4cf6412ac515acf056090ca5864f4aca6546754eb1e7da0e2085c3f4c937 a0786084c37e397f68aa183c1faa4d9f91f1d814 d9613220b821884d990390ab1cfb537ea1558912 d1500e5f92e061f0a426c2de260ce923efc1883cfb8f416ff927f1ccadfc1492ce63d33aa3b1be99