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 ~~B;vT$ ]/ HOL-Quickcheck_Examples:threads=6elapsed=77.077cpu=195.152gc=7.7127zXZִF! h|]ŗXiɟH)0%o 'fӒE|tYD Յp= ۚóunb_*} ̩ۨa/z] ZRkZ9Q%N2md8+o?.A_͌8$eE0]Qڂܼڲ({Nǹ6YLC/˿:egi3 u+;LlBf\/7EE 0#)Gdʻ/R_q`4Pf16aey,F5+1> 4Ƹl[wRO*ݾHoQǼ ~ 8K&XgQ ΌH_͑/W3)?jت94(П|J :@L63z(қg 4-±'ӝOCZ2fL nkc 0 \K_ۈgy>D|s6ݸ'N|8c9b\nL/81@s !OfK1jQ$[s} TK5,\upp? 0"͟t6f+,]K(0YKe{"FWT[üroІrж= qχ{C"E $2'[!6#$M7AUkj[GrӪ\}:t5ǷXz w?wl5G@ Dku#Ј6bD(\^^gur,u7z䤯k/Z).ҳ;]h<(Ec-=x3"uApY8clyt1p{ͧ 1FCzxxEIEx;E2e"P܃*'Z/o' 6J{`i.XqО7[-X{LtET} g7]p)%B{!d] NJ+# zA+Ѳl"D, E_gQ(̡QvC~>Xt#te#T\&^?C)=W!6 {4:tUK$J&)%Y:7A0|cCB.@ēkwKKN*oL1"USO obʬgtueu Q %EnO6燶J{EIteL $!% v5wцÃ85Ul%1ѸLNtoI5plX%Z< o] Ë:,e &Tqw~TʂcdJ N+EVd, dc2RQ!"~b`R<0J\0\<l>X|D4%^ TexyF"A=eHCnj:̳G,~-tV0E[0fUű>&  VKk9\SJRJox;eJ-tI)DC KBх#m 0_|d=XjuH} /B!~]\NI) 1=y d_:t?V3m+ٕݷrk؀m[oBwrM\ >́ Y=c&C}27%"1&Ϻy-a[9NM<Sv*  hXxt'DPcoR߽1$} ; HOL-Quickcheck_Examples  A"Y ߩDB8fNdh5miP8RX4\HlN.ߎ1%tOQ5V#5 VWIR]4yлɥZ]2wCٹ?/@6V0y*co+tngi'~0L"zj^2oW蝶u@4̓nQz T"}!a]g§HEtzHtOc K`k8K7Uxӿ/K( $],&\\|b+*' !g!yoIk "E2(mY $1:H3Ip79J_ #ӻJy=ayԴeH@`jio ¿łgcS6A|e;EAH{lؘɤ5ڊf \bM *R;oR *M2*MWQ j4lg$']ÃxIq0}{k|JK9#Pj)$XBkucXG/Ӆ ,u [c 3+[trk]a~u%m6ܺܦ[C&*7 NE(E[\3F}KA"^ZBFkj)Ie#mc|WW0vqg4`\@oeB˘"[EeE륏i1"GL;%dltᛐ9 rLHn/{/Do8 Ձ[٦, f8WqNdbV^z8oy ?zw7__]ӓDt(8,AwԞY \ ]j$1 w!:bI0\Sqo@wcaKʕ#$~മ>=ӭTM&=~{}>0h 'V(̊4G}(R0K``*+, :uUo6mb؃k* ]МMcB_ l_bEC^IPЉL4Ve kW8~Dr2 0of];<,4rgУx'jh  IB4g*w[$g_yeƸ6ݜb<̇6Q)G% BGe9yTF٨0j}t]uMՑpNyB-S6sq P r$KվGr{~/Ǐ4=.Qf{5u`ºi"'R}yGPj=^4G v`sm%<1gOYsx'kGETyx[k/p\%U˒9Q|[$ ^n>J147q,7hz3&/MPlO'U$܈vzvT.gWRgAdN;CI/gcrX~`BVֶ=KoQZ@$t sFΚe.M @jX3^y"biwCR9;:vopW4{9r{6S4;i;MLr2 /,'~g.Q+-+8 &6xtPF_ۚ 3WU: A2]*V&0O--Xgr* Bk\zCry04kIL!YxA#Q '=oW {wkG nT ]id!rhF5ynI/p.+lvpJ='.XYo؄?aPQ6 ie7OۼA0h'k%PL~Ȕq T7X9,'-anBCMȺ=$q,Ż7gj e @UGC_:*tq-xDdۤ6syj «3칋L2 2gD,6\KM7%Ilugb|~m{;JcJTqQjbwww}WDUuEw6է-&빫6Q6[B_)]s+y!T ⺺i t()W$9)@k4iY:ĔL*SHp_ʙ^XʰݹvKTn><[\#2R_8'3g4wYPNQ3H7[aYmb+5 O5_5o}];|3\ L-ΨcbC F:wqi3ଷvŢb$"0xOT {t^Ŷ'5f* }S7jIW?h1st(N'~ݩ7.t5}tfQѻ2О-Cm5C)BX10 Pf.7a<(/ܣFvf,KINl.sۢفWX`Uq:ϫb_c.7 ; UK/ @BPE hRGxRmÆz<<REr \/cı2y@w {xU#ԴJ4.j pVo;!ޑ']KaS!gt&4v;$DmWE])~b[ԟ{nDc+z (qΩ$J|k0|8_4"x'vr"#IM$#88BP݇.F~t.\Q.~Bo*,GMiy@?=9;|UthUw8(]sjQAcF@;D5\#%KˈYI4Ħ?e#sY} R2f3"\Zdͱs+S!KZIЯhϨu!>%! L')3-¼U<$9Ŀ๬ ~ZO׶-[Mgr2X>cᎎZL>|jʏeδEmm-ΙW܃2|jlv$&GN`SBWٓE dU)e|e(Ǐ6vQƍE/C,HљK(ıZ),eH$k.2>1RՄ$!bqTyz5ܨ޸Q!&%̱x]T ?N(Z1Z_]0p;:?5(^)kW.H_~v^)fV]};YQxmvRlcnml|yօ3_]∨aĄ=.EvZ_躿! )> .oMK,ٌĦO仐o mެ,VطǮJ|Bi̞-su_s!i k?\ 0TwG^<{ >+= d*_wO5{lXhqV݇}O,Bi=ҿ&xh}`{n'|ΫYNmMV'{xi&xxC[ӿ|hֽٟc3ݤG]#۫$PŷRO;] \"qC eU{{tIuX;AN+1´zՊŤ6 7e]Ϫ61vR?K9 E5f14$ Y5vlID1zt-ӜHE\ImD㭀8|D oTUħ<]ϬݶOub;~S>& ,uU9D7,|ZRr$9-هiɹ2_(k 0, +׽?@ed?~͋3Tk:md`Ya=6z-N/`TdDb>.Ip 8DY'L*;$%jH<r#`_]wDB>2oI?s1PJaxK* ,\~ oBo-mux`YNSGU1慢$VnR+>ӤmzG|E”~j-7t !G:i} f,oF_Sh@+s"b8r녾6,>W;\ xRu#%\VG wiJčch*Dζ.1BIp7QοΫ:r{(֟qifʓlT0 .V˚h%j DRQelMN}lg 3$U Ĭځr=P46޲D=1n(?mdIR?,ƙ}8"䱢S AYlw&ͪ.5 @)3m3]=1$zH0gS(hH+,GZ\ PUgT{Wշ `F3Ay)[vѲ6,R45# [U& 7ԾfA':(R6o-aru佹2,& Nߐ ?kբ3@eo|1F8tQ2̸ZlZ{ \qX.rLǜ{ua+{%P`c/ٛu($P >xu!ޮ 0=L&:Y3Iչ"|vjR˖-gI?CW/N<JӲĢ ;O]I`B;ÊAc\69 g[jXuyҮ"kw\a/Zh@ZHf8lhLoN}E#Sd\p( Q] mz˜64o^ԕP,^UىxcROa}aF=8Bc\2SUռ=6jƟ g͡/ALA)<pה`Cn #YX= U6>ޣ^못LV&_.@Ux)ǿ~U(TG3!n5XbYZU@aktq76#p>AI!^ލF`{O]' ]>{WJIH\yd>sw_W:OOdMx* r1_WL!~{BL]̵̑8Ӷg}G [NPg4U*ЄYEͷDNe:D"O`DcǝO1] 2÷6o*M2o W\HIřh:}TA$ .I|"{k` 26jl'VWίя|ne@arw=phvv czբ ;Ko̢ֆZgqYx>+8XyaKz\S{Y<‡j1SJXVoNQI>䓂hVݲ8JͧicY|ET1h^Bua!E"v@bX{N 3f3X szJ9)qXre4qURz|V4KMx9*D=gLנ" (asp7(K~PEt4^6A+B0##1SÐz9OՏďc~^׮9W-$m9Bt2ddtuIaG4Sq|GaJAi>o͊4Q9 K#gDۄNW~#\uBbwe5 b-=L ARO>q irC!"*Ԑ|)pD(0z(R OlWyA hGiGj5\Xǻ//{-X@^^voj_`d;-{&`!q$Q-+I D\"h:='yJci}LŽ!Ud=0xJڬcMn'J1IwjLRxObT{<bECy5|z$Jp?Lk2vRj3l{W$rl̖ 3;4o e"d>ϴ5jV8Ӓ@UYuLwR[+8;2"v܆pk&ĚYHѡF< +Zgyٍ'=FrH_YpoM$x r&9!WuO>dl|$Er:hak`2tO.2{RC@# zV?lk%΋ dfAuM G{~xl :W%xߔ,vV2W~>6/j$acH$1`U 0hFEOX#Ӭť:_ʊ&JBV0% LgݾU*՗~d](0y׮)*FZJ<3[Cc e-A[}F`ZJ`_R@l;=t{^KLoTQKL2>\QkxgLBe/.XN"A5rܛy_"?~N izZ!dC>W %}lQ>{Ӕc1$_锛 T @ )lns ~>jdGAHSPr@q96 kLuWg"ʍ()UkyQc\^pC``*^yBէd橊7/>1Xϋ2.ڔ{3 ZĤ6{JZNJP9$( !3y+&;[yTzN['.D?O 5bXl,%~s4a ߿]3Ճ4^N/Adt={My}' >xC.wzLز QȬVU< N12Lxq{ sT[%vxC ~|lce{boZ- /a!e !]jiZ05h3Nahh >5B9O ^6":SUG͚- Y3"uJ5)X.vKd.Ct KrV_NG V9=䟯_̭t! e|4?@W:9c)mvz\ouos Blp唽H+Et;]>{J]_䪥p^Q cv,?l]*־D誰X+HUSzVqGi J-9YXCOK>5E !rϺDXдF\3F͂@$ Mxb:zT֍U#K<9V@ǣUCݣ˯O:-}ogX<7~F]vոonv_K+ddP82P<;O޼Z49ÇB|bS,H:tt`/CWУU&EoM]q^艅_u?8t}N6u^EV3̘AխQUt8KF"B[zJ]T5M—p0| 5L.~\4UHG .2gY(toĽgS9Id:.pq|MOiz|!DH7w$d?0xV&Xcվ̦s.5F) tmyN}Y-Z}Cb4coT`?dIB̥_p/ b 3+kp6=lw|CZzCc2I)wnBomɫp^jb ]r NBFeL wȵy(XBȊ7^?}0|ˊ$C;ڼ QF쫅cz~v}/S\EZl l5T/7}@XS ց . 2H m -r%pZ Ine`$Xi*Kj񩡴qI09x#ۛG#UyDj(FmgRˎ r:}_AAVJ#FVOJβ TbD2⢒єb4:ꦈ~0 )Pjw3ݿ{i3Ȩd64_g-y!z*qo)Rz>ʕ*H7ƲW:k})ʊ3ҋS^?&Yᖑ? P QK\Л1MDwI%)aEDC5p8u!`sq h':ષ{kF[/f!MͺUnAB / eb(Nahd@5d.{NtϰGZdN]Oӆڼ6h]#C$v<Ԯ)U "_ngHIܲϝDC_/EeTkT{@@4ςReBX ِ,~RƲTS88|b1;>k@xM7F?Ab8)QVT ut ғư -^[(#__>A$GUDI`IXYHS+/SaxJ]sP -Pk1|},| v`>TM0r{/L+Ux4G6|E Ul2>pZyާW2*} $XG;mI#/U8`Tr&9^p ^׷COHpܫx"BAǍ(}hl@=ʷTkk̜*M4E.Ue K $hwNfD,UIt.voxABؼt >8-@Zss5|T2=9cfЗ39M[׍lҶ'V ~GXS^ƋS BG+,O0_MLLT3G/K\)/$mu+oh4~M 8E#AoŌT,=ZDKRr|~.m*H-Cns ܀yhx4z@?uyI ;OnpoLEruq;]wK6siUcs' 7Hqa5=`H1^[ng{N0 9N}S)4|'Md4wI->Ckx:[B(c!0Ӱ@Z3=K>5xѹV)m{.4 wpg#,NSI.׾\6p+w"#) S72|7=P &!䴍ҨJ ݇8*cfUbN2m:iX1,¦lхkh'۪DDHy-Cqay kj|B Ų;ZXuGP`iZnW%Z72Ln;_#yRʟ]ko,V tu$h./W4#3GPXk3eS]tV%,UV@~x(];ue7 G5MRF'q11\P ,,V@rf?8.!MYm/fbf,# icE7meE/oO4$S_0Ih(v0V5-}읷R=kM1'6/e?i*Fs#J_#F}/~{잕VM|oiK!-";L'iG\qvRrȺJ+K@Z%dk/#P%¿D>;W]g3NКeo|xǤyޮX/3_8O0 &)[Q&K`(k2Ž̇S$ :~QH[$9G%}N^:oL\x3HyŦ$6z\adf׽bed|c Ltѥ<@)nBP3{%X:V4;V1\/^Ijl ɐ$!&!pi97&Ak9]J.Or| &"*Hԭk0Ф*\R poE4-쩳r~'dr4v^Co(O&V9ʔ7H/?:r4fMa0z%E ihFw/MpTe7,ޒ=x m~  f&bҖBlÄ>>8@&@#3=c)ŜI ꯖ, '+,Va4}c1ƞM2o1"W~IIJA"Do0?`Ȩ%?`"Y+YcC,}j8@y~/ӄry*1~Z$RzNEOfx[y!'l;$$| &7Lv}Ghѩ!"&i,D=q 1` m.,:jAN3XsZ۷[ Z^aORE1IBX g1؅} k@ f(06[u{/~Jw C dOy Ը*5)J~ԫR |W%y"-g0\FCӉ\:1+B(0W̡yN* 뚠jߣu0S'<3>Rq#*@?I'0uWkg+JB|0NATTj'j [.Q&w2 3V糐ge ];j/ؽnnrzLăpu6aI^d(G~W@Byo87\UcIe$A^1f!=]}%t"g)7yt(Dws]AL۹T rLF.1`QquOPa#wh)d2REnKozǯ08;*d.r#{<IVm*$$D*v9ṱ6 3tHC .zйg zCvYQ],(֢ `{O=.9t7DSq<*GO+WK}}&+>Иrg8ݳ:vyTec jz%7x%;9!Q#`jUDIzJ,4mR㦥Ч`>ZݻppEATɃkA]A~&i1![5Vv E2 |OTyMv8"kY3ȿV h >㳸Xm Uf᳴n^}eL0B"-%+Lv\Ga8+M: cAŻlhd>iIV>(W_}yE>uEVuVIkҴ`l3_B̃ c(ȥ}g#2>. ë#Go ,CqǗc3 uTxٶJU"Njf^[-ShO:jIFG{.i]"B}4X~Xu $eƥBu5tZ"UMY 0жMfUh&X|)1p7G6rϯhe.@%]ud+yJV~Zԑ ukPC%rE FIiJ sٙ)9 o!AW3* `.bBۂy%ȡ-cY,ܒ4! i'HX>`]}=}9'u;E: I gY/7p>pKoi4JH7* @o>Lˊu[O/s?"3RApp߅HxŘw&^Bѝd^e}f fj&:&G ֻj@1] fNs u0s؛xv\=(Atz$p!"C%yx'9{~5eFAV{۾rQAg' r^|m[t}]3MuaO}5@ c~^~s\7XKpc68jv% x_W&o_`$G9Axowp4] =?>tj~U"LvLghXKtj\]C-juo RS}̢DEPR4|oF {гPh}?1Ӝw;鋱\C&&GΫybwp&2muQr\Gl98i'CzXkjƒ=]Dظ 8>heB4lsX7|4f[Gs+SbBmg 38?|ez@s8d8orp9U+  '0$qOOgwOw=}y&aLKF2ɁΌE0Rp/Lzu ^Ҍ. c؟>{triY.ۅɽӚ~qTIfUD)/`],_OIlK"kZ1FcHw"f☟٭ NbI ox2X"17R1&ZF> yFZFزkT4BSqp bx},z2$v9g6Lڏ_z%Zr]( 1y[όCuNb+^={lnK`E@1e黝(hwvj 駓wAg({AFǞ^nTZD;;ߘ[l nZRv4@חD6%F1͢"{`@3F?\dٮxz]p>8c0X*3/o)Ozi)*Kӳk*}:жVQ7&DuZHj!c?s]JHDvioBl&*cOi#LOӈڃ9C}Yw՘ĺs@I'-POr0*(^g|HKo}1icKo#L~sdR xR *4S&$*lB2䧱į[]}:7ޙ͒MNG%{4Fm?k$x. G*gj!]]#6Jr*ɘ^^3y;J.wwuu.?2K)meEdh%\ޭ_*OF}WzpnEW۩۬Ufa:cR BATQ~I5t0)M[mHk8i1JSEҋ~_sSGp@8Ujw$qLVn 0K5kQ.ƨ;/ZnnDZ?͡|gyPrQ7u_rպdݾVp){gўA2-8fl Qʏѫ92;2I╍U'y/c+?6(9+Lkh!8 /f|we87<ŸZ\?1M"fokn\b 5 wi'k{˞N%uf^zY!$IȀHwaz?6oF\ܮjK>sd!ȁ ʖœ,9oe8Ӛ:e$172E_MIN==+.~G\^SaLsu򒸹Ȇ;hDA+Ű an\k\Xq0珕oߖtMxnR7>cVW*e0tt _eԴ?|lOmlLCR^|A* dŲB5@x}#""k#!EgEJ9LܒQA #Kfdn: h2}˝ɤu%³k+tm4 Ϧ:гTylqү,;?#g2FM/BZߔ@d(2_A8 Zݰ"Yـ@ۭ~ĶK]1>!R9鿒NNz=Qs83k(+܁QU @NC˝zz.ȸp%I:{@ϡlH-%]RAxOc տQKrbތ@{jLs쁐xås($( 9Cg$Z>+šI>;HycӌL?am +%TQТ;UfM4;^u[1׹@3VMJͬkKB**D+ءPF7 ސ6{lXKg+\CyZH2KTjA;8LGWu96[Jj#*{q]a ( ΢5kosfXɈY3Vd57m5͸Muҧqv&",UbYa&u9)gf;#d 3 ku頰pdnꄞ!P[^Qo1xF+ ?71!" >1 &D?7VuC9d\7%>ϟr!ϯtt Ti,B_+ ^`nq*Bø^sa[n(^[XeX]gr">WV1[U`jOZ v*K4hPXj2D`rtUN"{aZK7!8Nh3]/$&_WM}oǶ ŔuBAY B,iXxBe魓 !`֋I^OVp0_5O|75NX 3E>o6OP05D&\,wTe^SoLHMQ!n.W۰a_kC%7v,ƀS֡Y#PAG_m3CD . U7oMˡ0mg9Ze,lmd Q^Nq!WܯxrxlPt/b]t"cYK!ߟe[=@t{1]/dDhD%JUl1z_[0ڥ FIJ酩ċ-&4. ATK`Lfh8DiIL)u.P]d:L̓.- ^7ZH(}^NcSEy # (AOyxzM"H#/F;3(y _ND3:kzڣ{ToM2HġU!;UO&)e7E?7L^C܋] 3󀨿}#_J/[^MzKSjhMeC۶e56uV iJ101B XHgnƈZK՞N3}z,R+lw({BIF: H76pncmjK$V?[c`5a| ˤLܸtE=rPg 쪣#,-fv NݑU1!)/ ݬZ-J"v:Q l 7߷e3H#[6W9ԑmBB&]f]`*)?Gp Eq[p#sE_-Bn&gO@ϸ5v }&rO [d79qv:$뉸W@ZJ'M\xtv 94N W' -%WEN nܭmdcvoQAmYzkyUF'}>X VVVAZRX:\+*>;DhYzO=dBP lTuïbg e]G]7mW9~-6.?7mŋ3WЦ7]RY!'ӁqԛNxF͉UYjoib޶֧v:\M3ئ5pX"/'`ʏ:~|诶Sf6,ޔ8vCF4/Q30 x7ܦH\+<J#s]+Oj$NC2.@Ad$RpTG vҺ? GDOuxy)eB/ }fP>ZI${YG/7#}4^9ٽR7$k e'k+14ER<8"viQ;34ccL M7zf}$+__ܠKݼ.h&P$RD)*2Y+tRi )%}XT(|z8v yK"?,ߟDފoڷMϮ%qԥϦdhvVo%5ן@='/T*qb`#d=942EUgg,Zt=>\{𜴯;];,=jvKઌ&g^+( 攖+;@Ӂ4R-y>BBT2,MAQhLwG- Pp 9bk;.*ԛ= j8pQ0V8c;gKđ:!:Cxt"r}evi)`{sT@ntBc>e^c~$'wǰ\,;8- !~ ݜZ3a2P)*r[!b+4$CeStcDmQc /F(ZNh9Ƨ¯k|&/ڥPНIk?k'P6hUI7:eQV<Ռߎ>OgN ~I@ P=$20K+!DQNxVD>Ga^Fպr <В_iIEKy%G3NI[cr4XZ;gy6iGG[e=@ZKWd &q"*EukנzXdNJˊvǠ ΊUagъNɧevBo]%'lO<<@O9PlZVvzBw\Iéԥ~U{hfKl9Usx2pXE{O .H)ɫ몹/ LFˎ# qStP$cak%DӜ(o8.)?]/QۮE /P%VS)w>PuJN5ȅ,`ypslSv3Zp߉LĄ3>P9gƂ"<':AuכgzC]Hfa\1 KZ$v: t%!5;=;"=3QJ"]߂Hz6.|,sy6(3Z 9gRا;ͦ ZcELa{ (C-dI,>|f~[¤^} G ?Hͣe7C&kLWCWh&ÔJtKkэ"%Ԏe>Y@PKJLT212>=O-ʟ}5;`(˷ŏw&/6i*e&͜?϶x!Ey)leVqZ5LO(m?Ksf?i] dSgA~Wϴ+|eͪU<co˂/k8Zfѽʇ`7G|yY/iJ`zd2~#&:eK 9/đȑ~:/@QJzƁCw:K;է@^,eI!=bK$Mnk_V&p^| 9 l"Ef6рk"?AN=qa,E?X`y6C;bC[%:N`Ӷ`wӍkb2_*  l>pzoX^DnB%Уio8L86l[| tvRP9ρy4I̵p5ZĔb_W/j㰽ڃem A~P#Ò>?yj6za_bexrȗĞ, iRjH]=`7>t`D xBR:Q(`P!W_Il_Nap_UWfu~A10~h-Z8r4H=b>0fS#wQME]ЛHv)oHd rkDUfI09 }j+8fӎq< :/YDn|9Mq3gqq")Q Ь~VʂiV|!NrYok_k(zܰoGŢ_'(τ\b$þSCwPD- x]x,EwsϞn2-}?p;` ji{b0ŕc ^%o-aq"eTmf\- %R:P?>D+@%ZV1ō1=4- T'8(w!W16t3p(RoMaǒXoGk9"ffsiGqqZ$l[{\o&*>lpy/a.tńNoșQ`2#|}Px._|4L#ԡ+O%¹~cޱE,gːZic $Xt(~5y8QstlFfQ1"bK}n!ٵQxYUh]ib%Q:\kŒcankfU>d<*孈z*@a1׭%y{P#,*^+E~6M1kS6Xoh1F͝ UBQ&|R|Υq|M^ulК?6)@IR(O+~BbϰVdT i[%>Q-JaGkUM|:/=_}ggCE`a*gXkۮ > 3Σi+h1?L$oGu|\LcMt08Z|,MTP$#F33:pS!0J׉H븏fmF _0=8xN֗tim޶ޞUe2wYjeb= { j;I^%L$})ZGfPcHT_%b%%s!oM`h|HJrP\>Ud2j)ncDgAC2@)MS ?l=j]P,j{Kvb4o~NOȐAAYcВ%˵l؞d2 F5xp)S/-65BN{{C.L& 1_kC :f \&%BgJko4mV.M-o9k_n F6$W;x#@vxt14c-DH?e!5-aPj#BeW5ZRV>pC^֐" 2'|9Ѥ e* SuIUdiQ]NBVrdrbk} J:!;T/ᶈ [BU1׸f(cv5n6Z* %ŗXy)K!U<\R-9phJ|ߛZyϖn^f0tK߃x0p1_U(Ug;lp;G՝u[=`61ӧYwogMuFF=ǃ4S77lX"ns=Yc^~<7ϧL~iTZel;bp-dM4Gc$W=1vqK c9'_s@qqhL s+.ez#٤z:.}ї%Ca;#fDB`E}/(NVq MV[Yz%蔽%W,$Ȯ:T581IX 3CfB^Ȼ>y^mT?+N̡RU/u ;@H( JB< :g72^f3 Κ4H 4x#TmEAt'̦I{tbZR-5V+0]Hfũx? 0Gxg^9D1EFig݃ bf v \tL("Hz 9;9&$ރDLOpiDFġP.TV)߶gMzMz9O;窛l#YQ| jV12'5 ~'m>kv-DKFZ"iy,ݿ{kj{HnCcS.=`0"Jr 44&bhq}w 0F@{%U^l) j߁B[VE#p;Ѣ,ON܅[Z7U!.C'#jMv;߅bH:,!OrUHWT<I.s66M ɪ}҃׋*rU͜.E] 4QAK4Otm%sn:Y 8oCm~^=K| 2{0wd!uiB–SͮmȖ#S*&0e$Z!KAٽ@p]yl. ~黾:5 {6jBD:P<RE}-U;i}sW]k^h@!*^ )9,qt@>e;TWY,IFBuTa]m maܣnATЦ b㨿G0 mԅSbu B]ؤIW] cY٪E<3vGvJ1 HDŽ*''J\2: PTw^ cr}ӳ;r֣3R=:̗7r[wN`?~ɈWS?`d{u/,77f[6 >cͽHaC<`m@XvDܵn+pF7jw~v'},wF(K$# KjIɚޑ|o%?!j׵'A|PJovbBѥ_dc@GJ^YҤ> Օ`!.0qJ&1E^GOft,p"w24r8P@%ǎ7?wT kq[ٯOU$0|8^ms$qN@+~[ !TzyDٜb?~%׋bYN `sij ky7ӷͰ&E/L2+;]Z ihg:o)6{T -ڦ7b緲ڴxS˓+y AD-$(@m~2%HM3 (6nѩZZFqQu1|u5:Zd9fBjsv_Z}d0{6vr`-.M&QZئTh$}@/|(]f^v  Acܱ7c3P%Wt'e4 *, aMXQG't-HWLc*pBOx$y ^& *?!# j $MYˁ[*H>dFF+~_φ u6$a#wH!w> ũ:Eu2J7Jc2n =0;8't2k5- H"TevN*)%bsɣdE *ׂc6yzXE"ߧWPCm䱴 SGXTr85sُ࣍i?[tʩ惞Ҋl6]ڍnܩl)I}A]~-1E&9E t+@wQ]aI@Uy?mǃ`$IVq"" o<@E => |[o)u)UMe碐1J Ћ O6FehIlH*຅MgZzkg)x#B>,=ŸN 2"`;|[&9P>mضNŸ w$m$^BL"3Uv,iW^[n>pms@ie~]Mō Orbz˶N#V沗amPN%Zsi-@Z/c'52_$e>ZTޫ3LOigw0v w3r8G rK|yyV>΂jȠo]+2mH]efb٘Cu"jAiy+>jҙ`,/\m5lL_IR4JW\4culSk o\Rr4u >/Y# @v%C}r!}'g8_'%D::J+^P_opyQ?w;5.g%̗v~^$ *7(5-/]۩fOd%0ZeM%)G9F~Qķ?}sMzh햓4l 1 (n[>H.Q؜ r;EopYŇ\ 9趈ΞZŲCS JwZ9?QcsVWTx`؉UCnx(zm('v`?/abeiksO$DrBu5D?ȿ49_dWEixmfyPzc|W}eߦyRn;K [Lߩ?0ÐP.{3s~@V弫EkVjN՜>֦I)N\J^$8}KO8\䩶  Q"]uԭipb7z)}#Nh)SPR^[bt̼%EQxޟ{OCJKoN9rM0L6Ui)=ŪQnwp<尦kw6USKށi^q?q]k7񶻺KE: Hp5*]p؛WW pΫ Z?hoTu){L}Xu)lbz/, RAE`mK)Ȳclz5 -M&JM?!1}2!D#wnzEwO |eBo^crnaxAQ&?IHeR]M'`uoۆ_bdP lQ iEn0wӐM݂ 5g&8'_nR+Q\T茈`[{),FNiM<>.j6_4HN2 ~ 1Q~;;fl&EIR\٭prI0Io1 !BE`+`iLaͺk4q&NKC}FFԶ^q ;#@i0^',H3t_:nFwv[>ł z|/#"VʋK h 4khVq#'Ikz:(1Z 91@w{02RqE"*k!B<52PoнV59_+I޹㦙*Q_|c+b͆a80>Z!O<(RW-P_c ;gapTC`yLX`&m* p v̳yb [ȯ}9 mnYը?;" PpyV8}}XSw|O nƩEvv8H^3#>Ls_)߀2`BVKө%0LqDbe- =hgdeoԑv!GCGjʫ߈ղZ a(5=,_.3te'7FmsTLc;K6"Rb^K%i RIHl:OF+KQ hglYr/H>nZJM r_fo_Ýaeqjبu JN$@{!!|p=B3KyI@Uz?n zQ)p ud~ϩh‚ˈM<[\+!NVZ!njG}e"rۘg;n{AqPSi u.qY&Kz#g6(tؑ 1m{!@y@ԗ0)]bnN<^Cl9F߼ 8l̏ݺk"؂x +ƆīBJmk:ඏ%-C| [P諴΃ 6}'Qu_ў-8t %ix7UzLxH b/HNKӖ 5>ݺVx+2lS .G(ryfq5gNk}qBN[/jvڑg9pI܁eTɱA)aH0 )ϫΣ^Fc }szbS)u뀑F$U0 j`hKC0,Kd鴵cDni%(zMr+c@1h5P)/$?A2B>V ifa/eU4aj 𓊣MRAR( smkMY3y`UG5 8k QcCdZЃ>돶^p&KFpZec J3Z*O*['N;hf*wIR~قw,T;D~\]6!>IXbQP p{pvew:4|>6tѓϬ1K ؃RnCCxuaU#*7zιhN˟-%ѹ.}jّh ^?Cl ^0T=h5AivmWs7HT~ZhRqe,[e/7 D:0IW{>#ܮ1)^TmqW}f6\"E9 hN4gFpw iunEހHQgix7AV˥¡{r, FKA䝶d=i!i/TPAj/ # gy5pwMb4mUbĸ1m-}Vvܳ_蟩 sBE65c7/xV>Hāe+3辩+W .5ٶ+"=ntS 8/z_vC3N\AZȮoU@ Gu*y#hdmhq3_to 'Z{(k:!0TgD~Fb:|8PSZH(Ll}IؓBʴ>Ffk}/q3Wi43Uc'K%O?:m̍ENeܨ2F9O6j,3%R8m9ʋ&܊ 9q<y@["ISt%Jz|eB?X,_F $VU1өEGA-#SRV;\Z`dNJ!2n ,Vo?J񻃮iw-@?=ڐ, p(^/ T:"oMqpdJ)_p^򎨙EҩjFLhhxBTJD!\úQ0u(Y)hN i_˕rTq[|D!]шz]Uk_ * _>^.4m¯NsCH8g˹J?~el='|,_csƦT+c/~A;/1\9#"uora8c~g TL>y>XFkDN!ٜinENPɐ yp(9I[@ ٚ>2KFb\Ɛxۃ:]3͈6Kil 8@1vɌ<hO {}WXs=3~32_ uϵƃ2Xݥ~ ~iB(;v@K׹y+U󱆬:VXzu|a\خX| :ĂB.X q@es<UiS-ire_쿚!?n0I*u%;iN6)?<`O]j& \;ʠq*>FbM)I+DNp~ xF삚-^qJE2@d'ܽrKq` 9+*%/ 3qޥn,̶xbZz$0YlQ7>̒YC5LwnooU>"Y`,vb+%lHXՀSy\i[Pcd%Ʊcd(Z:CЀR\T^ ܍*/z)یxAbHrf*]7[ #.{m$U8g;\Q 5;(ԅcu;6 /HM*a >;j;sQgP+$2ß V2F+$ۨIDVk+`DL3&FehZ1UFAεo<̭rP;f°Diْx2Kb]E16qwdz`O^HKro\+n^xuZw<ۗM_i]駝 ܅ On>oCJ$45s `DH7OxypΏԘվL_G{+iDBA2]8s'1/^Y׌#<ؼcRB>(N}X g)ݮ=%l bȝҟDG}u'+,^N1W2Q.K[+#qܜ[?Et:6)=wS&hLtmQpAΏa @ʄJa֐|g@VJ=4lsZ>9X$١.W(Ǎg#q#<~ؚmFq@u-\<Пgytޟ YX#5fvk*]`YvdZl+騌v[23b:?xKQ`.r$cH3|./`qK" xn)Fp0FӁUPojx(%^{b۹b^@J$ a lKhc9 lIR0x `ZNn J Pc,e- xY :rJ]zJc#q. 4a'{Rse{3]$mxծ‛%I>[dB p_P#)`pgf$XN٧bTt>ČYI7QM)Zbk3wͽvLTxh\;y䔃ӽ"2fЕ.i!BYBa`YSH;ӷ]ӕ W 4k.c!QvJQQ+G.:1Q@=E2ğyW܀"Os)f}PӃ- Jeus=L-#NO#Z-0_@$Df r!蚫װ9!>]KBkcRsdRmORmӿXs+OACrQ'qجZ~g#``LϢ~&3ߝzǶEy\|ꦤ䈣!SGĵǑOra;q]u,NAfU':eҰ<@K1Ʋ]%.GPbG8 e9`rIH\njUtwwW濐:!?, K?~Jdu6T+凰ڞ;`#i5Ceyve:, tc~/& ,~.4pVN+/p`^р. `oX*j-;REVeWg=4aT8NWt۳9F&]2}so^gXaV] oޫ鬭$)iCL?ף[u 5PLucdvmgz ) ŸGz' gGj8q'6wpΝd6ie"0-!%f N&e0Ddf zMB}F NW47DY yX2MNh%9(.CvO4>TsFbs44V;㗽3PܔQ+: 5ΉWbZG8O=ˈ뽑z'(INn>ݼdklL|K A 3RMgb׋q= Oe!1׊6P` 0֖ i׎^JsZW2o!< K08;3HBk B.U]Z l?%?_w%_x {v~|2L; G!~H|A]Y$ɨFC.&l9gj2PŨ=vĻki D=ye;)'.ﰪ E50ÛfugΐbZŽèmI ȝrh=֑]v['`Ibr`>< Ui@ѿ+Ӫ8-c`ލ}aEȩt|\5TS xXb Ԟ#{\g Hն}ĕt뢌O}_v?pHZqi*'U_Pj?#rmI stJ}Ypg-Nu*V!#ǡ8:=cك*]hG-DR(zV} ʿ6пo=~FAvO~rnOPC4hˀ&Z~\Ϩjh`$zZ+MMuuY{ "<Ѻ& ʉm kV}fEx1&OQ'!zʼ&LіtBܢ\"3SKoSt4!;aU6FT6KQ3cR Wy!MbDžںrN:H=Xџ98cE{dM:*9y Ӽ?sߪr*sO uc V'EGR <.@r%!GT_n#!vf$G"$қp]~Íav_ v^Bkp=HeQnM w9W2IAhO'c[ ֬5_GdD> {4n$dܩ`^H85$2D`z-0" hJz=XVSb6[h=`7="8B(:CU`,ڱs \:"K= m[e{C/xI(_rv] 6l_-IDZ oq_|ۘno[_f\rLms)/U}YTH"馈.MnSe]I.Af7< :V_[Ţ)u!e akkQTؒaMU-O֞ ,hi0G1jTv wcӀ[~쇖,l ]t r1[GI1ᮍX;hY|;e6xl"{3,VcjI'1)Tr[QOFv2[tp 7B׶\0* ;5eޏxdə t+w@^LmE"hctLK οD7_8^@KGO`+%,+3ըU,5jjR{U4+iȚ0PtC?H`E9XwevBs2=2tبG{HC}u)h@Y9%04Ͷ̶}W˼TFȊ,kcAAO?-m?D_i-{,1SueX1k7^mZJEQ@F \t^ZR8 };LHĞS& cXd-Y Zy?#_YnclZ&DIDWJ6PVPb<&ّg敟jgq J}46q]+j|kot☢Sq,weFQiwjj^gdDm{XNSrdMm#j/^¡J6j'LhL5 A0KJE`;ˑֽ|[pÉHGdrRj 48^&0 ޶AшkCD/Q)& ]&= >735h[h̙-Mνp.BNCT6ZGdM]NU62̾O#*wK.߭tHͰ:-8Ҡys-TISsudf4xp@2\2wpqWjV`)$u\a9 쪀"#oV=sTH;zz;-iֶU{vKo [,BFIbd*`W4øm҇v(nDŽpon!n]6M_w@twǙrBk/@Hb) TY^=%o~ 4T(M}+G5{˼pjAɣQs1#<\d/` IFGw7^L'ٙkTnFWn?y4g2jKe-@HGWx"u@GtA*EĐLD)PIa yG>|LZYO?>ۦHiEI~ot > W)^#uk,acg:Uj\O [99Z~ j29|4Rkc]nĨ.ۊ m+ulr5)7;ƫe~XЋ.XLjTC8@s\3AkMĵf~v-[+&_#Suj :Si/AΠRo\]"vH,_QIΗwYzKm䁇˗hP<ӓmn݉  vhᨡwP |[8X8p5耍V~D+LWIWi],7Z#,V$AgQK. q+IJ;v p愳)+mPe?_L(hW=HW8jsQ2۰ID(h oZcz'Ȓ3V\ db½b=]tWÎS]L(zb"z :1ԟ^H-&&dEL(ʶb; ܪR0!%af@Eg[s]M'o L,iOkH<׻L#oƃ_N%ṮYKAg6~Vsl]2r^o=K 'A> Q~1d+ۥ]o^t&w,.4r >me J,)~UI GxfT4s޷ meINzƯP)NnjFm?{ibNsЂRE;*Wg7|YDI^iOOeRG9Mԏ~C2,EK>j"$7$"g?kM;|YM6]6 Ist(m-O?]OƋ4qng(BEy-w_7"7*X|QE{aҏo=G?2}VQ%B, *#T|FpҥK,*k :X\ 3=\lhOr&nk͉f+;,W"PO:"tT{mx~'q̘9V$rVpՁ!4o4Mb 41 X7 i)K:% jB^]vX2<{qw8-hW7-Rw=&a2 Z!  Vu&>5FWxVA~Iͷ /֎im'>UeZj#W3!~C9(!ߏ */iWC" )ocվ8bt} ˿xUt[Aą&r8Uݩe<?\t؃V !w"]ǵ (v|~&N1T,gFСŔ_ 3p6?[.=n_ȭ[tFRe_МIl:kUbvU\\pZliO8G*l;_t)U _&Y /MO]=q?ܟxX|6q?ٶKDs?β*KoDWO%@o!Y!^Ő» ՘םIa"={q-C:9<Ϧ'ߤ8~+0&v)h{]~+Dxb! 0*x~Џ+@tA. 6om pGz:;7% Ni9rf8.9,CEBbaiѰ@` 7k==A׎Mڥ 6ZSD$.`g!Jk d5hW D (n;̓b+ }ϰR755no|%Ds5Ά$KivlL-IH@2Nn $ ZQĆgJ!lJ)/i,) W&ӚKSc;c=|A i*V'j@%mFlrtn[la[Iy// °G=ȣڨ &` uLxyP{KC%z@ Sزqp;ngķW7ܧ4#>ƨMY)f )x ֋!O+w|;nv;&Îq8~j)ʻ0E&Gh̰:֣B<]/ђqC(DEHvvIHZjJ U8?>A% Pu`  E}M!" {]|Pޢ5~5Zآ1|eW)I?OjFJmDPx+Э2pZUQ\H̆Dy<$2'I*#kmlZ_kHhMd R[(N9Znz),Xo:hNALSUy,~ECCM|yNA*kZ&M%5?J!= X@(gLjh:GA1cJ־ř7f8ZKF 'Y1GǟW]E pD6K~huc! 1=-oώYO!Q86,r :U9],OI):ŸbC^"ujU=o|&#s]m_DxcARa'&>Kׁz;|H={4/u6"` ;IC8TH+h:eY)ؖoXWߎcqs76`Θ&X֑;S/oJGϖM=Mb^3yא]xg0qY{M#QY ]CQ*j0yjO/v ~IQ뫩 Rg-ڄr b6lfO?uS2 ^q f={&Cʇi-WʊY۾uz9 &և9ְRc7.A?XjbriQ*:QGt&S.N[½kgdISDKUf_Lqƭ&~8@Uk!j? {@89dG.Y3U ӽu=;#eU(}M_*89hF4^q3j0}\Ivb lRaݗK%#'h7NTHuV8*0c^0Үl:2f/ThlBƊ.'NEs~/'-la C&k Q?L%uYF&fTX5ͥ&l][XM{?J WKCA|>|C_P r'E+_B9=O3H>'wm<ؑ`M#ȴb!wx^fFJûz㨣ETWJ2*ߌk|=r4rE U18Drx>/ tAG 7lB%rpk^KAbRWmɴY__,Jנ)8'kC7OYw<͌Pf yFO?QOUoTC|0<[c[>&Gf\leM2Gu#C揺]RlU`jypJQ`3y]̧[#-i+4Egm ;]LpO3[:<2+¾W:䫸kl MC=&$ohe"S? xV|~?5ot ɢna݂2O-.,0܉5'^4i1ti7+}8`ӟ%Cs鮬E,s9\ ؾA{B]g+pAECt.Oð2,ǖ7#疉>y> OD.:[zH }܃k)R:(۪kh*tΧVz_NwS0Z?q!,t^<_DyޟeVľ?LB:̥C \AgAnFW2O>aOia5] aXHhɾbx=T%uնe*@N> |WIg#=/XL%_wͺĄ@9 ,p#H:8+CyQ}<>64 1Gk7ǑZt[a;MΔyD,'vʁL*C%%k3]>!VoaxK#҆AQGB)G%:Mޤt{H^t'a9ο= S "<=`m'~~N:ਮvXto5?k`_J%~)Y[ݦ(!3%"i3' mV),E1s2>zcRj,'k-)ًpק %O~gESiH,-٧M0<;# GP.s0#Ej+&m3MR'"e| ]JӥX:A-\]ZԑcS i N#;iya%";nG BtgR\{[7#,2CS SaFrHkn$>8П"wk9!tjfy n@90.HuzO܁V%9k!s X [83E]%/w.zFP 6Mmή),`y'n@ k,wd)UPً`w%>Jgw sIS˫Hϛ֣X՗mW"xl]ub,AK.]^t Wo`Tl^ t[H_Uў+l_L'fP7Ĺ.8΢vkfҾd Z<(>EqLS2GvhR{g@qc:z]!s!oA3^kUBh^PD`M=^4Ʉ6~kJyw(]XTSF>-@W^BMv!H RNI(@,&8QV򥳒VI RS^>8"R|SrV6V9dD08~,%JNM֘xf~֦јa|}sW#o\.AKTN:-Aq0 x"|׆i>>8C+riR=c0: X@9J=+ ?3jL<Z*Dro/;i9"I RWO{3~(TzkZu썘є Ce/)vVֵCOh?b^.j·Ŝϐ` )-cqaDA[}Ǖ_@ 3iYwKB7|>ҕP+|hu;h~!*N(\aߗWv->A"hT{CKD쒫OcWo(Hp {fv8@} kzxK$ PDw|7@YhK ,4q{sՐ)B|v1wkdg~&3b`%=;4C8' .'X~cD ^!8ꣴtVΩXv<38$8ZK|B&}[HèQg&nϟFHC^o z $Si%e`_[;9VPz8$: e Ô](3eP{T~%qϗFuZ-c(mc7l20,h)ϰdF.w>*zqC^s˪+8WCLGU(YH()*ei0D_ߨQɁ}ZSlmcq((_4~`y xtF 4߅1Lpaf`M`+%f%uW<U L7BRy{YHkli.:1@I+3չ2 LJEA55K,@Uh`0;ʖohxkl b*o!%E@="m^ _r۱ظ*٨_H)-NPnc,8)EF%å;htN{'{pwH7]g؍c>5ck / @CvT9 u `qKr$]6i_;@^u"[ڻr`Z -Vo ?V?f#g{v)lf9&2  U9=;JpDFxF nEL?zn]->.?l&ƙ*|/YAYu־pكSc쩕)"K@/[)36[T"1FQ4GCr/pBDHF I ̑A(le/]ţ޴cG\^\ºE,F:6LAm|3>"v|1EeT)bײVp4uʱcvr?P_y\7QJ[_GSa]HNZ%2^['4ek_*ᘧ6DP40ʟm'eeGV|ϗ5{NiNpĆt9ҡbD͎Js:q//!2,ĤPK W0Gŗ&ZrKjsv Z-7 f*,J1D %f_?D|F[YqT%fZnA ;67d+\Ĥh3{b%ɴ:>^[GYnLI&~365Rqgr )RUa`(G7:Z}pv;Ay3F& vҤI^nK[_@* !8 D!fNgz ZRiuR:TLzQ>|OcF(scAa5CֲI~Cd9_ x:Y3KwMuIƷk.RN5U|ZUⓓȽA0EYLq} X S !wPADA0ۦpQ%aq\}n/::0gV9[f/EparE8LO5p'f2R_\>X-Td9XГn,Ѥ؃