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 I=T$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=395.563cpu=1764.656gc=267.120factor=4.467zXZִF! "]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*v.}]JskQ"Qd~!yJ٠$ +5'iMq󃨌УwXld{奴6 ^;) $!.MH7$f s#+XOT݁e3JP=uu)۳gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0xIfx ǰd>9i4Y3`Nopd2AekHvF߂{>\q.E *..{TQ:oC!m;sяB\~U^3tsD\*WBigYZ7zXZִF! ]ŗXi%B GҨŝ64"sDi!"g%_̉Vr'ÛN \%]kdg(3(5|CT6:Q/]VE=@4luj%eGR[^|zʉN 盗K8g~-lỦ [,s˱ުwڲ޽*Zme%=%`5ZuW !پ7t]Un2ȁۗuU乽X<Ĕ=s?~ 9f&XX(E7JaX9KG?`V%i1DIlMܟ~~tq2s\PHֺ(_7;~s|$oU)ĔVŁ.vuuB03FƘ 4JV/C+-bJsEtNc>YA:Cn <%!f3`pTޣ}@M6*8lOo}x'Y wҼ`DݩE TG^ekkaMuJyx~W\YsNFصHJD\ quԓ%oT]"җU¯.H<v< -*Db@'Hw}\SY>fށi ocI=+q8`Gm@Yes0Yz7"3j-{B+ ˅ LƩu0"bf3P^`9Fy['N^L;2G}qyn =+oU]v!_E=(4$a9̀N U8?ϋ}V7)HeH/uth0U\ \3i󃺠/%F[E252auHG ^OG+6aR`3Xҟx?ڌuqV = HOL-Quickcheck_Benchmark  S˅E a  nSj> {`iߠՍwmPٍ)Vn9F,[h?jh!zLIQS|A%2]!k07gUG<ƍ~8r5嚸g2YQp+挳XDۂ_.$-~)z |I#{k׺'D. kwO'a4mȪDΖE uؗ@u){YRA@s6Η G$(Q;TH_nJ0ls=Ǟ,oٺcrkGBw~L3RR΅I̯nMziIaQ pH Daj&)AӬ2.Js<$pyLwm *yGg'k1W~ǹ-$Ÿ0i*sF$,ne8fh4gAwcd;s_;.w*H<76@lLJLBMZn !SCǴj \Cf'W L^KRnUwْ) iւd3ѫu{ѫ%ʬrd˳) 1ilĨ!"L+܃YQ;EQѼgKݑ}M&y9Q4zRO+ }-nNso#DRA).Kz!pJdtBmv2hdTQRXH<㻐wUFkoLwNpsb e>>zʒrjdP'*MSܳE>{/bL[PDʽJ bѸ]ImzrMĦ.8RH=U3 p2nrrxkn>s.j(V6u$ H]w3n+Q6E-L*@&I8@pgJؐ | n'pЦ 01լe8+<w fKrdhecp@nqo_<$g7U"_ւ/C x kF>!+"~\!0^^1ܕӺ^'{)neC";/:^-_py#~,ά(JȆөA ' 7ldMsJIsX;g؉ 4->mn]ZC;*m_}lR"3l6GT w <i*YDb*r {)Z!€-yp[}UBL*X.NV6 Ěr#{40R)qcwvo`4U4Цq'B }dEQAdn@!cIV'}/iY[| ݆iܓji$ְKsLWnlex:h1٫=/:\I*Ӷ  e4 +{:ޮMS᡹f=}cXnO; "%"8dWyڌ0*f>#B) Wu0l>@rIx1m/zzcR0dGZ6FYt KEpXOS )o#F4l6{Du 5ćL:SXb#;⒦+RUkˌ-*Ȟ _nG;-lBkO~>Ckft V;LY4lp,{A^ jzBOX()1~/jY9M'$L Qظ<\H3JFq!9,྄Sxv>s #)jJ*|lq<;:$l(b+S'v Uv.>Nk(Ykhsm%*~45-|֊"p=7M6bDIWfTB4^ spA`"#QVE]c{BW54RNBe80k[X֢_FRMj[[$w.?ɅBݭov5V C6>5A. A\u9r5fo̟x1 #{@80ӳo\:U()ec05.kG&1ǃkM=% 6cL`nDc8"m,U]gDB߶懐 5@ZJƴ)KXߗLsܮ=[Dw2/}߬cLk~(x7EpP-ԚBJ5.XG,ޚ_VύpBJ4Ǜ=l u@j&ReMvuc`ROJ~ss3B<巋'e}ݏ:fa~+t4(CHsb53x^9NOqw5a2s)0xi\unʗ](N> (1j+#Rhs2KUCk:U'oosg?.[˿$K3,-ƕxuCG0qI|A6X'0 0[SERLeQE%U-=mZN.0$1k-~@jVԵG[aN3{AScVZ8NhqL2ٮG 7CT,fSt!wz_iQ<Ea I~%rs%7Im%{] . O)+HX}[/x>f*_E|Hߗlrޯ5D^x6ts~%+- \< SH`!|]܍ԵWG\mmOpq2};ů*d#U_s}x*'aQGPH{^K^ٚK2y5*z*Y,tvN-@,cFj,ҏ@@ex% \;w?[_Co%ח҉Ŭ sH };i@32™c`VoDBޢc`h LsHv3 Ŝ@ N3a3SKh3/Fu_:X91;CBqz?yNr;q"9C_-/q%I[שÎMW*MsZ;o϶dt"vGNO.) [ܞCSI`kvBVeTozn (k^kۆjkN(wy(&jk&^8{$8"-̃$6Z'o"V/MX'd br.W'q8RԹ^C-6np-IW[Kxlꨞ&4هXlr^-'Jyh2ls"K]$JYi%7=$$՝9 ~+w<<;bZV0g)Ox44W V^AYb!@uz<|c?KeNPٓN*8 HSnG|e0m %@V.:t6z@,r?! r.lGgvӘTLEr+ Jې=ltX~gW%僩^L p_5 ˵槂{cKykdBckMt`~1o <#GZnU% 1 ](2͹A"], h7ADf+u^=Dݓ0`6vc7򨤮b8bv 2oAx~ IS:m4,x\}h⼐*Vr2gL+)N[GL1!ś[tYD0WMP{,%-e`?L7?dlќI #Bm>WݑA5/5VJ]EzoT {H/Yyߚmo} v8Dr3y.:6D2SY%+:lέ)d. $NNErP$P5s^`e@U^]2*'眺pWKM u]V@ ]tR.ŭ" *2*5ȢbDz^2uMN׸2QYw~p0ˬ q"}{͊AJ2pCo ٞ)%(m&/dxNv& 07@ c1`$CumCG/͙_?:] _zcqLs>EȔ[wO; {G4F=b@sT=ZYvrsiy|kO-RS>Vac4y,]g piXoTp/Y2c\ fYAkl"!3W/ƒ#@wSy,eͅ6Q5eaZ@!᫆oY\"^"ۓ iXqٯ.Da]pN=)س5I1 LC2o4-qSK(WAHsk>͚7X'?o-5]1&6֕99Bq=cڻt2YTϹڈ1UVh<9xwui[HR[l0###[ڨLCY&mQф *_xmNYZ Gז޹[=Nk`b) vR(31= 3f(f}(Ȟ""SQzzkqBw[2SB(~䵅h%+hv 5e핇&x5sws$K?RB@ꊼ"a 2x}&6"2y`Eۨ7f<*E8 :%|,n⹖kMj|I+2 :ЂG/+ٜ*-TznGdjLFSNNk@-n)ֲresr#^ݗ`4Ǧ&q O% ^J<@S<]t9%C[ez&Š7,tYNo8:L݉O=#X2azcjصԊ'G|{${z&-Q %^ۑT V֡,io'!Ouw.ʒ?ќ\Y>pT ] &v2}t'h͇hf?wGœ1MҦI*@{v9/c(׮4V(袇B|]3ȭa'KV\?kI: #BN\e#c$˯I\HR] C9esXỦͶShL5<25BƓoZ%P C }?1{kY _W04w(I9Pm\p  GCHy1I,-SYk@J1onL+'zA:՟3&K"VaMoFŮkH;@X7/_ .'ȺLP^H81H7 -nlC.AƜڴ?igԫaאpn\)t[zP+g6NMgZLVΈ Op} MymT6T4Jk@aR~=8잝"alCA\Pix,[ԀFߜyt{jbDSVq\/ԥZC*^uB)Ă{돭OgI0vY4 |tyTpKKY* %@u\uf˖T唧E0K*T{M j."o%9N#QnrMVTNP-9_l1]&mq;11GZ1|Ct4}뾱dĮa_\v?u}Q[)jA>u nuTB[>! t.WPg}&Cu%{jV&tZai9O)Nh wC/G?EC@pOA7ƞFlY+s+)[ӯ,Td>!ܵ{iޚϟzZ.bThC!: .G3˲p \lI:Z)ѭxX$?fi!hm҆\o !x+}- 틕~UM#C|+[9Tl1YTܣ̙F x->S-Gv4BT mê>O90}.du%O_Q~+g-G^/I ̢ PaDuT8PYeMbbaF#*p(9Gr18֜iy*M˖5<*+4][)W J'^0։7C(6ﰓ`oÈJJU/コsڋ!cXܴ!AU[o 73/>|V//cN2O@U B=ڴ#S~N##+ 1K$鬏Gl!5 m/3ݸ9 C\^_-bue^ag29vhqRЉiIqUk+6E H&P 8~)0:o )s Y[}S<3,(k}aAvbP3V#]6 ,P˾.>q}+)sBj xVz۱,G9M ;7:M{Oϲ>%Z͇) U)"X'pi`5Ɋɧ+3=XQQ W Qf|u%D (JoMI1[0n$Ph*`Ke6R~#P5}-iwG p_.widx72c4Rh]T24-pHU 3!L /Oq6ٺ~[%0X[RIApZg `^F]E酖vcj6?^^.o&^5T $##QvμxyidTFm(Bۛ (>F^O=|T$e>2?RS}<3]VjGXQb|ӢRR!Iq<%-~GQ\lEjBZlx( "vQm m~wǤ7!hR~(he*:`s& J0]7jl Az[39.S_g3R}pnL9PORũ<'Ԝ1!hrMhȫǬ5 UAw GA%bh$"zUldF/kL 0@B^k/SDkSC b~&{W-|!6!pwj"N^=ӝm$ OiGAb}I2dm3D[ ߽SB?k;5g_62[+c,Ljv^=B~x!R*D:BV` JB(2+jdKGhxU<+͑B lFdidi.=!I1Z4ٸ*n~/ M[R{76޼Uj?5"'kzҽLD(Sd8IYn"U۔$D :aBl %6}Ot5}1ҷ_e2!4QqSek@uq.$ \~dx{\%̴ˬy޾VPm+18'8`Gi-kBx)`wȼVEi2Y^յ SlvzguI_ߌ~s_st /`!&FN: t+%H--90 Msܭ4[J9"eQcGx#GCג&} AW7]o?f (\xNE}wU? V$'te}OWKӪnx@ gбNrAP;_98l76kR 'X2O8u@'s2X c^Ko蓕 KK>vbcR\J^7a0UTkf7>냅Nr_X4Ci0FN\ȩc52ynGw ԸhF-7#^--`VAz@4/60 Bur>noCv`rvز4iRAD@zdN)/|RPƜZ.vĤb- (RcQ2$vK,n!M Pңۛ%/ϫ.V޲ r;ʷsu"f01=7^OZpVZ_lR@ rtVHok|z6m^a#.>YEVnkݤε#c'#0K5DPMU'J, K2/x=k*| l) #v'}̭dnn>)L>E9)jFMMKCLFy!skg:6q(B—:s8vLb `P^p7r $kKd=n6{-AFȶ0"Ϣu& qУ"E rxZR8N[0\}J}'R>&j]*à/ 69rf) /rh@uwe#\VDӬO&}x٠}MUebn HYM=g⧝er"v,CkFJb/.ZS@4Sfc-$!,=m>ӎtXcg]S8HREӶS{"sQΆb~&; ~]: DRצc 3@w=5 d\c4OGN*(J,“( QE:@h="2Ƒ0D9νa65Ep|qG߰j\JӲMimZ©eH@@HYm*Uru[xJp2_o5 m8k_]-tĿF,ҁ[8rtzi{ThgGa=uNqw ӌ}Y dU;ҙg~Мm s/ 7)}T%ouH\c @JzbRL"HC8)2 8Q 茝zFH7>s#XǺ =?v0\7[ŒH3^ ߭6bt.cCj]v~8g`Xh6`oH$9Jvb&"0Gsh~j  UΩHV4lhKM!qWMHHQFKiUJ +-3 a:b_wm .Kq s0%sd8/+7"~ӣ"w;\窍} ]u/z([F,GuBڼ(q}(Afrig+P/&r's yu.*˼-* a戋تSUOw w0!'fK݂cБS3QzC>jEzx@kMM\ݺі&mb@Dĩ9$7%S{L_.8lNKyJƻ-Ak%9B7Q,,h`@CU&p '!hz _ vhd{bX3d~uxKY4 h!ퟨ+7c"e>qt|Ui>?Լ\Ă[&-@EϯbjKɫi!Ɖ,Өr 3@ =RAx;J$Nf骥3'%'JSxH1 yW9H^D@"qbؑǒ׌͇Hc#-Ηb8axhi9y/ċůD6S=I{ M?$2ze! T*ԉXV/0 d&/x<WN9J!Bg`ު'H8ˬf9XbJ- ]_=62 BHWbjo bF=Yww(}̅79e*ՙRROl=VrLN&‹3~j"Atc2Քvd L5 qp$P'?zp%9 =i-Y&52&s4ۺBvE3IeX[3;MPk$ IBp&3+.#<ۣk` ŲPM7UաpV}KS_'V(t)j|efKy.^{`5찆djO\xeb7D6c3a.3&"&6+cӿB ȏig_Mz+]4 (h N 0섵KZOl[{k;L EdcK%i'5Zd@go\r‡r)fjѣr\t/IW?DcBEaH25! qoAkV"{KQ0! ^YSpe{Eظ<C;L Xgԯ*Xk[.rUD<м N^D&C4 Kn3c)HƵLnxGY'ȈގtO_Tn;S=)?\oZA?q)$0Xn A{w#Z#{- r#T,a' -$"ټxp x8WyD~P}z0s{l_&jж3pDوt9z.V6bhY ÑDBp]HLP s%Z(AAڄ^[@h1RtBpqw(n#OT'G>th2~֧|r#M۵_'93+P*ނBQ&c!_*xRHOT0G_ϳ,cIG@U)߂U˴AӤ8x7C[|IeDWNG$lF $')+h !GΛ;+\cWdO֡cXf`,SkljF©0k|+=22߶^+WqI=o}-`_/ʏ<9l)9}ͣk=2Nn?շ{r%Y\1 e3U{t; 2Fy;zhs6G9]M7xMqDb$~Ԙ$A|pEyvX w3Ӛ'-xsO <خp)ww ~ކӯ87D|;VKvΗ<̶pGĘ {|l@8qYA($9qfHD*w/9۪Ao2Vt0a  ,@Q ,fMFҜ2CthMyeB@%;>T$v.>NŲl'0Ϝ,R/+]Q5oz<:Ym&~@$K*YwP.KFz˚l J(/@R<(fcV6_Ꝧ)Ij@e+h6Kq`y;r5/]tRM!Į@:,b곌}ʹgqSw 2ɖ>~q:X#ٯ"wywY$1pƢk&p0`ci}?4Y7I [0 Wtʵ`p2,T%*$Aq6J⪇)YH:`T3hu8GG xB8oe !WU* +f-g0vl}\]16͗bb`͐+S5x+pJk˛\J 9ٿ?iWP^(\Qo@U_xl:-&* [rRHR+Oy=Ey($!dDB8HO= h~Żau613i 5*lp%˘lc߄H Ugٸ{jm Cx=UZ{Aa d]"A1.^VTuthmoqZI8k*&-H_H8 _PѸ@"ϿǨ/M P}*hDَzyX \c׸3]Tא42|Ӿ%/t q%9r:H;u]#^?ɏK_ JҳƏW6MgRpBw5zdv2ol' }SR3=VYݨ^2IF Y+NF>9mwS3E{3ۍ=:wpd?9|3h(LjnG܈; sgКO_YVcZ_0Ysa$t\LHM5Xc\σ,-:bkRvӈdi߈ y~:srFnN\QCyɄhНZ.T? u +#7ƚyX p>]m+lCmG~'̪1rkuËDqSzľozϳѥC\U) 4(2Dwygx=̌ ZʀK+g\_~ǞiD Y-q Ў3RdyG7RVV](֛TYjP,~~xJ { !Rn9'>Puf~ƻdE{K-4Qq%1 yF+B*df 9asWNTs@A-e@Eyn;}@>'f:߄NݨfP7PհöI_D-BmGWbɷ)@iXO1Mv)s#pCg{JJkcEVpZmy z ǙV*WbA-'1m_"{z=f!u6c~IMp\{f+| VhhF!$y))F[ԲC$P5pwFL$r{`SJLOXq(ɎO"zTHb =kWgWYxK"n/mJF-迵@>M7Gm=:+i s] ]_޺]U}oz`|2a 2BĐԸ-I EN>M$80!&|1.)-S1*fF mұ.['3 nQ}߱Rwh_RFqp?Z0;g.jsDL<1+]K<>flP?ygr :Jp9q͜,g;l3vvzx5%ƒ:vwGN"k3 E~o)yDw ڶ9 "|aB 폆(LthhFl#*>zӗ[]\-IO'-5Hq^[cQw3wV C\ֺ3GDyp|<~V0L2mY.`O#Ua^Qѿ@+7=uhVLّ/kO_vHScKS&Xqۙ<ߡ 7IxÝ=yz :"MtZL {s+K5{r.{BPǟEܮrP6]dnJ*astےd<×_ea&\+ ߣ[1  j=h4p.dӗb6#uQQ2S;[ȷDn iN^KwDmUM5xxJ:fFZe9S$}n'*2]H?ds*;YQIy"[WmBb:8/G/+#YQSX@Sa[흪|@Kw>!Db} G m L4-^HE#1Kwl(JQ\$Z͝)RZ$,4[eMg1,{cP]A>_4(j37䵂@5 ԲkNU@"IUm+s"쵀xfXXf\\sʻT,he ހO:+eDͱk3P&K`-*chM_`Mw!QyC&_06vzab([*Û '*ٖ;w@JyӪ=zZ@\HM+Ni?yRM GEe`jyr\u/mZ,hK!rp5%XaPض%g~ O[l"rV}Oa %rǧc;_ Ӯk⦛tMJjV=Hݹ.ض?FqS4are!|fҠeg$F];^;RXqIe$;w PrUBP'3.6ޗk<-?)jSvA V&8r!DSF2r'=BaF\ 7e dL4xE 6;XpLB[d׵R|Ex iZbůu?vΕJ*.=WwieǨhBPD!S1{! =_l|Vn?xW:(B׷Z7Ƀ#s9i1f5qrj ]A4 BLu1myrHRhKUddQz||&f35pǍ Dw#?.H'-yt|>s]+ )6f~Em{E< J(TsUVch ;fhd0Q޲mvS_0do8 xf!M N\:Ozȁ;bą-og ì?I6S$n $&k ;=_s(ԋ.5yVz.bIK[M`$Wy+>vsKT'vßQ#}s7"O;|2RF#yVX+J`d[k%oiL(]7f%ʆ {~жmո8IJvp , @eI3jnb;8I:Պ;$Vÿ?dV ,FРeiE2I33l}:0Ą!0R,lCyn9 RqBQZM5g\g12[} E?pky1[M=|,|5*dn'(GrٹzN48멽,]V3;;3hG*MT<ƎgrڤwjTgB/Z}h#<.#uIH}S.t?ae&T0{,2W@*ǻeEӡ_];ubsKDk qF.8CfYh\}z)Sɜv5p0Ơi-qeX_b ?Υ$n>l:q N!459cYߝ#F|V/,M3$lȖHBd-s_ a]A{m oswaHϫeTaf{=o4)0nflTC?Kb:"s~#-(c]O;h݁!Д56 o9y9c*y]mu7#OS_J)^N@"y)Pj+ZƪG\G֗W`,`@%-Jt;. MO[hmVORgՄOwJM{VUC\m#5ʳ]S( nxQc^.9f#L>L Ἂ)XK~D7n#d(_ mYL̉^r$'ueR99%R∡(sb! O"^TV{Pz#BO1T7!BEB=ڼ3+)O\! 4L*92-zڥyll",`{%1=z|'lgQ4Oڿ,k;^#FP̮r˙П$<r]XŔY'=w6I` [q`ڿjG.FMg[;\AY1?Mj%F<$#A6$8%syKeZZ_9zAY,ڏ\`YN(%9dڷD+ӺID&ՀSW1;ၺC ~ w-D[kF ɪZăI5r{Foܻ{l1*v[pϥ:ዦ )pV% Yo|)>"zیDH0N$T!+ jrFޡs*DLKCz;9Al̴ "m/{|[7Dy-ИXi g֒tbAAЫ5"ǀ5 <-La4sU:Po=kVj\W[VƁ]E,PLX %,Wף{B^9htOQѡ0'7،!6 tą/;|d:hGIuۖ:,8 :qYk;PD K6}0إXWX .:e;='at|XQ )TL90uޛUkVvX鑥$al:;]M@9:Q&?wF]̉8+m04 &]D.S8MN Vd 7 L1)1$0y{z9-DWZg1=h"Z|.,Pþ߇!/j_֛"c{U;Q 2;"GrRs𻍿,0kl*MȄF?ZT*T;ګLJPL.*{wG:k2'9٥l"J=aXl΍g[HVpTiPeH8?Ƴsb *‚TϖP0_[sC)=Q~W>EPl_`{T~E\ntR֘6LpK+TѾ6C-Xd*f<M  9 &s6 Y@\G%T 9z[~hUC @ÝUhkϽ$[4!)d[ L*&8x{"MVWCUWk0>ߠtެS=qɧ1Xʪsk~cZpұ0Y5V`3jz_$`'϶v )ɽݟkdyf\˪ ad }:|v]?+"yp>$TjIΚVkod )]u.l@+ibg+}NѵXoQ+jJ,A7l/QTGj{.\wjCKLy2޹=;ܧ='^W凞=Dߞa+2غu7RvR)Ć~^4tTCSe3qƀmKh7%Nn eɱZ %:0%> )zREGP!^(ia)gap*9{[#MsR`~0p$R㚈!qK2UGP{wtyJoog/BB.>Kj/:~ge}۠x0 rtQLpFdʇX .?bk ڶ\Vwvӄ5\ .︭j:+ HHK9I)i'ܹҝ{Tr2 FY/w05Df9"x͇ͭn 0wyXk]QsբͽoJ8κʵIxEXf !XJ\hf5ZΎ|m`ViXzSD^y&Mnz+⁧YksMqHs'{e6􁗰,qs@ߦ,*bK8Ʊ#/z)bTC.Ri0)MW$dAL.NoMKep{o ;*$J {Vg JDe37˰`WHI{:]K?ܨXq;O3=/3L]\uc\/%wh9 /OpڡI Oz& *XrQd)n]R`OBB|;0Q>n K٣m`;sƔFfL0*#2wVzxG2.K†(E IcڻrmT.*ѿ%. 7 9E|w}kۅ`T:]v39eH">uv4¨h,%T8Dh{T@# lk3ݦҒTW/b=_#/o^h 3/e`uK#'3&*w"KM2gM*퉛K}|vL$GBz}/907¶WZԐ55EFyuIUWxK(;XP: E87+jK[XbJ !Ks|3`7xUmِ 5̛! nŔN_V cwwlTgOCI!uUϖL)qS f[Ǝ7ʣD%$B# ?RhE2u mhd׫&ݫVZśGνW6XaEP'Nl’7ch ^.W^s#oA\nSn ̴w_b%%VٹG@:.KV\܋$dH š1rK\ma7\ovG\= vj[E Ch1H%fxQ]k7tF^A 6y3p_ V+ˬw 쟷QXMak h?lE9 &SjԾ~͢JQAR(Wa;Q$"=ONEb:2nOs'Z ?ﺂ -QXM6 3%3EPTeSF"yR@L瓴lcCL'f搤!bS`Kb(]:u7C,Ϭ@{X6B%Wp<=!Zc)RZ^'음t*ufoj_CECz\ MsHSx< ٿ:ٍ)Rڈk}Me7#R Ss![;R #Wj*;yÂAp٨ol9u!&}HUCG%1\PqÚni[u?*%AL@znQ& C K*^;21qNjp o8Mlt}wUvl"uqTv=NHK83rMI˜#V)w0';e}N%(:Y\ͼ}P,`Y3,?ɏ͙y-/9~zBd7y@vZV,hKTmS){9/؝KB2hZ$ht@Iu-x;xO^ Ѡ[n_^_3Z91q#ww, |]ĎҜTL>gcssZw2^ t@uG}mʖdȇA",т mjxlw]6P3 M2H|x=.?/}֬ Tļq3HDTCHheߠJ6-{`>78%ZV;dZM"VM*%?o+~%[}n gbov&Go > 5E aێtZP>#AI4w㏶WZg~f @7v@ Aj루/@BfsezMR!Yq\sH^O>:0f3( ~{F xlx7| Ȟ- ɔM'Jq;KQX>hDU1jjߩOw?^&%h]Ϙ4c|Rw;'Sբ7MD|8yC;v}w)d޿XKkf*[յ,oy.lW,30* {qpKJq Rz>p-߿6;.p)09K &q.nhYFJ7㆗+!kFu#_LYh]T@`{ 2`dAG4紭md}ֹީ!st)AzTC@Qe -T݈A^)c]s,X9QkS~]q_G,vWǗCuʃ!dGdڅUSv#}؄bQǤzQm\";K^5u{ 桑)22ҚX 6MjU61pSMb[?Fo6!!t-(YJ6Sc!]1}Q ֍ʪO{NU"os.joQ')6H,J2<~{@Ō"Ams])Zw[>)LG/&W8T祽#kms߉kx@CL)uEzU(\&K+q9u7 d9z1D y dIIdMQQv)Zb.I#@i|vqdhʍ=4@4%#on@9Aox z? ~כ ]O,bSw&~MG̦X=}*AԬHl7:Gj=Հ☽>]~+9N:{"\2=3 S^($Ao )^޴x`G3SfE&ZXtY)|+]BvCwl~J|2P| mLL"/3f3&Qdh5 `Yd7 ҃<C`$~y"O 5V`6"mu1-ry#.f;hH.LFyN5"tN91ڡLnQH4 w+fw:u'%yw~JaQ0} lܗcdi9F;=e:u؁C yth}nV ۿEq\k& k4_CD$ vF]9fVZ41Ga p^hē8*a*1\bBլ\7h?@:WnI yPhu-isCM2d[}?2#˓{6I0oS]Wҹ>gC2 zq_œjA?zN4'WY)7Ah'h9D>gڪଟΡб6E[m,;RWf9,PbJi?{ӹHhUOhrq=L"@C,kJF}²E߮ |p\j:?0e*욊Lv[_c " \ݨM[!qNg!)v0Doq =" Jmp$C*҈4xLٿq\.O1{Vnȏ&聝vB8r"וD6_ݥ>@Sڭ.c""\P)[ikw W kZa) fA|cwbfS w|,8BAM ૕Zn88N G$[a+0윿0MkId<=qGysK$lLTj(1Y(|T)' Ek zһ|f\+M=nfRjQ6R|`aXH&/Xa?-^ҎB"J+I584Xc2 9YΙuQQA.ڶe`f} %#GOb:c׎_{# 9g mb; GIFIY-vnAX6nPk7~ ?jR%$T֓jT}lj&#:6%b#22H&Gvf.&EJϐ1hTa{:ِ_?2T(.:(`uSz)1iC3M4P?H=/)jVpE2zwݱ⩭aCVMrucebU,gYZ15d5c64b2612e2b7c65e7ab209f9a3ecfaaaf5d3854150d242a026a9a55d66c1a84d9e6fcd361b2f 4058a9d1c4ae0ea2523ff722e5dba8fe58289abf c2416a6c71477c6efe9a104cd5970825d3ae4174