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 ;xT ]/ HOL-Quickcheck_Examples:threads=6elapsed=78.670cpu=201.580gc=10.9207zXZִF! \Ј]ŗXiɟd)&]hR`dn } g?RbYg2 c M =];2 L72žuuMR%H]#(ePVxPAzcō)dS{ tI UӁx9͋}=5f>00qm>WjQɰ cS*@z(ץ1iuHsm=;e9j,h:\=]}aϴgڒ>Q:o rHɘa)c4Q<}>us)[!W-Ds w$?h]-N1ݛ{f,Y aJF|WSEP]kn0\yiOmRvX Lj{ːh~ɩ%őkQ.J*>z&eh$:',@q*,6WوȲH-% t{JGihs'I8R+x E!e㪧/P[׆'U7F|>@B }XA4kNrKOqvS=æ5cnȒHCy ="T29&cMwLFپ[2͔JB eƣGݟeb,v2~(;e,mm@Q6֤ DrƎ'NNpHtQB!eIQ_+ @1+mjwr͔I"fy668zoîɳ .YeUS9N8i[ͭ`SāavJ^(Y' tq)WV36ڮ,j-_XHM0UЄ':}YbV{6M^\c>;!?GA\A5k_%[ #".Ċ+<"Cv#eATIQ33&F Ce0 C?4yH<j,`g+=Tf*YUJpn#=,OLWG0CB'v< 'zXxAe~gZɂASUH_aW};zwCSwcL+{ **_U$ۍ'"I^ ȬIva|[Pe^K.rkOvH_2ޚ5h׹f9~SBg"Bl]5^ǁAcVH v (6>gɋxyR-PCa_WDnɰ`O[n\;Y>vB'[/eE.W\h06|%LM¢J.WZ(i+҃&;? !aNO27%z:3BWR28_C[Mf[-W8haךcQ3-uq͒'o ԪD-Rڻa= 2c{*;TRW fs;?[m%O<*#ļgn.0/x*@ t^?_CVE253󥐧`ǫ@߻,X(-q?|ұ AHOZ-#rVqKU+Waq\ (loKIKj"ؿ6xrya"mRguZ .50oU{Mo١"UKv FCVKj$\DYGУ_n1vc^^-" dzVUߩ6'd'F >)u9X_A|Jq&+k ΄x47lTl,5lҘM;XHmK<4DռFDޑ3! bGRL3J>nG"'Op$Z.3맕Jq`^x}= o#o|gn(Ch6=.i7M:MfUN\Nv |!%S(ƍ/;^y11 ΉC$śOf@ֽG yOI[2WzL$d\K F_*tug۟U(Rb<`/oTbv/ySDffHAE&Vf ; HOL-Quickcheck_Examples  Sܐ'aDSp~rotTCYsajd`#^6i鿈=Ռ,]׽E8A.Z љϗ}VǥDH"|Хm&O;8 LqMPt<3}}<S#Y#:i]{U@C8;#YhAC=i'`}W`M6`98=[C Od@ 6ecuVc!tøvu> JOR)":$*1:Vюi.U3 (Kb.=A3ϾO sW+\U l$ DtҸ)Ӛ8]Ŭ m>K|c}X @j]w3ߞ}V>TL d ɥf=xQcxš) ^utRnߣ4O{^%CR˄]~mBFU:%"O!7si$"PӐVh!=EԈ>/ơdb_֟]WWfsj((5a|9Ͱ̎yU0v&㬣k/^PR,xۯy]Пs@CU y%R[q6{neP, .Mn0**YkxstrWdqj3E:GG,X<~ ֿ,V*aSO1kD $6P%GFImAO= A0_v5U DPěXUL*PxW :9`Ժ^)u)|x"r1~ b 3΅ 1XZG l!D'cWlBUQ|1ڑ2 St Z kh%C-]cΏpt4_$@{B]O/jM=M(1Va ⃆dnt,=S|v=̼e 9㐭Ctp"nUwph̯j ch\Diˎy;.?], 5$v] Y vU* ${FgÝLathV"rc5튨k^dctRM&.JcJ"E VN<#qlzɰ|9g`GsZ=+W`QM cU*3.0o ޽E UZkEno-Ӥ}`Hhl#(}/˭#NL->qH[EB9Zk WYKQ">ԝѶDìQ_ɛ\3]&M5XZ)J1BhqI-lı+>H@!p8ٙ7Z/R8`)+!\آpW#SFgYs-٣r}eC6)irJ]iB~*CTM@E೮m5!awB% NK,j;"]1%? _t6Amǫ{?7^Ox-n݈_dzbg:D1WثKЮ=B?RN&308En'/PE)$H# q% J.'p@j^2c,9};CF;O`[:-qO[XƳLqnZA-y͒p dp0j8'膦GBT`=d&8FDKvHS-МChNXgphToRW2^X).b?P{ F'X?Nw0=o-uE4̎1yȭ8Uɂ Ws̏΁=ɭiZ]%h'$O'tS TF;3bF-薬fuuM>X?&BR0}f`͐ .~?/OY>qDAp[z݉Ab4JZt'\,QKІ4(S; Ku43nE$E!M\og̹SgkZ2"dap&9 Ay1F-4;vavgr!bU98Sӕʚ]8L!WD8oiaojLjjb׼(->pl]$L̓k&l4|ŏhlݴGދ+jzn=;LU`, ?,#Aa挎aHI2Ä75Jo{3䣵b? (trXaT]"F:Rn[zWQ"&E7 #?p2AU#BȮhw (YΗWnL&78$e ,^Mթm*GM*5e7Ju/kB"RX1%QR.,ݶ+l`?qT$vuaNtr;4uӬ@Iؠ~<Xמ.w ; =mzH"L8m`Jcz8Y|5? rݠclXܞ-(vfJF   FۑeƐ KhoցKr_S.0~8X d-Trǥ)uBks o]H= t#-k =8{`QӡUyUUsaϙDn':i7ߘsHӾSop}]| ksL(PGv;qknNkV6lI^*ȍ;vF'E_u:Q~HlcÄ0xLѻl~;(!J7?^"skt(QYBfE\'Ui}EVu.a^RdhרYq xѬ$R ȧv!b]hw7#v,Rb@jMz&%&r ;x2#2í: f"-U/O6]i 9@f;|@Jk294v;nGvRccq3" *$rXOkblb>w hKr B iI9?ʆ {.dQ^`ľq%78Sl,%+0;rƖL^)esco:Hue;\ԥΔq hѨI+  j6&~k%jw3(e{!11+FEYձ-Ƃ{%cϳ/qo@Twv)i7]ӺCq\'bRЪe1o_6/xe)u 01u+3a/?k#Լ aV%{ԕƠ~y;~s}< /pA-] 5|bVPOX  *?K}2]y~oRe̙e X֦9i ] B. ,9Bh!qɀ1;Փ((Nȑ#@%\LPÕ9g 7v`̺;5Y2|EEhRTT"To+8.fӇR@0¨Qr)Z+_<6ST˱6Œ ̥9ix^nFOY%p? y2Rľ~;^|iC}܆ZYӯ>I^LMLFpmӘ?2=X\fp/^ ? l-ι#l%U#6Ged^K+HI8JLSE2"\~J|}r yhr[㞜3L8X06BCA'ݕ2ym9tt2Vei_M>ڤwQ(11zQLl^>ɦYD|hMܻfnFÉ̄x ٱ*meAd-o*TF~]ep֍_Rh3&ĐqFWT[Fs.'?]}h¿\|N^ "Q )HR4+w2|#[G<5<6( >]oS2 X,3{Dz3o4F7VZա[;Co3_չZgaDڪl4ܜPܸ'ʖ8Xyg `k5tPw^ %OTy$Qr1͝cN)v !1iN?ˌh59J Ǻsle3M/@ņžoGKQ<1q9hpH}phsM 0Y[T=;c7`Tsjm=gJkWR$>t{ )[S)4}SY1!&9opncA,T ^H6¤۞p"Ӷb0C݉y60HZ9]$7LJG!ź 3O ]?=#BDRX,c(+tW$ 5 ʕ-U 8s=0-n%c9uzRXW?Zx:oO DRQt++DY=`]NÞpPkJXB=p%CŀU^n%D=5vxJ4+A,q0Sl7+,(\*u Yg[XI !hX+_Q (kT<&ŞfCEDe%doKǟ"-6B\aQgcsux ,F먪ͱkG=hZ|sp"Zu+R@GnVDux),C2,n*>#cɽ^ڗ`)UI.E]/ 8!W _@Z5SO; <OEKjs[_b2P*-#3UUz%48p@ye]Z@цْbī>ܚs*Pa~כN*]&jKi~c2VKmл-2 RJ~AZ\ I4;zI]/SNVG`\9Wn_BފG_C{!OT^l]&@ <,~=׎6 `2rx,jVD Zvtb4qDz4^a`j|jF$)zT/-eZ@aGg%ajy44~c1f9mR.nInWA":%^]Ǿn-b}ϽLg`Q)!iCQ^= #x |ۙ=%^mdHu >>b : 5E5eVlp ^ q<Km/qOcbea@y*HY+ZǛ&?ji%~![) ~r7x;y9WXzuh)M!mui`mlutFJkޚO+ɒoOHJfW|["*uv&%tr~Jsj6w}E^,xa 4s9Z8LbL+@7aP#8[-J-9ۇn>TwvؤŲG{+ԃW ~:K2ډgpA]}#`xζ1yM r&*\taXeHh+̓ta\E6l8Z `MVšy{jf^K &װ'NOAHط#&qc_Ps8#\;߉)4)ZrbyoH;FigΆ=ѯ SӻkaADerM-vSjcjDD!IW.uUyU<m %R"LgpG-4|4e4%Xy1+15P읙mWrִQ \Eοr6Nm M'N焪U/4";#-:Njr* |xmEʮ>8G0`P aD3ǫ(hk_1Ɨd'[?A}9I&_.NUΐ1^.8_0УxܭR>ctDxL=^QX爠{l"zddcPAt!x q8H*!E~0XF/e*KizЕs-r,=wVlqrՇkLV#qy>j)hl2b#9ו)h#|^=C~FJp'קUDrͱ VY7ø.'s& y zXYkЫX~X~Ius NGl;\.ڏ/ZnGr<]X1#. MO_3"i&ҦF61>2Z̎cYͪX^V\ jI{Ѧe<`X6;4,W#C#4XEwmmyU:N$*a\7sjoQ0gm^&9(+#vm^T)&f`KW!X9DYY{dX =nݝ$n_R0w L&&rVdccr7nkcb:} זf 'FZ1~J0[O /ў^ ;pBԡg=ރn"߶~/=0$195ڕ-LèjO tF g$gL4sԤoUqBׁ ZiZ'HkZƙQ~-77Ahѧܾ%f q;HŰp_ݜ\+ C.Zzv2uɠ%݊jZ&bJ޻z~F%ש K:V潝)8 Ay ?8.8n%d۾ԱոWXH,kߖ"ق&"]>\Q$v|,^_8.w \--ܟ#'pb|xB)X<͂{!Sm [,Z"t "ڋ>Y4Ub;;NƶVJڴ ߂6QhlZ4N+:0e*&'~gA[fmK6܇\ʤ6Nvx Mq҉DTZ3mߨ8*7,F-Zp7@.` 2+@x'ݔS}@8-Q0i4]>*ǾmJ^L6ywl0ԾC&)S! |1djX2-d?L:HC/zHQ]Ƭ^lNaB1a0!0bdF#; #}}n{7@BfڃEi Lo, Ob0L2)+K?=A__ ^ff~"qi') T{w:SL{m75=ݡmS`׃b @:cwxycMXl҆H7eR)ldSbpRNn|/ʎAvݓDMP0R0A ?G+ =00;k.tXџ!cqAN I2JOTو?d)ЬH 5_7߄gQnT"&&Ș L坩X‡WcˁJ_t_Z!箭V"[ ۲i<X zq/'&;+6@2u\9pi3cƄ{(M\~e:T>da1l;27|]UU&k<|s7 7c/$H`0cnyLZm ?)zs" a>qw>1?ՒtVUbaڔt]6~|{?MX$- ,0IF)AFˊ*<RN6g4^2CşzUg̘dbr U4ٮ y3AOh\^㸤&S{CdC"{Ł=O;>B&pcl>B 72ZMDIB˼ 9Mߘ*K{HY ? $i E^PҜכӭ @ϥD&x\ěmUQ8V+r?Ct H[=># |S#_RxH9Ho\?)FKLL&Ž*eG~Vrې(sV(f64䁤Lu&2iP ň|NDl-q0-,-Jum|O0yrOۨZ{lMP6͍D,C.Kڐ@}f˜ GFnFH~=b#a!*b>ھFj[ʠB.c[H *0CDc{y@| zT50 }-d&E q%}sSt zȤM6|PO(b2O˛UǃaR[M34Q2•6T`?GN't$ܿU y+2ۙ%?}_ "EE0"6d,gOIOܸ8$4W3UѦ)ӟc˳~4xcR es9(֛FVř6r6*\#xt&aό; V/!ڳ:73lLRH"5'ֽ_z`eږ9{8ؾx(QiFY4az_,%Y ǫX&t?C_E;dwΝ? Ԅ4~5cj4%]RĦDY^A1]Rcmd߰=IOƸ9 3/[Ox6fx)XN4ey͚)iqul[^GK4ԃ7Q؄z?@\ |c:ުؽH N(]o2L j0=6?F^n\&Yٱ710(Zp9X4$νsp*QeH#{Fx5n: t\rvsq߬HP_({嬖gǻ,vѰ) @c \*8BA'ZؘY2K~Û!'8bR#w\CHj _QUvac%֯ aӅ4GqIDJ嘪Z4^@W$e aH'i+@"*٥"mU^gK떝_^`VPJGD;acJs!R(nvrd,eovh"ٵ*Y;"µs,+sD@r8K9+@j8> 2`.{ pU^Ȉ:w(F1^UWg2=-DLC{tUs=bRա4 5*/A]/.@ vݱ%LJƽ ̑Ds)*!,-b\,'W+ˇ˖Nd}6VvRH`RdE }~\r^KDuVn%"W$[k^&A+ZWFy7 lCOnGL  ”u92}Ds fJW;0l$dbàW8ꧽ@z7 Pw%-)| JY ]){%-Eź5rtS0̠_u'XZ~Nxނbx,J `%@nӍ5q'SŖUӏSG.xԮ#^ͺxg=$L'WJȣ`0/En!fr(\w  ,W-}cCl;UrѻVyҴ'N`FJ"Fv:rH!y`7V[[#x~")Ba A ~ ?f ^Q>p*Ay\(XiÌ;5e_׆vɏA -gx l3 ZZTn} |K]UuK+q  &fHA_Jȴ͞9S+& Dt@ VjhKsFkd:e>&qe`W=NݠKgB 7OV}1Y5 zU ?Cwjrطk,䫁Ws7*zim_`k\> v.9 jvhsE/G f#R>ퟴ2( 84\Q$9,ND,B4XըR!f’Th KR܋%Vm4|۠I'!dq%o](.ƥw|(xIֲg" 19%ѫRvTإG/OvIejVxޕUЂhxTrW+;x mZ4#HFЃOU"*{gA?5'M9e6mlJ4wshg^ʱtա|dn\YdJUA#rO+ϸ }Ou&NA;jS '4@|}pJ4_sDّjd{D1;È`8"u?J6@(9ǁueT .oC9A] [ST3"c kjhRB=OA@ /U)-r$ٲT еGRrYAXz>~ Mg };kUkB B8l#E柌Hv/.l:`c=jm1[戄O~˅%Q4_6dYC/qjwRu+ՏsEL7u(i?jNR"/- [EVryD lk:I al¦: ^`pޤe/(4ާv % \q: F9"u:y="2$'ܶ>.U kx˧P%<tE3؉RMyܫA*_;M{JUJ_jS_٣Q>[,5Z眾##k]1 .P)۟HJ'>CƋ+w0tbn΃;%ĝR/O]вH(_d71M'^:H<( #Է%BEM^ ]U n9įi`P[怬QU0cݨwf|fֵb0^_V^"4;!gӂ *`(H=H#d*Qfh.|b zQE4u<8wWh;^J'yZW˵W.(_ "%krZvxʏ䞦 Z"#f藌4Q3A7j%kgsp[9(NcE` RGu'%k'!>.*x@PJ[@/O'|wzS)rA_UݙKs>ƠF^^Dž <:X{B%8w mWip5w32yz1]#-o- bʣ0 \4H( 9 RJ\IPs:/33CgfXb¬P 70;5k() N>2x0Y'ff@˸.c!SKp^U_NM\ ࢶu: '[◙aUFyEaU`bx BL ͱ򘉱(8V缐iT,{E yLe;8bU-F |;|_(pv D,d&P Es,?^xcZg' Z !c"v:B,`kQHEbIqu"lS0/he\_Th$MeVl2䌻F`جmXH =g)e X `BPiL^],LT4Rb-+ZKu{G '|ھobE^LƓO`bLǁ{М뗠ۄh{3m$䪖IJ;C_8~+#Ty=&0b)Z\C&&ˎϸ"$Ne))'ғkQSOam`YђV>/Ț$=gTi{skd^S%S,iTe N2'Hb੐͉0ognRzwɕh yv-QX6T2ftQ`G%qK).Ei3f 0 uy#ːP?{pd!{܉ G@r; PL,΂jᇲ-t?&dZc(MWJµCsRƸwصi\ Y*?1]L_fQƻ ,+?`6Pܠ4#htq_@G!?!x$HTQBu QE=A#yď -2i>dԇu3` Hp{M~n\0jU |K+፰!Rx?Jh.7r?-~)1Eg̎:W9pfs;GB Xẉ Agz &k}#F(Z;[u$ &Z*ǚ).4/VQ@ - ]!0%olWuBָ.î v\gNCPƌ(LqJw#l 2ik>blFǵۚ<&Qc~0NA-:> @%]?L3b],\넹$S8ƴ|jE;%y3soAZ%6NHw㷮GU"}SU`BdU:9&kDčžU%SO4svR$2b6tE@Q7<@̶G}V?g_/tozuVԃŔM b;Bo7rSzNRAUEsVEm 5^ZQb}0.-W=ǟLb'9 08d~PȆ&>#j|M9kֹEzЇx!e/ٔzL=&u AGEB ê rs<,8'. pk ( 9Y0U[^5T?ܐWb{ZO ޫy&<*qT]28alƆo)(9tyPORM(ϽB,]Ə0xWiq=dvr+ߍؽ]tƮgҤǤ\i6iԓN J7a$oP9{d֚$5$7%խ\>R E(_0 /c J3US*7׮`k@cYY ,KJM..ʥ6占K^"Ĵ-cR^3qsQ0jVc}|!Ef206jգVYdĝ'\kv1_x7Qw󹥖 j_,/ ' ~(@b"- ܜg#hzS0l q6/?L&܍_0u~r/3hi,>Ԯ=7trA`qx3E1l˱?bA+џ`(k=s3e9³?%Jqve઒Zx;* Fb-0Ef# qϳ 9 SIcfmJjRNڪT#pւm%Ͽl$Sڱզ"qlʨ]oSM8w"zgRiҪqĂݺ̈́?\nP9^B9: r29C%W.cy6'shD0` C͟-ƞ8F68Nʮ<#.Ͳ9FEġ0KjKOUJGQTLN{܆ؼ Z*›aQIxWU x^Fr8|dw?`bcƫ:MwRŮ mvϫ5;bk$!<ox&V'I2eT;p ࡈ 92=`_2&A°+ݪ9+.ͶEwBeb65",'%yT›]ڢ+^"$=~Ϣ=MDQܹQg`ԵVpݓBw};SeW ۚrIugfD(f!]-66= 2mr"hJ[r1Z iѨ¾X"w۝&(T [t!(dL`wD+U,4)Lo$̛G' Ȫ,Xjtazͮ+|]W-JVBD@u;ؘ[GA=8u9~3iM(@}U]2Z|`K$ 1q6,øߪL&_oX]r~yP uzn(> S|tJ.tKK`zb~W/.ĘNK/̹ZKdbtjQD!|(ډ ޣvvoK1Kd<[LWb_@N%R$8 4gDGUf]K}:)0CIRHPV]LU0Eҟ[q5{&j/~NdCU/SO$ص6B 7xZ>VFXr G4:ʋ팻OovOit޽3U KŽ:һ:u*q82PqG1wM5zO:mY qSa^$#1HxpѴ{oa z}1H[ǹݕ=1]M<#pl+I.V(z l,^5:#*I|_LP$! p j^ b+m̩KVk(^*f!l򹛧,Z,wX'˘AR}R,FA3k`2fT ob@ծ Vs֘_"s~j9x7+a(oG QnU0q_3/%eB)cD r*ֻ4A·Ou}] .6h ڰ݄X߳,_,JwO6fzV O4MpɠXݵ@`]8:qCz8ء"]aO&!]<qYXҼnqAr2kXE_6: s廱?~j؀RvWe:r!-S;7q[zq-]Wu@\j6,3\1ؔGl6JOF|[Pn.u pJa15bw"M'3Q~(~?Cjۏ0l2zhz33Ǘ¼ꀆr1_Z,*KC< qf 6V-J[5N,oGx)wim|QIFA,r2ٻ*Gwz6 QCjWZЋ~ՑhsEP\mL:}[&:pW> ͡Js~ 76\Wgʏ+$[{YBEz0 J9p K^%F읯.hDYBhnbᄘ[ e0]0d`09JThD! l)Aj#y+}"'=+ L4 n SoFA[W!MdV(É.{mӻ p9 7D6G;.zSi,5'V.A&$6pГP V,U-"GRG͔Q@$gFy6tܢ8Ϣ6ԍRH [JH=asgya 2\_Ft<'7D1LvCr2Lq:B(䡼03|a\F\-⡼CLr<.be`& t6$l=9E8:{| sڡDsr{y&4A9 vZ[o!X @Q\q& '^Rjm?cW{S~F SʋNUNVgy wJrꨎ7UbL߻:rzXs(|WE 6Jh9+r9[Nqh!m7ub&gԝɷZ?A~ DԲ"hmyH_AՖuwyHJkFbMSi\p@d@Ǐ}?z5;tqnYXK}-{]p,hr;-Q8>jhH''DZ8c]2&L7yZL68<> nctĹ$Z@|"|hmg_'Wʪ,٩ɞ=x(74#D*%?!O}fkb9âQO0$,TJ>%m>[_a/Fc_xFS  2փaǫ#F!dPB/.opPrΕO:[."$2> NFGTLghׄa 36`\3N# Wc>4剧nJBҁI)7o.<<->)Y)&]s0?Lfk mͯ ~Aj.E(kBBo ҹLv4bsL\6 ZZkTJ#֟͞L7;ܲv; ł̧WGX<sUT-,'Wmave6(:^)&폛?tLo"3u%n5Km`ʺSCNwnJdN$t߈k>.B:Ҡ#iX:H2iY^kXXw4A/Q6HcӐ#S eW_AKfhO$oH"I!r~ޣ2E\TTw[849&8A1cIhbJ3䢁%PTtAFKo+(eԠj PZuf)](_gv>t:/g5ĞBh7CJSmo%E vƪ]ﲾxAg[b(0f8l. ͅ5khΪpN`i7$^ҤM8d~ nό,Mg3 dK!ѨqS:KW,fPH3MtCK9Y6=|^?Eũ-Vzg2Keg`\$RttCLĞb\I5ͪSܣ{@lVP^zoO StFĜHۍo)ii:9iĈ'TFh_8{ݔ^;d0%ji_XAQR`~l^Q)t'B y=Bܦb%=)-g+˸5ir*DQf҇Œ=V?jcu vlCGnLqZ|n ̣^+}Ԭ׊dZܠh6j>p:>F7R:_~w?;'AL:k4-_YFCTf\͛>:[p{Pmuw >]!uAP 2kDgɫ!ztbi}wSLە\uЍQT$Fc=i>QI_Ow ,nSTgë0riY|lФкb)㻨IXP Uf^"3F]Y+3c&l0͍KiVehs i9d;gK(z&T\g \#3iNBLE5,Qga5FP{Ή(WCP92udutu}[̾1*A<\k\Lj]2D-u|Nenΐ;Roe!'nbFCS+yF Z-ԦeUYzcDXqLig'mQDm&:Bvnx_3Ai.kܳoW HhzRXvN#' !)\e{k;;,bh/Ua 3,yg@$G^lPӖg۾9wUcɯrqK9,{ [%Mgjе'I8Y\1b^,tITBgyc:meF;-[uq{FU};)jK^eGtPoQ⼐'ǖc2QkvvCѫC(O2&+?zST[^a9:@eTp 7w$!^ |8,dWO#҉ϩsS\aC7JJh1 $pS4xY{lNX}'nڗjTGbA ٛD݄co_ \JKd ƍ1Ӽbf==)7\eN; GW:уߚQ0wDK!.I[Ԟ :vmۃwޣec`:iA3/& QgI6BDjf)T_Ii 1SJ(ܺqS~WrPU9_ +\K_)֒ e"z8Zs¿Hw<_A}a$JkOUV&uKBv{ 9%!% -&A! ML}{AO Cip~k!e*p<Zqs}ggER %VCg#g''XZ }h.CZ%mD 34nxq=G+H=\?&8ʊSSt|$ 1\ΆB*"̰#RAgMji3)i cǑK YyK"XZ`^(H2lЉV'0}կ <29gVF{MԵi+%AgDU486'}CA3qgC4q|KA 70"|^!4h)/$ O$xVs7~sN DvA@fG1 xUGH x=Yx~GiFzhder@'t,z ~ªeJV&ZqΫ^!b}})lG_< Tz$w^i3zdP,qU5vcA8 F;/4b:=e`<Ϥ=,縋m~Pw`C?K1CRzXmZ)I(<=K}5clk٧Gu3]Njd\[e2fr\v[ Lx1gQknF͇H`Éۼz}AXe[flF W@"2FEeš?P =}Ey9›3*x|r0DL /Q37'ut5.]AmRK?DF ]RKZ]# }D.I$n] +LT 8 @&͑饫'~K^HhF.YmN'8Y0L`O9X2񹩚g,5LU|b!rbu׌j~0tNrK^5_Nnwb2:{Z;{n&Gz˴d>g{KvD;_8%uLcU5Rb JI\UJQӝFI 6 &ka=F~ ![ &cEV d=,†*D,%LNq-<^wQz6LkVT^"dPd~$xlzCϥq(*n@Wy=RQ7|LU̥K/uWiU(wH,Ί}zWy)xajbЖ+>3{S gܵrՠ4ӦѱQI dgo1l;ET׏#E TFm:BW  tvE`C33ɳ@̮%v@kL4"?ppt'\q]1Fvѵop 4H9#놼5CYKHej~fWmʙ,[e^"亿V:Rp.yI @SSC™F| /Dːx 7eE4QѮFeӦwX\II dίLk,Al)3!}D3x/~Lj γ.̒/ьdlx~TZF+R3R 00 ̶K2 *z"H+Taw +D,tR<$.25fehk *ƣ,HjSȨP߭tb"^܂?vH!oIo$ATx>=!BA3yh< [|e?1K"?}!, F‚^Q/pO{VٿaR-`t$.^ Mx퓟1wXt|$7'ݭ\_dhZǁR/h FA{N]L '-ȉ7笳My)Fֹ %Z]#M[]!b6nZnQhq`s,? bzqLQ8\?;8]<нgI-~]\N>@NoVd]2Q%1RF֧'\o-xV6ƖDPU69>^߆=5ƱSf.q tIhi[G\ߒ^O5̯4 (2SXRs(.2Cr>Zn ǡ#:݄aD*u1\t8i]:ê>1 T|ho!lM @!g &<hVc^0cHBLi"xbUۚ듅+--=`?"z(mduy`{49c-Z2n8u G,ǁr*p(ԃ-$K UwZR_9)&43`UZHg^}xF#U:ǴȒCIPߌ KI^:3loVqǹI*|"H@TI%}!ڵ1kҘ:fGch pY\ڦ!Yj :u 4"qi"p-/+][# Zw<~H5B oț? uCJ$?md¤[g/++=Pڝh%n>>!.6G\{O.PT0 دFV]Jiv pk^ևN !BC"ll( S)3l~ _-|̨t%9 x|3 -NmEƒ~1,u>S|,]MIpTnW TvIf,'s,jL;P:T,y D1&oɢ}BzߍUh bcj4Zdir9#l yi4đr﫮LL:8-jv=M"t.Ů6F{cg>2ݭo5A8$suN:18-- 9?*L kB9I巺Fbw䬊+eG5;1# jʁ sÊC =A$B})r5ǭ8]q7'trDD'ӱ]֟KWeEऎ==Z cl`Zm5,\sW&=kΠ) 3,p6.mW66}+1ӏZ)vѽXI-Ťsr $HSDؾ"T3 /sIvMPzP3K02+tZ-C{JW:Mw1N&j}/$7&',-w{X^䳔k ,҇z*݂Il h|dͱJm#w,k14 QIV{a9(:ui;P| }9GKzWUn*60FNWaBEbк mPܐK'w.GIMthq|}Q>#=ͼ+EcNK7 ⾨xB3 =tϭ{!&HZm5f~oȉeC]090W(Ʌבz̔om6DqR˲G/: :,^WB-bQIxwT½i|#Ц|_f{9u<{؂ł]Qwڹ R8)I7?}p}yZʇw9p GF7ٸCmcR%yˎ=:[¸ <]:V;CHe2$.&ȳŗdoZjOi+-L6-hC&5k퇭Y'^r=}')ݭmS k_[g$ a{F^=1U++( 367AA0|T 8Ef*zlKxqU:i#H(AvZIWQBP`ĶU5)9 n"?b% ՏT* x/AqUwEԝްqW%ױn%) XX?#i>C'ĜoSFnNǾ$<`Y*񄒽WalW5DgZ5Q5K:mU QƂ2?83BƄ <G BH=4rڷ;N)4}}ê %^ʛ3&M{~Ҧ Ifҵ -$A\pk}Am@@v RDpD\c2tFKT'D0fNrFgM%q!h[DU+AgiQqXq1!jδǜxQIW*bfsdgc4ѠEyءG$ێ,.@FBY8tCL՚&vmĎ)Ɵ"͓M±F6TRs͵j~o12f=fz1 P+ 6DZ;Ȍ;4nc|-!e:J7IU:Ag꒶ ˅BkCW`C"Oč({)깣܄RyhStfG3ᨃ~Ϗ"Ry4$u0xsl[uk\,V5B`!O/9BO@(OGHF[Bee S(5c,ӱ qԌDR=AʮuF܍@B5`P1#B͡!.[ a$r!8 Y1_e5CžTgi-YK*h$q0#EFwN@G`GiZAL3h"\?LrM&qp|X4+YTߏ D " ˹,ժA-]. ?Y'p~ ?̑D›2:G<$N?LWw QBvѱK16ej=fg%g,~5'=wiR FMBAf[D,΀]}1GZ/7W]*x@Ճě"y kY+랃XYj="~[a_91lB#q QnrcpӔ #8IΗF׈_Վ]c~s'72SKKhTa{sz1Sev;oy }_j`Qka [s\AT1XM(P#b6yZknpLEU![h\NgIK-!@qX$BVwfر‡7\F>,OI5}i#`: @lIqb jYW./1M;2%& H2.71:Uj~")&TTjخn 'ɏ lT%W>^& %&Vpku f{a Q΀ !x]? /xu ZcNUV]цeo^ ZIeVN Xt;SGa0pc܁hz.g x -X7sqjEPg%I)xm24qĠ=᧞ɒ pcYvQwU(ʮ`oN3#sl3ls##b!Q?݁rVAAx 2oA@Zl$f-!@JaZ7h+/5?"*f\؁`ڸmy~y6-m{6g)&$4 DJ+ nD̚$g/PwM߂X+S&՟dP(p:p%- TJ2 @.a߂g:ӍNM):^H{1'XuM ,ESWemHYІkޱ l8b^oi1H?U:A eN2"JK?;K2њEO0Q,d55oVAs^cG<%:S$6,~9=EYJ5v#X%HpCE yH`#o/NG 1Yrye ^Rj5q'9S*h@V1BKKhvtV$M$ViAg`6SpvDc@N\^A Q'Fpw)nsՇtЊԽVZ ~֑>mInMfI{j /~@LJe5au[xl-DMoBv0,S_Q\ ]pqdP~Bk_BDSSt/KFcN&Vˌ@NXth4 @<dX]fkU;12q*ý.v8(^R^~J $, 8RaKNAcbkLR"t R DkgSHDAfG2pDV q([G~OKj18g˲A! Dgep aMt[|uݕ 0b .N}&@8D_eUw?Q&~^]3 oA75˲"\Nnd&i7 oK>!rIAKiy>Y^8_8ch֘ qj2~j zwkܳ4rۂR A3Q I٠)8_.\E ZPCu4g3bֲ6)Ssh\>ʸ,VJ<7,|aν& D%_ۚ:QH@q-@摘K0]P.9—5U*^a?D}d &gA8]/ק=)vd1"~9ӊM Q\??|'vf&}W79g}h:g qPփq{RV{TUKmGcF#J$\+W 54jUόPe%YV  G #y\XB*蜮>ߔK&Ck|oN)ڔ(08;B',0J ؄﹜޽#F|)"~;9!,Q @lyϰG…8ס\ryyP Ԏ_ R2DOYH6F(> E"_^4 6sہ`~mTRl"#=/]zNO>RI>`hw=rH}nƖeەZ<_>j`'kUN]4>TQB;T "?dI!+.tjO5 Sш4z1S_yA3t#3iK4wV pe^^`di2@3SLZ{Ϛyp*<8߷zvbFG*j1z/.csB +K ͍W#u[C]/x+wQMU:V\?lf9c[ԯ'@^V+V=4o8>(P啧kCR͝ oKJ@%_xB!~b*S4d>D78%2˨Cj 4ZMtr2N̈́J oyO"nyOШ ^߷kK°T@J"W#:&06$N*ݑ:72bߏoi~i BR0fUv]s,G{Oq^ܣR{8^h:Fc툱WbāC/+̷H ab2RA.ߌkE󠇔q PQGq`?%gR eFCsLAȲأPO_q RswlD}:?Hl f_T^5w/E5ݯ?P0  uM,Okr>el"u,Ipy؅@UeC"~$]rXYDzARW@T0mtɧyf@!3x-.99 . T]o9Wrwܕ[RkDamݏ[l2e*hO8m7l|_WVȮpՑXUݳ[}pEC'PW(x"e]zH]ET%h9*> $M9]`٤Ig;KUifRi8k^t Pad tM9g@k~ZOׅno=_>KGk&w|* r QM \{;x̅{> Ԍ%XB,QYFe*A\1/UȷiIT2N  AglnvIV¯\ Kw74*}ԌD%9W!QK}RU >ZҾ?(I٨_:"5RFrR߰OZ/eHWۺ9^X+:ʂӡ9:v^#FA'ݕo 6?;K`;Hnj/'n"dl@hZ3F~[6T7ծî*7VԢ+lnz]n0]XXP*ͤUnnN?e97t7W')͜;R $ʹ "Ulu*] H߹k >5~ ^)<]T7Jsn^vhRk]-dct2'Cл!c WeBXj|#DrJ_)"o\4oE )]&A@g^%9WбEE<6Wc)<ƷYE`g!1O8-gs0$= `Ն#i\bYM& $~L&2N}v\J-Տ)zKh 9[A/Bm|R Otau#GsY +=iK(~TsI6s"d>k޵@h X#HNB<+zuVKZKw9hZ%".7d[Ӯh0Ʉ&ZĄd}\Dn33C<~HY]8lV0LQ~ b,#ju}qnR崈Vԕ=Iudm*-HK]ܪ鉥 o8mG]͖R-R$H=U3b )I~_CȤ)^RLb~ ]&*\, +k,+g!GJbCg%0/C鶄,>L3b̺rp+f?) +܌ QezWX6֯d (4jlIro]Qpo9!En|D$qX17:fc6#QhH+eG٧ mOpJܼ%S~j]\IIf wwBW|yh32ME+;3fJa$ т(̸]+ q;_5 W@uuĄbx[3|8bb{騄3JQ$0P;$H3Tj:x;0(ccafw¹z%}3P;y ϳ呀Wx ~~WUhYogBOf$6aF!gM\I>-ya]15Uߒ8ek%|~s8٢]єW)eK1SD9K1/\B.HJ^ӱP}+d^$Q}CՅUyt5AYL 7~ϟEod;xi?'aIȫ数 \𸹪A]-5j-!#4hy#pA^nR}JZ9|sl 0 uA"oVaENvY *RG<r2(p=WGla<"o*irNÏ ) \O!B=>񿥻O[d$򉾵e͑٢#A2\R ii+k͗q'^nj'́sW}PHx\^ VQfKDS&S6q4J dI"xG\9z1Mf>e /RHF@XK+;&7>R^|`IBSF!M蔤 3HA.tCS/Q~~K߸|JN0Cp~L69:DR|utͥ a]ډ$̮VPNO; #G; :7V~ 6N^( v=,R"UVw ,Tt ;HϠIhm;V$ScԹ԰Og/T%J6C՝*T7lݡA,ˬlV XFL1m O1;.(;}Nn0FP4d=+'e^45W0L婋oω ֺhN,;N )IG_3aNE_jXB8zFwbCC[0[9wݧ+G^ ;GLH1!l8 ,mvڤMovkK|i;8k>r !r?Ou8NL1sB-#1&l?8تcmFsk5]`a< 𳖺FӅRZ3<(FIcRBrvH;Cm^*5Kùmp ؽRs[g #UжZL::2Mmcxnmb1˨!}|% Fŝzl945ו;?u#0} GZvS\Rڋһ2U^a_u.k9]"9"XȉoC2^?AIĻu圬-@Vg? F3&68;`| { 7-@DjJsUpr!Qi&ROXMZ7]Vޭhp!2m}}'R w+S&{lƭ/nPI %t ~9I գ,ISk|4v 8IUdNQ5^G) pbʶ$AFJBFxh P[k`L{5xWKuHֽD|{hÉ+KE"x\!UhXQ{A w{4T̞fcȔ ;M+C P`$mh*[HGVQXf,w#/~ GTڔ:Z ?Pqa ʬg<8cm $RSӽ-ՙR#tbӊ `gL[ۯ]9Me6SjYP@L ,(A ƇPFp\d_)&PJ]o0gK`},T*J0@jmsu9Dq㞆d&Y)T 64|H&2=b׽W+;= nӤ!/(C dJ`Laǥ ᢵx$b';ĢVf[i[_\_C)UuQWQg'ȅ!U,?JC@ Gfxy 76[۱V'1;¬qSN̓[c,Ɔuꬢe&i)I PA& eͰI4GN]ƒ>k $7+~ p}Pnux fb')ndxhm \`.lM gTDWOk6oַ=H9M'Els?㌶ވQi^umA9$( D\Ŋ4&Y勗[*oqiy}Y6j=9ճ ad[JG 5 6ٮ)6D|62g|.A,-a1##]lXį Zm9LbwKLRnES<e) ]3 #)FEs=m}.9=m\Tw0~/rsIOqͰ5\̕+J?﾿Kf!@e8FxYӲ=ͺdGR2#;2y&;Dxw'rX LnOah*羊kx W%3GV{P@9G+-95S(/]ʠܟuʐh.sra[W_dgoJ|>vP5bӠ {kd#W8~ArPj@&7rhW.R؍2- r5m_%ɳW gϹl??*+K%PUk&FAA Ƹd+*M~!?'HϤ1Ep7N,s4ۅ+i 5yU>{g\,_c-:-ݣ"Ѿ1LdD=/be޴A\ih\2N%yBrji͡ mǧ?D|2gTnA\8ђwvox0Q'g=DΣs`Slo)RHVKu !ɀf<daلa=%ece+M"ح]&nw} <}x'! #+&ب둥{GeOOz(9Ra.fTfR8X2G]>H70SVq̻lœc[M@+zUCmHxF5R!D&*D us@WÝ%?J+ ܞlLqSwOV{'a!{Fz-4_^ h]pZyT~`F{dkBՏerLYDrF0֘=Fzy8Sˀs7HnKu |ޣȧ)c9=5SBilf!_ZH6zD׋0׆NE?ݽuzC䧾4Æ]Krgڱ _籙ȇV7^eiV =,kb~A&($ _镩|eL_p Xnw:#*ʷ;E^+)m^a{Mro1Ǎojr$t[~^AA}IGv+)/Bq{F>Ͼ;lDFy [:Yܑ+~|p?/-$V!evaЦxByF|`sm@iĺ;j{I$m3b)_ xuʠyuy)WygTݨaa.ȫ_GWŹB|;L*픖JVn)UXr2d6ز<@@_/Xk%g7K}õ%e FnSuCdL&7:'/t^"mq&t4w郳%;7$ ]?6l度4ڱ{FLyr QEQpp':㘙jΏQۨ(fK+n,nRy[ﲥ\)s&bRZ9 u<*U߆|2$2 %i7mW6]SQpy > ɋ,CzyH).+.hUɈ#đaW4HAA%pb͔.;.AT=(9 IH_d-梧~_펈>5r]iJū; ~^ծ!`x3aFSգR L/"6|}vf叅 S˟)qI_ނg-)?I1`Jm:}B7(Tz' 쾎[޼ |Gcm29 gjj3{S=? HD}$~OE+S[MiTUXM c[ |υuPjfݝ'- F6A.)9i uo4ʻ!ld򑭊?XyÆRx, .PC ⹥{,߱ׯ/Xylkq}ϩ;ٷ ,f3~r-c]# PoD`[Ueǁk -iY*ݦ[:RL L['pvoޒ6۟lz}i5P lH]"juR[ FH |N3'8<ޛlo%|=̋h"Az}"b' _"r磌=aK\RRTfg6; |h̤I=pzK.i/,Ki['lKm)4.BDVda% I}3~JIbBЧ^Q9p ٭0pOmomJrJsvaƺcZzKҞ϶ײ2Dˆ<[ޤ5$7R9! R|RN;ry6&j8 Q@D(I ަރfpЖ5}'ֈ?Ж('HկA)>`a[v5NE&9Ju,%9[1͌)jͲϭX DkRXAk LPշ7W}J'˸Ke*M筚~Ge vߥaLSR_(6d1_ ^mcMX _kz{y'gNn/kxrD\2 8_qɄ puіN K|k}i\mWEAc]#H+FnTudl` 09{{PEtR,MSuRU/:D8 Is#} O>4Or`Ʌ?u0lI:GX021H+y"bBeQ9AD>o OasT<pk2ck|`O+Hfsߡ4T'9Q40J{lk `; -WQh MRܶ6iKKHHj%A~)b^^L:w,=!y3$jG\'V E"cM꤭jo,53>k :R{fG ͖i4uٟ7au ^~0cWÜ8*+]"Wϝ&j;{F]=ϳ`ɀ'UKcZ*8KJ, lxvf!uoT^cΔƖ-uvjˋDԮ:$Pi1ohCϋr_"00m*T7>JIs`cSCnDjLqgpI2_V6 .Eb[?:~@ϣͨ0*tMz)jv+`ḊF6ϡkI(a/ }/||q%_'G \\+b1X -v⦛z6jb V"L&J|{P .Q/1qxaAYǨbs>4órB9i#7ws,W\#M7HEf}/ _N{{pT.zRlrN/ig95 yVeJz#q4 9/HІPNIDI׏Yz",XS4p]I,5i[QQ% ^ր;D7w)9\@W Hr`8Y^A7dN UZ&ndj9qZ+:r$kH+v}.MysJHE` [sjj쳜7&k^ۅ-z%*8` #e3ȩQI#?˟YCgZSE$d#;˫;Dϫ 0$WJxz)-uX zf֊@/f^MEޓN OjxD\ރ A;tqkb[j|vC=-!e3H-25?/ Kʞ7T핉@š\}/]<@x.i8A А 랎K[+x8K5m a_xcH).t׽~c7tVk}%6kk$DF':A^p{4{ q' / =B.E]ag4jthn1vw6nZ=)KSW:Y4=OIJAB&`)Eҵ_FVћ{LpqA/{/=eݓjj$).+h7ןj$:+"ui;N|$N=K dDf&;& &]5-J;-YMAT˟vQ3*E)غ=6;hCRSs6Y b36E6w_o$e,4?XQ.!wҦG&y51HdxZ yw*rcIFˋL/]zDʈ?GHG;W|9$kYAwNU2-+tEPxo %v+PmvLsQ֐fUigbwNep:$hOf!ϦK&t#;xUՙڝNȺ5,@[QuR~/k4!D'g{j.`טzf,#h.rz=PW:ۈPLU=(GGuG1u T5׎(_T31*4 3QfܑJ:ulg=6t Gt~:G<Ku_!v>^NO'ީh72bH(y{-M/ߩz}0&LK'R Y >y#BMZcX9wDI'ʜWUSf&h)5Ɠ=)Q;؎Kݸ[I*lpڬh‰טӿ `Y$弬-xJI֜S%vǨGl0̀;mቦ SYIK" [" ^fv5][ҝh4-hHnFպeZkySd%? 웽IH)YteզMBU>SL^doj ocժJmpx`>EDK1Lt4nQl`{অNmAt8f!~r_(53)75=J'[09X=;ogϪ7Ytcgr;'n9}1[ꋒa7r̯}t:\jR+f|G(qx{SdHf \lcP,M/ H~K"~0Hʆ,H'h,\WL6/'!MSgWA.r'}Hi',b56䌧$S>3z|;5t?:`ÚRI'݃^/`xqmP)J"D6Hk=o|QSAv N) D"("]s1oo_,ʂi5.(NZĽxkҒJ ߒ@wk)6J[&gu[{+ҹƉN7.1YqRtE ēRr@qbHN1U:LQFؘ" 2$"3.ԍ&1 ].ЦC^ev22@EnrI綁 MWtN#J T|!J{;3fMTE?] D^W_3uk鏼&=O֕ mːnf*nKɯ KZW^iN!%ljsZeDuX_,b'LgYZ8d43a9a43353a3c96f442f07cb3ef254e51f1cff1c609249c248beb27845e050608bb1c731bea640 eed88ec53d7b43e3c68dcbe53660c1742a20e707