SQLite format 3@  .0:  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 A=l$t ] HOL-Quickcheck_Benchmark:threads=6elapsed=313.320cpu=1516.368gc=136.036factor=4.847zXZִF! -]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz* H؁L - ]wi]1UZ,ÒT܌ƐiͶw1.z$˹zu-IA_eE9b\uTt,gSݝ3ӳ李NV!C^x6r\VX3kܨa\]c)2DrQVn`nQ=(T?nҜL{!rC9z F E}{j[:sQگ.p$ʸ?,b;xR+ a'ES_b^[纊AM~olgg?tD %5dL՚'br䇛0cs|m FYa$2aXVl񾎩IҵIWWxIiinH%eZR @0 Aʄ 3U].&oIlݠ>RIӢӺς(L6 )B5%V4evǙh',-xf &}?|L`!`Fd11/rsv򇺆Co,D3q3$6i\qgFĆD&ix^X# fr5)E=fR3cb_! -Xdl%B:F-]5.6mgʱ@8eAD?N0|Udj?ƺ/D_J'P R X DP!9 nx5hʳ!t >t*~;sZTA vzB}I-GizN݌NvcdUmhaRzXtfJ1L0.nj&єW`EpI*P[Rv U+g=]?4E~ U~jxSGwJƯU"aI^8KI^?gM= :VD!,̼WxO "|cfiF΅R$u e.؂۴BQC[1ŎS /Kbh]-;o&G%*j{>S޼[l%rأu3{&{5l)}<>^Tx UqYt̔t~=΅˫[@sd2Zԙ+P2k.=,{`:>6B ʧk4 Q'(E&Mc+Qj(1Bq'MN&oCC*Yxa&Ӓt4>bi&[EG>Av1V`S?e9) $Y X]wF؆ɮQ,uҢ-YK7ӊ̃j6ر{/,Ps*8.F#˸lV+/-踑9OIezq0'}i y x5|^y.wQMo13nB9Ow-~; ښZ"yr}{p+YYl_b[*Tte\UYs5Îka>$> Um2]c0 >Շ\nXl .}1_<{"zr,Ǫz.*t\#nղy-EQ+T܀/|X}*l@0H=;Эte?C$nܸ&)]{ VgLvQFJ_'e?cY>=/g5MNVqNXv@Ya֯K[h58{oAɽS )~ < rD3|{K<0p'R}@/[d" o|LjZB چ'X83̔+s. g|% h(H`dfK jB nKćlĚ\@Gd6)9v`ܰo+$o}y dH$OtxF,;oYTs۱!Q[ye*lu0vJ;.@;ڀ(UX;H~K[f́!SU'NQ vDäK5Eu/TV2XmLE:"%d6RvLzu\>mJ:t:Nhl#-]lO|3o ̌ϩV/lYy!@~Un1z\*anj~KPҺ=wFv`U)gkW ˌv+=?J*d36}.,wSRɮ}. G$%,nD(H[J=yS81U9@}@u3JL,">%U :b{ȚM{ &@8SwWFOL5g $7sJKO-ف^ ;1< ='h;ŗяNF_ڥjoƄ8&0qlT:9 "^$f_ :GiB}hJ;l 'NFdK]d6'5y WaQ)8#cQ13YA['j Fᶓ`x:q@D6v=G-(D"pk ^K)ɹF0_{I+Ǯ͓]LWAL8@40Rݪ2>س}(HWQϗ"hh 3F |iR Rpf_H7 8>4 >]!3,B[5-m-fГ}uۚlyC hNԩ=2 `B"Yx8P$&W-oʂ3_ѣlTZfdNc_͊ޱ }Ն DtdccekB䦈%WBApiGgaq%.Zg^ZU^ڮr -hA[7;zb ٵR)mQ'\Slw6frw%xbbc:4@7Q-ONf@HZ碏Ƽ/B>|xV{o(KԞ< <|~ 4۳%J~\.3<{ΊnBxf/PoB˜(pd :zd9"7#K4/53 _G#&jcd#Cj~"]m&K=17n!c&m ܖ^N=Q)'KXvi|0-U,oyUJ RP<{"K^*s`lHf]M_,NfhSRg;yk٤ZlfYd<tRVh6۾G>PQT֭~j>:. g^ϨAX8(MAw,X&55E[+ "GL]dZ+ڟw>p sKhā% ^1Fxuq`\$'E*ibAg8N}+RuX)ζc٤DX m4m.E6J2&Gm$?K6^eΔQ" ˂p 09V/"O"+(ؐkʉSYoa**O ؒ?(#YQ!ЌV.9Av8+;j`wi ud}?&&f*ӹ v 0ܩ\Ѧ$O6D[pF)?İ!(2u8u:%,5>:#gCR٘Q9w, !GW 8TU|шA[:nFɄRk(,DCl cyxXqu<8Y @c<2C-w}Ӓ*9.a3Úv( X`'T?€m2[8.IʻK|\g47B8 Z< 2gR|,̎M9LI ФeUS-s_\[]/:BVfXf^<.*b w6f1hG"h 1v~u-[z+&Q8169S~6iUlΘ߮{+Ý: M|38п hz>Ei[XvHb(GdGy45$bJ Q)CZ)5&:B6nE]O AGѰ(7t>hjP-Ou #;EgT^mK.*(>(˞o^qk΃&X;=DeieT!}e?]z|ݠTqkIP7[SQZEQ|rL +K̄#d[ :M_Ђ6|&=E(;b^RmeӋtI[uУ\!<&uR$ho Ab5xR[/!f8c,짆Qk_ZP@!̹SfUv()G6_Mؤ,JD?dnfVVF >>Gt[aZU|},Ubyg=$(t9.}@aBDx 8jMNcs. bTPz%o,06[{TFLˤ-8-B=Ro1r0FjMFmU[8ر3N CXyON@m;= Üٲc?u7Q芑]VS.kf'KŮ֩f¹]:&ZV(ڥ-(a/_d MSʢCn;KRf%gy=jl6>lH㍄ zZ\&O`d5e0c'پYTc9O÷y:o;8QAÖ?óB2(+ҼkL,vsjD ;VK%bliijGޏ:M.$} 8u+^quxYC@/~ǜb? fxW9$ܬW ]t$fml ZɜcH"K1ﶒ4ᒔ¤2r1y%\4>R[P61^Sb˥+Iܨ7RVp +i [ |Uэl?<.-@}1KIe|;)XjtӐI=?oz|ٜtX)?|+F4|g{/)|R_;tmY(k6*kTCdwHOpґމs:#tlez*zP Lq>hTD%[ @rʯ ~}HB*Kpq%{!߮ $zQ7q. ahMWTjI.Lhx2JC]_ K"FE]cċ"o䳍f_:!N}fBiNNJ7P-p[乾~9lQHo2D~ksBjHOn8Ԃ؛,x?,=Y,a9Uo2VTC:O. \H$FkLTvkhp$W0twGp)!6eH UF(Dם*$b0Jf ̾R8nsO D{Q|}7hv!ΒDמӲRs$f OfC$VF+Ȍet&g `)/9WRo^(LVJwlp L;fnNAkoA>(?r[yZ ? 漲hfAM=kSHwj$%"fVGƯd}$)4x\Lg֒Dw`J!Pb(׾C{7r4HT}5qfRH$כdC lM@l6W'TSʾ*ঞ?;YPps~TEՋQյ9Q(pBieݾ+}0I)3o`o*IHu- }$6&,2VK#{]6sLffm }qj:'ŵ,l-UǾgvxC xrEDCzD|Q@# -N:S Q8P&׬SH)>)&j՟纍e5{ [cVCr:v pW&Xz{>ij]t=4$jao:|(cd+dzL$C K:$h`IRp8//U}mަb4gݪEՋ1#}qtgCê@c}ǖmyXbYlK("gc^Yu^"   )$ksUǺBfj>qDv? &ƚBY! dx~:A|d9}HUn0r=Kp90tgęnYK!cwq<͍EJ-Z](NE.4A]? .㿯7{ r8%Z*,(ٌ`Yk3[]#mӛˍYqķLp54wӃb3-b.v]>j=.ue\ljByhW{<|M{<0(v G*N pT1D8 U=;;@*9`Jr :wJCY]MOULy.b5| xzHc ?KѺ֝,7/N'Y"A$1;Cw+A J"-'㽺^r?@_sAJ]?Ae'S%>bSGGlϩ>-ż n=!(<8`8 ZAG3qA[&\N|O3g$9iiqm:8lHzj]ٓuɓ#t$‚-F5rp 8Aګt'K0'#]uo>Cz(D5}8fQ܇Uئr@L6ɤ;{\[Sdp╪g1![\b,RDnCZ4[Aj# @G\_P{6*YSndҘ%XAWcpYg C h} ~At'%h5D 4}Xp 1Lkssӿ(+gT&De`@f9  * x}2I 㢱o=ij־$ROT6'9o%}q:Į+Y=k \T6'z#F0HŴ _kzigtU?>-㆕xfzJNgNijeK֟~h6Y"ŏ1M?ec$B.gz3 c[eId,g!K$hIlgz};c'8KfA1 t;Y`H"A7$C >e5W|+19'AI#c'E&є, '.*>S2Cƣ"}c_GM0@k KCK~7fToGəO/{\$m@]0ȇW(/-[ߩ/Z%*J*Oհ!/QE(p ^讦 ڧgn?C^4i"5;^ŗϺuxn~H#x,d' <* h,adM,bjW 6<@X>C^14r ڢlr/}4׾'2EZL,Sjy'4/I04`څ ,o3obώX堑ڼI#k-cp”W4wg krb9rdNoN>E/}^Rw8BLo+ЂJZ"Bt@#FṄw]3~LnX?'ZGC#9EL؁Px,hX2 2űB1]ފ)\! ӎ*A%0Ce /&6̀3SsWVqE" ϻz8Yp >J|Ůn%YeUNUyz'$1b/~u؈}c>"eqUDxm%NQK,N=r]EHy@.,OY>`KͨN'>@t`yotDkƹkHh Ikr`ys(HQ/^Tp!a̞!^KPNЫ"Jc,H6u7R/du` _LBlkBGƑT!,?/d"c7}` q9Sٍb(b?59`c P^xR[Bg3|_z AOy Po冤f5䎦( ^~+>G2jf)vHP᳤6?SƲ_d }Qz󒵐=9n?EKN%6D>dYy[)w^~bvʿr`ʠBBPry 5ٸڅD*:}kZaxS_w 4l)b ċ@ ֳە#(.zD|("4P#l*ZϾG XOLBldՔ@`NM쫉 f *#+ T|(nF p:c8.W@6Z 0-my~ `!VT a -&Z.%R Ҷ}|P+iu;jdZ20Gِn!i5$am):;]P[P7jp 2idFK ?*19Dua౛q+Bـ a^]0vUORp87$EcD#N?!tr Z!xV_5{d_N<.žJ њ V?ތaP$܂#@=+m]W!ۃ EI?AnIT3m$~,#L8YB]Ufh*_}j@rlz߭bLۡd%wjEzWcbA(XXgV@l!OD` )<:Y}>f:n/zKD煸Wz$ꁋ58*nU˷awl}_,J\$D)ohdg[B Bx% PO~ ܐRToWRBŢH0Bf*uէWƱ;f q'O8Wv9t}@ 6A.J„a|*.2g[t <HrճSbJ'i#T؄k.)6!*/dA=ڞ20JZO׌UaE 4H ѩ #-O!@?/]7$n2x _kl"^KL/sl^F_v@ IkeVfUA6gTw`Kiw5k1H&2;T2!~*'L17ߧ+>YòUwt ^O?LAWI:8W!_!:{(46d̊ţsx0:wjfǮSEo|d蛳fv֎Q؍S2vI A I:goI:zGX5rԿE"O>NxO hRH #Üs"-( kGuaI3[1(wJE׉`ߓ3tc%Oϐ#Ի4fJߘRڧ&: 54{m"y cN( iӻ{68cX[b+7xܺElt(EEJBph7<ͮ3;?}mWVH5:":e{Omi7Wʔs&*KGM /S[7RhԅIM*-8Mo3̊|$W]^=ǥa|\T`@KϖaGqN@>G cg\1qu88rgաU^O&|Ӷgx ; #BQwڕT(w 1$1.\Nm^$Dz XpJKU -Wb)m 97]؇6)ljXGE5<1홫-/Sk~#æ!=KO&QL']ML=3CHD3lwDPcL"VKہhL$ n_dI.Kyb.UT1X}v&'ᩞfu+lgL07{]b"ˡFaXj-euI|Y;4wzi#ˇe( t8 oj? Q=DugFyBJ'с3w Z3pA~]SB|`cb=łoQ[%(7 ռ^mF/Ŝ҅íAC_ڗ~(Aw/ltH8&IhrJo-ɍEa&j?= f̺@8yY-еh*Ŧ_zil2i5K2+!YRFDВo L.y ʺWˡz`Չ 4Ms75tPmޅr<) 2_4pŕN88{yKw dğfC:.& Ff:Nv88),򽾍Dm7ۖ?/BXi HؓɼT阩ymSP]C\g/ZV)UO4A*s%j}#W> p>I@dT)rh"QN]}=7XåzU`oZ<<4H'ChM?zʿЪ*j"kK瀦'z'n<qH ;-P:G-sMi|p\|U՘t<s80@Ʃ'| ^WiI}zYۑFx|0KUXIf'^şY qu 5j 1%H:fL_d׋.IL+'cQB@, Q$*|;ѝfyy8vX6t\cV͓I(d^i[x&$}YBcIh߄3tG>j>rz~lxyGNW{n=J_a2[ϏH>;QMl9 Em'X8t{PXMD W5JZ'jdA\C~K~IdȧٌYK'> S gmZ7vSxzZՇɘTp`w>~V ADhj +È`ejl {߈,u,,rd瞐b!PF X0Y5-r+#Y1R,H1ňA쐋 |?g0zDt0-zds2`~$rMʞƌUf%`,xS_Qg7 r+e%$f [a%~aL*Fr<Ops?.OB;zxW4DKt/aׂw 4VM# _apz|Rʪr*|cy!SoGJjr o MIC=\jIEo=(s k*Ӝ|]qEGcxxЫG}v U,5=:uXVeזA_O<gӫD\Im/=xė!\K%U&86Ӛ/HFh^gjɪV`䰡JҊ`NgKgRxɵk.ݐ3% _pEwr{,2&;&U[CHx3Y|VU"c7ܦ X 0k`2e?"2;9Cl3x"T:N#Fdyd.r̦x c򈒟hU]D.mkoąv^O 9NWTTKytoRIXR\K)Dt!Ue;G!dJ2R@y@Moac=:`iYFwt!hpvRTvyW1CaijI~ $1IN<h=<&BRE `{+4 YO㘮@tE7(q~#Qڟgsӝ'&Iٹ+Ab=[%+GDG״z"MP[S0w(a[$P(cD?+f~,I{ $}^ j+qa9ȣmg:=!I#؀*-C8_[Y!h9enh{&nhմi !^G@ܭ6(KJr]m`n'` -9.7o/^ή;V.7Fd!OB9[OV}FŌ]5DXRzlf#I_8Sd;r IxdRO^/)hÈC/@lR 4q[  ş-6:NףǏRxf3씟l r (lkʑ$'Id5qHRuR3TLˊݩأ :kA@ 8hgbaѬEa0i39͒\;x;21Lĩ=q"Oɣpjx^mZûrpr)l"*|i:;znp!-n1JC%3Eכ@L12BҾts7 Ljrb7,__7\WZEWvUFixMOj|ंIRTrA|Q4E;_o1 ,.LbٜPo*K`'OBqȃa6G*;ݕ7  9SXpwfXpl}IL]^b6v@C?fuE܄"/w.{ /JW^<GoDanIu|TG }%,xVt.=WV ȫ H, ?+Rm Z1 )|3GҏIsRHH 9bq2[_4.'6.'FYk ).^=iC@݁f= .qV OA'6@LD*&J`4{̺㯾hՃQCKʢG4+{+`k Ӆl=0Skbv8T| /w; $*G(j:|9@3|s;\tJ_ 2bZ#=dsiD870}"f;B4 Kbd'gKNw)K;v{?w,~^>M3|6DŽa=SE9"3hTO*ӑ.xlYG)5976 7#.8NɄMR *Dۘ4$*n'WO +j㉶xif@1Ǵ/<,Qn=w*ُS" 3 f3c"sxn]^ Qj#rY0,2k&m6l|.CGmecr["C*KOUӒ/"b`iea#iy9Ejß>eL-T qT}}Z7&7ެ.3` m|."R5ΩCv^kc /ưєfr+xbN=>@GTlo._ވQ(aw(̙ SP.OJ}f@*h^O`,B#O7&2f18ΘS HSS X<gw 4o>wС9M4UQjc,-THZ2s5^ˢ>LH6>Wdާz<^Z:ԼN`xN koɀPNDi7,:NmĮ䁤鯲)czt>DՕJy@ h>_%S Qgԯi+E@ f(%)pGX _S4*x?ހDD+_DCCBE;٤e! +ճ Fn.jڃ}g}( |kOR/> m M Azv`Nn3spn@` ~:VdB9[N,zQqb٨~8Sw"7 VMʬxLbuW3uvWNHhyH;o,+l!Q_&weשm > utgLY }[11:5z!;7|))SSW曼-^;^AewVA'#պf!PwX}}-;Ϳ,^ |]k8?K!' :L/k>1a=CVѰ^c$Lb=ʀ k2E<-5y^)ԍڑw=-^x .3H p~b ^ɷoa)b)\+Q9B{si!҂8r$RΚ~INiTᄝ1m2( R Wt㗲j6F,l{Qsb$U ;OxAx0ch^9q^eɁY> }>ihsh`5qEwY%ic JeEa#&Owh"d P^?| (BadW6PF4⣰C/}b\HN?㯌+VjmxHW#ppu0Y:lB#'KceGժ%U[`Sef=6HC1b! Ivn,~FSWlU@cNL$ξ@#õHĹxG ޮ:|f4kf  (CuFS(ya b,hξMB5ZI ܂k ݆mOY, : CC :$, SIMYv.rX5s `Y.Jc*2Y|w7nD ߣ$#n[R4ÙF{9CL^}凞qWHeb>S& iQ 9)7~8jiEȻ9옶i f0"  ARu1FspO~4HeF-KʣǖOy"r3MʂCoHJXe*f(qFzp;.H.ddR^so4|#o  q%=ԞOOsIށ^4R 60ao4_Q'4j钥[dxڝĆ)fFGOXhldX( w5n"2X{$f*Ք2ၺK2 u F'3MD=]11^7 { h8y2f4%K\'i͎g=J"|e v#P^oj N5!?48ǯ|o7)@ϼUS̓^U|P:K"cK vla}1H!r-/z1$2~o C 3@.Ԏ-~~=q+MJ)4)(9A413g $c館?qſ|C0XBC#seoԅf_z@8_uVC/ V)E͐t% ~eyN lN Lv돷&*y9GDҘP23lX•z8G{J µsqro4E9E ;3ӉpQxbM5:Sj/2!$:=ߊNR\jfzǐ4$6=6 f hN' ! 5foX 8,%%8VvK6V]3VqiE_ P #GE 8Y mDz2%h3_s)c;*C|ޜ]i uxa:R9єFcX0\ -^5T&dOg*W[;xg.qZ :<4?x#@K -G%iy_GNřa@Fscj&N-c/FӅ]FiĄY7H!ȢI^|~TE ٔi0Kyj a/hDs+ugK +A-˴Q(: ' xY҂A_4~#Q`܅t=Gg!'OlJK5q:n4AwKֽ#1-kl<?0=NYQ&j_8kWsQ­2*k#Jg&R[b YYl"Y\ď {!%ñFAZFBm"bZ2v> 6R qh~3WdqEX?\eWy@AcK+^kRf`ݛHA"zH}ϋ(%^M5YIk&F"ځ2,d9adenF3`ƐG[B}`eqUB&-sBH>b42Km.AUZc%=<Ⱳs#a8]58 h.a#n㜧b+Cw4/Q}=%׊-(AH5 ocr<[e˫1tl!G0`>MN%%nF[Hb\PQ,}> $7a:Ҋy WټE4!M)ho.:M~X[İC巿 3inby(ׁ8`]_vDR\4A$v]bƵ9\)bM(!͟ϼ6l= 22r-|jT7{'\^L`W ư.A?#@`[VqIYEIS1I8INzx@?[օ6DMU, .l?` du(,'^y5(Xh\+fXrEڈR-c6V X-,k'j\J2Y k IGzI*\Sm(PgBEr(4@5HEq*5z t|ҭ ɽxΕݚv"Vhκ fs6_v(${fѭ8 *%kJ! <> JO҃hbO~K˯;Kťr`,@B~|4uݚ^ơ:Ԁ"zԷ/] Πf$T1xsN/9u׶=KgLCv9L{ؒɨud0A :tM>F?aWTZ͞Zv?FthoFULJ*A< /I fC!V);Թz||˨2|DmVtA 1ǴK^; b u $1jxBEyC N,+A҃QTYvޒk I\ֈGzgc:8Aq8eV FtBhq߭hE_J>n~=;=@G r9@˳-޺%}dci{C!-$2:,'vJ/}{ FԪ\z} {Y%I-+i^ KbL/6k8~{c "\VGv"` ^nb$@$aWH21HN^Ck8B2!oΝљjbd|@;V<宙8*lJ0:9?tF}1 mֽ 4j'IzoRmkiYH9 f/'Tk4) N hxm>’&7/JUq]ݸN9;ת91Fv3i-ou?;}ls\aPj%+HfJ3ބTX[0ޘ[SQTd-ʳE]4&>)ͭ HW;S+9(ڡ]0VѦITkݎhدwHQ5Ck> n.@ rY$Q:Qr]C:k djΪ$@OpP*c?P-Tdt_F/ cBoQ_7z.]>[ӵ|c~|w2ŻBu&RŐh @,j. 8Ja A rc+F~CHDmJ7DdDr4ӂQQenW ޵Xn񻊨 N09/q9sJ:.k'c2VK)MO+ ^~ z&F"WdSSJ^pmltGOs%@y@2ȜD:źv^M R*9-By47or;pţ-%:ߎ; l$ЀlF45QAuK`gV<Y&QOe~uZőf8S> hء-efUłZvXb=T"RU&cDo#߯ws~ CXx&K'G1E/򏭩l%2||F&=َdGkH@ , DB9|U٘:nɆmE:aF"f$m_aMqri`NW֞3DE,MZh_FΕ+` +/m[׭ɟZmWE\"yb^fu NfxLMS {^H-z@7'\YaLʛd~`_"xC "TUE+v~?piƶz>]٧ .m^3Gڛ^(+1? llH)wĥQO4VR~դWM[b,vC}aZ]O_" \-.(Dtιi]'1THser,'>&>""ahPIKܬheMg-—zӭ"Qr62'ɧg-=7xAU;ˆgBE+KWu t=VA-SdF_%/GbPwnH??fh \wl?sۉT8z*eMƂ΃39dg>w>j4hE8^Z3}BjpЈ"_9 cc+&krRDzlF:\ā{p1#`xf׽;'Gé\YS2e^KK&F,$GfMρR B|BƻŝL][/pC|y/c5 8؟<7|h`J>6Ia- AZ=tsTmJV΍?JX4$?f~9(/뉯;0<"ߟz3_J6qS݌tŒеdNpth$f+B0ƍA ]A)^1ƙƒO2ڼeВ ͷeјЭsq<#s@/1[=G(Gv *>MM<pYQyǛ֣W&1i oTz7l^MӬCeE KkExX"ohAORb@Ǜk]0mpvcݚVclF/|<.C(L./:Y!8h Q5+H.*ԘkT|Bg/]&VIɍ~Tֺ cvi8 %#n!ZneSg w3vg !2PBPcm^5b(Ɂ-`Í׫-Wj?&Pũ;F1en@Y5[H󰳊{tA>˝)K_E !;w7N*U ΐYa2+Dj uUf|ŝDG^|0^sS K[}FG2N) ֆ$G̭Oaa lt)Y|wteE@3I?Xu adD8tFo0-q`'`@Zlep@P±chI%;#j&G ɍW7 7y6ܮ1Jin \ : I5|}.j-;@ȣo+Ϡ-eԹxgm/uEzf[eHb\ZRqP%+G'QCsQA%8T?)"1JrO^@ʋN d;$&O~zlB($q A*-@e,1ɊCH9A}\>,d%7sA=3? zkǗ#?*'sh)wd*(5/؏զkjХu:߻P"BvkAMSuưP_#3-ORŕG3 wM3!|aFl~5c )>vѓc$VtV}]sHʗ "cԅ/چʖLElFe@<ƚ(o]$KgYZc9a9fc34d18efb66a0d193000185963519ce8655990d6f065907fe87c3f0b304ff4314e6b13119df db154f67af988a0c0df6b54930de927964ed1988 f76507b7fd360cf3d44a63f6ea68bc4cbf51512a