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 Wvd< ]]LTL:threads=4elapsed=57.789cpu=180.992gc=7.0927zXZִF! Ejk]ŗXiɟH)0%oP`׺eݖQ?P3G!wC*WYH2xc7т3)T)m :UjOٕ\×HWfKYdYZ%| g4w90Bp՝Y@Vz+NQZKUHR>c{A x^qLcTK_"l}M-̃XsӚU.( LK)'iV˙1?EA -SF)Ax.M(wL 961DLR;` {unb~90pewcew~q6qۉf+"L[/j*QUy:Q2#mX?e@W)VSɕJ%3˦б+Ue1RoɵP%"'@"fBOCMm#8&|rH)u>0l''ҁx>4`I8NҏnTC'Vz=5knt-e/2x{OW k` awt4=!cҮX—ѭ_f3e%8$:` i5i.` ^w:CVqb|׬ r>8?I0ݮY2 TbӴK+dry7ue,A&7#ݦz!qd̓.M2bEB'+,GV#+:&h0: ܁Dʵy8)8սe T9LXmG+rߜ`,ǔ3H̏x$Rf +A Zcx*,R ?ˈϣ`x4w8Tv>jl0@&Ld2H,mDtR'6]ɏљfߩnoH91&Rϼx<<Aq[2@W2jsD.5!Ae lprdRrg SAsy'mQYQM8=qܙ&uoɥZ3!@Dhj(>; 5h~mHtY /~W;-e(M%2d]:Q??> ġ t0-TU^ԭUԯfs^]N#t eV"݅~,yKtЃ! yA4=Bz}(u?]IZ7J3P08Ui#.|#0LޘZˁNqy\`.b?o{E#sPCC53% ݇\(29:q~g۞BDD[\C5z~!mE)VPv/{:̏} VTGp}5xQrE\tfd-L.?Z.KAruG 52MR?~_x*!8h!&yWe#܎u ^oS7 I.V;q g0cR\BbOWt^f.938Z#ZN޶j CG#jښȩ).R =XݑߗT{6n(Ji#Nԑ5i O/ZAlG"DN>Z#0 |LyԷ)ԥ׎]}{{oeVn^=~j!'}@~K<% l1霵?I@ZAq]N`kuLq4F\/ p7x'SΧ) KYC+r|Ve纉cj>w[M4xU4}4~ۇg%rciU7.'@̝dJ"eU+Z@)w`Kɕ.s:u^#'\m(SY:b#4V֔fڌ֮7#`u۰lU` Ych"Wss|QD>n0L"p.7Z,qYFU}$k= hT7c6`1-ۍvwiD\h){)L(4 "WM}%- 196Rat[('C|T_m@}l5լgG8rK+.T/:%Cf#ODYbݣ]y63t/+t:J05Kn*dMɬC[>L(sfԽ_ ϕ/0Td|HƼǶsl+| DXYU% Lm?}:¹vFd9<*KtrcLhH e)`v!Pj dlRQ`~Np7wZx ldlV懯Ȍt}g 2k ߌiW1w])X:#pePJvMr!u `b׃KPad,U 8Kc:t '}M \Dy9 xeA/.!NQY:cq +]=Y՟lsFkIӖ,31@H0Dwv8O"؞X{E GciyzRW6.u!vDYYE.@DG:N*(xc?l(uupz{Ɖۭz)">^ܳSb^=+)"Un| 2-{ȍ3"v3́X@>\lȕ/m|5Kl"% ?7V=.Pwhpob˛[g,gw#4;8̓P,E2,^̇]ϬC?ucV_B5ʆX9*]rzheeK*ȳMqe*v~O#maԒ |!X8}Fq- LXX .h-Z<AbmdUC˸͛_o *#; LTLLTL.Examplecode/rewrite_example.ML/E lh8@)8<|r QϪ '8շڇS43MAaJMdwA滖''8FkVh+6t#=W""y.e;21w^N<y{ \i6=5ŨUYD>KvlvUm5wgA&`14/PkK7۸bV|*ug]CZʒvYB£G h$57ۍҁGHl9#9_kAAttʭȿhwհA:z"tT" cUdUh>4Q4EnR%5ksR'}Z`.6`vl=c]Y uf!SjQN;MmHH z!KB0DlCmHf1Lt'ǝ:Xk=O.9}hȻiV:?`]^M,6]_ 7HҡFSc%\ ?Jclf(Q2 8 Nl-V`ً]grjDϟ R43~Mu`]2ݶ]{Ic y%xv}b}=z Xgq鲒πڧ(q¿ m4=sR4-靗RD)QH(ծ͉8$B˔:.{m}'É=k"Fkn)Dbgq,*3yP1|ׁ,BpO3MG8 ed`:9An͙>au@Y\9N/G|Y¯@"J*c@GYD ?ɰ+})QGE$+[JaSv)c@w(3ޯQ"WHŏ/w+\{C]}GR%ȞJ38Xk!oIXVFij;;4"&}qh`YnF9 wT6YqQ>e f]NdJG܏)"N\_t] *k6ɶӉ3\Œ,#9̊<=SU>O XA0;ł|M̻~Y(A\=L '\?脌H4힉#-Zj |)w&llsyV*PF9}axljg}:t0 Yj H0|h:RDw?iA|*54O!aEL\pR"|2n[ĖB!=/6īOcjO߈yzUp9]@tUQ'ٷl3HւϚ`\S;\BZ,vc߉۬a[ BB4<>N}׆I[#mআ CH01s޽N!7^9@l?`(:zDY#Jͯpv:l48TSG`hÁBw rApаԦ*tvv5pE-֩ɜA&͟SJ]/Q1p)3\a^EHKFjsc+;Em$9=t0}T'N$[F 3At߽\fVTC#'U0,;w学7@7/ӗI0h}k.ӦN3EF(W%ї]>0/0>f*:2sFEfkV3x1#FSreFW5޶Cv&CcW)%vi[ 发ޕwګ.En2S:u݄`Hhc`:K8nMi?B&9faT\][uI1e6i¯^y 'B R\b|1,y}(a6,=GCfduL EYNnH瑫yzFs\^rLRZ Pc{Ix-gFO%͸#73KTUX%WԊs {-J1`.>=XckA:lzp35)s/FK%Qt/jTnP^[ FנR(єFV{CK T?:)(HSf>NgNq:E`+|, FER t )|e_\0-;@ptJ-*6֊oq6gB a桝 u.%6ݩp`KȖi5izD\fPɑ!0to9\jzo}F.j'1X`JĖhrysƔ)g9YW&Kq;+x1F(Utxӳ;tXLgvm>C"$bp1ĶΚEqb_.zhm"BOձ>l5S,7-iE4&g筜 '$`۲pc*ܰތTCZ/X#c,󱸇jXT=󪩰%-7*mL9[@SތJyrf [OThsOv._ *$w[u+ȏvvLL _Rb p x8'Aj= &i+PƭepO2m bNo r!VN d!JxcLŻI$7!]I&s! I6p)~^u! ~#P(s7 Tc=ojbM zPG/U?Tht k:{!@hQh=CL=gYZo PX"G|E?1D)ʇeyH‘V .4 Db 8v4a'@/2l[a@DǖJm=J`AD~կ86Ue}0 !*miޘMxQiEt~J,uPۃӎidwBc:7G 03$n93뚪5TY=b,lB~G$E>tA GLg. 7 Wg#UcTVt\QPE=ktvx Y{{ӱHS>TV`󱀣b4u1Dz\I*Gh hO|S=o3:yq׊Q<2\rAU3; P&GV(Tj31ؙp,FbFd%ݽ'Z谹Iĭi}u*c|bU)YƤ/:4 %i Ar _Q*]$3r]uʩp-w?<3>uJ~ {žR/qz*ajRZ#+4M E?hrQ`}XhA#)N5=ƻخW91Ϟ:*fg32>CbfƁ(V;A{̓` X|`D2 z4R~eUQ#K/b_X]ڸlU`܉J`GBabf֯]r8KKxgg8b7K%@;0lw(+ _l4|"]57X jƨej s8}3RmAHJg7Qv!t)xėP0dݞK"Oٴu l@N*'O'b-TGD5g(d깆XQ5beH,=wĄxmm2K 6#'; oQ1 C쏁|~yHH˥Yb01uR12кl $J&%iͽ XXg H2f,:}-imi+=Lۅ+0x9FMfI[=sI)֖ʠl汖YÖHI,Iqy%~_VYmh}pV{ o}$̥׋TRO0ڏ1c\¨CcET~ψHC<1c R3#Zx;,6!,Kp9KW{Md '"b3-B/4 T1R>!Z="$ 3<'ɋ`uY4nSk%-B2C>)<:~mmE(q8#A&gUs}=Ӄ۴ SqԦ9ܩ~k1vS-LJMkX *7^&Mq4 z%L+8Q0?@;H` YVAx2ʨ6 W ;@tnDA]nʅL>vp?G="/GCRV/b,YJгp)niӓdzarҠ9' ,Mqly{Fu쁃:2@shȉbx,<HȰuVz!WDIַ{k6SO`~&3[dRr5P;_L:$QӁ!ϜCRm ֮͌`B=Ijs[TXnG%g6ߜNSx@izn#T xx?礼;?ywYs^.tSK1Τ"&i.tíYf nʕcE_<vs[mڭ{/(<-&j8O|!r,k2%ksq>]>]xLegJSx|NձZ]tX j^E^F|d䉣I%h/z`Z ]aQpۄ=[ ;?+`XvLc8!A6StnZ){1- psB;]I>H0,ܱYRvJJ\ԟw Lcm0(CS(>Z@ 9-7~L2@ ]_k96Sĸs/7A>[6?Pb+F;ƥ&nTAohC&'R9s ^z IEUF48q@i 2/$+U5p{ n5s.5bW!REì|R_:|r,9GGGx$Y3W]L~l M0IF(Xi hfEBq2!?d 58a ;\UWFWD, Uvby;xF9Rb፯ʫ'b3$J9qai z|=/ݹv͎P3/3lce@Z Xa0""ޕs TVv7 tr]tJ_hNN$˴׳ `izH&R4"Z9reeE ϡw^⊨N%Sٷ%!U,@X6y5(c(Wy"'܄0*>_9qN֞z鵨fC :JaOofѶ-0kWDǦe(<5ؖMVW+s[J iDJ'p؊FS{L$hݭKr̲~/*|ѺAhhWi6M5%BUPG"SC4np1M(Ǩ FڠjUZjpɴ#Qy<4 蝘0P` i-&T.Zrg`K,yGTS*xϿ;yaw䁛Eq1]>B@?0$4L*>QxH.(6 ER(jyb A8 ćN-X(v*;*BOIFǤ|‹2q\kԒ2i5g25E,-lLy ߩܖaC;B&ԃ5yQ![ C$u:cE4eN/W)BK:1|PR`l*b80(֓r1` 3M=a(O ѰS/7##dfY-U7ƭ('+?3j65ȷd>u8H/ƯƲrhP= C[QTQ7AT)EN4tqBlxD ˶S}q70Vμf:=! |Gm &|fަ:\<*49w!<{c¨^Y"mdH{ZO*;_ ląkCc!e<[^hR3\%uxsPrWE. ](#O_tSSvBZLc&i. 'pCP&Y ѝEbtVU m4KpCr@2v^jઙHKkL!LAJBk?LMsQ@\Jn|xdHct5(V =w%rsjE'R /4wc=#@j RsL*y"3KߐPPoSL p`476Ig͚--V Z(KpW,]v;Q Hֱ< uxaUї?{x>؜*aϥ/G׈1U=VQ&k_Ru0WT'"(5+ Cc9KÀc|g zsfǘ|EԦ*PH2DEL򭨎^4??z%׳D`;(X/TTS[n=͏[Lo(;VLأHF\us3n1 !?ba? @ѓ/6-) zBovQB)sXT~7V,v\SU3ocӂ|.3nJkHs lWo[oR"xC7#MVJ͖Qr`PT*mv5 1l@mi,j=ˤkA/xv@~TvbSi 00H\a-KbpvEaڝ |~03;ZxY^Aj[ -"<_r_sy7Wʺ* ~<> IZh΃ HKmoE7Hlg7@ F3دzeg"H 6)Rǎ赂kKcx]CmvJOt?4/?I,\J¿e[[.SэЈEŐ2Ot_hҵ;adp@0佷Ä}_Ɏ=83C^!>@~4XgOULTݜ SQ:af+ x¢wAC̺^RW t1Q/($CD>9r)ptRNk; Hu=Gb7d9OuEk2:,J9Finnkumq#֫l@TUuO$xp1n4pG;Lv?xa2VKu0^Wsɗ2fh.{(ņx*> YKr>~^@V>$1MOew j%'+'ɎQw\ 42p? C&x*ݺ< U>cbҽ&*7%f.]b1׸`A^xZۢx&ScgKP:_q6c$Umlg8(JW6%2HdwϺW2,k겳 \жPOD&e4ݢ]jRZ{wyzt/P<5jAyJ'HZ"X]'$ޫsĊ$}^9 ݁ȷvzM@lD8V[ ~f)}њ!n6lT@i)O̴^#.G]^55}PrG\;o۷gd驞)Dc?3'+T#`vRc=@N!J AI(ɱı{e͜}=TS*2ýT^ïr:RØϨ'zsFxtUno;eR!+": 8鍾Co2Im9uu;$GgQ @%Wej$pݴiKQ+М{ es=pω4*wy@X!p\zػJ8-?7L)6B?Ze]=t<3o5$+7-U5ӳ,980-,~K[#XLќ5R't;aT`vJ}1rL1}ReD/J\~lK7*'H@O[pF #ny:4Z >E7&co S_?Q)i{;y㈣L2m`LUB^ZNTJZ6>R),+2慶pqO^jv`h!36);R#;S"hz~1Z8a߯%:aY6k۷ֻ@ؼK #ՀHȳ(|22OV&f .Ens T& {c9 %Q1nK}9 d"Q^6<7#v8MH@jfB'j8$̠O<\Q# vO,g{@Jܖ<%h4Y<Spn{B'>#zK6buN|ݻ?r”΍0PFlxi#!3 99+h{X\NR ;`y6M&3GI&A _Q6sHխ|pf=(-k:*FP#YYXPHQ>&U^9m7>Yd SYΓ_b毽$i;{XGTu YΔem l\:.D+#!!<2t%5 ~g^hܵs-_Y)(+KYc^Z, ]@9%1(=zSFÇW=:{Th/Y|e3uDƁfT!iU O!e?|{`:X ɹ2BK9;dd]@o(J^^:.Ip+#Q<ay| Frg(M]<6Ƴe؇OE~fS;;gΚ7O~;+YSёA\Yf>,5zQ`\X#&-az"EbCo1*Վy9E+!,#OoH8vhRZiJ!m6o&K^Kr:޲$2HVl(} 0Wm%UAn4~QeK$y[xxS%IAb0,mźUpLON|#UÞ>$JyG~6$񁾵~* ^i.Upz퉕-"1zjQ5ӵX.LɣS7#)̤7VY)>/g(ӈ}Q9$3P;7(]U{Ut]~}x$a~N.8&Yۅpܬ0BxkRVzݽ/Ɇf ~.S7!|ޱ'KF|:ȰtY<0$7*:e1x rke5ѹvw_<y'yNsyUr=DG"O͓ζiɨ}f2L\g<8y͏{MKؙuK44V HWpΩ)\<{b D{vT^H=X%bӣw:+/[ ñУ@ıRPZ:f-2hrZE?Q+@D'_G$UI}4bj[?8зOyhwXU ԿT2F՞Dg;;7yjn@)A ,H]M7e+]Q+T^ŘK!O$JɸX@72sY:i3EQ>{3J*v+݋Ց;Vؖ*Yc ޑRIfJYL%4AN㿨*`]̧yVK]nMz&ҍ$Ň-LJG kƄb rV|Uf $UDZgG變a[' {ɪ@iTc_sqTrKZfjlq7' &49ܭy37]yōԫB:YZ#8PsǕg|jHrCٰx5)tbDZ*14_β8LYk*+ b`" RR3Ki!P+FJMpNtrZ6~4IKikG8jB#0 զ5J"v hIF7 :Jk^& >Lr]1eiC#-R*^7U,Ы"s)/勲ASsE@_dZxG'm:H׵3 TZrU:YF%UtE%{僊p!.l1O$u07J(وx\P6LT6+,zӔ@h唪ZΗd6s&E=^TqrRԕ5inb-PxpTcFr{\뉵lzwӳn|=lwӴ\f q(IxnGz %gg0ީ= 1C)ߙ+ܢKtg⛖e B uӕq)Tt͉~3W9w19 'W|.NKr]=P;q*<9Afj7 hL6[,BE1m{`@Q0oћܘ 47B""IM@qA:4^-ċF#[>9\s2`ƥ?` K7镅9X6r&-<.|\øvij y]ḇߘbPw;z:P76@5V[@ՍGltb"#].~2{.S: qAe[XeO|$;Go ejHX &k{AHWi9~,NKak00;BXTB+Sb`""jk5I70?P(ɹS,7WA^SnNt$:B[a) *CԲ{sdܢZ6VxzF:a ;X'C īC^G{'i=F5e%mn ԋ?|_R/E4X MpϮ3A,='On ԘQ~]"1l,(U%UN 5ע)ީ=Z͎Ur1XnAHјq.C̓GVow{?_cg$2`38 1ins$Xx"O'yan:%[PgιXu1p8Hn zsaړ]gk5 3F 4;X.~ڹ"IsXl+[@61^=A<*ۙA%Y']]+'ZU7@(ݎ q0i.xG79XM̙2\ U4> YU cTz CgK`,=^nt 6ట9S޲^H#. mkصL֩hi˶x?ٴ;x_}q F*H+?7-W5p#`CP.?LaKUSyc ogÛ&JTU! ǔx!B`SY>w; oL3Ԡ+NJBG3))s6OAA]mBdqؐ#aGZP5.Pvx.Sf~S3p2 C;J^ ܖwi~McE?gqhxiAq5pyRIg:'Qg qmdT ҇b叁,!J~Y! E*]N ^s@ ]QY#2|}t^ ΢>y0#йﳟ  ?YAzzir8e˃n8\SP] C}Բ]:Yjf3M4f@ǽX>+21y rvk6VKifvkEE# r0QԲ(9'fqA8cfޝ53 is'_!E(i㜠H|em:BT=D|LRmMgz ۞e?n ?[k 3$!V+=9޺!$i1*o,b3HiBdNԈ]끎jOiJPJo*Kj Śli]S4DI_gÌzJ?7B5R2J! 'lG^JN49zuphl팀CmܨKJٞQekQ a?h4AKIk17+, t,JnoueB`rK{$nJȔ͢\h.1 Vǂ%#Kh9 :2,BYl4ua(:d9V9?S5-b""Ȯ\dQH 3Lw#FJ4]90zs;l"}MӎI7k;>_D)Ӗ<2!߾3\y^Ţ+ke۲ABl]ܽدG350Xj'݄,3Aw @dM4j /H;bӶHz?qYqSm0; kn>@^قyTnøf2 |K'P~9BM < o,t5fV~\5&A,@=`GUx0p>S4BIutkzYv.=JeZޜB*.uo#C68oXp"{ yS \"v!1g=C2hi8CLNwqFy@s 'P_y '_:s]%g^$nJ3r-% l=*|kL:*@%EI"i] 9Ke"Ď q=N n#xthȷW60;N>RH8ʸMq)a Rd,f;xv99J,<Ѣw*j÷%vLN&w3yF=.ýKYcꉿ^e1I\YC6wN' _ֆ@򅗆%I~(Rkn e8QpoC3zx\n@wJđ5}x҈y΁׷Q⼜͵EcUn\}D{C(nt+@MIsm2 v>~b3z~6w1mvZug9ARĩwU>f͝z~.)'tc||^NƟނ}nLs+"$lH:w~ڞQ!09?Bw;(* ,.^(o61bk*7=v$Z#iֈnnNRX8l2=ؓ]lH:?>LzxRH+& g/.~'=ϒ{:6:@!i\\%p0e/yo`;=Fq8Q9VΖ28:`$AسB <^[D<%11hDMDֳ$[ i|]Gaɶ^ fU7K |3vj:(;a?+o>!YR|ANb7dV686h x݀:.ܖ7_QuzAb%mVaM+}k;φ( P%+-'99ͯ%K|Վt~QzݶpV![g |7jY/0OgzU8VOqdCdoP}X\q'Áߑr3^ItWwYԉ G0Trh"e7n[^?*A:FV7usT;zRQЩ[gmHDЧ `z,sqÔ|%S1l`[xc-}/jԭy>B3 ,- MbU!)NK+y E,zAZf!V$| +XY wHBm¶sUxb)C\ PW 0}i"*H+QC=bd{q=K;A?ם>'<K8_bE~k6 %RMu6fn "XPUrJMzk!~oiZCCTjj<bg|nQLk(WFAt})Vf:DxXڐWNiD )V&{wwLd MT$m5M`:= +\\Y*_4%9 AbgjTAD̰9sJWeBpHJNgb)u Y˿C%SxZ ,uqR@~L :A%"~D|p>p8Ls,Һw7 hoʔZ72GA.0Z\Bq*33^AR=D1( 2H z$b7dPy*N3Q0 l`LxMgr͕AWHUT]d?bgalFcʆ4tu%g={V:M0p3ꮻ̍p}WW5t )И"/1.XBq#݅ş 0QZإTu8='DcGTiD+N%4eBeW2AW!2Q'KnZ}%!~0('Sr#љ֏Q&Qs!>֭x?f0 eG<1i%hZ!uoh.| UOeebnRAydPb65wmzfeWFah#xFLchzENq՘9xXsL -e4v&b{EX85*vt#ȁ QWܝ̚XLh҉_ ?J7Cpy/ǃCJKz؏-.0YIP8~d-hAc57G{ڥ PYw- 2gP@jM*4K#]D"9n1PmDYąY^6$kCE&H!)-OZl2R_ddpo Ѿ6Bda:&Wu~ڮ4 |[8E} H ο4~-# 2WbtfQN0A.lwI);.:#k6Մ\nSk}ͤx #g\7Ճx#T4OذNCĽiQcLƾزQWV\NY\fHspnhc)D47udr7# n8ƼRxZn5omڴ{]!E$Ō. %T]}Xk)/~A^Fw$AB?{bЭ"vmN68H[e꜒X 9VL)H@VR3W*߲l|#9RjP^ :=g.o_0gi_%WL2;~Iŋ0W,fˠZ_cr.ɥ[lBtdgxzFԃ8BLd(QD8(8FG>+j܁3! j=}TDSwmt&**?OP23Xlw7lrzYY# OyQ7B>:Z%ZIV!7a xN,;ǩ#Q߀8D(G и\[QIZ'!~ >mMsl|ʶ cw?@ۧoyra@)I=χEs74 D^D+X[/(Y{"*۽0F~B}"p<u]T{5."c**mjKh斫rK<Ĥ0-y#OH2:<0!$4_\{ne <5!(\SWU*G,G!M( ido͟0,ZQV_~;$`0FI(I&0ȂO\a.(blA8%;)ݚ܍у>+& 2Ȉ&c #_ae1=VLr.7 W􅻉2G^{5s} t'p$&cސ;(ۥFʙaӬ21bkrWGf2yɠ|bGߡƣ /Zw!V_ݶ#K+YkFLɥ#>}xq>Q[XōY.b(;h8̀E/w/DTs{UɹQN';v8OPz:E㵿!t"d{9JD5(tuz/Xo(sA ",2ٳ[Ӈi>^;5NO3zX|u?O}&Rg[6=ețzD !Sy9aKWg  3 a-DڵѥwvxSAN]5`vBz7 q G`cPu2pi S-B(=1jKVI pUYV+/;.Pru[;{rUIǻm2a~OO٥؎!d/% ' W#ښN։TSX&&2_4o։@V|{0uqspWۥv{v{enYdo51AY+CUJcKDݓ*eH5EϨ7ȫs =k[.PɁ4U@Tp!`2JTajk*7_w wf4G+DSs$+vZߗ@1 Ǎr&Ǿ [\ASfnLIv`odOm/}Ɉ0_ue~Ĺ<ك2uJ%b)D/.sr=jRqni/CJ+:WPi#"-%m;V+:۝yWFS7 ֯1č7 #W7r*/ED8Zth SP Գm|^ [dQvk__9- LX(O怰&1.aҚp1Hxr{ E.5XhTҤrr aVD/@$FU[8uSJ3o8PPzޟ3%O6dZ=MlmKa$Ws7|1,(ǻՋO\Z4Tx(⪤MT)X 15 01ZūʓeyEnR %Ӷ}Ro=٦>WH[0 F[ Y?~he&[Cߟ2OF:p#]}|a L~]bN tv&($9f4GQU@Ib@#'is$<.Ch[gSrx4#DOg*!`1:Ql -yY ۗo\{TvR/f N+O 2(gޖLoO081\jV8nk+#&Y|: (Lbw%[fe}w:u ) &Ӝ~w9;V0>J,Wpĕ+Dkˡ"6JۻJNX:W;h*TT]mnJuQ.ݟlhpJMGEL{\U \mrjm f<T5 ~b1*`&?hce}+:Q/}wZZĵV􆄛lN,O$/Nݞz.}.G% B#C!f>`ET̴݋g3'g \C?3M> %,orMn +!h-L73^VS[YT)1 U\,ZVW= DlʥO)wzN tg5mx FM*l+Aek^DWLJri7[2Z6)Q8Io>$fpJ omY@ ^gQHygvI{̞Us}zK`_*d<|Z5} :[u =!WՆu#x`Bo*[8X ;I !qε?pu 18m6>bZk؉)yE-!,D:bBÝ_-n#}If5쾪l ٰ?m>!VM\Ƒp"LFg7~LTFf*pPZ\CR_ihE, Őm0ik 39z #Wt~FUӠp\]ecg2A>7p5/..Q>?>81bvs҆s|8/*~JsRf ]RkwLG 7vPz9Hy'ȝ*NHAi :zsvoa \"V{4 D{Xd +r9KCԳM`7BS_tVW mFr;h]MTv Ɠ~smFUЋOz`וx34RnKW̞dy¹5\!QC6LH"esMnB .6.ӈINlڷohiLBڸԐK7?PvҌ9JUw\3YYɐx)D!~)9K_JL^Pg"3jEლ! OyǜO׆ۛWή=1)e" j=a.Bv(cJ7yG9|DN~cCV Z=޽VOc?땄Bo1pqz_ ALg; @̂W/mo AGǓ~2*td!܆6g]]ݱ֗;ۈX.nDv×i*"dӱgYZ7zXZִF! `]ŗXi%L&ʷb |, UVti~Hdqx󙵯G#㇙kAپ\&x,) P]h+®&Qi)w  }tt@baK<@sA]mϠ/RH0\| gvGZ ,R xlq3:D(iKvN_kInLQVYu|5f=>>2 1v&VDhbG%ZaI8t (1?8][3BEl ET8B>3bsK(oH'D=eㄻ0@nƣ:#*:4 B&+R*hlbn{X14Մtn|ԂA3ZIIW@E G- Z$nHVC|"z&ݶ`P2 ۹Y U՘Њ5IQ4ly"6g e3Nk!_P Ħ2M煸;xH01/)"SDCQ"Ai'DId{IK<&Gܤ+,Ow= +7R1{'Vv0csw'́=stݼS0 ǞoZ[ov\1N ɀ?""kA])ל<*_~Vn&0üW] ["ô:\,(P+j3C|ên3C6"$GaS6?\'+ pf⭷ ΃ SG,*ƲяUlM%&(-cVD)P쉯kST7WiqnF , 8I'InUkXfryŇjAܻh㓮s%'ELR&7QcGU#ս?Nr{@k_3<]$zx_mDkcPum4jrҒ xͭgZ3ń3U2؋Ӝ#_}l$xE yj 9C^wRQK-b\ԔmWrN>hE iZ^xVӓLdb KU+ &J{=/ЮɄI1Ua C:fbS/0'.ڤm)6 mH`-c⑒+/~ {'~.:l+}̎J6#捧HYxR.vo 9GO/ f%e >ņ*x~1 ʧ^=w*X=//c ¥ y m67 2񺆶d沷wܡr"`I<$` jY@,S!F[6~I,Vח Hk\4Z\VcVy+Fo\ѹRSt I2J>uAS/_-4jz'~%\6\o{_cGS(:e/n6VQ~qȳ6*uXh {LAh; A ZTѺfY iof]rt|CpCF4wN&[i'l8D.=L)Z7\(&eƶG)(wL=[ay5P00xͼ&0+USõZxA:ȗuv-Ӻ ԰h@ңgM/Nwmp-z:7J:AcgL/%>'lF ͘Bo]Ȭa8{T¹1w<]ȆDLz](F 嬏}i yAlp>%@A2(DcxlVmlq9Ė;QXGO.ݥU;>p 2&mo_mNo*/T%)S TfSA>ɹo/Ba*aq1H[\ kPS\~]m:НḫE Ωzq<ٰXs;Bؽ&K$X+ٓڈhX`:!.P9QP=Q>1ݫeva(.kDj[ ~| ~(ɦ$Bw-d֌ ZUg5)pPXk%Ȅ3kt+ط/P %tY$!ndo@OYkaj-FhZ]S&["FMJo:={e'6ұ+cK~u@,SQQ1wsxtf?uEѧ䦲԰kkrS?GnQM"'mƅp,/k)@eS޵'%ޭzkkH#vqt&~ ~ϴb:z+,l `=fw&P`U5GD&ŜY!d|;cw/U`C#-fN"ª s>@qr bhl8 獡^QjK^G^D%Pa},*Pvo#d")u?\ lDyRO>8dS~yRŴG>7>$2W{i:u^./!Z3( "r/::CqȊ"VC"z]lA*dG憕+kߠ^oݗI!QD%e,|R D֗I`yNP#ZaIi U6 6G."n/j Ve_pKX̸+P^q9XT}GEPp$bRpkiuה+!Q ,,|!լON@^`"1'GD곶VGGc̎r{^TR!ֶ}q|{Yũ覞$XMdX!'EZӤ#'HKt>*+7;g(x)Q.HJ_qǣٟd0V[&