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  -=$4 ] HOL-Quickcheck_Benchmark:threads=6elapsed=312.013cpu=1509.168gc=130.768factor=4.847zXZִF! 9]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*LW*xNӱ i!ń8 %ncAty~=tRaa18 )9 \#B' 2+%eӐҠRyH=Cg jvs$ʴ|6֔tBy1J!AkaΧ9's_" LFF\w}p_HAaG/Cop1>կ^8(4q%3#;rT9ܢOG5be'7&`siGn6&w!Ln2iG7pc瞫bEu#lyE:h[ 1v]B$iNhDyHk#dgbKl%t2נ#wweM C!YfP7$#kp9:߲ ;6&Q64;9ײT+:x\J\ӍFL|*)Щ%R,AgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή*8(c z;u 0S=T,k8x auE0*H7M_dwZ%G7V[Alb{&"<;|!cMm.o-jk^Rɫ Q[ĂYgYZ7zXZִF! pQ]ŗXi%Ed}}bz]8ARu}s ֜ӂ^Cq_!ZWkĿ ɷcX?)FZ RqHosqvoZWr?IpňR9EO29|ؼ9!vߑm {\^ qʘ[07LPvJ~D+jF|않Y}@iSLDQ$Ϣ?˿sH5QY\?EO D, uqEl̩yz#9K]*X߬,H = HOL-Quickcheck_Benchmark  247IVzBg.d[Jρ(>/dSQ{,c;EbWÿWU—yzd`ޘ֑ԝtU,-$Йǧ\$Lu壦gZAӉ2k!﫸( We6 2u麹hQFcJfBxQ|(=Gks] ƃ]ϰZvZע-:D::%ϫb<,ԹG) ywo1xᢝt+ؾ5Y}ƊjPM;-3Mfٜ g[$}Z4Aӳyp+^hۀ`<5(2]_gZ(O; ٍiv5ԇ9ZL۵PAp3G2g4A9Bظ/*׮E,2'}4ōu"Hpֳ~N !߂ dl:9>U>XUY&PRx2CbFA1 +Kmv/<ϳEB!פhzo'T2/Udž&<(CK#k&>B2@.iebfOL9;] 2c*iO$š% ~{׽%P=768f~0<ee@̨6KcJkaSC,}|0j|>eydaWC6nJ6\l#WY T_~Ƞ)0ZI7k9ڨ8">b.Mj?OȹK!)x\eV$Dې| +O(X^gā!Xl*&#B@ Elq H3' 9ny %(чFz;&H2A񹮍2&D7g}9*M+#92d2ήF Oq.Dd=I'ycl W~L܊[8ް/ vW*}B.? 'r.CAgQDkoRE(x6݀p%C*wQ2۪yU=gѳd yp$ j9Grg5 Uf:6tɬbk\"a,rqy}Ba&da4jTm+J{Y6R*۬A(WuxkUHu>UI]x`^wzRg流 oW{sa-iM#ZPOkO 3`\=s>* ܁$Sخ:[dCڦf2E_?yf!ϭ2" aT@Ȗ<G_M})OʣruX6Qܩ& riYHݗD!SKشk#񃤼v䩷 9w3/3N,jմ.cB3!),bS`AnJk&a@).LJ)íw]nN(P_5&]x^?V="-\3W1%=)tfʥ-KwŽ[<ŗN_Wf ɠщ+u}PO\6"q p-64#SsgQrQ 3tm+a|_HL`l'b^EkXmM!p"N<Ѐ>yx^9'QbGտ黭D9:x">ٽ` I2A #z'xW̌IЛE+0 s|}Xvnr@ IA.͌z87X E\O<]8^Os+qJf$$W=mP!@ v@{NUh?\ ɧ%>ׯǧATWáir7ʣ;[j=j3l4gOMUK#<~밴ҫjQb ТcRw~,3l #t{c}c"T[җ;`Y|A]Q*Cp)~/ۦS &,-@p-&{-0?ܱpi0BK.qN>pN_ 9Jl炶De_@kP{Ŵm!">>67WQA"`@⵬T(DŀG<=KR ~Db*Ӫԩ{'-]Miwd>yVկ#H7mTcKK#<~QhUKc\w1>_u98q%|VJGWcv 8Nc5`Ij_8;Io# Q)]ם*gY~OG }P=(Z^}sSͻ=@0qVffp<Ќt=ՃSݓq[!{KZR h*dZT-Ifq7 ۩ LT$RWG}Ap&iq L4ȩfZ >>'ZMTp՝BUP?쏺>9Ee"O**!2,-i c]*=QQqVT)2mHnˠ1 Iw03? $h`TH>lɩipeJ :Zh#A^%"-:0GFo\ULBȞ`9Z`1[G/KV 1t\`ʓ1"p`P02Jpy-8%o5E)JO̢13qy'/XSgZPZTʉ!u{X  H|pL7lG_ =_/#64pitZGlK\՗lnP/Z9s>i$g${D M103i&br! +kjPNYObѻ<˴ɲ>7āns q>sewyK Oэ_^/:9_'^Cvd:zn='%Yel+Y2['%eB.?0y5`g5htÿoom\~AF&IJox!f.hQf\6]p[/5KRH}MO:EMv'0^ ³!nAxfnWuO6-_!wgLJ"afq]0d4$g\Bu5% Ҹ.} N:2oŬĭ&|"O76{8#[8ONNh]k'~O!dSZ 7ubwxK>yľ&GCPg[; jzxAɞ py=X9ę^y8rd>d!}@O-C%4I2d6 ^.:of߇ fM԰ ,Uԙt)qʍN-|^wEo|&Y W_i/26Yp$ Ы+qFlaIJ hCJ"8[^s5b&&$4aF 6":]8A>[ٓ}wqDtF1y_Tx(KK \ѹ 8t ƃ$?n`~&HHQ2{W6J&]NkF'q-^yٲDP$8A nކq<]ϫ- Y(jd~VD; >ו3<*,PDL>rj嶰dciW !HBC$)Qg|=0c1 !@/5k[IۆWhX&1I⡼w_%c_U]W~ ]7Ն7ڌIF@/q8]=*SϰXBTa*Yda.ӥt,.n)j{aT'=U@C s&fʔ@& !5GB|qό?OK=z{SX! 3-69[rde HO8-S}[7Ͱǘ;0/а|/ $An'ءv2\. 5'1"kjN({[;`;]Md%#gUzID!#Frm|꼽Ė>~MSW%n2H잪TX-Yz6fN*ԃ]4r%Nkn?j/r}Ke dPatZ@.. >{~(QM=+6M;e*ܳ_ld,ڌ>$^ܸNMiiS{߈HNJ>4g)<{hjeIғ $Щ"$^m1(-|P\>lh *_stT mKEjEDT{&>쏛s}_u@&9q^m4'WsD@1L3#f>牳Nd;<ʈzc}X&Xnl os9s݃; $M{_\pPĥHZ\ND %"ǬղX;/.<֓Tp6" |)qȤٝ18]jT݇(m]!6fb[ɲlm&)bA%`5d/HBhqm'B/ī`:% O/q׶E xbgLJ S YWa(5'q<vOg|UgؓØ2~Y7dC.ck aUQ;%fק}[+±*p07J s CdZFЀ{Ҁ neʂͼ@Kq_ c0:Z6B=w=ws=D-k> wmBÍS @C޻&}{ޯ4ï 4L(A&{ Ոj tm)BϽKfnI~tҖ7Dgq SMf4 *NTBbC.sqnѽhNVxܼP٦)e7dl/W,e89*j^ikڦ?xߢ?J$^? g]5 &RoG5LY\Y]5̶|1Ć2¢K-$?QN o*m7BšbYj]GSB[>*k׏έe`W|vv5:/\+)ti@"tS(/)EI\FREGV.MUN6L>. %JA]~k:bs(tg/^ Ԣh5ХÇlT?"0*n4Y^ݖX;Б g7nov:7+懶4+Ci^X}Bg N`L_{ᳺlNlbg]5.&¶jݣ0C{)*_n'=}z^~rq8(LglX{WJ,,~iFLdoG072ְzdx%g|$\O;أ0e/z"cwடP{OBx~͐ q*a H]W V7=!d,% /e/YI𵆵ɮэXqʡ˖) ^ªp|$S 1x#\hF% t $:hHnZ|aH5(}q׫aocVkYG`G{͵%(sG)iP IJV6 9]rEË@?{fLꁽX@1πי Q m*D6v}!Qm_ ao5<{L/DOMh 1[p8`+-ߵ c7,"j]54[&/j;"V.(`>$|ÙWV–e͔pJbXQ>_7F M^<w]3ik&̈́ Tz)q"USf'>ơS2lb!%-zny4 Q_ >{Wwx4y@bʸ7 o"03Ϧ_tY+z乏H,d)_vݹ Mt3+͕DnP ypΪWͣjj 섄oJzy/2n\3C͹ÃzĴQqEG(,Qxg:<&w;&5f:z=F|3XE$αW.U_*wT| Q ,AKaˠ+138B]zR׍#vju5[$gqIjMneT*H0XmgQ.(Migmc$YhkUip=!r!:-?q;.Sm>WvAQ1<OXΡɷźD.=(0ʧs.46wZkIɉɴ >3n1v$LqrdXReG3%C{rbJ ^$7 rh l0qE,OZ=|7"@z7KuR^fMxGZ}:ף}ZrZwoaS`I_A}SE4PY! ŶKc (P}@]Gt)k =ONYF~L;m[I}7HTI9ht;ҍ@:E*/uqҚ}4*lݚdhiOP* ~Q*!651Uhq9bNblپg`-I@SF0KRBay-ErTĺI?'1ek,?yj>9z~?[!<6 %E(iH zMg [s􈣢ٕUK$mRA2jZr;_L^5Yŷcp]R[n4h|0N:o֏a7]K+8)cCMz8{OS\ Q[jyUylN(0#C"[oP /@!/02? h-T2@T dްZ?&Y!rKþ&^ GIҧ,71V 4Zo;:,!頡.kN#ۄdyNd"b[J oMB)${ ;V2Ԁ/l ۪OSɍh%=)4WWF4b%3H*u׮( 雅:BK aphc!z$4'mww2*2k&+qat1cz˙BT>Kd#*Dp.KM5ҥ`WcMͥF4@ _ShYvCX:;#Zk0d8qEܛMT¸6MY:,_p_0)/uh__pK.ecDj%i'H;11xI }F2-l~-'KR^2n <+M̐^M>9<, xbq:sr3;{K؁ azPW>0?lٗzS/Ġxu~ DVveNF%lmwӇX"܌_7cxud~)H07t#@CKƞaU!S˲cZjw,R-ip\}l;VSP{tz9P')3Q+v,zE`{-Ҋ ʱƼq*%@Mj{ag!.A3+b2*=}t#p[7zRL[h0*@CY⃋8lq؛UL LAJӥ,71j0y,^fn4pllֵgA8-Tm*ޣ;wz [\Mɩ׶^0N9]ռ^Z«is8 c @=o@/1u>QL"krxWrAEg0!'sHW~Pu#dLNeJdSyϗ!uJe)~a|9uQ.O1n8|oZk6Ql2Cr;;5ڇoLDGQ]ݓ4rN]Cg rPA+.|磃<Mdu]|Mnw,2z9 뛠ĤʔldFuXᅝ;@ Lrq恠 wԂd^,:*zV`0Ф#4?(> B  ?,w;i~jaj'vsX:|]=w0Y<c2vY>lXO4cG&7:a ɯ~q0^E]ǯM6E(WA9>z_W[o"`] +]MF =5ăY;yH?mx9)'@A*c 뉽#-1ݵG~Iپ 6? ? '&bvT{;9XlgUiw{4%P̭)fu TZIaֹ~ߍeK)_p|8w2ʖ <7 cw#v׾/r6n1 k7xAی5|A^iuaq0ڥ Rz)S}d-Fڠ3J@=n\[+ݢ&o't3"X(ja}*:cj7.< "~KL1v4QRW9m*U,gbw 6끥 M_<0t Rq'XgIPDz]Lwmѐz&>Q琦agv\X4^)odƏKh8 E\!$ف$)y6OZÊmwAfn=ze} e(1݀0ۙeYuU4%s-?|%.|y{" Zd -H[݀f{ԝw*hWs3[*;pfom܃iIq ĵFREG^V рT*,Y={LuX"Q5pI:<˕(KݺlrٷsJE wZ"!C]G{ ,ִ,Fi\STKibhcJNwDҝF#SX2 3zw\;y]Q@nH5qQ:V )E:1~`b=r9AjM$sGK|TPG4wߍa8+[M m*ܢ8.R{s,sXtc ;N]|sYgw"z3^N;`Ն4L0UT ^7tSrg)^1?*| (/ûE[YQF8\sBXPB]1{ynϻg2Cw`[g\HhB"q]F֥U:69S_\sPTu$)6JDGDMׯyS>]5.2б8Ֆw-9{鼺1jiGLüV=aݵAAt;-z.2,=CQmugNg֟y."GkPr͒ HI9 )]aNLLDRsl;]`7KN/zPp=VTt_aM_GicF(o3 J% `ǟ N:a[N Lwp(M0ẋ_}uu3 0Y%<]!:-f@rk2(f^7PM KpZ1͟/;D^pnAu] ;]85{1K%͈*z8lŌ :RkMS7a({(xE3D jHɟK|:i h;O>)f*tz)b5k ~cNz0tHh zLJ [_h"8FU!y|@; GO{v.ˤ,y S;bJ\ owpzn4 `T?9cVB,ilt͵@}ll.l òxnJno8Fa`A]ʮ#z?R>q,cPWT'ٍ>24$6/zź>5b??&S-LgWEa> 0Dy 3'op81 RZ Jp*{D!\J\ U [mA%( rЌt"]ه6Nb9nʓ:UMu\A `ꂮtA'Ô৊z!֨vq-<']'~[ qӧ4BGQ{a k fi"|a'SArUjbR}8-0g-uBיW|`GNW8, *ԖO׺: kp& + >ߟ#Ds:{hzuy# /SҺv![*AᶽBȡ뾉{9|euA Isj95R2r=uO*|9, ƭ ʁR?[/d=:%$̓VT\㔥e0Wc'rm. V+3A‚,kuu;v;g=QWI͵i++/ԙld}bXqLh\ TQ21[Uvy)8zI+HTy94WM G): o sG^i}1e(oYRmqg]T0Tq"$UOa>bDP2A_LX8*SS0&s|qT˗ ű^^j}@o׼ 4IP4v@ӗt>/m̎L+ 1dTH(Xp>oy~ CFaC#Šn2/W&lRHnJdՆ" _z;U$ma6GV31;B8g#F7oT©&=1k[&wA~R"g4z4Yu_gT:QM 6"Z A6_! "S@(=Z U _Kdw yVb${#TͿdѾhk8}a#>z7[5|?Zp}a&mz[+>Ďd-F-ójx5^J?;-av J+(Rﴫ&YlY,1#<BI7.FۗͶj~ӣm.vcB̘QMIg_u'fTH`}yMk6Dp]]W5Nc)jLF->U:%ِ~Hks6!¶/{' W?~`]$V$r.tuS9@!h{^/S5A]z1%wKT;iH@wq_zS~! 6C i_@1X ksgx)=F%}(Id[ۊq!"L'6I4[j`M<jS|o9EW 78`K$1:˱ )]O:u_XO'wF蛾+rJ# H(꣣nrd~ it13w=H>){D RUpZ9j=\sCJ:d1_unƏmr#|Er~P3o!z(_ZI.۸[!T$|!Ԛׯ* +˃ɞ>ƽ¶TÚibM FaU2u=|V>P#-]B2!{.Quj'#C$~fPY{weIY)@waLOH|̖N&1:=YJ|dNSηE%gsk7q/ɈuABY#Ԍl!?FncHWZ9$x]u<{6,zxn Ɗ%=ƣ[啁.7)+XvlW!O 94Rem&,f_`HL` eKLP ]_ <ံFR ǸE(`~1Cϗ |[⏱֪ew<0C hug#Ǜ{)HLlXޢt-'n(F6b{i`lb(a Ac 0Qi|DO|9G "odEq `JV } _1GjD@DT5Oݙ1g.]'P*s DVs/6_a"%7[@GE,-bY:3; XoXKZ{2!ndq 7ɋ6~it?o|u-5e0enI/G)~ewκLʹ,wisj7@'Ze!d:E ̳dAb9?VT * 33P;i T0_RWF(> 2ST!8AuЀ汗iPMLu ; pO]_5e]wyԵyQm.xokNp$B|3. HG/$ 0M$|=WS<ŐR3a:*"=D&IR6NRBFo}3:Ӷ`%E[EV'j*hBFDfVVwJ%aM!Ԥ;*P{VU,߾O܀󞺫Ǭq$|^OӬXD o|k[=vH{QvȈd)+AMɸM@2'RqZiDIzbT96k;YUsF?|~l65ML;{Z'w$0fnl-MuebfeAC3t]g|qÖ+ITBouB,;NR=oL+ÍK-b6gM]bVi,!oT|f.ooW&nI^$)ՎOud45刴!|rwrt/m Xn48T(qHW|ue{d'>l6+T:yǵmy q3Zҗs(9%`~Ԇ ض$lͤ+kiiLS7vId 9i88h$8dC W8fHG9|\P` @?ϴodӓ[^ay&}|fS,1LR̲ 'Dlpi@`hjV0驸i xNY ZrU\gbpG7E'rvX$*"CDM u\Q/@ @htQ~x%dRegi(;;.g_e]M,|@jBMj#hG|Nt^ch!>b̺J]?R8D>/zX"A6pEp;;AԔΐɣWXpWe|JZ&O_ޮrgv~Gtšq%ϦZ&JErÇR񸚆!\佧&='bqƭsq{Fm+UǏ!ٙ&v= cf|R#JlŀhA/z z1{% N/ޏ MLjXT{hcыcK1h5&19\A|Oּ"J/qK3oF=0 /\Sl%YKy.O m~lx# 3d=kDG)Fm#m` Y,V~M8ORubq~ dJ`m\r+ej[@@|slKUq0["H 4AטM=RܑG(@5!nNwFg@b3VjYlARҢwNַq*NEnrG}D]˰T,WO|]je0yMB *TԖh=XYgs(߀7&]BWFDBb@\xYA )R<[3}kmQp/Q׌쭺\XJ \ȵCJspFΪwOAؽ {V=F3||׾ 5|3N%x;Ȩ5'M%wmx:yc~< DpwB3͹ZDWOIpőoLW d>Jv Ov;qZ=ĠS(dZڣ 2zϪx/6>.Nv1UJ``yn՝Nd A'䠴9(U'wM bq)x.Mq2˶UrADkH =[yIÚL&=y[Q:7 k~FtS5`vfu:u)VWMN :~ To-r!@*ww5A Y )(d~|\=z{OpG\r0hUW{XDȞHYE@ [k/P\8T|1&$)m}oV P փ^B-؋7MOSU/ImNN(Ux+&!H43\6i8UQdZA' yg~X,!纡cS@wii(?pTW< e=.ּU*=OӮ)Xi葠y[2Og1/ oׂO!j8i TtcZQOB~=nBͮŊ2ђF"D{l,jY-Ӎ~!in'hRbS.*B췩mĸ(1">,i96 3rk7io=R߈ #Q1쥕4Hr,˺A&Sxdah drAaUՋH P Ʒ$!9֐)+>M:[^h DՊj.: 0 ?8"m S/-ӉI⎶v+h~_fa1`إEcm&9f`qt>Fo$XX ia$%Kg.L^F ÄKPT/7[,p[4DyKJދOTmlfQ\K;:ZSe| 7Kwbbÿ@\Tjd֝ PطB2*#>1PCg*<(YAF19B?w|M`<&bF*=qTDP|"qQ&XmTǣK#ޑn C$&qC͝ jZ2Q_u$4O5rRA eOM2#v}mXonQ/>A5#r^ChFV;—Is8>qZkn_X,\q+.gS6v|a/Gu`" j$˺ޜb꽑YjK4ki?ak9Q-;~DBRwezji;Ȩ?5[6"0:]uԦ[B^ +bgZU4FV |NQX*ā{?FCGQ}þMrd-1N\ ;H U^xQDJBVc;݈mӺS9]7~5Y?pCm 2CS{e$XJBHf=w"c  "z # as{U(W<>3b҃R1Y<>fKO Q`b0i=TB䃏u[y31]z4n@4FsެBRwԢ)I#{݊O&=^рP "n'K2ֵ=O Hφ;|o6ig7苖h5u82~ Aֳ4 ɾL3,"q8geyU7/osk`! A6 a/k D {=y hMKBc8k]H{I֗dL2RU$&2kMz{^P>9DP+nLK9dow]m6sRj PPhl3'UӦ.!՟_,5.鿚}Y%WXݸFGT} JGNȘK63gl<$P}K!H݀~ػceTk!fW̷VS_‘KMCVu;*Y Pj8<H=EotWb3h#iZYNX<3bvB}Hz<6qckn#[}[3Q8lmܢnq1ZJS=Mf=(=ajڜW㶔%8 m6%T'"MfmV63.MN?45,m쯟X9FypjJ}Q:ɇ,zg%); " Ą C(c/n7{]1,V-Eml7{a=Ό*%Ҭiufݍqc w_$<H؊D%K9 1+?lm[X70fЉONH-?hdN !MN}S#],OT|s-G*] &LXc7XA-L#9KRTzzV_N;xa>4_O snͻ.EȲ6?^f|$ SqS<.18JK,xdI~{Fj ͨ10E27*~̾c}/!;nI[:`m9W͗+5UǃuOėξ1D>n7y6py'vָN:OVvv$oP;q!Ћ&{W[t](3h!޹쐉1O>KjYXOY)mn)&u ~_PG$ŝ 4wLVbɋ yf۪HtO]7`5(lˋW LH}7twp /\z}[_.鳻Sh6/|HϿeϯV_)sh+.kFNUO#V;v IqVx=4F4fuS@޳)A%~Eo;S+.X&t:e@XDp>Y< N򣫷|Bx70s\;lUed0c˻ִR(FW# Bh{! %ȱ@?64ByĮJ{;U{JG?:ַ93 èi EWV;{ )ڭ)jt8" X>OUqQ?j (R3իF20H5frJ# O C[;8(!''gp#S-(Hǖ\|'@;Rt?!\1Bj^&HxǐQ,|\y;([P_դk'mq/|MK:eWP6ߟe&/M*A:1ԵE ܽ!uG(*k39਱ rWN(Ϝ"P>Kω8R`Uhpj\:\S%D%)1XF%yB>n \OL=>OYaKS) \h2?O]K-nM s̹"E3!f"@LeN+,2*?cDxD hql~]RVls3"%w/*J'cn&+b/A~[×N3ljϸ]J$[H#U,#NHLJCPб-[|V& #BUG9T6d\8@*w#Av_d:͖#X.63EMgC0(9pҷ]oh"Y8iDGPl}RtC$kI`V/s#E}A j/,!- ?#& +Ϙ.[sv}f I[}3kx'WI\X-G^;)  (jGaYGiyJ!PŴo]O{IVc$ҕg3i`ze}#*1 IމbݻPcGdIf}0eŬ V- ኆY/6vX%#0c{ ["}:6}Veؿmmm@BmK,s%MrzyI2n+a2*Sb"%و*gLk"sg BTv%. TZ@j&MЍx\r9?買28ys0wݜI}ԙp_'zB"Q1b\'#<<ǀ xCcu9_b,!hcIuk}~,<4ǰ 9D,/3/&g7eޕ FnZ-^ 'e#XW^M:&\4X ꎂ/}&Wp U+`$||`>*'l 0=)h9-UjdwPo">}( 53t^-olnAi  %6m%nBqZCVקR0R ?\q2yU?{idS3Ǻb‘MmiΞm'~=1/;E}ĝ\}z,tMSbNO(1t%GS'E<)2%{r6P$d>p Y!b*]sr]L=f B#J^<%&Ÿ|H 4I4fm*oYsf$[RsZ_P89*V]3׍3 ~A2`h[<6H@K' +/"U/+zWMot\x ~uݑ*A" 遐Mp `  m-6w3hq&4 : *^cbiJj'yجKApۼdcRկg׳(GԌo] XQ+w]CX:h@y.R32|@j$ ~u<`Trau!|tvv:՛;΅ ԑ 6,*%z΅mnl#k>/?'-Kٺ250`8si`ԛӾ1c~+%kx- @QoK~4ueFT?n獢 [+AhN,y]Nڲ_)9!{s pQcdEHhrXLt4Vv<7#LBJt}@nP-<'L5^2oCw!Oi ( Gdqsp` sIlś/ఒ" `TƖ4\ǵѳ)Sm_ 1ٺMe 4~\'Adؐ6#:Tx=v6 ~ޖI se>!}:==SV7\G6- a1|}\kC- #Q$oAI ,T6xa?794I?~Ƭ8礜9EAy :Y]ژ&?|K8.__`bLqi]mTvt,jf`P }ɷp>doP5]t a$F&ј~Vv+G㜡|} 6" ǘOsQք:s#zlXCĩĵ XxJ`zBE[}SQXF[WԞICi`X'"a7(oZ'pgj2`JEq}actJ=k6$LƷxbxK/uL:ЪK|EhD| S[a+&};q=~ELe?8Nc gf=EVbIdEo !ؚj[`7l;17c;g.C"x*7#sgOğ'sKTfl6xV rh5T;hX[I.jv x6s tEɠ~Uf9G2vc('*YLn 2 ӗ7|ϔ3//Ѹ+e/$35%òʵ*gYZc9a9fc34d18efb66a0d193000185963519ce865595c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97 811832a6b2c59f06298f225b4af9a73f6d01f3c4