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 ##;$L$ ]/ HOL-Quickcheck_Examples:threads=4elapsed=130.052cpu=246.520gc=6.788factor=1.907zXZִF! sL]ŗXiɟH)0%oqxsW36Wq[@Wevg@Ow a\E}W :;^OkK $ RY+4ƘaWdd]\jEJz2nq}!/S%s>zP{Lu3+H[ˆJ-:Ub ]\ TԺJa2s}>km5+5FbE%,>3ҲGMXR`6Isˍb>>qqLKXTܫ)hU K2vBGC#H[.X1Amgf[NB=4w}\-G sq6Q޳{ J7o~Ix ZOx͝W]G+)#x *UVF#q3@Y're(H>"c`W#;wBo#R޺/fBh,ns~k@ ?߶Vtݹ1d/Hg?l-&9]\]u?*Hp>a~J`HhB}b>§˔rHz0HdHʼo7 I._hNV?"*o|(jsR XB.={vBk;,p֑ϒ};}u=xO;x{oy#b%-A85TݣdMc'c =yCh5:F Út|[Fc0EwGUoh\}nY]mD}OaGh}Ilj%U#ܔ6gf\;b3>Hsŭ`e^C> }i5ZgaoQw_i&R}ͱVμYsz&W"BxGI](ixsvBwG谇$1Ԭ\IZ,c.Q.R v.!1lRzbG<+j¦Tg[&M9^gSP+51q,{Gk6"̲K8P׶'ژsB02ߧ#{#1 T` 3Bz&Q4Q /ڣKxlI-L9K[z;0CVw[pj8G(.Zy|k Z\QN 6?|+앍%0gNť(~ךU 0-jdAq)Z[YP"}\g q[';򢇁| @‰Aĭ:H/aVO`NvMM$Xl7hA7cߝ":BwH~$685rQ'yZ5ځJQ5Mu#5K-t}qyT/zk'w%d{yo5 DâNNnWUN>~ O5/ӷ!q?$ (dKC&`+0x3[>'/K=!P_.>ck 67P05$t_&ZnLq='!q"Zjd ۖL"?mBPnߖOLt\EfOĊܛ7&z&݁mƜ3A7ԦC_Qd7Eeۿճ+:Gmzׄ€ B̓Fb_CAIqR!;gۦqXK vsH+}HE(ϩ+\ͽ;qӷC3,ò1ՋȼJ )$Icx~>Qt~["z-Y?0Ir\O (\ ; HOL-Quickcheck_Examples  &9 C}lNfl(B)IL{b"+|t+л3AJU(%_{xh0W[h7sB.ܮ|n%-LN_ڢ+#5WVy 0 ; # 8$0)!`[ʝ:u+ "8ӀhB;Fə%?9&>mU=JlyWov7&O+D03!b^ły23vەa=6 s -u3zm*Ȇ[QS& YD w8gFՊ_I R EE(L"c%}G8uoNaI*r<#eX<70\5Wbru1 cȡ#'V[-=5$}1IGP+ǫ%0Hߧ˨ `LzqU7LzrBotחP9 2=`Pn C0*@d/4})M_-kqK ]vG4'E*8A6ys!b!}+_B,\4''O%3)[]fkB;NiN,ʓ.0̧?Zꅟ~Y{*EolӆwЕIq(LOe}}`Q"BHSE:ڈ^X{UH Z)rN3s.ЏY} ~l'ڭ(KiJw!dJⰔ`vv>3) Y Y7ksuI^M&R4y6ӤTݗDeJ\JCx_'c6۴[%XrOĺ΄BLvG2PSa+ϡmk/}'`~xm_w tNRCQxcVGG2iq(Y4hDn]Ϗm7])I K~ 1d*R[ny@`+w@&3'87`xXu c>N.{[R$6_h<}3PZbY/0m`0 ^/Άm&|*@ /!0݁-B2{\]*v-Gã&0aZjE#)U 簐WE kzM_ه2<]?"S~[LHy~{ xM] A]BQ]+^| !EyP1"fU9q'ΰP@ '$ʎ)8¿W<%)J}dG:՚4tGa.5E}_[=H=7MUi<2p=:zUGbgyq x kꞣ1Q{ܚۼOR;D=i43K'Ywv-ԑx8OsXAQCRY=_*Y'1aYZC hT?vINŗFB4UtxHO>HdvS|kDc/| .pmhiT8kZ, u$~B6TCnP ~8+_:#d4 N(uE͟mub/ $9:72?Ϙf#\\褳=}@#O|dX? E}|] fL8]9iDt, E# # z\-JG?iP%ğ_,Xwc%͛iF?;?%Np34ŌkcM ߐk{Sಙb|rʶdĨ&7 p&r"iވPPSeFl?:˿ptڬeGOr{^WM͡-5Dtd9-)?A9]ͫQw#SkTfvr4=D mḐG,xƌ~|zt6>/}?3r¾ݑ ?$xD/*M&㈂Y- QQQ$f1a"~|`hI4[}IGEanX dgxl+bfkM_Ҍ?Ngg/_j#B94lP @~QI=d=]4։ P_^aQًH΋"$hL*n1.,#jULUQ\cdj ~6'Ҵ_H(]G7ct:rc) -pE*gP/{;hG!bFli f .aYkx3*ádjsWwrF3q_ +WzdevN7(3wTcvN@yjZG Т3I0{ e~~yC;¼=JIUz.԰XnZxfvBC=nXi򝢒笥Mq0Y3&Db4̘Hbfgy6X8 2&^Woff"yf*sq]յv;)d'cw?HGFʨn)eTR.!w IMŔuun0 ꮉ 9;.pck78*JH%ɪ?,(p,8Zx4/xB7^`ǯEAP>:x [zպkrc('+9AClݭQ JDZ/;;Jb ^L<h4XT~YGuoDnbb• 3Ixi.5ݣG#C@>SlTnsTNj{^ƊpҞSoJDnq*wp7x{B u[quW!ș]MI^E=r/ZGv6$M@-}nl!QU 1yOu^jѩo3v~D0EK!6SU{ƦP-!3i;޼]$L Cfe΢˓K]`LoN\-m aP7 =]kOO}lQ94Iz5t3#4#R˺JXMG@ä.Kjd2jn z]OU){b UAġZPFi<-MT(Z]gL?y\ZLPǼ7;y{2|!CΟ#=Y7؜M9u(>EɅR*BJmQ֬x5PMѐjsǩ\`41(m !t<vwuHn!IZ[\k!#&w$tkcJ#ڴ){utJCȕ . z< R=1 d#$9g@Cl0 k}XJL W5KuPgh/tQgW~jkdji8LJGu\Kf~B*;}yn^SFk $y<-}>1tC[P'zoKJ#=YJh'3^酅,Y LA*u miuXFBy!$ہ[,A$?^Yݩ\䆄tPK`b2\G 9>#n;YiO)ή<2U*@}T-D N-\_a&o]Dz, H.,vrX/8PGTx %,JY=‘p^Agnz]:u=k򷷐_RnB*N"c!18a/[]؉)>g EaE7d~XV@rwh>$4δM~yQ>J!AՈ~"{H~˽R-Khc 6 F/pdC$aTiwFuBR'2@V|ze_\ݛTɪNGm)(bG^x巣IgWnĪZ+ gzOFt.xfӲƒtƟ|fPK'-sLˉ83R;d% (Ԝ~ K1q紘&l;g&( ɢNbP28p#-3lw}>ɥ׍ b#ݣ.%8'K(K G>>!2ר:@k0^ 0IhY ⊌JO8;w%Ɩ 3V"/Lf#do%R~ҷBɇn|0QACfQ?򭾳Bˠ(Ӹ2Đ)LWVTo p?ӏuV[z Q'dv,|ɮl^Ƈ`;x[vIs;4%8`K/w>v`XzbZ:eL-fl뷑k" vuQ锘1yI|5?떧\,)札H#g~l $Tx@RKYN&%{ڔ'Km6MO#ri7R{]g^gx0V!oP<%+~4CFFw%.𡻓duz~o~/T9PkR#Ϳ宂ĘHǃܚKH^Ƙď>jr6}+ doֵ_DlN1vAyruIEt}dp>ߋQ+(T5b^U8sZ)Ye(R9]{7p[?!4ۦ8LMwZÑZ})h\1 >hD :RÐheO<H'' o&_0imz6(\ݎa@YO:c*wVŴyQ"255FW,uwyRU-sJqI4te}Ӥw[aSݳ`ן Xײg sk6{p PscQGtޤbfM^v ;/AtoC2ތ(2LLnFmaH[Dw<)s0DnQayt) m.= Fv_gLN@Әކ1Za]vz_G '!FhX<?{gb{~}bvn,s@}\]a' uYGVy2:>A'9%\uYTxbk򺛆/2eF*}Qa' &~64{bVkfJƏ{S6Xh,A,DŸ:_ٍ8O5ZE"b3y5 V@7!;4Q#Tl ;^YH;sdzRd]I;+Y)s;,ˊ)I*(li2Qa Uw^L*Yp1"P 2XFJRs^璞ONo{VKkFFֿ|ѱ2ѻr ,c*e+0$Y#MlSwg,i ib?H4"KÛ-`J}n>G)q!ON 9tFWkiaCJNcE4r%Y˺B3 }]=N\<{?y.fҖB+DN &rj:c+4!_oZ&":Tftfz%xܩ1Dmw=Ҕ9 xOݝWwqū ;*1C 1L$P,6w 9{v@Mzp-TcmGJdO@9r4&'_;f@I W*)pr?QVְ5xѡ@Ɋz~U;SUuYM+sdeѢ䨳> t~)Ww&CN?3[@{|TëlA?2sqVƞ$/I_.4 W// AHf.pGZxmxhޓ/#QئYՖF\z  h]>{9fkv~NN ǯx}]\y9;TTȴK,VE]^mqz\jaP*1wӏA7e}]Swgܸ.W!>?˲ Wl~-U~ <R_TdHNTx13$p.v# MVNzuAXcPF,'F*,Qt z6@3J~;W(} 'ﻪ$5 KMC1f{,%CtN_UC{@~˽>1af%*6ӟu0z\`l w֦v5㤉.5_.n.ސ_b'+}ù\mL(TuI$|x {SUC/"dE' +'pQȵ%?ĨYVw}Xj4})vUC8gDna_{R hTI~OdnZz'p3».Je)Kԟ( w9 ?7;NfܞM OjRM5m^WD;b҄S{N^&ѳhVX5HZ:epFL!BK!)&sݕ2ՙ{/Dْ4@n Kʂ5ƨ f<+ &D` xew-Cl9)P6:C}-N%*M5.0!$3MA5cunK#+m>&STT^D?΢w#WdQa\$쳲{IXΒd5,ԥT'~QPcB|B=9.Nl:oP36Bo܇nKA,6K72가pL8Ǿ\ TMË-|{R!s$-dV'l]ː6%$VUlǺPHÔC7!`ZFCxϑt=KN8l]b^x(jxY&Q M0Z=Wk;뱙 L(o&v e _/Bw֧&퉰~ gN[(=_Q@i"Pq+En2m;mtYD줙\8op%vh1)=ky@loTY=:]et፡$桫T'u7Vjަ,nBZ ?!)_bY3FuƐ )YDozGvjpj]$AGOS+' }]sTل tlݐ@ݧCѕ  Mf)č- @Zؽ;2A1N108.J'mQ ŦGŅZt@Bqx)Q12Xߧ-8߂ciDj+G4@g~ns,dz|nyIjx56 N?X:I;fp-^Y3Z1*bv%t1)\Đ>`Ig͹wsʘ/Zpo:>I{~,N߬FxAg&v_'bƔšLDdoCK A}M$4"rVva ^M)(X˻Tشs6:PDFL0{?V@deۇnW!c K/:z`R0lU^TNZff"0iZљKQQebyT=^NґM'GVwD2攉Rל>ڱlUGa\{sue9hֹ %p%iY&>dHrѲ]~# g&FK l=t_LOenauK r++ړ\ŷNMm*">Ǥ:xa YqryGNFw-Z0d ѯP6Ċ:` >Y[7@"*}|GLq&$+R|"ZԜn>,m_J)BD&f "x[Wxx.*J 8A: CEtd\( (tC9}0 UHAAjgzS=`3^_dI$b;4XCE)FH_'H\&-?hG"c,bшsրR5%Ngkvjo9dD[-m=ygx2 L5n~?uG(G/e= U]% XA.N QœZvhQWsUFr 7& }!pS/v%[#{^/ݺN:gtp:~₸^q?MH"~jܮ<2ӵjVuI3,9z HPU\<_#K]=uI15 jZq,2, Z4.׈50(ԋY kL@yju @?=hjQ]= sXz`oݜJ%vqqQua.NNXg -/k@!M(.mبFO@K >뱑YXxYW0 C '4 RF'7 ҙ[\a/A6; Xpa7Ke܇EM͆7u-TY;մҸj ?$CD'DyLмY0*`RYٽ>JڀD^XdOwNVw?_Nkyu;MWeW;-Hk]K3,Lx^$ϵm ;u:Q4Xy0&pĦ@2v4i /i10TAŒȸu, @C mtKяU I;Y,p+Cb/ɩx 6~cw"MTk;WZ(0ec8>S|(!(?YPf lFQFU~q5\iw/*ew9.m*'#YƷRkY+76{$kԢWkQ묳1bv-Jie)A;Z<9thyI/bF-nv J#-rB8X.@4QRc CצLZ$~ܴϕGM٩x!WέIKhU ١IF"l|o3;]o"t>R0O%E~{4 P00Wư#ajfi1ýjj]՛\S&NWIwi((U1eItԩFא bJ|ݏU4rdqY9 :u,;-7'ƥmC~=[Awr[nw!}a^x:aa?M1_DNP15\TӃ-ƀƫW ڴu TRQx|* &e2 `teQ"Nw~CaXHַrVt{/$sF1, F$ѥ;6}m QּJ>zz[Lcj}g#ctA\ȡ;OcՕE$i)թjS,:\Xxi?q_M3[G!ímM[ X et۩z.uJE( m}\t1Cv?I;7 ?@d̫UtiRvjQtkQwƉ O]9Ӷ qeHIɞ}kRKbFyMMj}_\$ HJ7Ȳ%%ӖalMcKA~5M:Sd}bc[C b6Ewr^'˸Q7/9opkkyRlʋM;IJ|P$ eӛmF@aV8;W%^L!By]~6\:%Ra¿oLGA&\.PS!wv3b+QMLBm!T}jYpϫ{OM%w;U؞[W֭CN*l1)lh5kgi#mc3|ڈ4s>&Z|@#<59w!CMU;U4n8eVʳAc,# QmM>b܈Kٿg"^s䢪evlf`un:i&Wg0S0DCs+B:/QgH~/wxPHdSOg ]X-Z_ʦ_O6yWX:*1*XXZ (JسG|6_K;g%Bz $zh&'cUXKb9tp6 R̶#+ʭJ><`4C'oCJ;{bw5ӭ)oh=# *R 7\X^,|'} ݜҚ x}$at_zΜ_4jŁPz4=[%v{(VMx,!}\YpT2oXIfӎB6p`|k "Q5 /I>`y ^aՕ8p@{ۀ;sifYru: p渌{|~wgZ<2oIj$">/i_ԃbٞ핤n@^Pxf'@r.u l#1n4J3J lه"s h<ܿNs<?a2soDkO8ysޅ>q !N!{棧(j^o>,(J>bv1~C [eWORD0m6֔:P]0F3MspVB̂e./xajԠIɯuFvYfᨶUGVyYQ);8DjeO7x3ҁns"tݞ=X E=(J8_8ϓ#%v:# B$,wT"+ɓKnu'.Aз%b)!V}TE/W%?PgO<ٖ}Jb)jn9cgȑQztbDFL~O[H h*ʈ4`b<_5 D(Gn-,r[]xR?lПy;A~g8<Х3ѥ}McXྷ&z]#S(~+%ߙmLc;L)M/?:ehLx j] [|r(aP='X@3@l$VU6fLr2I ^Uk#.fXJ"j@28Ir-w ,&侏ķ񡂊!Uj\g03ŧGZ+q,ʼnkQnlm.rйf* x٨kx~t7+A)0hȀ,%5ѫȪ; i&pQ8?N02־Eʄy< # Gw?5<('t$U\3]̶X5eΪkS&\ڠqY0h=w1lG2SO]gg [ˢ@0-;y:mCi$[5K%V w(cxꔛ hb[Rʚ+PDxpVre)&?G j5|x5J%;Q#-}.w~"q-ʱXIK=0o>]Hz-J8l@I`NBX8剩ۭh䇢b(?#R[nƛ;|P[rV`ͳ&?lK)VH0!rLTs =gGMђ''a!ڒQK5}/=ׯIZxP\E$3+ޢi Kk@Y8料VV'}Ղ\^E7_7( ;.jQ= \biv>Ģu崍;[쬄xTwR MoŤUUQzU2|ȸ98+7pGǯ~~6 'ʏD0MO!YQO;0flŗ6N Mm BIbxt#HN 'Z2(#ܐlLlWl)Bjy^q\0k3' o06umr3_g@oZ66hԠט:I+X rF0'ZV4#P4dA<T 6|̇ D?;zw >do8F%IZ(1N *tD4yʔ| abD ]k— L H祾Ҍ$H!L6 nV,*^ؚH10/L;"w=o8IE;|rVJWƃ8^, b;P++pFE _66#ơ4{L*EUui6lR7ힿj:XsM~\p[جCT\ P9d"0R10GV.N>1KSLM(p8!yìm^=q:0 0\#?WK那sS ̀vtW l9);mh&JvJE0-l|})[ >py>SC:h\AQpTU;0ZrjQ]\UI6CI(ߠ{`eb'װ[6Qrj5sШ.kxV ~JR/Ĭ\잃CכXl>9a ķ ^GϵGz`pa "G 4yT0%Rhp ?kҽ~}7 `Q1%]}/BMuyĩv2%qXql/DBtrڲb?sv/1UWнmX(#rfe7SPo;@xcnews'/M#$+'8] [͵"3*?\q|Uiw'5 rTYRHOowYa&H1] Zn\47/dڻPq Tss}Fj-0zv&Mx`jH2Nk<u}СU:uӢݢ9ZS`l+̌.3V`_:?c0zD$Boq.4Kѥ2ȓ!gR{09:|Lq~ nhz#~ vFQ]nk~tZq~Z9&8ra 9 gmAZ>|c Sek'&O k@Zo]SLhyai}ޟ+MW^ˑn_c8z'tX8£8ࡪ9 eTP(0&FKYסB lJ؆ SJϡ 4:FܯlS"~a@go` wl[;$%ded)?8fJ?  sRSKVS5E4y\m2vl'}@޳)rЉPago ʏ!O` 1,@KQзc-Rp0V} \ݴqsϸ6Bڋ=ҝ'xR^O$M@'C !ȍep!CzV䴡n^c$qҟ5Ug H%UQ 7ߦ9w7oJe&Agww?aBjLT=_(AwA$\iGKwp\p#y?# A0=Kf V+ZZ^B'OW݈Ga捾"J!es|dNAkguyRrݵeةF>`MS箒|ЀĺC? .oM ']ٯ kG1oz8_髽oF;. ~VUR&n|ETnYM׻?}^%9 t$*!*ߑ{=ju(] hׯzMBw0 J8>`A|( aë5ŒLoGt$ 0ÍFh<8^Ȓ:'PD\r#nS}@y{XhnLydtf:mšqc%C @0q=1e %h!41 _LbϕR mY-pXՈooH Abܻ ֞/&˻b8ǎ<@-@ّX2.bAVS`&CfbZGLã_uH+f#O$y0ijӄR9RgN)L`J  YSB= JִaE1i(#{39* +U/qg^vNz?nA4MG ӄİ |jGp:Q`3L&2 ^qμẸ%º.O"W z}"^U,>_~gZ35\ҫV0w.W$=-WPPRM[~ʯoCׁ(]rcrV3h :5cߛnT ߥmO¢"հtR #@vWLzE6+VL mw5DєHNDf@sa@rL^&|O)Ԃ3Ϳ$*o<4i|DA ǁͷ$:pUJSڵуC4Fiuu>z_@= K/#Jsa-d} J2%n٭ˡp5iQ 90-#@'r$u$sѾ5e% H+_'z*AXVPI(_F3l >"p!sa# yd3XO?{4õWIP+dm6FDEG  =4o%2sߧϒZ 4CbH&Jtpz] 0'I]~ܗ#PqF z^M> n%~7vCI+neb{@nEQ$ /y4H٧N>&ǒOHh]S-/@E#S vgqz]wT*VU^7NqqbtK X=تx ϮDv #5.2ʼnv zQk_c ˽ IH{) E~Eb'2:@"'ZpJeK;Ő7_JɹљAC nuJӥ=n v3ńhRV>Pcw٨Un S C`橷lE#]>vт=iQx643\?\O){©:*3 -aJň+zwJhp Tȅ ZG B P%Fԁ,K|"H;+)q<4-6{ǩ ;:e*.mpD&;0| :n}O2\֪YQJ| z_^7i ,.uÇ܈ &s0t"7yͽ 'Ҹ E/")< z$gDG K[qA,̦:ȯB /ŭ3u2Z9qUxV }h&Ւ X%+ҴM 5r%v-$D#h P"G9:Rk֘a~]N$uh%sIj%Y/ekw*p4z2ytxvP:~Tq :IYdxʈK,7?@g K&'xp\`?7+gڷF}Q~}&3xPG[Wi߀ ɭZX Kjq ;3T3$Z+Ei) h8գJS V&a56-]S&W= RL`);f{-k%0Q40SA`z^(qbCyW6#!02>=ƪz9׸ߖN^MK_lgM}zMgOj'C$kG|UE 6+YmUx:xfЗsl*~5aS"_ 3J(6*apN=vD6c׊. ic *u@7e~~)aoE1 7ֆ6@G Wo)Ehc.- OeK }zOHU Y."Ħ <…i8 [San;}f/T 0[<]VY]xia[_1,y%=ʍ;aƏ˺r< }ɯe`98w*UY'6ASyU8J]ryxY2r;afDƄ" t‘܆g;Gn>Um39Xk?OA +_AQ]Ӷ=NEoTPި] a6 mѯ ?+0S'giʍ'@U'q:eO^\@6xf t=a2npgOiA7@<tfcς7-XJq۩1^ESwt֓mad]:sJg6)Gq)jd0 ?Z.ƣgvhM*y%BL/^v' 3FV;GT4 /\_'uϴU*UA ?80]b}"=, U'ǟ-@0Ȑ&@h:E <'*[0FcG@˘}|-rVeJC>{[b!\C) ;̛z&d1t.DAVDGS~yrNybNu}<TB 7 o/Psɗp6vk7<*yM&_?pCxqe@cڞ v쑌z$tNJ=!/%}<; o`ޤ)ZVP˛{ẠFz>ʣKN &ǩ*sdݧp`dHtBr7h_`D{eIi;*'~UFF_0 W'$o ĩpXp1YZtճel¯(u1 &Ҙ}/GP0⧙#oS>䚭ry{oBPq^|[R]>*x$iZŨ fI6'Vߏ,Dq{ A,VUnUZz*> wPsfa-oX9j$|I~pj;AAVƦzt}o}Ͼq^ygq JqRzd4γ;DDx- AQ5*v8=;5 a:[W(n .\ROZvu\I>|KFL\ńiNhϦ!ʽ ɞ#Heoxe6Q{d֩۫;㽉dL7|f|֟6!Vcef-ԅGɽiib.D<H *; ~.w(v>/9P Ll{F4l䌴6hl:):by?Xpk\)#H|AKNhSЁ K_ӖU 5xG&D3h8}޴.0pK)t|fy_'4>6g/4% LTڨ 1VbTK!s(`+WvP[.{m VaJVeTo\G1Y^| v+ s=ǩ~t(B"| = RC@=3ܽ:UtHUwDiXsNPs uY0n KvfrtQ} ѬoNN5_ @|JނUB{ fN~zom:NUO(f8Q@CdB{3gLym]g ZQR6 7'7!BAM7 {G ODRD ec%n3HE~P6wi?~ՆR f|e<$?哇!`.$B}1';@`S'o_l* !ݒ&uHD\Gii2wiE26M1(rgsrư|hϏs@oy)=ICMfM)I\eaA̢OAG[tZm`-R DPX7qa F8 ?e*Y(o˚s &9XbORöQK=g-h{7mAǗ n64ZԝfzO%n 1Ů_: #h'S !ne:I)è62R(/ dÿ́p0>ٹ- J&|QN4ƀTk?s 9˨ƤJ+ĸ$ɾ@`9ZJ&BQC;'s> j -wcX.Ho  ,́D5`pK"h Iי \߇ںO]DضͶQtU7F^+-8F/;RYU2,!,Ƿg|\I@x1Ǎ޵KMS9l'o Mќ\Uz $0GGb@&gp0"SL+JP3 ( uuMB+vk X:dK|}h|js#gBy 5vRw}+VIЗ2O8 Żۏ?ÌwmOx(d0 gQk#t btSnLF46%ȊsY"'liq`vV'k9zt sV^=e ^;Sc3qBmYnoW `<!DgH';|l\ (2; @5@ufvcW 1ȡ _9Z*3IETcg̑(xN` Zc4ަJr/=xz@{<7[mwV$t A9;]!fenL-vN7:pjPrg \.ѓ\jXO0x` #\2J( C%:m#6SXey5ͱ->:p =BERPs*tGU(j14M=ۥ4 fGw֣;l{mbu6KhE2z%}EuW":TbUEnD$aeɆR E&OSn Aw ?3_OM`k@;<@Oj2H?)8F [gq:saIIMLnl@"=` [! T!>D1x|L_z A'K]#@?Ɲ ;46˦ɵ&z-~!ȥksu%yҾ4{2qȘ͢yXjX b/5zSmAUߵ9 0kw6Uy+o#N5}IM{lUkBYr*DM#] )cjLĮ[0/I{Yc]wEsǧ]M&Cl,9}yC/~esomdǥ5nMXGeb'DXHvrehf ! %4{IW/2Яv5<-KU u/B ψL 0|E_OTmM/(Pl(^ZQ>[5o7$ {Ial47jIⷛZ8p _ܱ52Hi$/tA5Dꉒ/xxK%*tUDPi|!%$j^}.^*jrR^rQqH4tP`zݳͩ?fg-N?ur[(Ezv8 1cQwSx N&QZA%3g\O}0UP%2EB;s)#fPmlp (w !߂H]TI#t,97nj"_3pBa1Oz`Zz ,WI(uVmNKǓǔf6UlO%Vc« "Z9\ˁXa*,-NR(h-iRdk` xn9L|59;zqO Cɴ8[?LXRPQ"ðv;/4K&31nz"3/Ul$y@ǚh[@L.륇3@ VP]1Qgz Q>¢łH7?Jpfg{0e1?keUz CǎZ:װ o9<%1BGsQd%wH|uXIՑk=+oZmgeқ TVbzdCM<"|br8 íbb1&| M):- EӔ'% CY_%KH>{Ɣ23$:MظxOo~Z>;AOU)%KP/__Te‰RɷjRH=&gHfV'{逹?(MEwY` Ͻ nvRlZr,7FY6n "|^gC RUބ@GSG89H };J ׼NueYӊVA=#Z%BDqsvgjlW_F>NspG!&;u4  H;܁]Hʡq\~3Õ71 C=m,MtV@6K_NJ5yScr30y'3B\~fW)8"O7X .?O8X?ј[SeV K(Ǖq5i#FI‡.C~!v!+[քce`) 4c md]h9{aJn*g*.Nn֐H`i#w!l{vQEwMq 2$CdWu!+"?Y:G-T[G`Y.'*щtE-3̝}\C}p`j-R}!sAekkށ DdŌ0:oGE }D~hn8jJ9[.X{pB3>zc,: P]y4 o%v(4Xv.|4{L^ůф r72{LzU>a}"ijS|Wr.}zW\!Xږd-謇6|A pվQkd=n iT'' [k[bj!US4)~h(%)EfNВy(dhx삐y?;%}kyXs}IЦ) 7[Fהz+Q,4E:2gJ{ [#KH{vo=>LnC5K%.=,%ϣtIS `/ߖI&JS l޸ Ѭg37Z\esG"L+IttH1вKZ;h9TԀsw}Ǻ~%) s,QͼlxKґHwPt>܉(S򐉻{xx=4#%Ѐ3@%_/q'Us:Pzv2Fba蠣/H6[Xo5$:OAL{l ea掩67ɶxX&.YހeC ybeowUP6'T\^!_G{sI ]ؤWY,Z'PH_P\ [F0ⷀ:ECLMØFo-PzL16A Cqǒ[b3`𐡉k4>J-L5&*-F I(FלeN+Iup2;&9v p̣=7|v_0J SGCY59-xhOR#}d,4x}Iڣh x`cIu v<>f-%wXf!*`17& ;{)T`x xE%;|[_J@Jdҫ}=!rzE|c&J@-khG"kg7u77UMj\R|͍j=`}x1QGc>I+}K[mOXXH$e uD4y'S8DƐz/i8}psA5e&@F`|W:_ӡ[jdĮxGOEaXL":9]Ui*]!/MByY}(%LȞ%DXrފJ>HOF]V򙢦ED}?M1}l!~5IRs'"n9b&tS'MFsgw[ Ì[=XNH^Ó*8d.uެw1fI6mGN gaՐt/Hei.W'>.pk+!Qց *B.±r]M s{}A>!EG#w I]~D7ogfd3inK*BJ o EmVXs3 `ˤur龒)R[$m9V3%i@UrezA.Lsq4T/CIޮ=vTy*C\ z%Щ_5@c)-[I`qSnnduK`%THJE,A&9[㳬z22]esSYprs!eUTx :gx,X=_H1*͛QHAvjsڥVd TAUdžl Yϟ?!)ܑjb㔕g6pcϮaқ~H@\FEM[q#u#=|FtR9:c)"Y*I8I\X+"@;J{5rCPZ?+YT= ^*=JYRxW[R;Jg7vSJ.hi åqgH-\8x:H+X༢i$DpeK|@M^,n[a6czwI1a'c\OVȊWr£6o'˹8JQ@-Aʂ{zPN)؎⾭crx2OnDʽvNXܴE4M屳ѱK P3ߌ9U.p2ֺAḱ3+|^( ʮdQ>|2-6aSYVjӹ_lC$9$5:/d>H)X܋Ap )(IhJTlU /&W*J VX dްMHb6 K|w\سWs2E/y!c8*lפhm͑.g-AEy:` ']SŬAd'H 9P~qK)Z+K cPl(c9dk?2!1 ip&op Nm]tx} cAn"^UA%vt^G?ݸ.BiB㋫*+m iKkKmm&F؆by !B@)~|cw:48 F|WCT|BLX'0}>G^8 zFZ!u2S!sXO;7F8,J1h4{+RO•[m'"%>d\X޽(opQӭP_œkyLq7[yVhydY'3;9ΐiK`XF%n!ZoGW#i \`_?{Ao;*G魶oysjǡ)iHżФ1Ϗ6 oyj DOAzkQI)Zn#Pa`6\ldl_D&F`X r%d:KʴiYrt|mw~#+x 7HQ]hxSK'Q&/*EBEKZ3(ވf(=P/_Z;YBnQTđa<nv.$˭SNw.6|=),(+V~TE4,]cjTjP2,T{h+I! Z. z/|y$c1Hw]yQTc`_Ff٠q9.pPdhݞF!URBϾ wG5B/Eo}T}nα̚ioH:\ާQ[.Oܻ8y#wK3MF"YҋNs,i".sw/trUK !zo#n+ܣ 0͐:%y-6SWΛy_ږT4FSbGZ ܕ3ؓ*LId:ՔȀU-<&~ l:Aw(.d .a-L|1:PH ׊)&EvI  OLݞࢦz в+mᴤ.RHõ[+ք0ă(L>槨DL /s<4Ť!bE%\hNJ)^_, MNl;vY{FR@/^2u`}55x{V>uFf#c޾\Ug䃪2)ص6=BE6B*|f BH)|Tx7@^^ݾ i#( Y "zZbM"!bsqdi{-:HP`2 e)׼ZWP5QOSޓy_2x82i8.t+ x #">mE(R%YK&14Bv3$P<6=!)}1fkGeE eW*!L,$6Y- )Zzц?+6 12Nlѻr="T 3,y@є/=Ҫ[`; ɓE7QE vvM>,": MH%}:MK;gWT_rLկ!DD.˦+z;ŨfՇ|Hhjz 2 8@Z-LU+cjjiu q0 k.~}_(p]5dU?*{ۤBbxx&OiUUkJ #ůny]?Ļ缔Efnqr=] zR\;6r i',4U>=Q[fnePܕTXi !.3VzVp|eJqC{Ķ=\4?/fw*Qs`.BG,2\_TC=L#ՉV !f~3\z,52 b&m[XTᵋup`s)!p& `44R}k}ưx&ڥb?;⦗_/K(}Uy̋4Q݁)UK'0}&Z,G8/zv&עhVM,x&Cl_sI8Nwx*!*+ 2*?}WK{REg3rp6f~e2~VV.*:IXeRsrm JuUGa7b/0MCA3 m鴙.4arN'a'1hA}IxOY(E4}CrNP5,1*&^p-5r`h#[8`áT/j_ls_y]تԩ GYN.^3nG9,\ᵎ7N/_yTcX4$`YȾ}Cm*O&йɡU[:f xa zNؽ\Ɗp~`B`oryU,] њ*WܡJ'șniHz CJv)[-;{y: ƠzhRȘ\j!uXjPĜVG]r8fo@32_m 6F&g> 4- 0f R_+8~`N/7NWqp8 }X*( ˳VP) 7c-yCW!W#'ٷ"r껻'^,w 8s˺Q@z # 7Z1LĿrB&<})C'tdjs@JԎC+R}$f|=>@S1t"48 @x]Q~A}A<V)VZEԸ ˚tq(Q8WIpߕ1 ;Ӹr,}<Ž8o7#U;GeG;y6smoXzpC": M'Zg>EPȂ>` RFe!,D8A{:r·kAucvN;HEoB'C >> njrvQBt`y|ّOR~MTHup#}ӷ}7&aԏU=}IЍX Y;%V5ᮥχ 12LS|aa( Eɧhx0T؃ H ?+B |̨HsWЏ njN;,g* 0&XbAWy:'W;έ3M`"pHqAS&@e=Uj_fqL_kir8m#¿ܞn{O$ZU,bh2B'xy-.ӌ|YS(D.d:8E@r 0f _QuR7%:d@xf1:}ך_9US6bD8S5 Iߞx *i$Ԁ,2Yk O\ue8Ohۮ;}1z=ݝmf3zBN@ 9ѶB@C!੨K"bN=oz^]gю_]ov+| ĆZwA^9Ő9$'?2Nڸ>Wp| Wc a+lElp*g(Zj qR|u |sd¹%g̘dǀY8۾`0i*f{XJ$->]GC1(HZ+5Y-*Ɨ)$|+rf PS1MV+(slUIdo{p"Q&e]z^'Qw5@ÒYsE\)Pn3ZyARVy|/*??WsF A6NfQ)ŴPSfD$K>g8q(k=p2ֺ(bL8Rk=ZoYb%GG%B(U .v#@\ơB)6})6 Yw5뿀,w; nt[Y=&E氵W$dUe\ֲ ݧ$p\]O^gY\;R!G@ 0p ( d+BԭaINuNG`ƧqG--o]&6מn׆05,!ځb8q,lsFK/x+8fhsWpvSnTP4@Mw9DMiCMi }bTSK4%ri-`'8S9hsoV|0R/9(ϐSۑԚ!y5m/+{~5$t"҉ֵ%*2 HQǼ; Cob[_HoB3M'T//>"倾uZ#4cm H{m>_w:J;c0M!^Pk (M$!$ KY6?_)6ԉDhe,@0;ŧabq6XgxJpd1^y<B'&n7ɿ_~TRby'y㤂(>7-cO<''5B8)NGle72OQT\9:ū,4^g,(uKncW]!xjv{u!An<bM|>BL@+edo*IyByaj$z+ 4eّj!'7WyPh|d:]kQSRVwĢcP—~7 p*[ry2\I )0|;BroZ`ed[@aE119x[ mvʴq=G%;PHAM uVv }_-+,m^6o.]vOH)* 1SJ9`)txTA2L=J߄?䙪+mTD]>9lp@s'HaBz{ mT#w6y-J+ dZF,VozZȵ1^(/o1j:ysp^]O fz uf&=Aͽu cW*[ϡ\{叀}O5~IRm3\p9yYcT>F[ ˖5_77/AhxD:Q&0c尮tHG&!WuywK-ȟ.|P(O/g?gRU7/Xh,~޳6]V`S9dY&m]tmب}M)dG%&ɧQ;U8q^JH: ">+=•,*](CTW얄LR3Tr}r $8wgfX:΋prc|kmJST8XשOi!VltonTe*^OR1L; TB%[Qk?Y\&PaQ8)her,S[NO@$蘲9C )az_[(5j]lC?Ĩz~zAYD;fZ< Ҧ n9p֗DŽN"~M9ƵLoN Pfh o.5D]giԳ.^LsXR{ ;#9p;L2)rC $xrOu%,@Ȏ 3Dq+}tTP' )WE` =wK 86-Tn/ /4bF.~s>#ԯ^^4$tz#01N\>$]2gBU0RQd"fB㐙1Bى:BAOOZq|]a^֮ݖ(||Qu1$CIjpIMӿz`eNƘF1c4"D-#5~pQ`VkFۄK4??sI%iZOmmx-@[U] /Mz^RqxCpgDGuI; Kf>-Lxgc>)i2#3abl5) E_3ҵXcM |30S1즤޻2} Vf+5H*%hnc(Mmo9V~nrm"5SDyXR)AW+cW p/W/m&Cs1x8?/E ?OϏ@oL1/!0"K3IA^ q|j~!7_!=d巺k4tc}Rٍi#@p\=Qk F̧dOh5:=ցiXMȰ4OH Ke+> $Kt$/w~_{:}œ#$1&¾"RQ~e?u_`5[%Gd,NNД+v*\ɿ\NlW7uKqsѸ8Q6dN (re CX˱weOA^3%:q[>yy-FpD\t^hu1s,IÇؒꓶd 鱙6 sN FпL\Eh(5%!jb>RW$ROqi}ib/%5~yV=H==x"ꠚ*jDϺa1o>W9fN 觋C֤Bu%l+1Yc#KeuZF3EW8X0n= 2qnn[7 }W,GZRm*1j3Y/ t1Nd,M'DFKic71 -zzq tG^m:_%byn!@=0\4?,tu<8Rϝ8hejQN%7S!{KVDk-I걍UgCP@o{uڙ вZHC\Foa 4,sۧn[HB,f 9G E3jˤ^ ݔxk6+8ʏN^tHm`\cZ k'neSyFR t!I+uh*hՈ:@9ْ만i?=hyA0:5oD4Veupn8/){fWͬ4A 9d:1T*鷑Pi%V4V2ۉls:('(qZkY~VeG#ſ#,~R-=2{,TP/zJ߱`w~gDϙkUr0 I9xkǽc'ƁLl`1IQe^SHH(vIp!Kωb%w `; k:r7}0 XBcsaRvåFiB*Юi45>7\Q6#ZUZ 55u%"-G0˙CT>Z_G ojjb?wk- ~[e~u 6E@vdf0) DU P̎vz.V<1o[6/ hqn{0qo E&rGBf*G8ؖmJXLC(_Nu&)5Z uF'-zpx:}3_1}+̫5AK=SzBkQbTmsD(I(n?A ۺ2`)X ðѝڠsA2}wTT:$5 }wj[- HH p6}H> $-^5ni)>h)b<$?z^"BzrOXcz(Tt ~p$|c Q6lLڸ"=Z>WYq9a|~sʫP&cqAXE惼q/jqڷ'vQԦu++u%Pr#}J p込HTuAЎ2mqGB?P"|DWFcU^DauTm +'j5Pc¿[@NAT1=VBŹ6p2DAvϏQ(ݔegYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGfRƭ}:j nN 0 8;&ed HN͠cŀ-a(`֍[TXScV|_v(UsUίuF")LpG - 2bz">e@Ұ,|`Ա~M P @wo,h7#ɚNxTʃ)y D* RCGQ^7N~^4YiGqj6tRp/a?)X Sm_|>C$|S ߜ&&=Тɷ2+"!vҪy$c£f3~d ,CjF_g @G>ZJ>1Mk/TE{ׂVQUrle{ƒ=xH~`aRYsb<~f'OP mj@5+] u)ͪ3%I:bX@ eƗjKgG@NU_ԝ*t-vfSRqTQ4.tb}[ymcOgG#.5د`/2PbL$(ӳHlŕ")$i2VM2B*w-|p[~Z2hÀ1Ԟ#ѭKBT$Dx֐ni6 'ٸ)UK2t. :ĜmokϖjL:Iw/Ems!3E᥈\gI)D>yWG(DGq1He9XSM.".RƿJȾRsl.2>[lN 1쀈*'$jEѠ[Pz!Kғ03W79~RW "SevZ5RS~B%&Fw?l{uv'%f- Ս\m#~ lPN]dwou˒ kY\\}T p?HCVBmP}?]_m$>*GĽ|ƛ!s%tdi}#xG`IAV ש'xL.X|Ԡ)㦟TTi$eb`=vD+M!°ʥwPaĤ̩iT`H%ravjKF4`ӈŒ,jzp[Ib.{x@` fsM5{4;wsB* sr[ƲԮBY*zT&ũn 萢? F %)ϏQv&ޣ ӃWH{;RAE2~W|,C' ~χ) 6~dp adj rVeB %RzF[D]^ iwqK6󑒚Sd~铂S5pV}UnGۏ.l4oO>EU/! #?FqO ϕO-k.Y@5i7ˆmLZn0s2NgLrVeC#{=?yʛQUsV/fS;-I3kľdE|)a|1jp\Sp'9_h`)vD%?l$:0 EW;0BrsELDjg pAG0U 6@4B`Dvy mܫOdsfH7rIJSY1ԨTQ ^Lqft~8/5frbjPrmfт<=5đ& MS0]W N%fxB.o9toKE;K*p:2"-TZ] 3(~s]wo2 :͍uxZs$zm[c9ůTĄ'xW"CQ5HbR[fVæ/$eNQsn<;賛tVe]8,/bd}/+ ӛuNZCnD/zJ#$^@tv0Y օ>>%|_ zxD?B-KN|̓Di3'Ir] C5/<8mŊ΃@fGNWLj3])_n{Z*rNܪWh.:MRApY9Ow?Һ;\K44 Aa"VL# can^Apt&0?'UQQo)2p;+Uy;D@lS2Y_#Z>wAB̍X4>W|V &̨Gyԣ^5a@ijj#/@\e-4}!/&[r?U 83,@7Gt8P8fRE=2&;7*Cyl? )z dII="qJ6ƨ&K:OgpZӉ(NVwZ[(曭lS7ҷ.ox8ݖ~ΈC0q)%mG˨k:U$EXYc-zG^IoEoڠg٭s.n6tsm(h꽄/Zg9a%Ӳ9NApscU9H#z¾oD"A3ZQ2%|ˬurq__X -w\=O9(׊|%/f5k2`[?N/LQ 1f0lux ^ʠoJs| "% v{F2=m[ڟq%I&a ǀWV%mWfr ~]Z;XonA%wķTw#0Kj0ZMݨCGܫe2"p1ss04 &c\CZ|:>@p}Tt]T_ gݟ0e<1;R`:%t70-g>7jnF_ݞqhh4O,#K` u 똮#vX_o&v>~EGWa5y5KճVsȹ% `\U1}~[ԫd +`XyzȺołtj,p;lqm.add@pY.*nk09kǽFFqCgؖeKQX0ΛaxӤF[ݒcq'zx!? ]9 mR+8g#󗉩Bu [GX _=LnĆPXTbث?ӯD^ݹs@>{gR]JZR.>AY)NS("{zAҨ$C:>ڵDNJ8oe'l^Oœ-ëy-lv mKqJVj%r|'r8ޔ z t oQk1.歜$M46E&Hw l!Y噉 Xrڮ7.D-JIY Y쯬LE mpyyi8oM]A#8';YB$^;Z'r9WW{,IWkU㒳84"}+S,bV]kn#,$T,4Րj=֐6PwU|F6[hKz>>xam2i";/Ի*Y Ϸ'֮irp>fuQ5BY]lP,D:PIsWXr2_0hӢēGf$ƃ׿B=uD_E=̹,?ye;9՛_ '3.,՟ídY4wMY?@S!Wm4RHЩ#E:O슒 &nҒyk Nߓ޷c%6.3}ǯ$#c% 1'^34i^mX,:㫵#̰h%7{hi (5i<vhl'Xz ZĈ{*1/#Mel۹OyV7E/BȼSC`q_``Y=|FQО8䒑N4!vվ+cA͒U$4 az+qxy=AaeۖPlrW]aFvCYUdR2ic(ί%=̓6ʀCk+J9vMR| &SW~6Jz$R@ H`4(n>O:X47+9VUٷ}Kcx߹SwsHHHؙ}>;1W*u5 l 3چP.)z(#~Ω&Ӑ:Z)\=E~M|>&,ө5,d~(Cɮaۏh?y)Nkx!0GZ9Y+JX3X@F+ʭV%Z1 7|<8AY$պ'RdKמ6j+f%a=gc(:;Z_*$!CۈS}mpJJewQqjlPԄ|cuu=X"L]rZZ{4]2 pYdZgԦX%9o