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  9|D\ ] HOL-Datatype_Benchmark:threads=6elapsed=485.640cpu=1967.308gc=729.372factor=4.057zXZִF! n* x]ŗXiɟd)&]hS.J}+%̍ER}Eсq#\}$eEa h b ]!a%A ]"ye;8Ɨn65=\G +k!oƴZ,@R/4#@^|*n*wؓvwPec`1׳ӿc׷ǠkasF3|OmO.OBhؽOՌ1W4?G%t>MQE1o%cZUC~Oʆ3q!UD" ->ӱ.Q) pI).Ђ 9 HOL-Datatype_Benchmark  \[[Et~ⲯ| p"^ʓb,M;,vصV+J~Y8i%' IڒbpP)RPrRۣCQS/V lvuFZBzc"_y.xИ x/O"KHXN’ cdX87v錄_KϺ:1G{Ѷ ayfn2;*E:(Ի Hbc,2xn62b`u6!iфg BIHX k]xj hbܡ|/ہ8:c<@[+{+H-/KxdˆtbJm%WNsyk;bpeѓ3Zc܁ =?&$jn@5䌵E`Ey,!&>-K +Zfg-HKhZe~$ c@WcQJOoEpW~^H;|iEqOY?6%=bN]{f0}2M`3d4A[sLu@IΜIy+2!ө)1`SX-"r{&,.myjZna/ N_AO [z:l=V`@;0ӣ_yf'liEM\6n)YE7PֈNg)Dy@Vz(ot~.d%^.MXUc0sIGo|X!ΏTzԱ-/.piMe dVZ~rr:RD\ӉK7*ES?ØF=d7z ,.ܳVJt_ BL$WV@|smAI+ov]U4`K5) ڽ^#[]kql粆”$0&?2IUCN>)"!O)j @mVdۘ_.bȉE-!<^Y\_ũmh7g,9h#K``0ہ j&O+ _ӯd#C1 1L."g):d'R 6ʘng*o8,=ڢVI 9ۜ:( F̳Ib޵ܲ|;k>30Jfy">Ikẏ/Sd3~RsN'ck!Ȍ59[2w,MhT`ڧvfP%/WʝcfԽ> _l+~MsUh=I_Et0 5Ɲ %*ڇIy<2N65#Yn6J~rtVa>@8:-D2YM (H 6hT漣W:2*%̗I#>x.`ADx"F"IS,yV_񌻰R7=@ꯧVܗAoVɚb,J1Nܩ/,&$AJ4ZN82K۪7}dPDS\)ֹ0@iRϥb֘a!9vB פ5u9rŝ(Brܦ$sV*MW\3RE,…kv&.>s0xs9ƤfnuD$Mw) Xk?&^ W 07O]w!R*u=JRTtfq^s [A߅]lpy}ߊ/EݘZt[,w,s W|¢NxKwXe_I (ufkTު _)=~i M;bKl-[zřQzZ ЭJ3Fȣj7zfn;Qp#Y+7բzmMΐƹ֙/ؓ!aSdq \hP%&&G.8d\|_d>VgnfjN-RDEvro *di`DK6-wq*1.acфܘGL}4-щApzWxZydF+-G1'n1' %gφLHڞpHҕ©aO؁s/R|Hp;B7hnQ*$FqlWoKRQ*Td6ZDpy>o&MHá[H _ 6hxUT@ N-Cz"T6 _N<ŅrU?3ip gs V`(;gYZ7zXZִF! ia]ŗXi%L!uȁ'/NXǭn}{J9OL̫5BCZ>e3 =/bJ: _+#M}rAY+D 456Ѭf!:h(xDfm$ʢ⋵3!ۊz" ڊ' #H{$y7]'ɷ w3";X"ŌC%%n2xTV5)|0zN7>ȥ׽'j~ZY cXp _p?J^;׽56 ycєv1r-J '>HwOJ+:&++)e:(fH4v-g|dx8 ǂ2r?.;6Vtu7$66g]Z5qyҬ:b͙gL_qιӃ3ho{"v8%0L>14(VfD/v6"sz%lp)FV5Xإ(J{G+^C1.:)MhM3VJD."FF u(տI*iz}-tIE(y"t@DulSG)0x]DFcB.jXhisf#= StIN {Dzp`ڶ"rb$%UGXotqΪ11xNVOnhg)O.[Q&>Q~7sMG9(qt #n&"d?C >aF|)ö/c"獬6{+2${S )3kXamߵJL$,'HI2 Kn G;N31t <;i6Ѓ`~:=煖c~[? *O .ٺ?וۤRֿx@BDT عT缾rlzd42rqwilDՆ+1vg* `PVU3is} QBJ-ћ(}aځ9ڤ.ؽJE5qȰ:e^r.g Eb4oh Wbډ1ѩO_%\6j3'B"|m GFij*_|ci5aފFQКWxnz}| ~A.釩MDJ5F' hޖ!V0B?g+НM\KzRQdi[Zw2+ PE^K=$Uo&A1+EmV-ki$!y8rB~dԭ>(_ʽWEPfZ\tY缳`oh@LC-6qD(jmzq6RvCEE3sjw l:b\ËaїĴ}G6byCɚ֜qP`0 d#rca(#&.R05$Ԇ>@O$+tE{#y(9؉z$P;=1z|!9{'Ry]ͱa6x4PJ.<ܾ fLD[/%MU$`S:n@+8EJL71談} {53<㻝ltEk+ʄ)V5e<,LMzX 8'ղA|81B0f>X]|#1ۍx]u 75uW0Z]L1גveELXU`|QcLӼdYsgpZws 9Ä)Sl94h.eqMۮ/ho[1H< z  ׾W,\OG#P<ȭp*$)7sr%m+!m"Ӿr`S@7xIux8`z}ʠ{ߎXPY[C75o;K'͞I LRm4(kp6yθھn*ZYHѤov(|ro\{sV4Z+%3Z HmSv_BGTu"{{(c H>0X.ΘZջM++y -C=)HNq=(RuuQrY4 e.@I#S|{S5_za.ꈄ 3㱎q]zI}խ+'j S,`g6,E0ax v'AXy-}hs2wPh>I3/00(b^ `UQ;~lǚܳuXٕxmeUey a⃕N"yk &`~Z[c%\!>|!na"OTa(^,.j=2h!Atwm)7lXcW}y*DR1jĖR,N pyEc뮲?<\a@ԟhd\qIH*(q#D#Ҩ  fa*0 sסO(TBdKml>'oWd'RBoft.ӳ-6f$`[f6#`bhMoV> S U>aT13ح/|.+̎G%(!ӣ8m[5;{ס'ݎr~=샪'Ns tBu~1 1蠆i2[ޭn(9D16*g@$f_ 2@qAWU3fT}gW:ZI`7V' %>wY.cFWQSqv>v$&~<Ʊ2{auXK)SYHRIE\Y0OAY{ⱰjX$8#,?+jՀyL(˦7!(0 "'/zѾ _u+JozcamgK*肷&dԮVr6T0.pBN;,ta5N5.RsDrc ?hCsv[S}9-bP"W~bQ}.T]$k£ǻ2Id Qj{pRSЅ{f[c Z~` WHyy9*H3%_}&E᪲RvVRN>U{f3+LGpvvr:2w6zl Z,A"!ZwT;*ytutD9ЏfՈ59& jAȹ*Fxo];|E'k-;zN`5$0.}Sx2*'v}ܻ-59wU=|0NQ}a\b?  {#%u[ VmQem mWwd [C;ONgf$m]RX 슭bNu#IMh_цn|$++tS& psn,ڲ׈ e.y_#x&;I{^aJw u3纑:OƢVFVkﲔ8[j3h]xԽsf(`}ro1- W5z("zk\yojI@FE$ |W$;y_OzԎ$8ě⭤XF<_|՚Nϼ8+XQq{%=.az \}36,-RČ!-C̽[ _Z0)2^-A< MIPUy7Rw$G}C⁰tq78wi_P`կaHiMZiR,eVbj;<ϖ&D jPH/P1 ^]Ev2ֵ [5wTa؉ -f[ܗ5m3')oY"Δq}&KŹ`Gw DPNKkKcחz^\ufRߥy7 U#h GA}!O%|s',a:_`ԩjDV#M^)ZJVgV/2 28 n$ܟNMcE?r(e `akocYe܈I :^V>Qv1 !!fG:UP.65]~_=>O5?R*+ߗ09sVr}V/rJ\wˬ^~t{,74$ Ϟ\vO.緫TInY^3iSH !pRE]ޠߢ!Rr{ai pٺFFo)4Cf97 X~c"1E@jén.poϢ^lW (DFO`#͑U>Rz,ZXiVnBt.w)@␭g OFd'GJKy*ӖEE3SrY/̓rdg!K5Wzì '5Ϯ璥q.}_cv_A"%#LX<6A4Ňwmc,N~-N&+97M3oF9у2@:և+cV/#sD$v?ҙ+>!Rpؾ!T?91[߆W2'G<]'@(!x-!'A{mvtrE]K9D#Dz]gF#Іl\RF^jUfSXF i1'ncD+T>O<_Iņ듍J6@zsVR{a@yiTgR/"|}l]3)9;֬ѿzoiu$۝KY ߐL22aI#o|)^Ca SPd*KQ KI$3J?7u"AЙhDBaH>J ^T g>L.۟{?'l\ۋX1)H2-9B ˄J>*7{e˱wSqc QS] f$%*wv7mVkx׻@}}!=HYb(]~_Rvԇ284%]`EfsL(}&U@O(K)4j$ b^lj};6&kⅈX @}6xp5pyS84 %9)!5R K;~aje^V%I*:W*JqfH<$pqCfq'325d" x\ob*.!J2X}sʘ(Nj#p)L NvPVI{ FG٘7X!>]|JNsJr& ٸKq] |p4fZExvDAGGR|S.`+\$ h{ꂉԛjlf EѪ ݁W8ccGy"LJ!kƭ| L Y-ٻN貭6!<=XAv+%W`qH!KFM1˜; Q_]#okRWlB*K?;A$_gz`gE?,ժ@ Ca^=J@bCPwessXyU*uAYgl+'. [WZٵ}Ocҫ133^inn1\\..B挾srO,&$t.\!qlywf|WXbGKx%|b)x[ ^G6d!"T9`UrCpmS=21LK*dԑ| ^Eu˔, NW7<6wVy[y'.NO\Í Q\ (\k~>=Ŭ(ɇu4s -g|E~A:/g|%vHbvOT0}R:au 9l-MHhJg1f滋D\U2Ϗ}K0ɡ#Y8>6x:֭(^|s>Y_}둼;>>k蝡φ!Tn׻/:EZ f8l_,miC ]'s"NERve96FR}'IuhǰE|{?!533oQH([)1 M4/4Zˁ"&~Lί=^s&g>?؝Y=>6@ɳsHSZ +ΤThوNZ Z5ܐPTJn>BmF%Q'} ً!^c3K$cfW2&ޠbcnDك9)bqD S'{!Ƙ:殯&>T 2{ #EXdb;I0@ձ%1#:T5f9rT%?AGE`Vkӊ^u4LԔ޸hJkfqnQYߜ!Fmߞ kSGvR]H+WQ˫E_M>[2|:mt-1{۵<=SW߯yBư>dfZRh$Vg&e@f.dv| n0yWASqm?eQ:($z*w/[ns_BS4Tw*r,-69"PL<:BD9V]bgᔕA5  lk=2C0AGoFLdvNҧ61&wa6Gpino=iEY@70\Jc2ٹ'A_}ZEpc!mƩp/hg}vPBC羡HIW2bNӷ<4?0C^ie#:ahEYbdHsAcb5ꕹ.Rn^3EE'asW?T|O~jע{ok~!1գτ=B+zK8S|}hH&3Mb%n À|Dab* [~g1IA,ibŸ5t-9lOSvf8fe%GD̲厚U$ ` `op% V%SxL/ MJ-g)Z2`Y2Mi"|%x,vvv$eM%#/7~ƸJy}eo2*]-x61K>R<͉5QvGhM."QUheT Rro)&MB9[GOK^J34w BQvlb6j8%M12} n zz1|y·8S /Pwe+ ~ٯ^`"/{!kkU3k$k<=_A ]1Vn|21Wq־\ʟհfVv*A81LڸY9 ϋzS dbcBdYfb.ReHKB\2R|tQ|NV{~.rY0tsB?\RctЃJRn\NіbS rSFLr7zQvTc%RT^΄fܤ*QsN"PLMsҘ]4Eeˮr\`WVg!quKTi̤sMQ_M]jO+P~s`' _NfG"3 kǭy=k>R\޽.3 ,wyc5HēgA_/U.hyI{@9jK>{/-hlڍa 9Sx,~7xj XBcr K~ϫa'I0`4,]gd9 + E_suUY?Os8;Lx#\Vod ;,Y|Y芢)_ <`͂V~;T5.2jM8.k(liÉ$(EBy.+bm S6wYz^Ѩ&v^Fƨ'شr?Ze$U;5h0#wLyUӐOpü#ynge_fީ?4 EC& ls~?1ԉq,cY;[QKgC'UF`"3sY$pPfa )5_4e;3 t$C{#jasS/ͼ`z9T*LRIZ ޽-He;-jux9<]=hCZ7Ka9-#ܡ>?(a5%VK.ꁙlZi ,|o1!H Bu# ~B5ĝ:z8%W9O<78&*cp!kR୚> Q*I<ЊЙ,f6&`qc;14'_x "(<;B܊,ʚڟsܲ^~190B-5~1-SB58,NBrVT&,SrF/=@ >f΀:z21֙i)l`ķGQh$y{oۮ"-S]qj0XfT1[-|H~SHj"sݓtOUa2]ym7 b U*#M%ڔ*$[߆ CeD;VoL'\|62'o{ylxj,:KN8:pb>%HuY$?E`W~sȑ]]{<7͐_`FBhν<5s͌[nQ& K[Z{w{!Ӄnh()|^-\xEuI]TP/EOZVOB@L]>xUXsk/I&/isѮUc+a @T'cÖ,kLBxBD LLD 91a\ IVB"VEa'W*},#o{֟O`}{BKd4KZD"LTTYXt[{>ݐg63 V; +n1)rZ^Ee'ew/\K&j6 ɱQ] Ebz@?<$J;eTu5Rkґt JL%Dg;N :XsR\;̶%®؝Ր ˂vjx)B&s+a cΤ4dv~!3D"ZMTXO | nٗx.pX ntf 7J\"%_= τr oڅk9C8h-W;:(&8Yyo5+ze@o>?AXa@S̘҄A󘇩KɻtBS;aB_gQ8"%BƂVfv^ [ϕTdL ;M.^3,+*-ݷ.t2kV1)`4"F/s<&ϤF;_|-*O*xƄ!:{,Se/ʥOoY|H(-mO% = 蟌^HKuxh5-" ơ^Gn򋠺ņ.b= gǩS%Nz%$5`oR5n`B^>zB}Mk]!Oۿ}31g9*p0F>s"!YWq"~X.qp~1>*8dOcaq!dI˛JrsqD@bykMFJLD"+~̝*7@tio#*}xU \Q?a5WTOif =m1ʴn3c `Q@t]xʆ1=m`5 I0* 3)a#NqɞT tNi6)YGD/^R-WFD1ͽ7̞ rMؓ:e}2O-MqDHA8c opRUn7ØjegnMy F-XKT*`4÷M$u6TL4#rrPk8 3QO }]65KOWV;nA/E# eƆOI~KxʪM\Cw;Ug7V*H׳TSI0}&qi$ e7;8k0VäSR\iE͘'*V;Dt`SKl:~nMI rjF1;Cgu߱8!78Μ&K@XHqD(W%k_.vT/WiwK]'(pOd:!Pnۙ4 VvjFK9}v%;%JO."3Qn^6UZgPv]|K,]nZ=m.E0 'ÊTB!rGk#+1}xhp/qK;vA iC/ʗʘ-dDoASr  ˣ:>poʔS1@o;AUa-D e{,_% IoXy K_5*h7~0^:m1<뛵L!#D2͹&㝐z2S*P"PH 5Бe= T |$}}G 27ly},q%s#E=q;@&dSOB5d@pb=T [9 PYtQ3SٟR8É$*v0lfB fBBc%d%OZ͉Eq^mn*WVGo4l},:MbPGL[i1RaR ĝ4,$.j9V Ubƞ^mUކWڂ2ٮUekp]F>eb!G(%))7M27@)BǑ\ya {0DUekcBHi"TroawЋO(7_] m ǨQ.DF:\D,u.FJbVs>MwP4q>O;#9и~N9 >4t`6ͷ.|-U< {3G8 Bp򯃘Dd-Хcz.֮T @dzZ&gh9nT8n*!B/u ZL܉khԠ/iI`lG>R\ހ%]{iԻ…G6ޟ_B8M$;S\5Pgm'X >-5R~OB8Ll\:S5 SrSZSiGkB D)S:,GuN+lnIÔ67BhޙAob Sc*S/?OPWYs܂^qSQ?VrGw#%R3  ~wz yFUY5y.0ư0c: -A]`?V4nxJ4άLI (gJɱێ%'4a;QZ<\d/k5ݶ {f A)e1*Fk;z(pJ7P+ 'n\UW$X|j89ֹ$ A3rD멇7LUwK ϢI |ʒ1_*qt4& )d_?ON"! a P=fҸb SRdB'ܓƆ`NLe/ջ(q;LMR* 7䪈 b04,vs/>YQ/|hSSEl fsyю%LZ:/*>GlW%7T6tWK}oQ8B?-d&qӜfH g| !;Pd8Gz,v)AG6=d&jUTMXSä=H#6ètd)^"<$Z/s@_Z; ÷+9 zalg L 4t<V˘}Eȥ1T)b$0ēuyQeݢlԍ7М򌬝t5(vN,3QT3BLΐ%nkV=bȡk6r a1z?#UlW%*Lj?/|Ⳳ%}O"O'yv 6H O2hel_] L)uIri !p,M@s+EG\YZ F:lFGۄƋF-t/DI)-kWV0KEƊ Mx faD sLQ1c&im7Ml\#$.>tNo oYcPz L)d ^9M bb6$I0d =|h`zn_\vSOBx'4C+³!-?2o$spB>%O,MJ؀u$>%TOF\7Z%6ib}=W,pHnKx`U8$N DSd\t X~x4]9G,-Lbu˝I.UPk2r>1\TGTW{Bf6NRZ2az̳CeZƅ bmbZpMrп*8&(8h /dP]g'ȣl8Sf|NV*THv,hǙi˜4- +ˌf}co}brp-)FS fB6y=gڃțOjGuTCܰ>_~zi߶F*VOv] Z`ϕ[:A[8P#U}F@x (ζ5x3,< ;V48"fV:W$8Ҟ)ڏ~L;'QGBNbWnI`_$ @aH)BE\9p I=OqUw2am=\>*ȣQ/mh:jf&'-U/ӽJ1dJMQ)B0e;,)6_ejtc9oJQ{$yy#6KxZ}JӳWZNBsm!jJ;љS]Npa:`CBiֱQma'1rh0FŠYlv͆/ j;A@g>>q]6 N`9,Wl_]ۻ9۷Բ!GZN5t]8LԳ{{"U ^V/1j=Dq;n@ 0$ƘON;*~rСצFk :LH^.u}قF'irkrP~ $1*WDۑġ1~mS:Ľ{'YXk=!*SvEw V>`/ !o6ɑKq? 0s]U@йx\qʻF*:3@YdTkh NAHćCr&Iz0]^ F}–Zjϊarg9|8JGIC̸j0AꫤFKD!n"{Vtc"N* oJcmYeJLaA86b{Iq-ܧwRiÂo;uQ΁e;_k3*Ә4Eܬq|4rm8KvTic3q\bɔ"Wl]|J$@lǭ rhL4nK/BsD輫Q^WYow: <,J}c_$J$~HLYpBQN/bBjq>yW/Y-dpJxS$f0D't%_8q6d;kN/^igNv}x=w2E ;S/N'"> #Q* 9O4=.Fj&6(%>$z"qG"ns`c;]4G7n/n9;^a恭*j%>LlD!Tk-@/_iKtjkḺZi|.|i@כ_Rc~abo_(S\k bqh ifW&m&*orf*QpYw5E-D)ܤl!L*L˅q:>P;8Gd(MX7<R4\h8}Bbcss FPrP ԩ_^lxMBhwy tp92Wa$ p0Xr;U=|AU tzJZGx2#Mk=U8F`AðVf~gl؋74[S,*Ux<$.ǩ`Av^˯`<z 2TB+D7E5AkCչVT}JV[M?Ým ZVVeLX(T$q9so}Ƅ; 4ݓ\?d$xϨS'SuRC s[M%c?5dMd=qchQYcK&x@&kq*Pm߮c$=.qN N~X"I jk|z$QӮW ѭ[օ\5%$nd3;3ɢ50O?p#G-orR{N0 7 kqKG"hވ4oX9xٚԈ`*|ވ!e]HQIǴ/üK63 8r~Gs4Sc5g0蹁!/uet` U* ӑtVDkv3qa0.lN Ű{Nd8s^N1!oD&k ;TbAw'\LX_TYrNzZpD*_r9I ݜ-/7ZD<|XG2N{`PӎouR]+Xm_ٶ; % it la~ rf3JE6'ݍwzxL\b>'yIEAX@l Sfn 1z/[ .#oЎt?5zwni\R>wA :G';EpM%2A1`Jh_Oe ceʡg}QM`'.HeY jj tHon܀ב༣+#Ʈ!{KLGkQ-Yޚh+Α=E, w%نZ@!Y2dZ\.w'PӷVO `F)ԀqԲe/S/6΁;&BmY;vNgN>HdVtkEbLZ]Kӄphq|#Fz |BT;qVbL7]n@ ,w*ɶO\->xe?^:v3$^MG3Aa>.*HZ Hngzђ"0xN4=߁JN(6h2y%S 6X8YQ/g0RQj-9.BJ2_jHZxyL(W 'aJ 1'OUvs{_>!%ao5,U]@G\n$Kg gvy=_k-e T·79,5;9 Q0$#b_*yLRCyTFaI^>{bLM,4'O{I?䖆 g\vn,%~gä)f|e;S.P.򴋽 &<ڈëj!>W+A s$ng){(Y !1J\huNlh/яF;8^JsM?s!Ɲs 7ݨKr?Cm F\zv?d@ӯS ElR^nG*N!֮ \v*C= o:N ŵ^!;#mP ]Ě]ʧ%ڀJZvϕE:9:!VhKe?MA M6mTŝytٔ'`9fTtO/X^b4&Ӣ~ jZƴBCq> w{!ƘnC|C0qF 9?͑ݯ۲&;'jRH@xRX{MtA~!TVfb BZrZP_6(G XU4Dҕ  61R"9Exe7uÀ>\m|,*xGYň!5 L ^n *sk l{UogH P f FͫP[W5n#9C~DVqzŚ8"tR (䫣{bFl8&J ՠ#=uG*PJ]A)`/ 3J͇ ۷w kwW MhL 1m(WI?Ri~z _E |'T lH[+TuBimM'7 ;{-᦮9L՞jOq *NuԲ0֥YD$f̮]l48a{$gj9]p@j >ĘݩX>/f_U8ޓ7KA±u@ F}pctȎakb\W̡r[ԙhi'`AugHg$ҁhPs 0)kCZ޷۲ܜa$]`]ʸ Z6^ɐǾd(TL({ Tf=\V5ټϡvi"7. U:tWdvfX e/ONb+Gv -Ʉe0u`s3Q'L—o^j4w@ ˼ܡ#k`%S|{ ? aԠrz8 NqW-bv԰Gbdd9̺;e3ݴb.JϬh öe`+O{d76yWsJFr")ѝDI*unE+fX'}BK6yYxL{T, ?F@E18V>ž"9[4%P^Z1Wՠp+:.fvH c]u]Ȥ+1POaE Gy r Z IҶNs^C N}huψU}9ۭh7N֣KH*9^*)فt ύq],֟)32\%#gWe'p(KBQI4ZW(7iu\i%q<~"/Nj(ےF8K1כAEcjH8~)d]ItW Fv`k8 ?럌7%Z|~ʎ2܉eO@=]"ឝ*! e߹{+o.^ŠϤu8+RYHVثg\%IqnôFeYp ِ8 }4+p6r*ZچÙ6=>Vc"wMOu]n5|A!Ũ"8;U1؉]7Ebi|*}Y-x+=Vrعؠ="e3~X#ЭL"Z+p>z$&IyH9l'9yKVS'm<6[`*MkI~qsȠnI@Ӛ,}cGRUOQ֮0 \8k ޚvudk)օVҭFyf2pk]>"LÔS_9ƴ)GT.n`<! l'ϥ간)*6?许Pf1yȖlu 'hI=jam݈pdF5Ry)bRh:]'׈r+}eMP yߠ{@c #]X|> cgGٸBG7GĊ8ކZYlѹ:o5 Ԕ<)+!]{Hp@t^RpKl-Mկe,]LsliyY2"D%&6j9=7'Mef wAQٱ1q$DVwB0+dk,>ܾvP ^B 3"D#N*:Rw:]v2 U[SA/ӎBi捶cW4Wlbel7(vǠubJ~pGp# J?R\s:ssUTv &7#+QZ+$lzYz<ӌ5tˌ#?L8{CvNzcb(|q\zU5$EERv!b2_x2NFXS4bXb'vCR-Uw9DŽ4s D5;cӹmؒ'ԗq*%OveAaҒWJѦV3rH::P1W@|Qu 14AlL$^qr-j8~ ]5@mgovCsŖ^r&H>:HBϜ'hYl?"-ĦdK. 9,(Һ:3p/:i"a bƹ)7:4#EA~wC ECXvL䰧qlǕ$|N/to$ ZOKeܟ[d@&ViXhx̆4 tO}Ba6m;Cc˽Q D۷Zi=uҐ+%}|lA8)zu_nTseՁFE(䓬(e!ׁv4Y@=. y*x6:. Hrێ50VUB9tK KOIPրI솮J(b!46U]09Ȥ_]WLݏ шQ7c?'F+eU4DuioHݨyRGlPi<~J.n딕 ʒ>q--Np.TqQODGMAs&DΤi:#|*}ʪCtM(no;WicT'l2nT mbTPF'E[0i koME`q DX9f7,V[K0(IR pZyNlCQ  1誦otI5 ,q/l2(h`c Ɏ^\]yC"([ɒ9َ04kuS-rM_nߠBR2 B@054!E.Ǘ.εJ#d fa0 8qEI&vC  V kmjqs[ngYZ2e4b272996eaedc98e84c6624df2c1877c1f24010ca5864f4aca6546754eb1e7da0e2085c3f4c937 a0786084c37e397f68aa183c1faa4d9f91f1d814 d9613220b821884d990390ab1cfb537ea1558912