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 I=|$t ] HOL-Quickcheck_Benchmark:threads=6elapsed=320.083cpu=1535.048gc=136.560factor=4.807zXZִF! 8]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*L*5h ӫICw* EhׇӺ0:1¨}(tz AԵ2mɢRteVsӳ|sN(jvʹLs~v̕ ]6{:#:!r+@cmIjCC[ƒXQ?N|v5 m8E%"P"^_6xo/i@W^$&DEМ(Yr0]?$:g:=Iݭ?oj-ZD`__`rfٱ +.MtY'ި;Hm!?Wy:\>Ac `F2ށ,Q66@?!YsErsl$ھD| wI. \A,UPQeƐ@U7u!f(n< ɜ6{ю.@iC~M$+nLgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0ΈvJI1Onj/{ !. 2j%n)SEbޘu*?t!0P3OX2i 5|h蘲t v< MYҿ\lU4"6,&`},[r\n-QS$gYZ7zXZִF! s]ŗXi%Ed\m4O$^ӆ;dCLi9MXN'a5o ;ٲ -kܣZshoJ!&4ep 2= c3 |wIӐ=ɡ^VB !nd*"` 1:u+ rդpz|t_5f@iŮ( ?h{#h u'LEQvze72R34Ube@B<.iA’j,~-&3Bp*F7>kXc1VXq =īxP S69'ť8t[<-ҧKO],msX쮥 LǞ޴R6j˛k㱢b<='#jD+崊ϴ?|o脳,ƕY{~)_d w s6/ŦP9we\8 bRs/nXsKex;Y}*(RT MݤϹNI]k(J90/dN ' DQI,f5֟Ez& wB@ Mt${{.t(> k֨'Ldi*&dN]9o69{G,w)dV7tؘj=2 jCA1~SRUXx+@@zjՑfDebS+Sjmj &N3. b_XI^q2d҆27<(v7$e8q-(Uכnji{;LV;d0sdsd3i?}l :|g ۨ6Fc"(>*]4OτKR?/:0 _iˬ1h[s~,wWeϯ1ZQ&9#`D~5|4 nRM9;vB,N>[>ʄ=;epj. ob*tX"6*(_pԲKSLXi:@8![3hZ D5bL( FZz6^ ߓu}g KxH# z-%1m)&U/ƌ`&Fe2;CC!ՐX"85;}vo GzR@׭a`{kl+iefw=ۏg0RadVw5S(١Å,\wƞH?[Z".Yf6ѩb$DŽ L@s0﷚;Mׇ7[s.>hPPG[bYA2m(r[Fι ԡx.VyAQ2dY)EPa]v>7`εQRtR[lC´ʛdFi9g?):갍{ "@v,;}5dR_z | g(ܺdžr6>WY@NNۗ٠r"($;}bkrPchMZwz 66Ӆ,iRhx{9}؆ -RTwMa+ $qPkL_3w6QG&} oqڣhgl?>Lu!Fy, ;'Gq&' 4w,V)xZW34>go^;)vkTa~O{(/sr~ xpM ti<.jʊS"2mV@D!l$8ޯps2(p")L@8&w;darjLq^iH {l;rsvZgJOBtAaV7dKHuDo޿֬O {QM~}$meY ab=fdҙcLN'&~*N!fF-[%+% >-w Z')[:H,.ة;s 课GP/\+5$lBkiQTiȊj!n3 `.!LX)z£SxL kT~)_u+K=6C`zfZ NiGj!fQSZH÷ 3U!* 1d@)IcSE<)%mH_E3F^*m": IԐ~Or~[d?]zԥ_N&>˚"W[q$'ۃ1!E,z~pLxBX9g2a۟>T^Wݐɔsp:=56bwIglX 4 AUDBj{r\:,%WV-f??7JTj;,p6AG[VW"K *DVfIg6S# *h"Nr\v XDY@m(%;a冭S,OCgqc{![wy]?`Toef6&$ N}KCsR$p=pμ=h*yԒkh0|zu-zr%ղ|Aj̺ U_><.zڷd)}VetGn =O gI,j1cLTp67FT!ẁ+fe,Dc!-b A]ٚ@j Ov >ˈjTP eO3`ix-Vtj I<"vvoN2Q1 !KYHJH7+ l#<`~^mt&%|AܽD  ZoE@yx s]%rz'i,=CnxC?or, X_ђZ`mQP<"P'*(B.&I)ļ;:O*}ƒM A'ZTkV҃'VV|?i&OXoXJ("XӕS)k"Tgw- Z_hHCXujSoF92" |aP;y- ]7o@EyB"侈fH<:fvlPx ǮBgo7JD7}̴8BpP(,6cn+6%wUîfV(ǧ8桼, tP0!5ŀӽY2q=V8 4ZTxthsF)-Va1(eJxm@G'PQ \̏bw>5쾢(q&Ќ2GbTPF,0]CW-s e?04`TP;ZfqjNOd5hj1p<LJyxSXXA5őNh0?0JG%6Y2Ӷ>,r={DH[ 6ewSsM5Cޕ;>Jvt-s^ύ3@6g{wI=N I,3= l.NkS}z~-@-] p纙GcJ`[hMŶC(h+82Ig&P'Df)=4)̖`^ӽ/˾(jt<#dbl!z ZŲQ?jP2P1&OSxSZ5( mɭyu 3b`Bd-2`I Ct#(Ҹ%?8s2b)pd)ڊoɛhKP:8B reYP}G6ENRX}ԖNzɰ.CsXWй:&b86Kf/ _B[cmX|k?B CH9,n?*oU1]F-[`*(͏9}`IOh ~KbVG{b1 LOpbkRGܙrEܡ_4s* 1` V*uL67ȨvHe4͙'q}XXCQzh q$S8eny6B&o+z(%7C䢪JOeyS(,|wylmϬ&{;Byyrm*pƈS/5V:Y\^9DD4=MhlS#p؝/?R}.;x^S.sٽzb+@oEU&z^|R# Sy㏎pݯ1hY(=cO̗r[+ʌEr ojdz@`rm8A; uI &'-W›0Qf`*=TfM_ BQ@xZ$0+B>E9x\w1B4ބV(QH53'^5h.}?jWRv[kvБ׋Jrd cz8B,W3AQ=7X0x9eѠM-ˆ-"ҋ?r ȣ`08ѴQaE :]MCs3u'>Xʜ=K"p0Ĥ֓ޥ>Me@FNlMʶRx6@t@ z}cK"%̓/8FL]yJHmpl__ .$QY~t]գajQđx jKh!r,kQ$!9mL}c r9.%,%CR6"w > (B=4A|.DCIΐz@ TϢ-*?20F @iPb!9iJ[v$aG\[[3qV%YW鵌V(OdC}g B;65m4T(7Bsq HA #M t;quh2<\? ]yUZ÷bXڴwP/5뿃Uj*'΢HTx  2~oFabS0 יbq`nT_RA`F S:;ɄꀩƭoFnND~/hk98;fI"<ے#TI>kw13w%o2O8 OWZo꾕ꉭx/jJ)RA}И.6Itb!sxT lyjiho D;}n2Qʛ,,nCaEltGӵ @Eg )H"fǟUEٞ3U~e ex驪VȦۅÁ),>+\ce[Z18q99~xkY opoȀxԕ U}UV(X5\ ˼\|ƒ; V Gjm :p&8LZ%Zx6R {R/bRTٶֵ>4J:kesK[JL$"dD OmCr|{ !cUTMy-|[f!t&1502hk  g2H'3I8O.$JB_<mw2 iywXE02{0N@y3yDꐤ|7$v,t9E/+]z8(]$e(Eup RPŮ' E3sM_; )tywL"_)(O/Ÿp6d:nEXO4[R8 nӆ-Ńbg}Yt啽-K6|FʥNU~*[ﺺHiK2=ѺoY_"7icy冉 7O;Q-mxZ$2n)Dc!`aY' Wm=9kYRxyhޯU;gֲaNh!̐p؍dCtnTDTFOa@ٟo Yw$J)˒{3|O9MUnI'}eWP dtvV O_1j PE`ɶM0nNUiȎHp!64/{p暦V]f7PƩ W1 殧.&NEEKW%^ £uQ927jϕmӡfρܪ\/޻ ФMA*q!8뜩ue+6u,QȷxyCvp&y);FܬŤ %vc휔GP( ]O*/۴khGTF39}6e),U{2&nQ(G+h%w`r݋)gcV]B/2 {-%;Ҭp5#[,"x% ډfɣ P.J]Hȕ)|AA'؅UOŸoj$.#kcԽPv!h50>vc(DUn] !Nsc}|sT ƒ$K?^BoU$<Bϙ5<%v29(Ofd^h_V/'C_U9oje,g*/" #0ngAV !@l$Qa>#) '@I@ xY$y/4n32VE4CE-vGe(VyB@1QE8xZk), ^IPfLҸ4Zw9H"(6 f6N?~^r(( -9ۛ:l-p-:n`$Ō8:?% Kȱy>Dq9 3ɏJI#Q@++<&d rέ)a IM?;O|W2: gRi_aUd%ɒ? @vPT>"$|{˶Q8'e(s𤋧n]$(`o?J\ʜH 'My- :wzФ'ZsB8ԩCx[Gi13Yy(qdP=r8U_"0 '`a t䒅_ Gc(/J=c_>9j^!TG_ʟ}bJjRw d(-P&%-|G}½7ܝZxd;|8ڙׂQ3؅#+l/bFc" 7-+x  sYkc NCٻ^ciVFOQ(ZzDRWҒcĞ]w5]xcδ)&߽UJA\Ԃ/8wvPQ.0|$V/Tp5CpD`oQܯ+Kx'>0[Isvi?]o'vPfgbF6Fetܞ4HB Ոc"c,iLf w&j3Q6E3U=DZGeŋZO..N6\ t0lulɝm(?$d“1=f{`qb4.gKz6'4'-. CjN*0wC 귡f nI\$Y]EK;}ܵUbKnf"οXozĖva8 q%IC2+߹˲J'af{z` [4ePfi[׼l:&{ Y <+X|r&ҍ:ҿ p28>IpVoom4E{:!mB]N}I+4]nҼ7.(`d< h}ݦĺ{>Bl3R/bpܘ \&RU3S oH$ԼZo8F 'AoXq);P:zϫxIыv2 s-Ze:ubW,Z7OӸf=:x9'y&x' s+0][CUbQgV2Lы~f: [B/ۗwoU \Zɰd* oTK^4Ҙ f`'~ihy)/|XWGelI]w:Cj\j G/O KzHpmW,SJE0=s; Pޣ0*IEE<W5bcT Uʂ#%Ց;37fkKN+ĤѭP)\FSN^?) jk7dO~}Xe+&/xV|¯NY<ի+tYQ>,*9yah1#E'A݊Bb)X%knkHk?E=E)Xم7-שk2Gl5\v!(O u&?;x Y*Eqb4Dκ֥L9HO.%l("ı꺈LD 3yn^=}jfoR#!:Gpv{]ϷHf4~՝|ץotIhSYJ. _L:Ru~~Mc?\m.nbXNupПLsY1o)L-((3Bi/-/,3O$oċad%7Z?ڕQ0&ޕNWPҩqJSr`̵Wy3o"Q)qAA?F)yd5MH珝4դ"jFy9=",s(^u\&A$TҌX!☂bO9!ݾ[i,kO|]=Rmn]wLr938z= uDȚT7BWd V(PXoIZXQC; H&ّ4H\7"_N KB&gv kT ǮWt**tq6U~ Nm?r;-cܟu N {ȷIjSl.PNFRz:he b2]wfX[Ie)! z|[e ג.&4 coIЪX‚ -2'#!oĹok妶Z%>ze\r)(gý؞8r(+U]a-iR1a#^Ϭ1T Uv&/06Ll;@ "\bOs`1m}c⮧ "'uPzK D_Fc r=\(|)U~,nM8DZ?:ddWD )UyHj"*v"ДTFP|1c&,ϻ:Y/<j"~g:{iUȀHiPR RVW <'\+qZtn6v )T*1 #+{}hAPl9ebhDA<ɝvy0]IaIDDg1PLףeU[`䟡b;0u,Q;ѝCN Ժ(%GP1ۺ&':S-S ּ3Ghpۯ^yZ2j9]-qpڲGӤ 5~׬gyD˕*SRϨ _Á~-4}~)*% !Ƈ -ԡ`|%j+fyh Steۅ>cI+Tk8MT/`O]S=(S!4k]Ua}pf;hڝ A {^+Fc9B:^y%P֕F QI7-!-$9`n zY4:cSdIs. *tz hX? (hfg4p (e fL"9&25ie&<=a!@ny(F]X(DQ@gl(MƉ+5m]FDx-gs8 Ќ#J(H U,Yc@10"emQ%x*yW0ШQS͒4GS[6\W?3 ܢɪ7TAnJa,lZ t[WO} R- kO"!^+Ëֶ<}'uv>R ?/U&_˱PYU>b*F R4̯%kO0 .-xS~df }RBD4 ҷp9M92ciĮLaO$Kd~0+\(uf2d}D IGR"uzbEJ e_=Wcë# \=od&uc$Y9Eߘ~>qbp1h(]BWłn^ O :dD9LMtBQkQ+bFdgmj r߂Ib6}k0#:p]rۧ Oc;j(sRW ?ؙ8mbl6z /P^h5RBfSa(|QdR\C}6s xxf1'lpҒ1膜K[{ޑ)u4w7 7A ~7(,>T;2W (ZԗX:hպC9Y0 GkS>RņYv8m@VF=mVJͧ`˜_zW\o4c1KdU X/:f\k˲Jwu)kĆ|F6j @Wtx1E9j]mUB LɀKyD~`ul00BbՍe/]hMȘC+]>XzT߂?j'`qNJv Tc>8 4 1FueZ$ռfb3R!"yj@ “2-f8e6ʦMnϗXI>4 QsLt-D68a{uP-K{_/UfN6}!ri)&Ql Ϙd.]d@$2鉵>\5%M+n0? $ w'AVNH _d5©{ !kK6*M.mU_=]j Vߎpˍ+Kt"}kȧ}û9iA7 FOLecl#NDG5 |>M8K챂cZIT9F-iWhukve%Y?* Ah&ߋIZI.S}(sxxE^]t>^ʦ4u;m>$N"T*P<i1sP?$Nn@VB19b1ϋz~N.Kb٫bk )@`",R Ӷ^2P(YiVAx"奢o˱+`q_Ėi{j/>1eόv0 q>0j-Zs~=eɸ B1sF{1gnUÑoFqgD/c`.a5:١/u!OpWu.nR5q*NB[F1zH$w#VɤkzF"Uq10 %\e·-xx֓6--lbXM[PϭRp HM9ʧ:ʩ]rCwI?8:U(H1z \h6~'"h;4oUfɹnٯnU4>G#:+PmDA\8-S2UP}뀡 $ugL~} ║D~{b~Mږpn=K4>4F C^@$/JoO"\;r+~2a[ʡ@|t3,bH(20հۺ&̱QV-GK8hTL+O8hb/E?)nsN[4@噷$ĝ8ޑ9H=6_V Wdj:R iPm'z@\QsCu!DZ_\o;<2{o 9wJf"#F΄~rQT7H.;Do;{:~Xl|#c_0<w&EY9 |xlCRjS68B2F=Ge|\^]KA._R?c cFaǤ<)poD?^aEN2qmf+c$rjbrf1D ]= rP~hڣaYm^猎v2`/i%F (“HFIAA˚` COVT0s\2IU\^[ )oMap!0:11_/b P\y6%f`{Zޚ37qȉHWorZ;_G49 @l9fCtP?.P~]8ufM؁Ъө 9]k< > &)عl^PHYiiQ-̙aN'ŽɬV,25AK!>M.3 @9|vM>4C28 KB2m:Ȗtjtl">G(JD(Lv)9wB3GJM=aO[ISwDٯI,g&J zY଑.-L^79X7@..p2#)&~9@ŏynj?rґ2N[HƻP63Kou D#:Ccgu6]#{ ^R2A6t=oWa=B=x0 گ5> MӒ=q6tϫM%՜ޗ7{̃ھoiJ ^ߔd@mU*27h70.Qt݂[ܚEp8M& mX/I-@pV;7{ˑfu\K!5t3Mm,} I(!ۢ$iOQ t5{*מ-siux}s +!99"<8hTIj6":?G$"#zA=uE~pu-]`eYe$%I{޹ֶ U:tE":8݋ VZ~E DD0>

&P~*nqh~m1Ǘn Y:~97qđ{0]ʉ7I6s-עo6!5Bvă9EX %(PoA(䰫o8 #\CU-uKh |w9AgcL^Y2 4)%TT 6kYC90;CVFk29mX 23䪅R A\FG/5#{ǔajTG1\lp{{h`8^m{Bō^0q78oZIUVAXXCŕz6՜6.."7 SM)}5":sKW*23?6rA+'>b]\%(ᓔm%c1IM|n=z iQ OmB4u/H烍ql.%af)bi;+T9@ n Յ>Hq A_u<=(-֓W!r-mU@dX~7RCV/Έ)FRaJQ} _e(${۩ֽG4GAr.QWMQ k0N$h糐mC#`_K܅EYzp,;Y j#;䕮Ba ^ ɦ-k[ ?Ŕ$/=lKR/ kkӵط >F'|N D"< Oc=J^|qX㠁E |VK $uZbL<` 11-Ug,_mAt,1hσ5v>4f ltώܦ8'j(y>y/{'!flav3CZ*-X3u'5d0<4][K[<$OZx}3> KL|Kx҅A4PI4m 7WkOskbV\u >&8w#ĵmJk_~(g#ǡ6o9+Tt(CB_L<-DKkZYT^"& }Z %"<RED&o CXu$:sO2(>׏L(p:s.t t!,v{1gG~Qp 0l`8Lz(^pw.-Q!HnLA^ZTH=Htyb~R O"+q> ݛCrY:qDԯ5;gB=RQpUR[Rk2</V5L}B@hl38|gcx3r|W-K2Ū?{@J w ~O@rh`~" $o,Pgzz8"^a{cnU dpȞp7ӍGLF3Yܸ^ae#c 7ҕj"3 t;e8{lP$;6 [(4@8d{eu$jGyl.؅4֒Du?/8iڣ{yբMl\gW݈R2 P| WlꙢXV"зN3(sTrU,#^Y AcFE. %e I!͜"YAlV GԖY_ibx,]áKKv[:4<O q튼18y&bR*{ LQ˦[`)l*iGxN2E[ hd› FaſT>gXFa f0UCW菋<';0CBtS t.h# ]VVX'r82= oJ1:y٣hF9aD漖 `pԭ_Lz)ݯ@e 3UA_]XZ2R/F2'KOcսHױm6fКpzE U68S_P@Sbzx uqvTkƣ3ˡjZZ#?ܿAP+]g9&̦յYCB>rl (he癋+HV"񛌳4S~GϷڥzWKJ68a.ޒBFZhW5ώsG98Z5]gN׳^U %(;t4q.ևgp->E@ݾ r~DjPjϭXє~rvSX j&uƜ\PiJOw^1a6xhj]U5and[rAlzCbsb`DF`FfDK9~ܰHNQ!sˣ6ꡍW=dh: u|Q|}FI'20arʠ_|&IT&m4*a1/,NnVR5St^U/Egx*O@TOrt%"* $W1TԼiElPcEo$%s$򷲂dIժ0Kg&zj\pR"gS(}<^}?D+Kԙ*Koڸ&>M hW.@K<7G1'5^X";<>SgsEe\B}QzP^++3%kɦM!q9LAZY NDn[ԇS|P|ל,JXxZ8ڹ{ Ab(&Ġrl~S 5bZf Dd,"z~Ze3xL? ुep}<-5T1?8Jܿj+Z 3xENS|f[.U,R=NkE_'ea;vm&ɡENKݣ"`uś_VYD^Q "A8pWc˔Evk%Yl^Ճic.~̏Ɠv2h:N=:KCvb !Lvd,>8!*Ef'r~ZH2x"_L $qߖzbW3~5ำBbc^Yg1zl  wݺylm M~֨!#JZz}N5,b6V+MҨD:kQjXd~#K[CCvfXn٫cMBǽW# w';#gR~aij;R-q=[zgb(iոSgi/Rc2VWl|~1(ۉ`:BV܂S0m2~D86K0!DK#<ߢ'Xn=@΀ u}EK&YGϝj ܕƉ}+^S( $"(g6Ba zT!h^+/g&o?[nF)voSXϚ@(А*JAϰ|)D-B \CS6ZV؛rva?LVQ>ew.tr@;f2GN7 8Ie [F f 쑨Rf}sdæt̖k xe$1N<R ~#ஈηS/o\*۪$UC'BX D^,m %L+.Ӝx-r=q5k$a/>2Lq9/b|.MGbC 4f|NN{CAǩi'/KEPPr ^|6dpVCX>9J8{s// Lwa;)jQgP 39 ;Ug˵<-qZ(9 cKT TKth)O䝽]9IL1yL -Ec\Zf/#OqP5sblWV 몊6L+ 7n-\+M*=3P2\g*\2̢\8PɛUiP8PVy'ʿ 5d NA9FRTxtƓJmC7.lfK41>rϛR墂-).:+DdM=Q)|yR1e#;^d;}_ZY{[oұ `Rb'Ħ^=ٲ{#YV;aWrJ-FawԜ1 e {[>>3ѭ0"s6Vw02Z\DK3a>}> .KR*\{hP5w/G}JdtwY{ƺ҅j~݆T]/WGi"@*>(p=nmyӭ6ggO[!ROZA;8LKsdRkw59RB.hw~s2C-[D/N'RӪ"='׶,n1CԚtݡ&m6][sgXŊ`NB퍆xn'ƕb!)BrⶏZvMK1{ H`F$@`duV#o<5xg!fBdP3tq ;pv>3FR/$љ/zT"GN9vxPB5`e$FOՍ"bOIiX}*:k%!Y$2tI=;0׍2K!3_Qߙ:^ 0@zuI[msbmdYI|bƳhKG ALOjKJ?,qD*c-Qz; 'lj|䨵3s`pn}Y|듗)"Fv^ߞ$s3L%T6X\bެN14vvȚwɋr/B 0IX֟md `|Zm)B(5ۮ;`ĕ7l&~MWN[ XzO選-RmѨIagfpBt*-f_.i3 َt} \ݲ&4և:{4\,_Jcg~*vk^)l|ѢQK}ќ0b=TDˀ !ݔTL5"LA1j!6+THCڷb _SsG[xw{,KdcC(uħ S-`N5+-yB4vAM~4:Gg9r 1*7 ݈)/ʫ*++&my&Oܫ8lSUzS`7H?7? ;,*WO:t{k}נբ01☓g"?Ěˆn.Oj)2J;1gUK[هAKO۠ <"!C5%U]uPrq'D~ ")هsgL{.]4\A,GGTepH_QE+Y:VOO/qd<V~Βl#T+Բcr]C" ;dBZ[!GQ4³9[߶隩7;CL `p9sBf07w;uG{dY|@֕'J>X"j\<iص 3N윟63 xy/&w|a̘o(Z5+捂|4; 1:)g%f8LUvo%&87.q;ća)N׷cXV].e Ƣb"oFMHL*eg"@M-7z4c>"WʿثK  tx~4h0E|ow`C5u.*7Yh9>&bJZN WqrU~9;Zړ!gi39[KJLv˟o=jwhK,Ff2Y,!4g@wgn+-d>;%{ l*mdaIWERA/0ƃMả@{Աmx:e_.Vة ᘠ8^g_xےЁ:L*EAI;f0փaۦʊ6չn(k/]lj x4lEI%fBAlaF/gNh h Y6zGm+Lٙ"A`BWYF[%+"wC Ss>e".i6  a/3j\KGNg?@OUyY5͆W,~]`\ 2! e^=9Y۶&d6`D +Q0ϛ9v Zkq%?ޯ4JXzVVƖR1pW%_5Pۮ:Q>E={&Ъk!D{SȂW$ # аћ+c&.]ʺNe:ii;fQE+M%hZec\$. MmY{4[pՁ +l;9.!ӯTk? N-|C_`KKzmB ͉y(3t3,;$M ~*P][2/Pf|ΦJG[(ZE7fב.Յl ۘ;z1c,ZR/5^q8m:JbY2IL@[ 8zZ&4 c6R=0"#[۱RR>s@ X9>)a1dCZn@KzS1l6[/{)Cխ N1B7Wou̒Bxq9OGzP{ڣu%X* #>+%Dĭz|90k,rW)4FhзbZ N1-U>N\``Gk4dЗޟ9 ׋2xq!c<5㨔Wfw43Dq;tcO4$V "X,$;W-9a*MnB>X^TVϮrzhKϮ;MlU2KgYZfcc88e85e386c86e7315f74db79fb5f48174b006bae43dd2951a6b8e1263e49c814c4a696de4b0ad fa7786099e4357d1af728bd041479c3ee700c993 0422ab9fcd909a3369a99b1572da4faa1a9f0d86