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 \\h1 ]/ HOL-Hoare_Parallel:threads=4elapsed=120.194cpu=438.640gc=6.716factor=3.657zXZִF! ˸]ŗXiɟd)&]hRMܚ>!1xf9ٙǨV:tY! v0'!w7eXX2mKGֱ;oR9EmtքW=V &) 6&_{`KɆa3 R06v9Rߐ@Ĕ3ԻلGץ9zhGՓZHs髾K 0EJMm@oE:>fR(U*U^B?bk≅ ՉNC\g<բӶXYX m@r0xD:&3~z`9MqNڡkRp-Ǭ޲DL"Ӕζu u߿5/gP(p/ĹCђ?Y{6 'JޗXcc& vZBV/B7b+?Afq{-;R8CcզEbAPT 3V]UR%}^XV̜3ex9;o <>y;*l[ȿ&x>֐zdvXD rC"^/Uz$)%+xy~={@peUJ"?rxʇ~n(I[1d8`umo"_=QOBJ@-xu_:zw`13#/`F4۾4%C@g?t_7 glae0[HXuuFS wna"d3 &MJ̆N ,ˢXY:͏0LbgR(3$l'?oqǖ(>hJ\BeH"-bYR4!ºL"$bfQĠoˇ+揼aj\,*XMĤGQ5g y?,H$F(ĂNA@ޜ(g|AGP'*n2??lO>ҩKn:Ax!marL|9|צ^l!Li)þjV8g/%qHlPؒv77I$3(,I{w@/:yl\Ҍ%" jOߟY[.S~N9*>4P#EO E/<޶zFڡ)ƈzť½ M&w̦e>2bÈf*R3B$ E2d 6@h5=WhhT:$d|3?:)s2w2a0SG< f8~N8aqovRpYG8L>ޯ}6 oĺ .> fTװF|no:5SI|CmS&3~At#3{S#+2Wd8E*MruڤۂC3ebè#C`bNN:3SWmPUj oW"(mjCC+9Zh/S_bt`%Ul3IPF-Wԁ@xڏιj@ kGGTЋ,V1a'`̬p a' OQ²PP?R5hBGʧك5.MDߺˈP4we]+oJM^9S=N3b;~ eN) w"=Kj,Gn]]JfuEʞn\1W&69Ji6yټLC!ytҷ GecP8'b Khc b\mS(Rߍ!/dz,6!iMf .AJ̮W֑']/7`<ߠSdA_t=g/(ۧ4 -#s(Nb?4-{J'r/"HyVQy6qid*T$AEN5AdvFBQXj:4tAw"65U FgZ(粃 I9Jz"B91\d_.<۷'=DJcA5ı?s\*q3Z4 5/e> e/+'>rPbX-\3O%z[_>=@#0"Zü=x?D ڊ,d@BuPh+<:x,N xÄ uB+`lPfd`q U檴 ?iz 9=RΛ~"MPxUPw2^bMm:@~0+Nn]oP/?` "#])N0"O&?J,J(" m 0%]NWRaoDb}c&fpFm׭Wgt! S7`#*}v(L) y a`p m:,D+,>3,rRN_ڹ* G*[2>)z7Io*sWM,`ʴ 4i+Eb#;Eg?E2ײJLP$ _MFȕ'1EQKCW-'qVF5~gֳ[UrlzJ~aǀ^cTa_ \5,.,H:C19 KDڽ(D|vFn2 [BKt]Z{^FgfAUpAqN|~ B=rlKkl>VPc̾"~>T; fEteUIӮ2xW턅/dk%pӺLbY\Q=S1(%4G%ܝ{4-AYdsl+*8T߭<$YCk{spqAHԨ6zj@.' F@Dɤ 2/8kd mmEkG"y%>?;Z-{ժn;Uz-*eÄ9/(`FޝkTVLHةAc?w|_EΛ,x`9̇ f. vҒ0akVii.+JQB?P{U''v_wmHZV+̤+7oQ]1% q 4AoKa@H/94ur3!SPZ"28GgOX!7=QcT96?.B:Ef)ECXewz^RySbG?!t7Y6Y_{ȧnTNHR?Zw榳<71P2+P]jtb"<g(mN1䧗(gHVV>ܭ60,uc^98"2#g]+|iH`6pjxBvcp|~$<]˨axqu'c`໲xNg1lGZt>7󹨚n':7o9f4s)tv5sAbl5X $}l- N=pV\,,aH1BŨBwH{.᪟Zj4lUHݮD0^sCG]#}i(vM^x,4?Pք7u3P _0f .ðim0yw'ۧ\ޣUKYi 4H/u$;[9EU55/- r AT_'@ ͏ )C1j]n!1~Yv:Y? łb!A&xPxʚ'{>{Z6)ᗞda>/=51xlj;d\*vwA7^-A$Lو%bW6 9Y~b,;j!lZ)} c9"oJ[8`t1SN3qlWOg2Rat7rLjVE]#eެFo()H#g%7؄/4PZ9=oQ;V!1KZx`\ǧz,X5v <ꭈUYv[zjR7x8OȑDb$g խK&9Z,%V988Vr20m '݅GΔPE/,nwz« [nR=Pw)p@ xB$e&޹!4m&̳3bi7&,9 Mi Xګ#r7 .R\f(2(\C!fsaUI!0 6/#o:R)uķǷ>ìe?U̓9#M8 Q/*:%BD< EOLK`:w9PM8hΚ_rG!";~}Ӎ0PTEZwЦSnA|EBM[vC/2P,lKxydI"624t WRG=v4*)hR̞Ts\v< ~Bt/FHVyPd ,|F !9iͻ:9w4?z+v`GSP*X8o,XE`qm59XjM-N%AYу}KbQ'"Q? ":GB䏗3Ā3i# VIL̈K4Rhq˅Y .X1X9o@Ȳ(jUjm絔hd?#R3H;vG*D /ȑLo)Aܢ7@}ΪH 4 ;SR.C9](;,=ڮ$|/Ap~1B!0 ֵks/F* Wɞ0e*869:C dOF5QZb䋱AX5IkκVoY.~Ʊ~ԕam3[!ǡD߁qHJ+r~+B+\Вwu"6TpTJ8u5C1GbȘ7v(ҳ0G[UtziuIT $_*GZgF_LA,qH=:M*iV{DzIڎ٫(CAQO0|GRju~3e(m8<}̇^ 1%n9"MRSL;}{x.a?6jlJ.w/Š8F+k ѯ<;onXEjk c`U`m,z,<3[Hp`Z|5`&um&OY`yM~m˙ o4/]Qڤ4p <1wVAة b(5{q> D܄e K0nc~& `c S[)_q)(>d)Tv\Kh(? av7jئ9'E\[~όKÎgk}GtZD˻S V*Mٝ@*L^M| Kf獀I׃nwp ;)T]/jRVNLLH @ tK/W`nȗDIqUOvګ{0{'d(¿j3rv,1D9Fs+s Bhslrjp`8@@!ϯNZcv9o ޸X{pJhSrX 9yD!+By֤ enB̜kYU\bG"B2.G/SMvLkק}]7_6>.{:͠.VVbB("y f. D5*Ϥ{éfSufD|C N*2T%e)k▏P Fd9q)+C7hV5/{=9^P`2MqE LSpzכxoj-X6'%Z6*8f^hZSzKCEPOS'H470QrbbWJ)ZXpFGNL޶uSai7_ HbRxl VҢRJw'ˎS8D6O2U*F?rAP;uY/) C:5@ע@<Y]|jnui"+zg30S^70!.l!&{G[^%_ 'KҠQ"Z5f+wSNc$㫳w:]X,D򷾚 ux0׌Ysg"*T<NfF[y&fV$7h}yu:Ob-gu5rTӶ{hov>ny+=ΡoZ#g1Tn>뉅se|サm)LhdwD +U-%RIϰz-BṷUxq+buCcmVd_Z.e{ޚg  *pCGWs5su9{{RY~8@>P%vrϔ+@i!v܉G"=ebYf~e,{S 7%9$Ap7!YCs0T-'|>e|S^ec!yB޵uy)^HuC)ӵSV2G?IU{ &nG,ǔ/8kz~:55ŀG#z^4~b&A{z]bD5/?BQﭣ䪇קt ۶f1z˩|=ҮlZ>_g~ua+'FuNL{mq}X ss%o[*}̲S*H4g}H咗_iݙX7 58cAwK b |}ַ&(xmwXiajm9Q)gm3>eWDD 9̼7wVTBX j}'%~–%LFZϚ lVU  "DdհQxf y[sߖ(#l46k 'UD CGJNJ 5벯w_KӢ~-辖eXh: XJ0Ȫ Z =Y#ֿey43,j[nCR.dl$($&!T (MX9IA"2`SPB kySΎ"Y>2k!$>5Yf3eɝƟ'VHGLZ Y<:8c&Znuj6TN<"[slV`@j w|884Y65˄!Zԑ@ B\j[T'$m܂Dz#3U_, mx\1Z+)m:(NCh$ф!>< zoĄe;/_ƒk(GMA+n@(8dݨezDݹAwKnfmGDU8I6BIA"?I檅j؛Ft=1h@޸p(ɇeow\u}-% @%Ǡ3@o#D$RTEJ-? 99gb{˖0({чu1 f@8UkQZ7; $ŵr_x ݆hu|>2?)늹_.5ԐXIUTr1FC9 1.v[JPqDc 6i&[ HnYHcW,65+TB[6LCo:J+e\D@<+Zgx]6u/Ȕz<\4 /!| C6J(+JRf"HTJ:VE OV yov"# *~cQrc}D)5unJĵ<71XK-@k[amOx%ˇ8ȺNTr_+ d^ACaZ eG({Egtp!HhTgmAQ i#$Tv?|\ {1tCd gW "*MO 24t Iy2T21J-] p꿨/0 Xw9D8/k4v<3QXJݘ3Az: YN6`KQRʘt@>$fPX2bW綨6UH?Gx߽BJs=c`QO"֊Rt+?Zp#X~lsL3kYsխ !~/ۇSjw 0ewN/b^sp)qp8% SȤ)/Ek. ¶\åɴŨl٬`*.K &ߴm -R=? E y4 ɯC_Q\o;7A1K E[ D`Q Ji IG.vC,|*M7 yeR Q Pc]Gb &һQ sDK,(jgD褧aS%bEH,W8"#+$|k$XC"ɽ۝Jg?j6}E S(NdmĘrGSQRǏvz'3qz 05D^M%>Ks[6wy1/빳YF 'N9d>޸i#XD$cF2x!.NzŰa/(DǬwipG,]/hCO jFs \ d*$M ؏F%);:\ʼ+V:k?^7`:[>jf;*(:!?žfЮ[؁V8Oj9Ps{[wVYyS3R9vY4#g3IR!(`w<sN]0JZ}?(>v_Di#c'k۔5{7k0o9jT}UÝ{mJe ?{4Q=VX[~aї8,ODџ$R:emK3#'?H%'c3{z0jHQ 2<߅;o\xOAy. Ϥ &(fp#tf+xxH|8 y1?\6x7s!ז논~fD7vz>90ihEKC iKlQi<ڵM9Yaԭg4m}S\h, +0׵8F&k(U`fŠt$C̈J{MMQ<\d_@CK8Ν͚rͷͪAM<(gq;> Zں#e;?+^2!ߦןwLą&zǃnrwUCɒemk}uHUHfwpnYdĈXG%TtfC,S5iH[PGjVvAsm!Kod45"~{*|+ΑLB# \W[V siVgÌ|,d#0-X?:G F!ȓg'iڜCrf+yV BVYgR8)M "Cj׌®ղGq-hyBcլ~M(}z3)DvHl& -dqQ w,[HO**PeL { o#en"ed@ĺզWњ\". g] RFˡ6+*VަWv* z7A`l^RyݝW|*o] B,'1U% T;Xpm5ʹN Ӥ-LY$%'zY ]~LXq|V›g(Dca@v޲{oX.ͪD㐂Ww-77X9 O9x겝N2SRp=CSmj4.Dg05\-Y2L}mqT$*(SY/|֖W;~VX[YL6l1o Tq)_'iO 5qK k{xw;l ,f=]^&[6=:X>5*4-7UŴ]f8X4J\~-ȚW*^+^GP3zgLr<3;f?*$_)k" o1AyKǓgRܳiO[A*46\3+yN]g;5֪B;vqP&Eh.τO_|Xb]EMwW z\ DD7o&4Ma7O=_ 2i|C1=HLM)-Oi ir"|ѕWub-nJ7jjPL$L'.] 7B^UC0MmHX}Uq;oCͥ##Z*Q6~ ћ6^UwqpF;9JB_KWJx!aBBo8 "Rp} KMЛ̺㷖y;T + pPN;pXNNJjSء-)~m| .jl/AKPV d??ۅl,n=Z#F-GD;])HK!~LNOj I IRw8N_Qt`EO%X)$1jp#6Z WW|i>\ύ:@#3R ,7<2 !C,l.TEKB we+Ě@) eMG ;oeF8/d=k}ښ um]4Dv8iu3e&H=lNoq>c㛰/$-K޲%2/dcz'}jo>WBA[ڝM'SGϭ؀`E ќ܊)4kٰ4>'.t؈0r;LP񗡅MKg.sV):=vUQH!l*H+JR'nkR1B 2žzPYbVy*`&T4L QŷҲX2A)&R[ŧein M(cc&AZ#78wMSc(l\Itj5Vi >?7&m+a3>$3Ocbr8}Q޶ ִKC-xsm v+ҙ᮰):CڽS|o!f~́81CyW7 `^}lԋ-8_MQh0H{8Fy>C@)p8IfJ:~g>_v/.9Ƿ'&U݂S2Hx %ʫ'5q6ܨA'6L(&C'pGV)宺ΡZOg ȿӺm,0±`: _Зddtc h2$ډ-vß@[u<T E x]v/ `*ՏJۅkD/GQG& pBC`К@)X`s6#JkAaze~~V4ZMl oWR[i cpM[\ q2-a-rΪ 7)L䴦xzU^YKSԘQ8ZbV.۔ɰߛŀ)^.R8ϩnZu dkVH&BBL<|"Er); }]T3Hsq3 U{P*ד41l3--i{D?| WUGjFTS&.G\S8ɡV:^+"oN` D7Qr#fӊx`VNu:a[Ts-3:<|aA7&0?=MD#."l.pU]NVr|00PF PV I^yz@{U}b2Q3Y~FT?2=ŵǡ:mY\s˃L< _:Y}ԆFgS1B ?e}M;P0Y+.6HlՎ?02z~'^lnbeO;g;oȁ٩DlI\8`yÉ  + ev"#bϙM' ֥56}jI|9b|x# 2p萻x9eTp3ߓ̚ݨ"Y_0˛mb X{0^>&Xw_,( ު^N<bՎ0LieL\f ?ayQTh2 D5AC fLtChmU.)`HRL"MIʦt4Ĩ MZ[7ɔ+3ISblBo\_rvI%kFH gR@>/S}9"_ R4-5F>^kޖrHHE_z{\Σ9' YcKAq awZ6Юw).5LKD!.8j3mI+tB Qc(.B]-$b(jHx*lȮ\y И>=5jSSW&M }NE(+x#W~aۼpD#D&~5/4(D֏3}[k& 'NpltMp4SD|qnoP |pGI00#E2G舞  L-A/wZҗ PIO(^/iL!?< F8{?:oޘNB-&/Xy#RGqI&L9}qDJ5ygHV2s_9'Hjm)bUEe#p.⢬|g$JT+J|jg5qt1@Zm8 W}`hA"2ₒ^=V!ht9R uU> kQL=֔PHԃJc/4aJi$׺qI'ckmd潊gIs-4/n -}, '4?% 0ZݐXeg4/AZIxY兑Aҳ漰0(/4zM}#rj:S,ɁeuLT}Cѫsiew 2pa l1 iR 54K8.22eEC޿s4TY'o^ 0rwzjGpXRUM&ZVTH:"@Qa,g&x|` -WA ͉SsX:WJg:]#P[595#K jJ"xS@-r;u2_gwѫe=RR|6E|Ԭ }cR4݈.yCxB3WN$V@{ WP{*7).?XnZkrG(kIAA~BpHxefPMldgmܕs]ehlAdzN,C ȸ ]2[aL^ӊӡІ}3_~ORBuanm{gwK+t 3rD֖b+1yU;1pmmdR'Wi×hkY* wTw rwmHJy3C˛ rp3-f+.r*0,/sAiabVǚrʛb,`nTYY[nTߚH`*/fZ6i#1t"c,K 6&TJ_{’ 7t+Qɯk}JE7WUZsLX!9)NO>ZŞvJ7aPɑ|͌︥nw XpJBqhxڼC4U@dMy~EGVۇt[W@$3N R|A7Y۱= A,B3j1x.X,53OXt/ޛV NWvZԂI.%rzsOHj~Psl9÷kdF 8Syk0V743AԞ| ]<#wB %X=sS_2PQ_9~(jLZHCO6 #()eTs[bϰQ"61N1L5iRܙE"ĸL"ҫADC?*|n2"<S)]lE׌m;WPi`?0qYdEm}HmgNŰ3?6w[9+!I,kn7]hQs4{ݐoFՎ18CQz s@> t/kl&X[L m_-xmcĭ3vU٘"fzA!vՑQ^k witxY 5'D-UC*.{d/w z =ƋY7a<&oYۨJc!p@Ԣ`qPu①.}iQD=ȇhpE} fEa=&i~Up? EHD1 S`EӼuh _7Wm˙& xDg**TH786Xa n)Sj3" us6*Ej=́`Hoɜmg\$%> kf!lDߥeV Uҿ/꽽Ah0 8xz :$_a}_ U#`yv`v `AN1wp-V-/KjYϱLs\^_'m7ȓ^ݲ$Y )z쯻є''-ONoYyXǫP Wi(sT[usV 8 Bz`Ӡ`Z/x4E)aUL鯵O RK#=s98bC6ypI B|c#AqAGMiM0E@歗djQn+e&}f&TMC ~hcI.Ɛ%oAxI:(]m?M8sCZA\G%>2OþMC hgWoMVK1,IKdXvׁ=;ej2$e'$i2(<Z! h7-® 6=J9G"(FxKj@!MFۑS/ԝfОMT˕0i7Ѩj@ DFEQmR 1W\3=N) oޘ^P<nUZz\7<ĩh=F9t~'tcHR|^euyKLD80$*^jnsy8J k[*S9pUG VIpxVGJ'S3~GTdY $c-<X'Ma2֑PMD9ddRr.no($t?O7AWY(vOwE1ـ]Eqۮ;USByoijGS)Q.jD7*q4T53(3sm,WqSSOoc4Jxf5DM,fC{{xg˂2 Lܔ<Gv5C)Б;o>1~7=NFTֻ"Z^^=܁4,ZmV3LZmܰeR%ALAAhŜ\oҸ5rW%[ 1c@C2HagYB 1SS.ub/>N9g`$C GpkN.o1}4N+eÌZ?YO00e"68жד5<6Y6 {ɋ04}q F=(ؙQ #LoI#%9(|F-\=a]O2Nx$(X ]Nse6/'taS0WqpPrD:x}Q!aj9eGĬ]69 EM`v*hd@v/˔^ދ͂8:gT2Yh/}RCibx,\&B+x^ws ׌ ~f-|zً #3?jo1<BVydվ7_5\[^o Gk]lf PώҍNN7H-a}w*%6^t)xg~p)dde% 0+{6; _A,UHеqh6B]^;DE * FeA$KkWŀ{̶ijdt9$AViݕ\Jb[hvܗӆl݃X+ֽ*6Z,kdeOjRY6`7]q2?It}\YaPIP'81A&} Z&-\:ՓvX_4ɦ:]i|50J+R@IT&&2@_!J\QXq+Rh&AfpGM-{{s1kDhs|vX5z^}Y )kK/WWVk)1‹K6{߬_,~UzR!%Qx,Ê`j c;Z91@`$\+RAV`~*sþZ1(g*̣r*8z! UE`@@QjiPėݦ[cA"z3֝o"8nIu}~y HȽCxvL/ZTThu!ADd/rom2B`0fCYCfD\zl6v6{[LO)˻*+mGVv <#h1+YŲ]Jy#aY L`@^6ͧ#-@=b~{(Rv4C^b-]B*#(:}ys=8S6?un^ YV̀kqz]5Y[sY؊)P5(ʧyr$^o"Œ Y4N48IWSfvV7s5sCP$U*Ҡ?-s,Mcuc$NQ3GdGb:cF*NŦD$Ɩ[Zo7 r @ݵ|&{q:{oRvRQ3_̙I(B[;r_j_a7H|{WD DdS[1`_#'r@60U:lZ 5UGpߩlzݣ4q kYROaպ@H$K{q$ã&\-nƂjhfU4>go®x>b={#|4Rtf sn۫Uawt_dOy"ٔ:Sgһ1_t {" &"00F<2!2 gPf -PY!E6KsKH1;@G\;?d+O$P(U p:W}& }yyļh2+f5QR`z .Am!d9tϸ&?T3C6.cQT'R=f-O&{0H [!z8*[%WI,zid{ O @}8ϼ>by6:0&BP tJN2ƋeR1WrF">waMi([ܤp AUQ@XC<;Y3o@S6T4$32<0ŹgqΨ'mz?5[z%H@mNVr]ê[L՟Pt×kkm߾pk+ogK,MݹGH*6d{Y %C!1=$z7=FOwaTVp܃|tGm?L(T V-ҟTwv:SYxCwHx[(N oJ#|4pDkxnG%!@5lGoH֫=[k"LcEV WuyZ;S~xqǂp]G|Ƀ-0/JtEe_CfMխ{a޸9H1ձp OVڃK֒r4Q:oV5^+6mL"'Ժl {Ib "\/'ڧ4)̿9V%Gik7[/Ǭv J]a8'{W2lٓW:{gc_(m‚=łz[Bڗʀ-R,qt]uĶ4~ߖԧ Pu0OsLm!]՟~ wX`91!yޕpF`ĉ{TsHBm[ YJQ\d!z1ι4-Gnb|@'PJL{0:W`S]r°FJ9fߕ%/=ssșC0܅U[.˃V9(BXl4  +'n j| .oTf_JTe]BWvLap\xF%Ek$3qfE47eP pjp =:c|!-j3}87>%p{&*injOǙ PyϩW7j ƚ'xnwSU0˺>PC46)[ٳ_/TM )o&J7namBDys"* 7SҶQd}v|^7DC)eˬtCX;2|anml{5!Z2(rHjcߠ4/[)Fq}elhs1wSI dK&~RYS#t|$aő:D^\H3-_ H|wp -=Wl{!h/Xmum1UK-<1wi~T3J$cfDl:_8b=ff0m: p$ "h¸<7C&ElSR2RE }+4r Jn\,8X_&fK%v$U{ 4n) aXpf%@/ < .v'>V%VЇ4dչ[ ˮ-8y %YU%?W}FBQ(\O_8fwkҜ/D,O˛3F败B͵3- &1I{(,Og)+?KG!5.?' "P iɽ?3jU(N7|Nigzyj^E*kT$KF5 u?a+90':_1 Ën n0\|^OӍ$N=Kovh/_E} i~eK'ƕ 3X(}Uxè?gS$o=4*E0aƛQE57,"H:vmvsU\\],$j(f oАUkE u/BE~I#JTj"y;#HjZb[c-%@I-YJz[Jˑ3k/^ ڽW3\Dlf@piP<ڥr$PiV{ϡDsYI 6WH9thJ#0eT8$| jZSTjԜbzxk{u">Jj*^7FPGᡕuӺvp٭jt<[oUvtOlGPoD*2}`:{9}W&*{Xzr(er3YQ`:N,3nh-&Gpa (cħIBM Ʒ5P 0{\p,h5#?ͅ ] =-7f;%#5d yrʩĶn[1&v"N]SǼaho=B~顲.=A'd"ֈ_<~U aN3h_"e&ɭ ){3 oC]r'!d/h;K YyC,5keVtaQS9K潊JKa>/;5)|v[Cb>K6xOIYnqRkE 9Mk-cK&=lu0^VVu{`C ͪ/[0Gse}xjՎϩ K=P@?\C FZ>޿n[_+\bA6E/(2&(_TJ\VT$tVowvU4Bn_p4V)];͑\@mdwzQ=~'^| 왠I 瑂Xmϴr7\I\`u>".0|闕1ЪbB̒nGF[[} * {X2>eg I\+X^Y%@7ދԆPo8*A[FM yLvvj<3ű%:pׇّ4R}¡c¯?Xm*/GCgn $ovV"=z)#3SJA7`6CrP[NC0MtFj'] - z`]؈i`|`E}VRFyzI䯺6~~>.`ID=Jg|8dwrϘxcՐG83M8!PA9ы@ys%?\=ɦoyμ { 'HK 5L3wMq; a&nI)"jxG~=0.\m/@H^dr{*y+\\M,8^ؼL^^0"=:9,۽pCXZBj+uEKnkx`+s) Vi4NcوoD QIZ` -lP1Z+?qR2¥H2aZ118\(> :=?=#);s#D&c@? * Пw`>gy#JDi2XN*~TXRNaM~IH;~@x7L"XZw~;irzm>uR[JEV> Α,@]kPܟPq?u'+ OM /az8naaJ'ǑOƌƐW{MG9mtcܧz$au=@J|o7F׌6͛e2W%fwD⺋ % N/N|/ʸOG"~Y&3a vUH҆Q8JNNԦ|i}C1hq:juA3qĭoIvoo"oP l(ё2!G He$mЂW$7yqEEvm݁!5ּ]%?%7⡿7YgAt̶~>ϓrdCD%.9ϘC*gtaVq悆V[>23n K^S\)=Խl#C{8'(Qy(0%S>0t (E3@n-Na%XcMSz\fGEݞ\1m; (y=$p45"N0U2owBkUFj8zYB^9 ;;À(B@LF BtpPCwBg lKjP'ymZVn"yY65_]à J֦N0 Xrfؠ!S3$C]szX|5LudQV@o1sj Ő{#?g^k'h;A$L>ۗoO&WZ+#Cm@i͡J㳑dۋɫ_4كe ZߕMmckA \:]ŬΖhJbs?iqos_e7-DSkM m}ty.4Ώ^nIrDYIuj,? /kq5w{ׇapPh7FO|!#rX;0ԈZj{TH+Ň\÷=m7Bk䴁6'}k4_>kns Xn*bjNsBq6y&v3[<{0b5Q <)"W',QEt֜L24WDjIZtCʰ♴d*ߨ|m! f7T 3)tW!?uak2&yE6cȀz_Vi@OpMjs}kQ z)Ήrq[؟H~h+44GAo .=&2L?Q:SDW(̘67E)0= MQiHk'1J-ȤrF+:B_ٙ>Q[3ZQm-LBbڋc n D ʗVN/2ّGWUR%S;*N8J'K@D[ͼ\b _*YCq),H:I[jj\siƽ5M)D5?.iJ|aC*+sąяQmDVzRGڲ-zX<{kQ"w\WA%#q$>i^C?=Д6L~XhlRQ.[⽐N*\^p2MPB;Gb O-sHu%Ȧ t@8L ІomDBeZ0>.] [c3 V?1~VBѐ} ¯ŕ 9oZEޏޘIphT29NQ< TaŊpZGDp{v+7E8.矹8JV NN]l[.9TVHrG8]8,S(kN,*|7irC==4ĭׅyoˁ9EÁ"-Yݏ,Y7/p$,=J &z|"1/̡~}?Y>TA }7iʊ[_|aCl}32 !{ͺr3%{ڗl2jrL9.Vr4raȐG%yֵPL~Wu[!n "H$'%M~M`J oA2ƨ6:tFX 89^V7mСS0eh.S`2MOnb;#͇zy -;&t. Tys`vX.yӜi6+7жU/]Yj#O_ǔB[x_#hT#ħrGL唡)vI r}uk4NKgjaզ*m`^bCC/@|eYa2x]=P!{I:jHGqB;2KvyՅ[B q2G(QwVR[9h]}$S:ґ:, ._E{PuxgcnC4ꗽ!7j>Ǵ+ޫM~ߦ4I&fB&ޤeQSݸ*ߠvc.b"ꁆQLM 30$ ?^`^$yēz*UӐ^%Ss@zfrRz\PHpAtVnhy ַUC`xhn(5w&dW(oU.g3b恛B6]{p&  H9.S=vY 27V_栗^ xFKtY,$vfgW0mϵMFa?6) "H4P=H)Q.?wיٿ.#>bx9 .T3zk;~l]xaY4(N6RuJ@Mȴ683 ,QҙPy}'GޚFk>=hbPt#qP'PN BGs& ޙMJb.䉙OtZ{BO%>/?՗FNHqY|ꎴҕ=Ӷ a?ԟNCKۊPH71{=D?A&6X+ҼS꾥ÖwAUpK>s5V7]v-sp`y$/o3>Y;2~)2j~Twj ྥWx@R~=$/I+$u!d)" 'L6k)Bku8􃇌+#{@rY!O#-?z80:-]Me<2.{.Ǚp%_2gQm<[c1 H=8`,+IIy_{oHnf(!WIŁsi˸ZZI!q?bR!'T6ͪKertAX2Rt=4 53L' O*PL`^͗ᅨzK(0W" Ь|x_` 6AEN&KBȝ%a%+Mq4\Cj|et ax ^<e}gtlEElPsH†Dn3v3."=1{B:Tw3aE[ULO8,#jidx&Tϳf]o])æXx#e?Җӟ -aqA~ t=MoSz FuL#vU7f->I{ۈɗcE@*hasڞt~XxE^F@B^6KFq+F 2޶wNg6>eagVxU |rB)EUHʰIC2u:U''ԣX#`nlEZ XdRD5koq{ A';8C6nxsb׿?6 LjCT{=bGnkU"k.|: rԩZ%d!Su\]u*ykfa>KάAI/"hFv=/ы7 ƿjȐV*$"äL,H,mZr:"햭DwT8Ws i|S֏@9Xxq숃Jhz+;F^Mp у&2 ~9*Յ[͐\ U6)*HhRe 7p[]hԇ9=m<8[ Б_pF]m%G!oBA4}GI0/ag+yU&ZXlWylz@@3TC3$!wi4vZ3fS\ g б&*O~ned[b _ՎMz`A ք.,3I-D:ԛ_ Z7$Q8TSiP/W=f߰ӬP:sEwGjՕ';FЈp*Y`iD@H Yx,E=cD+^&Gw,Y"N`aҠᵘkrUחVk/E~|p )ӭَ<3i:-\$2&1Ik9ۘU4LߌW,@pʶ1y{Np CmQ˗4SuaۭxJmiQx5nIP-wal 25)jGhQ&si!L==b=̙2{Kd|eE7*]&n督ybt'·Z\y$,i xsd<0fjk~LItBriGw0&IND]zj<ڈ+L$VԻBzӾOIsG?Z~Qf MQg\jw PxI3S:E1v%K_triT Lx&ha&`=PB<$v+"5oňnŢE𳒅]4^*qx|}ruK(q y83 'O\l8"GD=(踈uhfp3qʍa͝n(4Wh _`?(\U9* 8~dqo9ANAuB[.B 8(EenƊp{*`C$u ES$\=p UF[!T\57Z@jqzЪ~Ll |, 腮!>oH Glh`gZT ~bڐeSEo܅yW[}]&~;ŕDZ}lY?j]y vsskLc_|%JٸMZ_xsB4V^ $[;ՇT|M 0o{Af;FOM w1Ha`_ G25@ PO-6Lz1N"Ğ ~F i*⃎Z!q[}]c .z{;ni_LBX8i,g!$kLc[K)馾|[Cn`u95|ժn`⡁)4*ЛXKI:7]U]"{ >Z㾂In4ay̫!tԤ5cFeN1[-!t39baQMZM#TbLI":m]h ?h}w6a`Cζ8p'>mPi/KA [iO{p =K<-35`sOd -NWshbd*pXt$#>8蝤pP$>RGC䀉 9t1!ԩI}X!)ث#`U7={xw=d%GZSpx~)QjgDG:\!.OyQ+ PG:$-, _K g'ؐt7_Ÿin4&͸POIT;;8}rmrd~/tO"uv,#OS&Dr4u>@c/&Ur9;R˔"5 ~KA dE74J6aW\hFC-Cߩi\Y !0RlQՙlûa bFK9pFذlƫ:g׭ >7GᎰ׋ L'6h{ %Ff\dξ=2]9{t;us]Ï: &<SU 9nฉWHD'1OUmɓ/ޟdm)BCFv6~g׻ZS[f=>Z5F#\5ЭmLHV,@-=ǣ=>-GN''bbw +kԐ&{5<iiޣRYuN`*5T]J#F{EpX0GTB?Q^u>q`ˬُ?GX+qlR u,Fy.G|j{&H]?r](p{%ڏϴbOٮ8m1 \hˌZ6c:MGzHfczݚ/_GgXa_-^5fXζ#,Ⱪp=,"9g\{uLj#~G^6\6PXbܷ^R 0V>Qw%Ԇof8Ifv XhD[+\%4,CJb3'uS*EUmv#6U7ҦzRjLz-;ܺFh_R$I@! =L}pb/0y<'IŰl9ōH׹_n6j"|m'7GKE`G}i*agduj0!"]?ɺ#~H,lJ8`80@Ӛ[Er#U*u-ϐ\KѰOFe؇hDIye!3Kg>ğ<|(^ b<4+VAv wM]a7G+"X3L$ۛ\#PlmC2+x{E~5ḃAKޞ7-)]%OzãtIh`AD ^ٌiaǫTrOZUyyQc½f~f~.➑ziig/\6\8tV`է\IcLfjqi c&V L2+!5%B@v%,~?ʒO-oB,زj7Zm0q0JɂzpQtBS-bFZv й<%>OD8©4!( N8 r vP5̕vHq\QnD~*Kd~QRΝHdIHn2T%óVi(ɭM!,es JmtV߷=Ts~~*R<`T-6B\{ Z"Bj>v3ˣ́ytr9JN0M qh<"fU+بGv4j`{R`;l]J8H)n(ŊU #:/UW[RF&%)q곅drg l:^'.,Xʲ Xa? ^d0[(nHWdSrcR,fEw۞(%5MT~|!9u|h_ Q30?`'ś9igUf+m.80mL\%Y;\Z6ᚠR]dcv Z9ؽ#O~!~ڗgK{+ۼ6a}^biJ[b7u Ue OT޿ 쥇ʠ 7ZRBLXFsJhQ͞ô1ժ{dNmz-{ }X:qΕ2&t3%*Ԍy(0jđ<iRSH?@ oJ*}N5CejױɄ pMl  p (By9KGd0cʡbSjƊ~"]!@^s *EWdypP[+g )?{&ꋾ3V[ 5<텪Ê5TyߎHɎ%̟hK y, Z̤6jx=VFʦj&2(ǃT5Ý+(#l75 'gv(j:ox"!2{Z\bԢ'$4g+q H6cy<}8ta9U*?5zǫ@GNd~$RJhuPsho(5T哗LwT2|ORRo! Pl/d-X'!:闥t!jk#chpAL+IO8 \−}lNRJ\EF٬yŧgLw npCͦ ̖ikX0R8^hh k%!GubYE[IܽR3х IrL)PO!&;wQ!lނM ;J@wb"s1f?#kZ؂󛔵$lY}))dPz,՘ 7zq~TXtB9 qnNo:Q#iTk;mQO+\7Ivk.R)5Q%3. n-g,f_P7 E״[|$?Ks2]PWDqe^),p(N v 9>ؼJXHP bXy"ƭ4>6V>-mQq)\+@y8MS٩쐁kuJxȖߣ%{V=#O}e)1nb̿SV$(\8Ik,̙\NMGh z.̀f H8%+yИF*D٠?\R:[ wǠduc0Zݗ?ß.u _{i9{*mqb{B!Kg̋Db;.˵yJGH.,D $HhteDsBPKLS(`ӮndDQ|E.j'jZmh`Utl5 5NrUmi8ZBj)'gDl}i.DB=4)YNz-uˋ*w|2`&awMFrURr|^"à]\qױ(؅<0_YZ,+7MGA6 aJTimx5 ؕ}X*dM.'GF}'E1^y#etԱr_6ڿ@nr2bFƛΗK5$H`+*! -Le1G*O-/AFn3Av^kYs" d$`깏Z%tFrc+C]n[VJ]~7lyaЈ|'OPE hЅGu9Lύ` _el8/UAr|~v)Hӫ'23$}qDW)}h@L=isy;/VIZ91AIJ49>#`SV ?>?]ܑ3G*m8Iց0y˘H.^ @B,\mǂtTu፦̧ZF{ SF̤w!esMGydd뢝TϝG QٯjlλG~.Yk)D'w`r Enj="t%r0 B׷֪ʷt;a$#i2tkqϳWP,iL)]l(yrdAd^RE[rdFb J5לE~㉷(xjoؽ^Qh!]k3$‚K"(P $dcmYZ09}e2aG:5l~0Јgc.o* NgWڼ}\4#W`l`J&myEj@:uk9ɯ^&7A8XE/F\ jntI$ЏׂπH> \`҆&yo#)wk9{{6}і %RFIqӌĿs!|6Ym:6fsDž(zP{<{7BeUX{xS"$Asfz1I9g' I3Qhg4-0Ƴ "O饵z'YvMvE#,.[QY6z뇓fXWH.ArkbRJ˕|5o_A'*)WYl h1e=V[rb9T KfL+TwQYv&P3lQ%y9I^qCP(4P`\?B}G7^hZ+u_ja <4V|?g= [V{[ {V|-HA=PX .ԜJgb.{6.5OŎS"u4ımAUHzS7KX>4(eu'1 %'L6>,7-^1[84ނ狆t'\)Z^H6#=t[SDREUo8oW#ИtQ-W'p<j9̯#ݓgYZ7zXZִF! A]ŗXiɟ1S:JI 5i;\ŮIQrED ni0`;䀠[XK)a6`B)=MmxCdGD5>tD6V'I3,9m/Tĉs"[O<DH&?:ųhq٨?2z=̂g@T#<CK%m9w1~DmYe= $4(ʅ꛼,kv OC uF\Y:΢Hm0x\˦HfR+7,Fh⡇)X.Il2Ȳ q?PBIG{yUT+ Qwԥg[֜DqO?YBokCΫNpZ*?5p')d.HQjfwӳd[ɞD!ȴcJEy M sj=>&_7$hjkZ4lQbceC9;'Tuڕʟr7 x4{A8Nӏ ]JVr$VW9dHɵzMA!KEՙ9ramæfUP$wq`Sm̫n@GOKM;ӄ4 Φ A?nˎS4|{v\ !B2 pYj[M<+/f8wiD官((W5 +t-^'/@~{Tnua <1)3+}pr7%:]aTͬ{Nj:1k?crĬD<%d n,+< TbE1Ho s&d MfAN?k'OS=  `k]t*.zrQ#&Ϩh {^.ya$s(l?s, >rO""85HQO7o$viuW f ez/sh ʍ ְ_gfG2wgu`py>+Ae?]6s*d3 ``sg llnl}>)֭JǕ‰^ү-jtB]1Z!N\OFbǪ.g0B(ңL&ld;Mt@*m<d"Ùu5DAHAp~$@s@6x񎶟#Wvr3cc٥g"o[ fHn=uL.Q^ *orZv1*>{Z=(g ;3s< bS:d,o4d"e(C[wZP)|X8k$.FXLp/j<C)~5+zzHՉH2{hJJ{a ^6nNeo-}7B`|)fO|LE5_8ټ< 6#;U']jX=q"*)ulΥb9Ͱ+@36,Mwb/v04 ձ^y5F` y1C"j`,_Xۅdpfr61MNJ`#ԞYNP#yulD ]?bo0($\4{5\6Oaa&T:[⍮)ޟ4?{}#Av^.4 GWqvMF4ǛL,^qUpa?{=(&7b!9ޫ<5;I*?Zݐ#pG/@[6rN`(tOћTIVhYR(X 0N߾ /`<4-!9( 9vŀw:(-"@ޝ n[pk侧F3f 1 g3 "U*,Rܱւ:e8Pg-HY$!KonM8UG41[(Yz8 Ob;s%_^/Y_LIYxq9rht=:蟯EzHׯsh4"wärv:ց< uW4k7a!TRf2s6jaX{wmCs8X jD.j%"?o'G~M(Pgh} U~֯Q>o D&NjMɽzc߾@%дqҦ+ʁSkWф/#@o<mU{U/_9h˫}r15 /?YGg\>H/~cFBݗ.Y(9mn] jk;l*I`(dd7d26RZi@.$h`OFpe;Q8\r&{W0Hs\I߫ȑN{IAM3a  I@ۄ_6.W1y>'Ρ)£r1Bƚ,VD [\oIPBD~r1GwTArj"a2i ^:\UmcJ }3j=7f'IaVg@UC D$mAf49>yG"Xe~4T;^0ըB}ra e.n3Aݿ裕eÒLjy+eQo~O(4E ժLny{ z@,u?M؁Ӻf8-"=/^+c,0I@' v9(Shݶڭi@p_.<փ(;bP_= GEssRԄ`,Ŀ]EY;F@ڃgzvՂ(hky@Zxd.A1ae-}N\ȧ!@^͙+OW:@~1ֿO09bm{B*:cBtHB9U7| UnUh1+`[2`:yOx<aQK[_[?Cֺ6̨7R2ELVM}KzuZ#x{,3'N&DQۙ9qb)y/Þc ,¨ k{IdϜBk!@}rG%,@YL3> +q{|]V:bP|yb>7-NtW@ҝF4Xڅaۂ 9GBH$QqAa}*#/vuiX\QxBJި$[;Ȭq#\ύm ̦+!Vʾژ6^L(ɷn i&7Vj{[A~ڒHGM{SǍpX2ύ:o8GI1ѩT#E0f讼)~N`$Ti_*X䢤/d 5R00+v G%= 擾qw$BH>0L|,@E+J2U$K_: WDjF=ehEe*vPpÅs>-O׽߽Bbr,f$6QP\,^ZY=!y>h6eehpH)N LJ2otavWs_ыRƜ띪&d2P::k^Xr~cftR3dSk,8|*Gs5VmO<(ӆ\53E@Ƶ ֿw~[6NF'Wpz-.'n7׬SQ(#=wv-Ii,3g62x }iC<9F{;{!s0ԫs 1^iy|yCl.|WIkebIWB"T&N, %@̟AW֔H_q'b{vTi#\m0M63Ff ZA9t)K#y &k[t^61VRYB#+W첧u3*rEBa \iܒx|MiW6]a-FÊB;SjPYzщ3Ep9M`?Sm=\P0La쵕)"*" >ڿI|wD͆F1jhu@"S1g8H-We텡d*txhZY*Mg ZC1.?yؽpM]DdU nxeq7T)a1j:hR jqݫב+\D+P$Zf8I$2#mh/ % Qr.xjcF^>r{} U090?6Ҿw$LԱ +At$D/%h ly`uF ]Q>+'~/QVNH܈;C' LtI\Q_j3H<ǓW`q ~-%*.sh(abvY/uOwV&9E)mD߉$w "7qP]rj++lle eQ=p09ǚGm݆xŚ9jQ#x=6bx݇{͈co <r:^3CQ]L2݀m+gJ[m8.|MJ%3 H)imQLy@c>6`XF"<\Y޶4A+skQ~mt2.E'i?+: ~T;{kC]̊heW=#^$gp3F}J;ԫ)=~Um:h8D `*˥EU|Jm wϗ^] .v-Kq2klݫ˗oC)Ubʹ" p%BC EV< ^H;UJX3:ٚcQ~{7˼B RP,#Z;8YWy3eTA~v}BQ'1Q4 (rHOES9DsD71"dRhAo;8`S KKk Y\9ԦL$xCL^%p,QrKý mi5&.E 6#"%0 18lL+8;H>@jcza0wѳGg|Sb2hC% Q!N?EUІ04`ma xǿm+ϗd2.<-RI#CR6QpUYm"#] ^ㄨ)NL35J,XOryl՛ Zr-KgMmnZ*y"#NxO8tEp! Х7жKtbCϺ iZB8:fƃg[(l}b*3H];%L.KDO>̙=nTyB2HY9走 dr0νS4Ȃtzp?,ڛ$(b&4 Ya CX"hm,1@&#7%o2?G6F9rMCCbk,GL(PLp/Œ+z,IG}x&y&0.mC7^T&r SScliר=be8O[h?nʍ|LMR+vj9&rK' Û&C^pyT~<۔f/?U}$x){%J[ܲ-,b<2"/d3 ]W57Dj+:сb=3)MXejQN8=7s;MPOxf]Cb]G`\뤵y/GC'X0,t >{!C{՗/e[fi^@g6>%#K? 3g 1)LA 7}S6c dW;zQ|L=&SEAaWf,A*0;PDX_] *#yQ;):-h;UD6#7џʻq(KMse#fn}topH?z0w8"v֙(&~ybZ!I 9JQ@ .{ E 7|(YtYq|-L u$G*IY繵 VrxFz "^xxdHAZ#gq+s eQ 3~ 0Pa{'s p*{THWZ Ť5ѯx|Lp]ȥ( +F3!@goVmHxJ:<%FAmlDȯg>Տд"5!@~_= - kj %;&/[j☓rǒ)FC=$v -X:3NX I]12η:au c5(!zZ%s~]a$5 :F2+/ .(nW |Axˋ- cױgU.-sd1&4L$BQ#LS`ܡ6Bu۲ G]5fp $\vN:);10 X,;bXrZZq<oS)]ZyKG=&,U< 9P/vg-i]R/+uJ'?+J\MuDDLC*qQRڕq(x,,UXoK,(u-*Yg{=>W:;gYX 4{I]F|hX;N4^S%r#S~Efc|!iSؓ]XB}KӇ"{S)| Գ?b܈ϳY@AZ^/4&mKe:4[R ŅUߪ׿n c>LԸ+WfB.wAHъ"mHAt&]*miڗ%96z '-_0dCg5 yX<57y%q `TucɔZ8s䏲vA~"Ky8kU_\KsNrSV?Fۉ{I 4WJiu;HzphڦkZC҂h:pwVLVs O=$4%xcRMvz"SeD$yw@Λֽ}1Z9UAEbF*/Yb. mGJ]a PO= bO(\)X 7 Mq>=RQvB;M%~P](j/"pzx o;Z] ToS+o{xiO oɂ,E'-bl.H$h+B:cqB]ƀyS-!VHGRQ4O3@΁6U;ie8G,Ԩ+$!:+)$qCN}]:Ȫdƴ"sy٠oNH\3d}?$N/I7LAY"7l)GxT)"m~8 yޕXZ'^k"e1>6"*3 2coc.׫9g.ZY)+o7xdl]J|Rp¥rX2{hCuzBgPTcAz>Ox*r5G~lZX\\m5 lP>1`^ [u)Th5ө|b5*Dz4ʀ-u:M?:?Ɖ