SQLite format 3@ 0- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 88 +tT k]HOL-Probability:threads=2elapsed=224.726cpu=352.052gc=11.448factor=1.577zXZִF! ~]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯC@!QH3Y1@[C4YJ^˔;6 x ZۤdvРxI6ׇ7nҖ^Ev.7:;g,19.u] &y{F-$vCcAcCT2HS*n[=c| 1k@_+1$MVQ|f<2ᖛktugޫ1Xb ;F?}dԞ;,ԥarA`D" *'SmGCG(o+d0lsqOdܝVb0fV_^0{rp ኶?A5Eo I\+*9A_cwתbKp#28aR([`rkYiX,JS5Vl$?}hZ_L4"\5音|GX'v0!WEE + HOL-ProbabilityLBS*Y7ea#Pz%>2L } HHf"lX'O;UB਻aD%iiJ.!]tNt+ h .vY*}w8"/zԋ ̵mwKjkK >u{z5éy$iekl$.pK;ak-Tv2AA[qpGykq,cTeoEϺ+4Fd9']%nU{ ѷLPAS/)V"\˖ OApV|&Coȸ_SbgR$CI-L 21;DX|ud!@r,P_!-L/$-~ .bѣEVD i3]<9q1_]f4.(@EC-5%ԫ-M87{HI-&aBj_dOf=0,$Ő:uWMGce{ǵ4[ef2IO$Нq)Eʯw ͕M%aZr4`9QCbrɧ(ʽ1PLX 24NOn3m:nu㩖/=)x;SR;o &%f;3W0&&n/Yxs5u=In86he=@~toNDw1x:U pt~{{A%NRuNZ-;*%`<Gő qDN߿!C1! Ƥ]g}<,>jJo(ooJaDo.6e T"k8iDGDp69И§ONb)z5 Hao[[j,'f@sB>WѤtE`?;ޒ-Pz_dKVjp=ݫj >&(diKmwAK99|ǵp.u8+S|)-uh Z*~) a:.} խeg*wf?He@d~-EdEC]#aSܻնݥ{:bvNCk620ǝ|w { dT_jQ"H*N!^K/אQ0xS +hZ3d$: _sg'Ĥ#8=rhzK緲1U=!&.M~:oiĄK^FʏW(f,F(sTvZ@1FFD(dŖ&*(w]\]ԋn~5OK#brǐ6(a9(Օ Ҏ3h<`{ت9P3(FAQah9ȷasީRLk57۬.F[.Х7*GD_/K*= g!WqZAۼ=Dh]$#Zh]b%vZW 5W#xܭVnzX1+ozިjux.J-% 3@)q$AHyVi|BǞR#3cÝ+j#Go{eK(F,BO\[[)߳dYLbRKK߲ckJ7L@EƳ 6J3q/c('N} nu 6SR( aE  #vs]y $ȺHag2eKu1+q} JϿN:Uldd,UKx` V{~Q_0.?>Zx>Uqw'|Ur^v8A(t$lvj[%WwIq.v"/PE9Yn*"e#&<J `%hі}#?H=TAhRp(p{'z߲@3b"h_##ou[|~ )zE@B{i-̫|Fe!A~5B+R$ Rdp#r~ozꃩ%#J_k<~@.Q?sSbZ'_dBp\ }^iOId,h8˿f(i;z:5XO͔av #,/,`,4x3!Mg+.Qa.ͪ[Bc|+;4vX@*co UdFC韮PӦN|>di~N%!X mmF:m2?sM]8jgE.&Q!znFWXn::J%K˒Ar{~Վq&}tS?Zd+UW#$*&xt>wlCdҬQU߈F e\4⤕?AV\ B&4%jSHh&/+eͨMltua2f Cejcf oM{LD~}_cʦ'*OmUFI [Ov$flp5F `7}UۃI[dm"PcFWzf6;0]"'y7FE!DQ@aS+bƌtX b^ep)Tik@Ib1ttɇm+uFeRFw/LricoWSt==7|l"[I뗩迗ž@QwpCZ1$=$;˧{|ڕM$Nqul.3) pz;]&9@/lHzhi "b8|9j=Ù ESHɛ,ћlU^k->|B型wIoOhUdn[sx?|oG$ˬ 0BA!nj=!8JLAnz{[ ڶoޔn75=!QswB47yV/'+R"{cH:,yO.Y0ipG<]j^=*d\ۣpK~z̸l(xNKXhQoIC< qFX7|#CqGd83B[hJϱ, F(C;/p 鰳܍ϗ Yi"@,j 3蕺YxguHϴ1 D/Cݝ r:7Yz]n5srƟu3KNcŲM{N:47e%3J4j=FdxF5M =[>hsL.nw/k5P"Aɕ>}gE^HC)mLhQT_ZPDSK.pT{ nV&P]]O]-"^+-?\q?gMx"2IES846%q*"5y(Ϙ0W.z^S:|pi`fCEZJ[¿b{ܗ!;5RqUXs1{x_VY}05*QҨ?=K!MuחVeH6YU5+*T7Gbq;ڈFoSOT}?1L\gtO|}}~qWImXaYѻyt]!1lY;yΥ58`8⾬tIEZ >+}AeQ !||ҳF AA=F!{7 aݡڣ.m |"ps.H29R>G^D`6hap9#g7*k_nxSDRS' Uy[g*Kܩ2K ~Z {5JKkBxL%8ބdtiԊ13hgY2Z@Vx|uFLIJTI 7 >A*={$D-o̕6,O5,:ԕ?/k^^B4R&:FUNB >* ~$@M׵>WyTMta^jf|1Bl޹ . OJ'J$zWm,G 8&.Ec{sNbG0}0+59 x T!U(|Zә%Ƹ".-Zx=T^'61gL*B]J7xZ^00bWК#snL^v֭FK[g-5/xԚ-9_cCWXU6z ^ =Z`@,=x|w_eo'ٞs̙8W+zFw!m5ʀ/"yޑ{"8aAf 1WBLBi1S gx뻿=t y̐-+ff,lC[[1ǂ Lx$GGۅ{XRr#5c'rCvFf3]?xzn('` *I/go{]}_FX"Z8e˧h#L:ޯG/ &~7R#0^#}k ,ϺvAhfz\V^MT8|WLL28 Lr I7 @7m n}r#fRۘ73W~uFU}nL O#62nC!50.@XQp5$qgL`\>%UtQ &103zaw0 N׾gOsеyQ T1GSN1:z>1fQ}͟b FЏq!ER2 Ŕ 3Z@ۂ+\֙՞ E<e,>ޕ5_z:S):*/q7Q-SrElrU/dC]䕒qIKR]?d$u`Y0"W5:y 0qL 5hH87$qÕC>4q's4!LJFf'=f =]p ikY[;VřܱXsߌ3Ϯc BfW93x씸Ci8``G'LAy% jfAP?QΜ[fPN眭$= j.'֣I%Q5UUc%T` U5lģ?)OX]ĉ_Lz#rیRU^qj;\M ~X"ݒm[v-Eї+: |:jb#Ì@Ц -k?*djř,\Kt`<ޯt> ש%0g#Pa|(z|8£ wC`N{%?_ɉ]x4"<~F԰֑W[ 4.Ӱ&_?WʢCE2^&QY1cb/a!GǪ=`f/mAr]-RjhD 4`VeP\}t`GV =Q,Iq:fmR쁒.E''FZ6)p3+"tJ5VA nҢVX&ĥ>W#PZS!Ni@+QО8;ͫ}R))Z+ߌ3?3Pe,c$>i1aXtwT_ı›[-.DEi mvuâ'q^Rg <nA=׼l}Yf0o_ ˇ "代i-lDž['aI]a J+%/_QC+aitc\xޑn yfUnH#R?w7[WwF_5H{5yaa Btu=r7T0fp*}vՆ7׹21Sd[MFkґ DŽ)# gY-4v^ۼeLٜ>wAHWT{:z zF'_bnO,DEc9q(R6"G$e)>?rC]̎L7''I־vi@>칸*;`'Ng i0`gqb ~rI׍`%r@ڕWȩ5en+mHES4~ByxLENguF;|A4nANAdR5>phifݲg&ͱtHްhFtލI3`6ͯ}OTѣڬrdjOL 0VEK0-?S@U%,L d0tr7IJomQA󋄳ۼ[飞f*4(6_U)pl>_5uYcr C"$9۽ 𓣫E i[/(o-,!J?OXb?іR>v͔cd"yyNmCOemhSQs:]yӯ]'IRKt_kx[qhx sxACܸ+k'5f>&U`[ڸr#AY``rdFKomUO(|J)XN C"OE &:< v3+x۝?Br} jI5=^3qW,mrR[ε&K )ǻZb=Rr_p5KG9(2'?tw*-D'JP_g%?A7t2.yn9Y~V .mLE?KW㋃ޒx%g)uW]":ɿ7$-;#.&Ӈp_W~jZRV;vˀVF[w{%4I$y:.,*^C/ǐ4Dom(}]@mk7g_$|fظ'gaڅ?'lVCS붖 JӒ `Dpj9h@?>N&a[iքï(u7KUAƘyv)g6WEaYz⠶Vw/avrxPeZm2zSl-+i]wϥ:oJ'pql5!h ~<>̄iVZ#-`6m]WGV]o޴A-mXyB2T.fkmꮾVHNgT0^%+BY/G 5bd#; !" 'W#?1H|6p[?d~bg5- M}&w4H ;Q_^z˿m7n휣UW6Ɏ9u`Yaʙ' 8M;ӨO7؏۞QzGD܆l5RJh<ԓ*_ 1E!1n eg\9VxX;OJi]t׼Aܴ̤αIs9n Q'86юՖ4Xo\KĮeOC%Dq78: Pi0>.?IP u{z$5rw@>pʤiU=ؙm!?hTb埾EQ,-,aP"8SqO<"؞'z~-F:̬nƶMhR-GDϔ&DBn"\Щ!NL `*PZẐVZGg}t#~䯱B!gqwDP.]8拏5=rC X˩X[(p난)5c" >eUv aƻ)zn"Ȉb6Z 3/w^̂5bu^1|Cs2T7b )=U);k}0wˣi0jlBAd\I}~M+.;3ӳ)"~P2k#Lțp*[moI5m+Uk=c4~p-zWkԼ(3;A#WV!0@mLNG\H93{ZqhB<6'V>omj6e T+X4xGWVw~@;|}@XB$хskW滼~gLD%?a)YiLx )M(gEyU)p{0p|\#;&NMK(>.jN'V@g̃0uU; _0\}DwF'Ľ'eՂ9omC-pRQxZ^&1mV㋭.߂ tMY>W0)k1@c꡴s[{-o,oJr`|}Z3)a'i^a-avlQjuk8n+W>3VTi (D2uݪ%/Iu~[mJ+t-AV7I[-o@fIso$X5_DPR8*ia? Տg~@A}+Z3UUk '} &G8Q49'hF^BsD'x .L0{\]Zu]ŔfXHԥ pۭOC;"MȈ'8آΠ%|TVW%Sdn %/鳸@z[rګ&FwfKZ"O oE'!40Y`Ycf(7mS2x}"bxB+0?ݴړ| /^;b ,Gv ' ZGūc8Gޫh*17_$fj{~?N:jH|&5S G6Ef7a^@/ r&U6)F$RO!%%@woq[0YL tm֓d0% +9/WPn&h\\ 6wu"?94]6Pj)=@ieTFl͔* 7^@xx/܇iwʵOAK><4]EXnE[c|t) #EW`@#9w"q2|.v$ ^]6 >?Z' xI:]IK/C3LfS2߶dOcYO=zt+ Ou}S@ \=g:R!JqEE]IM(ʌ0Pl l_t5TY3?yJ}M$[p1qbX7FDFO:\ϸUI\x._ ,ZalXX̢+O?Al8zY$QhT!< Bmnk)j;p0)M鄋|%eI _pߤA=^CКDYl # ]3NJcfbizńBFtQ5' Ц cFy ~G]"dP9W)k`f&1MhXam&f+2),XG$'\%pl[u\ Ȗ5CS]r>48)˨0܁ϐ=(@]A۲|N7)&!Д{'ݕ..yL CxHMB_;$QE7e, 0X2?ud(]39ᄇ_]M5_8tA`u6wIT4|k0K~X^݈WDz׵% [C~7[/AgQ]$Zddq8 _C b< 碼Niȟ@o”d1sqhG ed"ɻjS!jy@3L47üZ'3Wr)MPn]\RbDCq { !6Pȋ ,$"U4kuޭI<̕{)SC+1% _Fѡ2a:uF4|t}~Glme{΋d8:s@&_S}eObP1h(D87ȜʇZ >N Ux,*L}^NHyQHxʋaK,7 =eR˝>6V2&wi6S';-/\U| v`[\17a@I } ^47 5%#&o 0WN#~识=ԇ @rU 3Sv9]PbUMӃ6B>yv4S" y%6YtYm:=yn24Ch*2~[,:8އ70\#`Wr>T2=Pq|$ńCe PU=|;(oN{pWt$=|kaH$M@,$`+Tb v,Ĺoe M|qez6%^I{xrNvG7M_3Ø6S@cW=|>s==^j@ʎݞPMV; 1hvݍSk}tgݴb*rxOҥLDB{qʰΐl h_T_|WNTP:F WSgۅ=.p/^(/ SxbmOE}S>vq8A,40ħumJXÉg*:&8x7{ :mP_ {{Z&׵F=_aEΐt;:ymү첹\!y}]`/I'_8~3kDςv,G^|dm1ʠ{ʌuݺ߲nu`;rx?viMD(39^ŷzȩvWYSdZi9aJgiS۹x8쨫__ڍ=7Di,vg7Jٹ,bJ7b8Δ\]2½Pa 3w%Ÿ 6012}X] qȲ'hk1'<]3 ݤ}ыdx~='Z</ΨAgg HFB'RW@Wgœ dDك=p7oɔއ_Bxe;䓛t8%AwAk Zh9/b4 >q*KJ/&xD?IP} ztPSYoe:( ĩ aPݬ+&g,P1@هdýi}yX=}Hj^G "7`N;v<|TV{}ᥬgXUEn$,T Kpdm!Tn.`4Rj~RW3Zo4N^ԺLZ@% >oJ_'}Xʃ[ ?? ߇yˊ=as"x͡ O@1կyxY o} kY QX޳+*UŮ-] z8Kp1Y>S A޻-J"gBy5rI8B򛌇SH/!Mqͺ\P/]^2|G(´ F2zY{7,Kv*z7Z`6+ IjؕH6-D´C~\I @ʐ]*;.Y\$Gՠb:Z *{T?*ݙO/}0B2l x ~=Q&2JNEJ|.%CyrHisKb M[ Fi5qEu >١olK:r$-ޜnI0?iR=6ˇ=Mr!>]HTdms-Oά'6|W_a:<=mw Kr~K0ig;)grSk ИNbyYZVR^sca"d{_Kn(S&8U5ZICByQ~JjՆ_X]Bw(^A/|d.vw1~خ'T@L @I)cr&oq36gAHڈ&@l죞CܥcwxmF=WxЁV~LQ |+N P.|TOˍ:-Xvn#Lؠ{;GmwL8oD)C*mkx3^@xK< C: =TF$T9d8|e\Ա&8۟c1h0ߗ8c% o".̺\@L({X;# C L_* _vllw[9'p%kLy3{ >ѢQIѬlӦx,8K r ѱ*()|^>28Η|iݠ4s\fKWL H~Jhf\<|}4r=)DTۡk"~`# *R ewWK&<3_fcxk?=yr5sW&:N{96fٗȜ\C@!Da{Svd?!iEў7.M:,.¦D}#Jo>%K(_X߬tr[&&^N%Ȫ6JG}oS:**rR}11ynBY}aii`7jӕ 2+#Y'WAS2C;Y)k8)Y5&Irs^1m_8l4L;dfvN*AM6ct FT5O*~|}pC1@2dтr C%Ox&fi4-|G}I@B6"^$ovҐ0}!8㫋*x/SSQL_gxTzRlSRMIϵzViW ġSiJ'W]VGV1SӧWa9Š{}$ë{ULHm0.<ƿ{t8^^V(ZϮ\x̚ YܹUHWta<l!_džTKQۊD-0*Ý(grRиݒZER`c$v~Џ'2_j pFG3$*I,Vszq5p1ƽq==i$@!5sTO>CK``v7m-؜Na$S†9+;&Mʕ1f^7EҾbBQT,U.>+~+,~]utJ r'A;@|pԥXIȠuvyIuЇrpc~+6nPԧ =/2xUwgFAېJi)憬 @/@xBпx/L'[3Q:IE͆ 9੒L)٤I^tR nX [oD V0Ӥ(aAb22rp8V"BQ򆮩h\V9 C'twwF21x Z˖v$З1[ $DhYEXaR <9v6iJ|%L( t.U Њ)Tر=114>mI6 ǢH,Hz~:ji9|s~'sEx7$@{=9 Ih;I8Qs2"D6'?+FS^#N{dͥ(@kU'(A{mhr{.q,sj?ɓdai pT O*Og{,͏68BoI`{j}uܚy'z0ƿQ+mi UYk{'V)X))0:=8}l6PCP=G>$f05Nٯzw4^RPՂB?.71W+|`QHS͒I3rQfz U7A;ah8h:ߛRewJ) rݰ),-iSFa.=[Ӷ-sc,Px[#BuO_0*K oM}ܳf|jBt#r Z[jrD0ᰈJkҘ@:N5oN:D$4?HLN(7D,V2's|oOcq1)IG=eXPr@⏋-rb& \ *{ YZ.c6H&%񝛏A?#D] o,r<ǣ+^U2F5+adLV])Q ``u"Q8WWxuK;, )(L'2w?Ѵپ12VN HY]p M- H{7Δ䁩@)r9%]_ʔmc״u2C!O鿀f1}`&A  /U2 1[H7Ot`)^%~\!h\W(5&GIEf COOdlP&yhkݡYҦ4M/;B@ḱG"^`p(D CҖyl}+յT0"7&oc9&S06O55_r-u'yY}G쑝6T ]=iGR7tl5' Cvgc,q4ITs'e1&Cfҽ}vSc8.niBgD64y%\ v"&N aǀ [UO}Y'uO,\K u&˔ 0f7U rq|HŴ4n}mg1:k&>TnmV MAY|@2j~m$5"K1H$1-aH>%M]L=E#柤 ӊ,ٷ$| J?jW|PTw=u:_WN1`&H/HY.$'V{Z 7O鑦b,ܵ/YL;gZ1I|c$z-1n?ߥz8=Ư +iVlQק/$nRT1>9)B+HNW r*T˫DPL}*i0$]{M.Fp(Mׂ>DV N4T꬐}s!#:&j+' )@!u3_,FBk$Kco,lڬrNWd?۔myvBZb MGUVJ^UQ4C_w?;k|,[+ESOmeǔ#,Hd\>9ls=]߰e3"a#6e^݋uscQEg<7XSJA!g힅uf0yT`-1.]"͵HT4>C&ѵF]WlYjv8C[E1uVX8{3'Q U AΩ*8?4G}ʉYXM*p1y Ԅ֐, R*5R}Qo.R<Vx0%wӘ~7a{fqDlGwz/}"So'_<+ iR)L|%SE0857(..hW f18b? ^2E_ 4Vl.`Nê۹`k_F~k,yqOZ𩍳Oy>dIZ+kyX3PwQSZaeyVnf"MG$/x HSLAiy[ '[9 a'q)K巗UZqER?,ʾ#I([K@@#w]}H$b6zޜXc xr<I#It"["-&Fw3sOp`f.=2\DŽe),=Y7N`eZQ4RݤL턝)0.ndۀ$Seino5lpkb{_ >IxAL⥄ҮЮNb[2`S8/B,QsHms V,|3Áy6b %Bq(OfO pK>T DH]Q)3;_H#IKp?UYֱֲs?T ?t`JwO֩q6nIķׁܱj5I_g]Hvea5OV v)'"ofQh#&tQjաz.PΛO#ױ?^IFbF?˨H 0@Me{w(m]DŽ& fݥO&a2!>*Z=;?E MuwR¹#ʡMõ$!/ؼ5N@'(]1xaE'x;VTWUk'UinO"fB3CH߾ۨfe:t\~fRJO:HĂ*j6 E-6"q&\m SX ;{O,)52t9Nӎ v/-=Vz雈~;֓Bh9p&OCv^*:3ۯBְs?i,U/(7!?NNb~CN(2}+R"H_((buȲa-Ɓ:q sq;|2p@:f9a5\ ͹5]C>?W\wz2NAsӊ~@|i&뇠hJsXн?8^LPP d. tZCi*l$lQ-w 1RAuۢx`|Y!'yE@iи}:@Ė$FX0\[ K } w[*: >6ZDzEr@{N7q`f)oS$g%v]tZKl 1`Y*كjŸ *U)s0Q; *1an XIJѹHH0G`YLjpKR7Yv襀gQOGV#7y zYw1g֧4;|Ŋa9tӾdjӲVST=Z ԯ:7ceDPэ+U#)5ԯQٻ2̪kIfYH45by\#J\MYȶW +x*d~3A;Z!u&tO⡣G0Y<3L!)56dKh]Dw>/vիYpX#-vo/i_sYVXb)^"[Y/A7],A1Ycz&'#O쁩"67ͷ҄r_&`8f;NQd0|ٵ8ңŤt̘RK&Չ ~0<|E)&]b*R~g+}oEzB1U?GTm`ϱƅ`Gn?o7Hz"RrAk>}W}^2OHr'TyyM!շ nÎ:_#(7wL EjiMٛD#@m$?c\?-Xe{~s")(P e<{D&c*>YEnTb۽Nl*pufxrjP6d2LJ :mKKuxo .nM}L6+t+t}krqN ȬZ$ d- Vhtƅ֫PG8Uª>l[qK.R y+rl~߉ieOBtBW,ꎚ|8dϞt>k*M%r)SیpݢY$B ʿ@n}~8g˲barivQ|-늓FHyxRյ#2?Km=0[[V!  =Eta,./8ɏ%ӹ֦Ni{!XZ!u2BDڐ}|J6慞܆_굣i2Ûfy@<)Lfoԕv}J0yQ-fl$RPk 7Q )s . adEx\fҶ}? ;F@Ţx?hXGS~;efP~(%,Oݔa\v>.Q<2.6Ѥ+[nד(g_e}Li"xS_F\fM N.I6DXZ\o3`HUoqMeAt#T1W]{lQYx).**$CC ZeS~{Jm.Zu:g Oƅ;Wӯ ©hp8Nd LCsdZoBza#bk?y8'[f!(עؕvl.%|;kZUW~גi10~u@&pdnJjOCQeԍK5HYijB.2>ՓxAv,3+HL,"?4U뒅?C*p5n̫%oo},`NqݶohӎZhcG# ЫO;ro8 WPq GˢA]=bt$0JXڪFL\L0"[+7ynq$i?JmmFzl@G{8k+~೛V1f"q6?"cl\׻i";sJ\*KB&\YWkLBJl5{cRf]EԚšݦ%dz}+t732T/})2p>y>}Q,b&T&YH| )8rcdXD6l- ?RJ)<U~41H,x ."w8ZD." 5j<$gr }b@hk/Iq7ETPΙD52Xفeg$IXm6Qcz`g$B6"I)~rDH ExuƳ(uԦxe5Lqi[x68DC4gBc~\*ޡX@KPV`b_j@qQԵ+RUl?!%fނ1 xyy*@S!dߝvz2KL!OpB:+(һUޞYNlF⡷K5ђr Q+KfPq0L-MeuzŘJuk'Be>hPP?=޹o3W XֲRd|WS!{"Xle'¶:uczI!˪ĢuM Vu -YZPmC)#Ky(Myv]%] wg ⁋dB|j=MB?np)s \;T<3-Yd|HQhW7.x\ ۖ[8Y) ^y4#V|Vʂ&;33"^W".".҉{"fL g<|+BK.U/3ݕovط;@DgC͉ȷDT7S-̥ i'9jTUd_KDAض>daVVOtFg)}!l׃Oo{ :;*{Fx yLŨ=tZ'U_?ϱ<G8v[KՓU ӂ^ `a +!'&)G>g"n<]n!R$,'Un9xPzg ]#>v@!ѲurKʴлȨdNAOLI3A7aE2BExdԅL-ۇY)G+R}dr(dzKZ{'z_ g Ɂ Օͮ ehwҳPѣ5T&M%nS=ț5$dR͓+6M.OۄeY ">v~v,R1Fu #+m4!g%ɢMɁQE,r)PH8;c3l#Opp)KOZyK<=zmYbMEPZ13eawdUQ&#eLu$G}y̦$gscVY]jR4 !|a짦k9_9 &i Y)Ь "a̘(th(e%K< CBv2s  >頃%gn(S9=xXAӹ氕}`DxE$QlCo$a ƌ~I#KKI,(",@~SݘՉcJ̚QLQKiMdzH{X"+JF"-r³=Չx@ 4HNUƈlW%}%G b7 FZ=4ުi4초=bA+o,{B&q1IK]YiMesh2skL(]P6A>$4pwa'`7TǘtXI <-XYq&=2A@]> f.7&KG]L_ \@x𢸄 ۓ@"1/C0\udvI1@Sp OD$sƻ8DtCch!" $RwS^B`LSU wVh,~&S=jBʍEHF{Xm"1fiNFrHڞnʀ2[unb7C@`ð'CKQUXĻ71baw H5{ͦf A71n92c1@LXpv /Vkޕd-zk%$&TciQΧ6vd;ᢳ2# .B>(sW߶6][YZTae.VLYٵnS5 eǘPMGdi.hxtuH0悒3 *Y˓oa`gxӖ(5? 0+28T4wat$)GdÒ0*/ [vKH6k^,r-c*-W]}Tˆq_"JA.3 0V<%d}_E +SW~aI Ŧ*>%.5J'ᝢ 97sާ(Tptv5amja֕޳-txGx]aTJ'm瘫t;y='F>MvG=g,M}[SY\KI|Le8c[zڭ= t@,BS"Ht@9ǵVvFF*Y5n$Q$V9sTh4n9=#Qe7^K}v99cxhZFii4NNԂtEJB3"ب4eO>$)y(F<^Ŗμ ,lQY\ *՚KPtOK-,{]6jŽRPq XXn|Ǐot oۼ ]SGBw6}Uj=gDW]h%O:k %YIU4rrn+_͗6؍:.V_I//jNYDj\kB#Vp:/7kz[~F ޚW񞯠q˫`W}x%APnZ ܄ 2%^ B7Q y+.e6;HK6:32fAP=}~1,~{($ ZꉍڳFgiͳWϬWOQԄg6I2:lTPbgH; ;(!r~@G6F mSyywlcHK7K2i|g%#(\Fd8Ш\JA`2^>hWBp ‰6lam-dnZ56Zwa+HnHB@!<Y8gIcnAٰ?&}0;a>L_v;=5ze- Q1x$huλuYޜ&`+izH2A(7sR9H"gYZ7zXZִF! F.]ŗXi%BҢ*7?7=AR 4rH9W_a ^ʾ#+(h0kpE-x3:g__Ѵ=ui>\WV&\t|UzDE)'I0ӵv jrɃ=֤5]Ph*MW)ڠXT+dݣ0eLR^fT"YÚf6(uk3Ή]!hAgop A^0{!գt=}'$$d1N}eAR,) ^&-՛J60op4浔 c2Rϊ\CA aLSs!^- ^FBüG05W(C 7Z)Sx$"z[l&D r4i4Z3~*ezQ@^O9?+7}@,Xma\,}!.L7b^eV^Wg|?_8M~_"SYД.Xbd'crƉu ? YS=¥3Zt9]R>fʮn uh9@^\Dzމ-Y[KYp(; ҹȅr]#3lvJC/J(nL: 5LvE[j$v}r3Bb.̌!91${% 3V\u/˃n6zfzkuvwg N~ S9ɗr ,7|Б8'Csqx֦bl^<[A՗,B i O2Subv Ye=$ɭ? ,($Ds5rk7Oʍ9ݴ+r9pI}qF~{qJlHH J`MYHaHa4`|]3\a֒1!WymDySnVz4};O>w隱9Ed[Pg]@WxĜbxGǦY>y$sRw|O%e1mFiӊIKne)l. c)Z9BSԄqbPBx3]EG7\`sZ;a2_kFX'v8j=q^\{>VO+7 (&6ܞZ+Kv ~%dZSv7 _-vq2wVIϭKUt$.F O!Y`n Wm].ivA!zV88ؽn`RZHrf%-ug6ͨ֞`*{X`}G|ԲHbMT!+c9TfTX Ή SUF1\kx)5Ha xKLU&.HO9 F&Բ}CW K cS_bz*[v#LS!hZՅWw' >- .Nqg&ƃEh⌿tuqL|__V. pPKp_vL|իPӱLqo.BCH] 5arq)kOy08iެ@8 12 ,}I<9qK7eje/hM߱pU$(Գ*UG.7U-JtG IKU&9{%b8,*?8w0~Vĸ$"oP7 ]END]0\?*ҤB7qg}y0m@ڃ+)ⴰL\Y2*M=10$qΛB}F}lV3=b LϘ>!DVaUQV0=wՀTi|Q`Q[FWh~y,:;=-{T%Y$PT=]]>r J%&D hcER":y VLm#/KôE-4nWqW( >M.%J^@#̈́$>FU$(DvDj.蠢S !Rl^lua8.4#0 N MLbvp+sGx }nPCYmfqD0˕uGS Eʵ_8J,-y6o~^`6)U"_4rSΩI"z 60*Ol^ ]DR*֖jK  jI'.sU-I9/@ܫ 5{3[`oΛR:1Vb9<HN˫"2;s՘x9gNHu\QXT"4i;~nw "X:k~䩷E}o#2zc`2;k=^.tw'ߜ>I -7:Ybt~]cYo΃0#ch S'j^sRΰլbj& 9+>-q$g}-N%[d78ҋ}~w楀! ׫~iKkO[@#Ξ -2 am Mx;+-ỵ1ͥnRC^WEs tI2&VK~Q=a 2"q[Oh2VJ07p.w"kG~ ڃHB+G lNN<+[530̈́H9uV7J|̂)NJrcv$håM7MGs *.uf_?H"*Ae;R/RG4Mx;1_ߋ[BqտE`cb\9!?0|<騚a%W9X?e4Jw1}qdUBw#:tof&R궰 eʃ:H!;*GW:nMBvsȾr}:u,r$^ 'd6۬H|39Io؀'$·3Ȏ\}UP)T{$!|RZz+FZ "?BK;Z;y)v"}A<]ڢd8)/z])C{kΜ1*MfThuC„2GɈ.EAd7;y0Uz{b >"eêr?D) ܙx9_B3,,IH&JE%_%cZY+R\l5wk;Rr^!:O,'1 JU{'JqCdr\I85= T^2CPb;\2'LwK%|yȮJ-+)@{aS-t@ ,AecGfQeazZb*#j:M=tV3!*t<51fcеwBfy7s&5ON9bqjS{("+04Ydίt[v%Ҏkbh~&u*ms]g^Əf"Fk[N|f]9-57s $K1?Ug^YɎFg\7N5qMH\Y D8ui({@O}| <3q 4箏 BFqvR\oםOR=h52Oyfy(ܮKQs o;`fIc0[f(1>S^] a:wü{țtm k6,qT|Nv+kUsI]8s;H6Mq-&]$vMZŕi%u(IScD_.WLBxhs^MPPO]E.ەv%c.bE3ғ`Ԑ?kn?f:q]ԾST,- 8{ha }㏞@%c,ԗlॄڄA) '!PXxkM| +I8q.' |a,;^ſV<Y-Q~=6/I+6S`R֓F|֪<- |xعɞxL7`GX41aH1}IFTN2 =-ՠ6B?Ycb39V`kqs5=k" _OK*vW>^p=PUtIJ=u)هD^8PLr/_?yM`akL;hFk| Ж0!XJĈnjϿE!b )05s Z9fKkD5L!lOi߾sJwZ~ֿnjA*̀RvG*ɍ6 2 9eׂz{%CXq9v" !O5nr Xѣ_&vJ}@+~{vdZSM-K*&w~=-H40 HuW\Q../C? |(, fʌȷ^7el%p2zybq{>,-ZU ڍ|J;+{ tAʂ6hZ8)X` X%sTY >B ;׺wGt|yR.É όY[7i5t#X@ڎ3R.T#v6J Bɢ ̄.#vN_ yB@`{7 Jrj'̸*`ࣽw']?+lb(Z2S<<2q緔2Jj q_f76d}ϾjqzӪG{yI7ɧ3Y\:;G=@M#p= D/"ː4yurpӄv8nck3aq4Фa901%=rwpF%F+<&$?_Fg9G)0!m Vg-ܪA1 E1mX 5)Q&fװM`Ti"C4+_!bγ;]OʌeHxKV>L7dout<`]s!2X!_N9\PnM)ȘoV6N)IK&,nĒP-=9%UѾg'5 +N{ؾ,jaP`I_9N^GNJX٪tiGEMuP)C\4˞v '̚$^<"qڡit̍aӊZI3mۅ"ٯaO1pzS1}vz 313@al ʈz"'&>-57%#*FyTxD-p|NZ'=>z>tJ]׳rak`t_\EOHNj8M]Qf1ϙZxO2ۀkU,֓qV!S0<ͤ+"ѤAQ$F61$n{-7 \NjW9Vm:v(.TG)EY>,LRA K;T3&gpC%wK(,*t-6Iz3bݕ+7:9Efi49NL2ݘ9+0;BʏXv悍ngWQh,L| ayDP6da Op C:4l[|C!4cb*)ˉ6bO.ѧm\2܉#lsl==^ʁrOܙmWYvl ů1 <O)M3f#'*gDlC~ S&,- )ϧbGPn+柃m#OQ>ѤQuZ$=IYm]TqV |Z$p)ϋbhrLç0o"w@w,Kӷd!hѾ-IA,t{>|Zˏ2rI!q}nbZegEA". +~j탹d5h =zT`>#Wmĕʣ?цU R!j '?5xkj+>2 =2Y]Bz6/3q;tD:!Z ck|h P9~D4fa( PҜPfp pG6؎]%иTc>J 3Bds )hir `{(XVnXMGD T^o q+;TT1됲"slwל6s/`oMm34=OagwVFwu<؆tTe 奡"ePȕavx.V!QTro-N,>9VC&`(QLZM. ;̣a$EM8REMPgI[n0C4ډHk;CFc 7{\.py) H H#5xã3#7zWƼ̪ t8I||WlD"$_)&6`m(u 7L!. :ORoH[BGזSI]j "ntn[I!eSǬξJXBrXοFn%%02u]@gEiNG  Iu!?1#50λ`8E><=lso `n|T\TbKB[ˬSAb:IFeX+o]cYgqC~ޗ1Els5KN9N^~6f!;Nٽpa ^b첯GZ?ohcJNV5o~Zz@yvh{1c%^ʮEt8  0 @(db(Spe('vTh/)պ41=_ ˏ450mgE"`HxFJ>ۀx  56(ҋ>Yէ`L>r zC,_`k0!wVM(pPԯ,u \OjMEZw_Ohոt..(dzWSmk0212؇(J3F7I+N!)BGSЛxA-~NƽB>L4AS&@S.Y_/^/*58O4KhIj0;:.*w&nZRP0T?)@^U-N/E4_eR)Jt)Mt3bH Ej_P0JI#0k,&jWukLaKփ$b>pFZɰiGc qT5Yq9)y(_T!8$H_doP|h Y:I:*9)8DMG]鈘oTŦ"dxx.GYL?7s n3GMwǬ(rq;-b%řs=,eIdx͋Rk , Yka,?@ڟ%J`k^q(V}l +ɮ9/:ATnQ Ui_&2XM]nL_7ÇĮa+훵$ .?7CcRlzH.#U*_̪W&D WrFHpUުaGCND"FeF5Gm4TvHL{LB_`ʫk9mt8is13k&"6K"3Mu g,S{/c{c g9Ҳg;JQâDH]T}^C"h}?ݷwn*Dv.*)ayW,M 5=5gW0'h; g 0ջjg;¼"zX 4Bݨ;M6\Vl?Յ{F,b\ϚOֲ)ml449]yPB5%E9%DHF/0f")FZW6'wׅT@9A4X&sksʿDTe9N_O??r.Zߩh!aB\6ό'"/|KL7Ľ=ΎW8"ŝ׏4^UWDh{NÚ+XԃN/f8M)@7NQ% n](!߆: Ct`T3)Á5C kר[| W鵞GXvM3a 23sQ /`D3 >u-UsVT+쨤"sPqP!6]?2zp*f2XBS^wl%2~;' P\ Pcxj* M;,TЂ-xQK. %Q)CSl?{h01 !%-H'xs`'ֱ< 4Ls;@b\㹕\]Z'*# k͵( >tۃ Bu{oyZ5]C],qzJg |gO2\"ۯOdPoQaǏ܂ӮQHTQ SX_8NXTa$K -x[@9આDKʵDȬr~[G1#1q8H{!mX _$Xi?;֠7l~mB9Cc029Ɏr# Ƚp5yםJ48-D i#c!WoݺUj$oxls 伡][) 8O&FL 9I} N5 ۆN  c`U4XߣδrELRrπ?DQ]gYZ024706a71555fa9fb5a39bb22e93a953eb5035eb 02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0861967085721aa043fd2a06f078059b609bff5a8 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 08a7099ad9022c98f5dcbc232abb232c648e546a 1608625cec7fc7bd8d8e0b94c1d1c7f074a33668 26edf1edad69d95d9f192b4059727b11fb9da7c3 2c84154247571ee3ef47275852cb10c68388ec97 2fc7bd7863fb72e6641d9f2fa335d50e705f7e0a 3005dc502bdd27f84edbb480c0deea7cea52b769 38a360f0a641a5a8859e22337df4e532e42477c6 394c218300da639a7a40938463f41da65bfccd44 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f191c7ee2e376a50078b5509772599e430acb46 3fe5941934893b5422165e490a489238302826c5 4599a34ad7d320dc2205e44c3cd266df7ea93460 459ba237f6da059593a870886c62daab2e1ca65f 47edf6cce67efedd879a44a89d426b35b0561375 4a7864ac51e6b95242390fc42be066a5cae7cb43 54fc303b4f00fca7fe074e716f4ac6618fde8a4f 55816f384a841e9e85bcad8978ecdb71d7f9e808 58796ef491a0e7075afb3a01c6244e3c0173af78 5dd5e86512d1fb3ba1aa45a89ee305017504e413 6392c51ff2ce1a2a77cc2ddfe0be275ac3b231d6 63d40045ec4fb13a5920b7963706b7cb1df17690 653024aec52636c69e6200375f80fae0762cf860 69b4d87e9cab0b856337e17afce32c08395ac7ff 6b5d87d7318b2fc9d1845ff1b504219ca62d63ab 70502d74a0966788e0e71ddbf43dd7b108bd1465 75713f2c8535d907b4f269a335eb8178d282aa6c 81644aa92190a695085412657ec4a9e8e22d6052 8202abf52c84e88032085c911c0b24fc328684aa 9a6809648743e662b73df2ed39757f12b89dc0df a1b15fd689e32c423a064c24077a1de52627b3aa a438efea6288f9f4f15f7d643bb504a34d38c343 ad3e0430353cf9dd719486ae796d190d5e13f04d b269c384ab09a061fda664fd52bbc160565690c1 b34b736182977ea67608cb164c276e7054ed288a b9c5555005d2457d66592f71382507c4831b3f89 b9ebefe63206634b984e3c42f405b18029f4964a c174dd133e6e7de00523199268aebfc4ab9b8a5f c31b749ef7e5a54b10df1578930b426deb44ab30 c95b6ed6ca37dc7e5d27958fb9b5f5fd572d6d84 ca92acff08e65907819399e2737a8725aac940da eaf475ec8a8529af21336a4b323a4389e34bbeff f212cb99f8e549a05f2f4735ee2e4e2bbb22ed4c f2922164d2c98ce3d58b2f9a02469e30f4e6dd5d f85597fa8a6240d49b441b7b75ed4b2c25077f66014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 949bf8334b0cc93ba6045d325111d5af58960cca583d1200847d01a49980c7081f39f94f77a55a7a