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 c5| L ] HOL-Nitpick_Examples:threads=4elapsed=168.848cpu=155.900gc=3.392factor=0.927zXZִF! WQYEm䨔bd`< }b x4;|a/4ƅ +E5楔İ%)XlG_Xd$}֯BgiwFb7Wv=ዟ#tztB($dZ *}|C̸'DDƖ2n%ѓHI&ޥ͏i aa,'O*$Tl 5/ĸ5䣽8Ajp q[SB 5 HOL-Nitpick_Examples  '~>p3oN/k9ԳC4JFq8CװV^#ZOc?7MmV`" fls(W7qS 9;`ܤ"12NO7(򴘠ePNÉh2k"ɯeXd/ȅ5?J굆/A63Q` RX~:cGC+t ,v Tjp 0C2 !Mlg'r" Bݓl$6┍_)PѾ#Asn9yW&͊wv+:3<v_=H{z(z(ؤ Ʞuuv?1CX|~`Fl_UɈOư)!,lp,7lhOPm!@K{w˂>&2t yg ( 6$ufgQOvnf":Lm a ILGn1PeF!Ia|a(X~88ŗ.p=QnZj6OɓN)>ܭK&TD'kX^fלA+X]GCY?e`~F?oDq?^O" bnlǭO[zi7*[e^INm4 wY/F'–z_)Ϋ:9`5tqtn;8za<V67(E)`h˙䪳L^gOUs>)O…I@U!:Fng{Ju*"i73wdO/HZz@F Nt~{UOE.Ok zp+@N{tF-"\_œ騅7y,rvr|1ߝE }ϐQpg ФNVf_cM-g:gaw~MRP9TG~:Uо_>^AzU`NJNV -@crwaOqh>EV*HPC6Zn3{'FKj2>jCdtҒ򓫢=;Z|\ t@9EO6* eor{csP&+tvQV8_># q15,{kmHYb7\lab$qz1!<:#m''L'_M'7nǫ ';+7ƶ7Kc4r]+!e %ٰU.;,+TY,QcSb-^0핟^1j'㊓,0}v^?\Yɘl9cHyBsFp} ֖*)㱞Wb>oa #?UZFMhq6TeGBqmdD; *EW,Ѡ z󥢖{3Kt/CpslYu٣CHL^"%]Uΰ/Y2Y B:B:NK_eDSZr|WSޓsX-2YW`F'mC?3c0ع5IN"?`1- ZJ~+%# ]ǟG<վ dwk ah]Ho]mtFҠ0Gf+(;NPo$-Xnyq·Η}IN{KN|ݥ o!",[`  |EB 1粑QZogU)6>&Ov2@$;B4ӌsN*DvQ6ds!R IVresQ`y}Ȣ0yِDNR ɣ' #Jcq^+GWQ!aVX34( ;m;`8 %ǝ<ƳkNFW1OI(<(m2SQxzHiukW¬od9;r+å_/˂dGtT8t92XU1M {<"6zA8 -!Fegv3;2֊ sT})!"}@sSdn{..t`# 2'Z~wquP˷$)Aƣz(4nwd}` `.J-~AKgu^p HKJJ+>`FJ= t98 VT(b0lZVv0``oxO ښ1zd-ZSڙfV l2 ݗ0jӎ[3vfի3jQ2i_f@{ [i U"kӒR8FPKq|WJ#y7l0:/Y! GjZe{NXZ1e]AR8:4ʺŶs5r @F_ y$rmȬ(2tOMƷR0ljB 9\y!V7Hذt&vU#E5Aj\ 9pQ* Γi X`&:sBg\nptP;P`k F@ ث  (hvNٖ- If"@2q%@#w rf 8 7J! ;ǎ"ɴ'w}hLft۲k 1x;FW"|WG6s؇èYQH2攗a$-e r3}]`} ^1*Lxj oU"82Iܛ8{8gUXX9yw;wj@\ I9_'A:} 46-KOmAd,Ռʾ { IL=xupgL*d'xTW;??\E?.^:_i\0@1b!s:s<2!*&CaZq6M2˩?_?jjrC9EKUґ k*Gbwݫ W|7 O@F2 FWhilˠ]*2<lw QnctzAm= e=h)]q-IJ.K&t/c!srJ`ؔI?0_}p:@WS;^zH9{0}]C!58)*9_,~'z/2S8/#Ȏ1[B Tf_ D&\~?u\/ِdņ'" dOJ2-X w̻IdvCk ̈p.!Q*˟3*B (somrip2_feη~qe5e-ޒ)4bS1Ŭ& !7Xø;A>);(|)lQ  VMHS't}Wtb*&ztV jZNIģ!ڇck!R$DߡxU:7Ph*?1b7 FU(_BR2۵ CY2d}Q@ pxǃ)o%KtnlkcGv[^M.}r"0=X(*dn!Dp썩G3;)z_䯁k ճAb hpoo7mna$Y5il^#**G M dN-JIOŽj,ZC(Zw?aoI>58"t =}/ZEAjQX)|P1ZMA=gSkZʎnx.7z N`~t.٪c?5Xѽ,CjJv!GjK?SlD?uLo9N-#z ᩄFBBg>ɹIHˣ-}}@ʧ'W㥣ZU$B k_DR:AdhD[%aQ^P[=%HU0.`9,D| PSj솗p)E7F=qO(qî7H/\+!X6HLfK?G:}LCςHhE#KUęw̹}b:#ܻ1XJ%e`RIOMQɜ 51q͙HȤ_X Gbmzѝ]iK ٢moyҌ2jO>5vY)DyLFTHj:3Y^;fINVYxk}?`lű,(/DNBptm"> 5"0z wl;k$-G:ա [@ Gp@Zſ 8SwYL R֕@9bG][S:՛x޻;O#K۫]ƈ`;Yj, .o+{b0_c]=^q$b`Jy~;\;6u4Ο#M0$6sÉ)-Z5rIcB#/js͘  5G$Qx8# \*[QXЄ*+B#Q+f'>փL!8ӎ۞Y|`c3& yꐾn쓇 q-pίrB@Hmc6O ŪDzfY$T]XWf֙*[}^+BQL{}mS'>Ϣ}"ݭ5yƟ-isDAS"iw)V"켐N*p9{#IOQC_g#4 PFAa!_ADyQvg+3D@H/UZRݥ~a%ywKkj馺ÅX \;ZhUgAk h"&~V!^nycYdrJ)QHj"vv&Z7 NZTAKᔏƾP*wE)dJ[~!swtteYXzA h"*,TxB0u dPa"1UG+_c0B L &1 r8i?R,[qHe2[+DzIӏZ鹴4Ʀ^HTU լw&?'Ąg &#a pUg q+O owAjXđ"dj]w~> )ck/rsKސ *DT$@@I⾢)flb]l2*ʋZYjSb$fz9P  HX,|;.C($/,mr}ɟt%okb E!j㤀87|V'@W&*.~fvcg\V&^[ vbdb*Ǿk=v,"m0o2y4##IJ)Z8J!Jܖ5'Lg fH1Ī&o$KI~ՠS1kzW R[,ym8Hv_G.ɺ 5[ N$]muD KwW,OD|In掃gSF\' #D;kн>ךl 8䁇zkUVĘrPCޤ'_OmEV$DFׂ >!)|IXs-Ua?*YrPǔL(bAh}JUU%Pp6mXV6̞ ׋wԶâZ) s>}C% LQZ&W.V6ddvy ]Fp&ډ.HU)fTXx"߅ nAO{@aXo/Ďz {$%y\~ $^iMUym+q /oܯCfHKLj,}gsu&r@ p4 tbߤfl3Li-ޢ ?ti &~:2U-OvBv9e^OM=ܣV,+]e}%sJma }8NLu.A٦)?e fwmk\b n3w@Õy߅6D|0yv膟, ?Q祤bJ-+P Fh{;yYbܟ)wy׸z Щ4i)6uQ*Tv2?vA3Ezx_EjqV3X[ R%#MS <-j&-:Dl-P {=%#{${:$ͳۏR𪉰_UסM5W3X"wX+e@-\ި@ b`it lYg8T)~>Udsk\tB(:7 Ȯ%X^tDn3%[seO!&>Co\LmO:X6]Fh|PM>t\Ks;ݲZ^ՁyabvAŏWŮVPAl݌z,R袬HC&ތ@i3/!Yr*Y nU>Cs-ij eN ʅ?mf<<◭lQ:-҃Av/L͍îME)fJOvQዅC3GuD|d_ݐaABb*RR[.O?6wXE bM1j.QOA<<4h;),%e~yܥ eSr0$Jo[6aTr\3tk ~vdx6Rusx n:dwqԻ֓WBꋓZ@m5v`eIs1&S\;cqOj_s跪6LɬPlJe34+\I/g毎CZ61v%sV  d#W.Եg"@h=QnA#%X2 ~:_N0X{oml|h\K蚺բ_LjjyKtgpL XÔrvhcm4=r=PVQ:7z:&ϚaE^M W,tz9 6 3511vH% z}TcN<ߚ|P>{ua;qZ%uzU,'r^#˔)UO([x9 ܻ!ߥaDHD'WD6"hz(# NN50vI1"YOwckI=A4W~B,5+ ,B9R4rsO䥦_˚]Z5`WJohZ,hzADHP]%)k ȈW <??2qG}'~w5hb/tOy B']r[x#+j֦wnv[*+bhWRwv;&> ƫ>ܴ|O琝^픥?OEL"vQtEz>g-{>)5;_%~5 7ofnwle3`r,B|ґ} }!%W?B0_L'2'GqeȮ:$/12C ;x"(v.wv[tzȠ]Vze ZM祌(k.XlFk6:?=l-Q&" HЍ<ᷮZo9`R"Ig(:ϫ"Rqv]5w" kĝ? )e`sk_׉Ns|*ӃmnTIѢt]wJFi[ovBOyq?`jc$2T_%Fxq}D!{kME )~ {UQ<٧ ]M?f, .[A-<l-PX18A,jR7sozĖZJ%:u  X(Py|E%Y>̲Yñ|dymD8lbjِۗ8Ffy܎P]TZUN`нdg< &r64 zSS5jzs6;A(!m~^A[P2r\s A^T]I53= Wl%_s?KyzYw>ol<hw$Ƚ73Okm3gx /D8#u#l:w+$fb弅YE7 ߑc% [UxV8ؚgRhM{fnkl0XkS8z $Emc-8iy8ށK}P? T)nGX>iGIm6Uuiq5;3=%/D?1ZWՌ CJVq2ƵKIVAg) Nug˅̊T GgSV}vjmGY21:{3}G^!V"Bʠۂ=ٷO*tK<|Ձǧ㡅 q-(MXx/Zzl;[\z{z3RT3c<$/J]nEVc{4W^v1K&V_ \B&NxV OIcU%l"y ֤ B{42P'Xt&K dWҟk`M:/nJnd 2HTOi4mFztʀ)ݹz ɢ{if>m@+)U3M`թtt8GYChPOYNB-^g_S64V'H@aE 50 v(|N|'%M/>) 1.ۻOYtnʒGp}+8WbnLqXSfrdi R3cBGJ)"C5@ȋ́-K99FI} cWET勳Kю~E,l(5P|e) |>e2,xU>8h^;i=#%ύN/?Щekj>B6߁8|hb*,y]&\ 7;^h1. "&b _ͮMz%Fw]nUts($gxk2)18[QASKE6Tp6$ӑg xqexcmLErAq Ţ8(Cgg_c=9"gMX?b'nI Зi~3\`h)cfnX\Jd:@(/"3z]pڵ~M4,9NN۞zuqÉf&zb_CASՔTLQb/n3ݧ´ _Uܸy n" 6oiض5TdaSlx\w`.@4_iS^+ 4z)ËyJ_3bo}>2)8Q}+>JEIu8X[<5]V\Ԧ C. dSLȀ%mQA.l,< ղK/Ij?;i ~^u!8Ƒq$PW<݀ɻ ōM]#n5ihԳ-K<2}ox] "ƤHIDV:}r”UZ Qffə;!q'o_ң%[t\"n凐7`)C3t! aG8jJ&>}sA ^WtE!2HJ0ۥ0t ߶;ynF=u{|fbPe@-[H_(>b1LzgCnD8(Rd?-oܦ&AtxX**<8>]K탞bp5t`}m >0+E ҩy-ug)@iYWZ}a%!S)FRIޠzyvm~>3eFlZ䧎"=э yjng*.IY^^z_E;`K s oF,ņQ5/=|+cI$.!K-174h{?P{4zcBw 1|0p [w ,* \ ^ZPtux0o@f~7/Vfr+j5NH-ZZI_l1s/JZƚ {5Oh-u+C2 ;U?O!If=6<7TᷔaP{ĽX ~͹cDQgP T|٩N HX%+ZkӐ!13?I5ӌQAviQ6yt\伯WHH醗z9N$ B|!>o7;'?m7P[Qg5l]ݴ9# %7a #v4پGUl%yʢ>"tr8;C.Ux.\l7| mta3f9NYug[C">: D xM,J",)q)Ӕk L.q!\ U'ᷖ.E\Z'9B4njܜ#_狃J:?%il`@C^6Fw3͊+d+d3;TiW8.JB~q', OՍOnͫ]яX~RP׶&1~GD8h2d]WXwY`I[hZHݸ88-H{*iiΊ`k^U5EHE2x-cYղ (y58UK 2uVLE@z@Jui)+ǡ0\/hgM_+8\ޅK+W+z7yL\ /_/W-%VX*^z@on>Fɮ!ݢQh)N0:??@:șeeЪs.߬9~ܩoL>7lPAqk 26[p g7W׌!V'uKd{هMB\ۢ2"HV%o|"\ns_w%Q"5jCL]y`mϟp 9G^ZF82DGZT:;2{3NƋ>{Yg2mE8!RR-3WjE<ސ/:/ve)=J0Nx ޗ(%~_ /!\쒨/7N \.{.y'iee%IN/o9> A/3oj,S [VڻdlZ忰R`I4Եړ?֗pX 8c/ Z8^D4q "<Ԥjh,W_:mM2]FyM :j孄JkxY{ *DTs{=?P/Lh};ԣ4Lzfqc'$ Wz?ߜT#xJ۰7)J;H*z\[Z9/d1:[قTo xTSe\ꆩ9~ 1E>COvMSA#z3-9 'dp,him˰+C'>`ztJ ѭ{C؃E+tQá+5|pP  N,HJ Ȝ JU^!|7O9UdZPd&(dV؀R={W{uhd,-|﫧=s*qm2K_,xq1L>-IVc |2$zwO#Q?tGZY ȤNAE C=aF~53M9*?ש4N8e=k!2ك Kv7C\ ҙLˉ$a1@YvoKH(.Ƽ1qU ps-{G.vwo街 y]aŘBfUi DyNpzMC)Ňrl]>$ 2^Y[o@:XbCOτ|azz|ȎA&`o$.$~A0O7$=T6Df,[ &+}#U<9++$;te6>xe(%"Z%A9F!7`ko_Fr؟)>xWU{)Iօ?#`\O6vŃ egzRT#n.ΙiTۚ_]]>$-q;+iR0"!@4Anf: B/bNb!r*w.618D=J2^ ?!櫫oN(=4n(XmV,TL&1-Ҳ)Mud,nhٗ|OMfcTlg%Fsk PI[ĺŜAHs2㖂{Grƹ9w$A]ѕxxp#*nj7&eZ-@-3$+oD^DO 9`YMӔ.+l;Hxj:ɒ"%(1؃ Φe%!tuUVfyq2(+kݤ_"hdwI%Q_Rdv_!fptNgH~ѦvƁ֞lQu V  Vt{)]3 75n7{ю?{kY7)UE ['R}yfr-a%Ev#'BkA[%dOpB76<@Ǧr"Eg:  d6 XNn}$+Ȅ@Y*hcY(,7墏 O㐶ԙ7,tcZeq{j6X"T}DҤ,G1|FL wHF({#J˝exolx sG]Qx?]?ڞ+丿:%֮AN#|`(!eq:Q[ئqi΀4LB m}A!U_a⹞fZ{aRnWP)FyE܉'m R|=-=t aM1˛_KZ1_BPVsi[+}]ـy@W92s.3&F߁gV)U4p_اQ|j&iOUlQYKj(Ej *0'y .*̦Vj﨟 _Q̘i=^9Na[P ?0myp=Ar{ZWNTvǶ8O F:_t^/= g3f{X10ڲ+14HfcΛ{J1HY H )˗ o-R)lτHRzk۬l-2m/:j[R< MCٖLWq'f ]ɛnʫ[[|.aSssbh4`3O6܀k|6X&6`%*qhu8 ?>&!w<Ɠ> [}QBe>'HNIB)U&N7e=b)1(q#`uCA-5N>l/=+x iK\*Τm[U6 ,tD,EzHDG&0^Éa;$}}Yˑю퐯>58 `}k uns>Cuс,=mnBgBWnAB?0FMe˞EXpW~]}gCGmmL$/'e }~Q|.Ĩ,!~y-:hDs)/̟hkLS3h \n*5X~G=Bg-_ÐB[EWڐ:R}SOb)~lBOlPk& Un}ѪI` adtLԝ' : LؒLxS"\ӗq$l,/vNo'ąTk|oUI~Tl4؆w,T yeƣF2abS\^^Ճ=q)k֋$ӗG@8KRJ=z@!1 q ?ɓ|c"!b s&CGoWxbDOE;SGTgs0^ojAuʴ{kM7rRmhf-РH'|E׉Jʟd] y 5{ְ~,(M3S~&]b*=[C c(ݼ+*s {sX |mOkbRtā K\=juˢ բgaD09tJlԔj6C꣹awtD3s/ӆ$KDl sMt\وFsB"SBQ9(pOI!Tj%J3,- Dwv=Rg)JAN R<հ ,6S3/jGD^ ]8̩]A* )дDj 3AgY ךp;'Ĵ҉vis~D2:DZ8uK5# `eCٖIBMvD5}%P/uo4Q$=&JiɅ|4zu*b!ӆ6+Eh>' LKKl&t VYY 0l3#2VgXNo|0 #٠u% @m{ x`o$=3u}>5K!8HVl96Ƥ5QFBUqAa!@R =Y2u祮fTrRX *:B*L65u%{ \ﮃI1!WuUu=ZhJ9$~,|Fm7$^tҔ- 1zQ*>C 3<)1﮿\ET4sq",Ԃ~Z1K -)h0xbuxz6.ϋx>1ËCG_`Do(f⧗jʹY'Mo]@80iɃD}1X^cNb6S` 2x>fRA[OIᴂUh:xZp>q/ke i%ؓ:ϋ-& :zm#C^7Y!WIcwL 90 $,䞃 (sdz3:IXb'Ab3o#^B$h2pNly-2oJ7fѿ+im~NrFTD' Ag^' 49X5͞GR0 r9*SPK0v/6 1 fgvŸ|}-EAD<->MꜨlT3n5\&D ŵ^MĞB4Y'7;dz'Lm^EkĪ~75rr-;BP}Q#㶵!?ݠ>grQ,Dž#((-BьqrSkj\@jLkrG PGl'k]M)v0FV"]!ԧ"Ǩ:Gq4fP`=K**UM"Z =2,"ISЈ!֕nFDawQt(}$6~6s5ۺpVEF6=WUAٲ kH=z,I機r Gߍ";?bJΠ&s1u*[>ZgYZ7zXZִF! =]ŗXiɟ1~z2Yr 5G3l˭$7W_݊;Ji948(R5=?1/m qEkм ,R.-QҘ H#7 ?oRa'r}oM?:C3,$#ʼnygFpa7(ºB7KvSqbx98lA=G+h[/!Lŭ%RHJ7_wԕsּM*t%"\T+ԟOPW:J'Mr~:õϬ{65Q ?jC ngYZ7zXZִF! (]ŗXi%L 7|HI+MXeAkN>\ЁNᢀ.B%@aك#ٚ]7JmJ>KT?0˘l݁=I _71 7-Nx  Jg5rtJ=$v95Ǫ#K7'~.:hnA#2RJ/,+Buh+_K6/>A iɑ$XG6˲<}K\ HN=(oD'[(!d;v͐a0[R=6!>,q+#.%f:虍.[ے$"վQ]$OESpqBAfjc2,`1><%kzBCsr}%HY9Ud- @:U#feyخqmG@Hy#d[\f'c|=Khel ≚f:(S{­'f81ss>Vh*'F=1e]53VHF-GL/tgN+5pi)O+=.7HJox{c;>6 qJ~>H. o}q'ڊ 8~Qyx9@Z-9pT#yײ<74e26®3dm*Bc1Eocb:i6wu%M&_tQ~QfViqw~EX.'=-b1%bPAB 7ccåD/PiSqmxSW-_aBX, J $::'y/(IX}t]iQ_?w"ĭ_$~2Ryso=vux`ƀfU5yst%A qbPohZK5d5-Q'iLcAGS] h"tRԣV, $)S287XЏF7LuI-+6DUTЮQog1K%;o`u <~Grs\e2N|%hRB)!?\8ZyqsLݹDY,,< aMu?U =MhD~#:v1r)(FqoX= } 80]y?l"mA JX{­*ox`+ {W`S,6:w_>ba!u;T+'Lb"(\wr--yu}.>୐ln>O`R"ck8oƕI=k*T} A; =-Ft]@;]!]y '&lz7MKf[+9Dߊgyutb\.qptAyv=7a%PBb.>?\wi/j,u&m/shrdt3 .!;[cVM d)♦p8^c5C&58+{x}Mbtkw[[x &%Iu.765C%Ԍ<|:@ :Ѥ"_JX*W8Y]L'1'[E^ y 3OHY&H)\ oz K'wt;n]wc*ߔ"~4K)BnW4ezFra6e"1z$#3O9r˹q2_ slq'= a IRs`|jii~A@L."a!gA-"fTYS.Sd. I%oQ$W,L%`WC%ЦYp8d|O%[{N*t*yN0&ؙ"xMyGi0SYlA|PW`v:gɩO{:0~ APtPx2O͝pl*/xhK'sYSUPh- _ζl({ƃ5T{9I>; @ݮBL0nNVM O2jK z Ɓr缙 T6uav5qim//r6җU4`qيv| 3?8y y{7OS+b}Z2"{/Tf/%f/dw-p$iVue6H+F+N O?E:գ\K'{l5n?~xW"R_Q躞F=;P{LyyQBi@} l(8,er<=gSlQԟɍ2r (XBm(10*PUK-vH^AOj߾D^;l]V([m~wB3-RyXIA[kFI*Ж#l$%[+3CHuXD/Rt&8Ub*vNCb'K$KOYW. s~pϿh]tmj0tpVgD^Iw%3 W6|#gx׉ڰ(Ȣ-IzJ>$?| i=f)>ʨxʭ;ȚED9QEL# {Or0ڻ 2=!օՠ$~ub5h ~~œ(Bm5ks0nʛϡ|oݒğK7fu~U!j\La;V0lj0 klϾF,iBkG*DQhT/s 6~qn+זqY(+].A)ƁƬfԽR&i)V7)H%%@_՟\31 תDzhu2tk%A2Ç°#^`Mq ){FZ&j~Z@ =]vf.=# BkD5Uܥ x2>KF9ɲѶfԾyS]`ѭQBLz]ccړqr6X 𡶯;/ :5.*O[ƙmG%  ftAlg DKLkjwܤ\_nV;E¼2Vl3+H::%ʧN~1~<\E!v?f r,ݣm8hHF]TPtkcz>N"0ٺrEfQR^w[ק^'@9g6`r 4ѿ dٲ_Pi(X>R 6w]Vmߴ~DwUKs ~Y\1d5 ZhRw}2;<Z;;qa'Xl*fro,G 48~Zll_lؒțYMo/D> 1ey%&Q$sFY-fCZKo=^;;oʔ'"r:g_WadP- -9х:VYKx+eM؟h<$Td"J(Ԝұ 14@lqAD, ei^UXvun%v8Brksׄߺ}Q:2i$G{7z^۩ - mB5R31a7c|~rҸ/t6XWK щ?#b76]3~fn {N KdM>!/;Wjщ^l2ྔd,[o~^U vO5j쳊z_QIdVTv^c7yo`G'W1nn':;dGlt`SUYe,-׏v=] a ⒴I ˂ɕF~2e WfRg)FӎUk[IUTl=y5zQD;5:K\zj̜lJ]s6!(fL3A4GH*7DJ< 6.K1 {.5m^KAă,mk-15W~Kh]xC.SS&ݑ;Fn[l[$\rdKE9u!7Wea|ؠ`ܼ Wpn)bQ\8 e.WǖRf:ňiJv 2r ͪ;Vr !-8"(V,rlR`E?,:=`J (wy%Lmxœ5/pQo{bE^;] Ӳ#Y,H(IkjW1f{(<ŵGYcl\)`dBZuF*YG\L47@mˢP`RZlFf>IOZ0ϟshZ#Se{0fJ1q"a VȽҬwscXG::O҈AmcZ Fخ+9/0.n/ a@e1*&4>CnU9 u+Fb.,K)k"&x`? ;l30?K< 1(N@]U]KO >xmZidH3I GfwR[(|~-,Ezdא dQT(V.nJ3KuUrar%x2"+ 86X;j# P}Zg欎r28΃@ Z(?CxToQ2y~ s'L+ߙJLY)><{G܍kT˓Sz}7y u(?x OQ  5AL1|{ݽVq:XYοk#eLI|Ƈ~6Z?%662ϧoo-=ݐM\jOT?Vcn\E^I$9;:<ϵܖ(X||@0aL,2-@k`g#2b3[^ x]g#4)urqp %)8ny)hW}3 IWi,ˠ|q%solh>ҽf;49<>NQmcP;V :qe$W·.$;BCWKix h`b*geQ< ޒIXm`|^5 X /pP{9yj4?սiIT fyJ.€5ܹZY>45AWae3d7.qmDʪ)xVR <0zt?q/f`M3mgn hL G2e)+v㺑t͟DDpꉜզ< fW m3e=#4&\VwܶZl60:] hj8hQt[޽iLӃ"nL IqǯW(YHw{hnjXдh@#'# Zri?j £R8?϶K/CCA׳`17Ws^huvdSTJ;+ Er\"J9ZK?^qSygt\UxHDn]) j>Hd=+PܳYWO5[ی`ǢdL'9wΞ?4POyDa T_Ptmuӡρ\G{^`d J;+bKoar+2dO fC9p%kí|>_= ܇| ߩ/zj6iNxS"~|~$$Gլ}A|δEs]UCSsuzåoDڧ_yb~C̎\lz'LYu4GhA{uQN"".pو:ZPᅷ]4 p ˬ\7+J ZBxkTzngIkgX:_lzaiA5*G@%y4v#F [ 7Vp;4$%01G Do46(4|6;n/2"P696r獚!CPSpg~ 4E z>:!FcKLQkut 7DY:wm*']nZT퍞{;A)FʝtEaN<ⲓH]bey `uK' r@Tҙ8;O ۔VeƱ: g1:r W>פw3;;&/?,(6R?+ψraK̀NjChA>^* u5 uc} n璏(B1'5ЀL3eFR?Π_[#dC@SdnLJ۲2,h*D9as'OU0ܯ8:V>6 P-iFrSA$}^C T[XQ|mƲjEzmr_fyG--og kYj&P!-hJDUhZq2M@YѼS)e#Qޙi&_, g*cF]ѡ{Hp]%~2( r)h@ېHIoۭZ5_΋_U9E::k=59C.~vf?ɽ$ Clm0j+FJCt/S-EgN./b42íMMlȱ") XJd -wʟHd)z;:;#]9dJ1G6uI6.!T-MGRr GרuO Ge(+:t.YZK֡T Hu+f;7gYiZ'iO,m=Rii~Qc{I}R aL?\}ȃ5ml?dmƾdቛ6wtȘ(@rm;'t>*,ʊ`V