SQLite format 3@  . YYQ77Atableisabelle_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, "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  !l ]]]HOL-Proofs:threads=6elapsed=588.297cpu=1394.720gc=213.316factor=2.377zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbƳup{5>3)M I#PpYJ-0C4sK\E<}D`<} XLǫ#"-?`C݄<3 2ϋI<wO7\\,g<'nRI%ZbE 0vmV@b{ "WB T$άt:K2ƘYCZ{Rlt,hmvr$Zl_R| Wh>~yxNr#d`4GVnŜf"ݎK"gӞzW~oxTv.6_0Eaņ沫o=؝67Ii-5BzdyB SygkoF6NN|[Ui7@fgbU k=?}iy~1kAi(XBoR y'HMa/eHƄrQCюS S2$2EUk`b쌪ވ%ز)V]H  6x-rϦzW0^<;»KR…:$5}#3zc3 TS⪐V.(|#!wD|+' <>TE?'b*mOt|l1P^2f G ,gqp d%\OI*қHcv}iVg+|㋖Lyҟ߻Tk(3cزa ^~dz0`U$bV&ѓt[8o(`}3[yS e-Dې+n-[ҧYP i7rW4SU1C.0fk~o,ڸǗ؋O&!-XZB ΂Zk21QV[G%g h0'ȮJ]}$`iunEo?K`W^[xd+/~9Td],('[;EvM~t1Yql_r5^6bi;^d?tcm'r]nnG F j踀kvyʔbЍtY, '~N6JwoZ}D {o6 nbbl_[>gdZ夡H lʍ;R^"2T[BM8#~tw<ڱ=^)zX0Κ3aoLBsn3+=#YM>{L],i KvnmL (%U9D3rI 3: j+ 1 չfͨf wePjV(ŕ$A.#[f$ɪ5fuyjcwf?mqR+2s"BQ>yìe&g[*-*cc;lXv`T؂[Y a 3G%l˹3\\*AsHtB5BDJŋ-b*6L[os3* ={ =}'SU>᩺v ۴u@-&k|qpP,/ef=Fnvz@j6 ob9tTr~3Oe8޾+}NgfCG  ! HOL-ProofsoNӧ0fۗAaʼ ?g`5;Ȯ̓}(;@f6R:Ef?혓m+2*<\0qUo0Q|%^tR҄`n\VFiu ډDnKAC'ᾷV$zݒF[kQi8'CaķB*L6f)3 .Nat=L{yJ]wxpF'Mh(bkez820"u͸YEW.-ӧIS -,a DO543 ROJ`qfqEiͅQyWqMEJJPUmYoiDD,;Suef}X=SjFQEwٓҨ 6)OH%XיB%3")[`Ed>.Fem[_֕uXg!Z,M)ACJD>B&Ra4CB/B1@bʟ 譶:%Yϭ1ȧ_@8Qw*YHDTGrS?5l'' M) koCv*Ow:-jWcɂ$8  䴳;Wx|Xeba`Jlr-C`8~^N~VӉX\H 6s|1b3޷vzi`jz歇y&d*V>?5~̂kt߿L7%w8KV=z4I03T 2,AehyjBOHB=.v+-c"Oƾj`e9<rx Ǘϯq#F3.O:U7/eR܍Np. [aC8ll _H\?IYXFC2sV|lH䉣@\Nx# ?[N[7Y 72~Z5縹)e? #/i߆ax%tS6<ȅ ۀC1ٝ.ū,; RP%J.* KЋ BY؝ʤ/(&z^<)>iK4tw!@}0\Лr8EX\ ֫[@.=/E\&uϓ눱M ^җNYP37b|GB͝7JxIE.ug)IFZ6Ҟ(}[gf HEVA) A#ee(!/iTm]2Zv|Tn\x܆^^,hH wubnJ q)ֵC/&p~&]V8T)8q4hp[d+~6+&ÙXx]E Oyyr+ql-]vO-%+vRLQ!(s$GP%V[0ꎅ/N78o wj5tlE|;OrV-HJBI[/*֦-π HCWשm춶/{UzPYpr/ͦKMTP Z0j#k^DZ=A7eIKLNG&EGhfʭ&3B/:Ws<>.|?Sq ~'@#MOy/czSFhA=&8d8qP0 BTV*1n{5֩+ @漊??o2`?dW[>vCr.€tLz+Vz:"XslKqGMrz*TnleP J-gJ}Q{Y$ǹgނT! ]-//=7 !NZ6jh&>Tˋ )"(4Xi=Tvn^M:o+Ar)Y% t5B:"!I'3-tVLOCZ/% "Q>?Nzl<6jͮIm簀Gg&J mgY k@]{£;bݢzn :Rdy!dȑa X/t.cQr *h?oH'|/zr@=Z[aͨ>xd!ҢU#60vŝ xs+-˼oV9S#Xak Q\ߔDH`~`vEx. >؍ͻC}|r`jlod!۴B?-8P l3d(YR? S{aK$N̳!U5x4; 9I=\G d\UˀxI'ېŢY||9x?5J#@dH| M:A' 2RڱgYZ7zXZִF! 鱭n]ŗXi%6K6<Nܽ޲wyy<]leu"T.2IZ@2)Byǣgs%tBz8}epV+k,]5C8$_9_N_)K6A!R˗|2ν #twdX|۔?n|*{{2ۥG3Ӻǣ 2Σ;Zh׍Sڷb+۩JzE2e\|[65J50ƎWftgGfC%~BlDsITSI-8ocoY#42F![b!e0 MFte=jB j5" 9H%=e)jܱ]I m xHڤwׂPfH(!\'miRF)7 iWV#*iPnP?[fBwR`k c vOSiMEA i#ߊ^/QJ"R m=q2S<[6;@)L\gߏ+evxYq}7 v@(0 q'8mĈwzL' h ¦n.Y-)b %8{T" x+kaGW\S~ m|qMq+-)O黉Џ Wj|-]Q&ScScFJPM P'ѭg=EOs^Gw w++9N DbsrG#qO\ޝ55R-'TF[+`xL[.l.nFpv #|ɖrߛ,K}rEV೸X&Zmc[-6XHP9bAOc'\--NtIR?|dDERІ1L,ژG쒄щ=DDg-,Ш}ۈ~Xr4L|7ȝZQS ZE')EP{r9!(fn{ߺ+cҔ+ H@+BhjWawzXm']ZW4=DHIwKI%ơS5Vv47гAO<5% ʍLK\#q[$h5V{'z)W8q*6 c dBjlS╬ ٦6lqYlLj3kaM!/Ĵ& &xalSq/{Z(!/_--e+hX|ncAMV(ZZAךĹ_ S5C\P*A:;y;&itTB<_}9|~ՏG2͐0Du%Q>跲y׉ǧR'tóm}E|=fRZDgR/u| 5" Ci Rn8S*8j(Z{-Piɴ$MPug|דig_TԵ+%h&C x)J5$F3C5!-2]c^ bR>*v8dL/et}ӼmuAB3fkގ0;z$P(^ L0=0i y52[+0#"z7q %2l|xk Ytٻ"`0VѝTm&ܮ13 Ψd/&g wU?d@u ˏ윦QV$ə=f NܾnÓʢdCE X(SQhCM'45F_#w 9 YUi45վX!`9q͂ᆰf8VfivSYfrSԪ:!81BNfH2ER_Yjڴ@](#B#:7II;~!pU?Li͹Y`r vϥjƑf%~[3ǡ8<;).IJJRHQ১7s)%LV;!.ݦe2B/_d)e|K+"c$5~$)Z^%6}RwA1f{Y`3.,MUVL,4Ϭ\jJykS.l+Zk0%,0%Do"ˌǟGЄ\(x;(.>O).RhijGX1*LYW~isĜNG(Yd e'N{ Q),6㢯ΖZ!jpbЪY/UyGH;f>IR`&˃JΡ3HA+^\乮ghyw[?JP <|j /Zϟq) |t'aF]$2SC H}QBsMP1eKExܿxo+I[>3 %G0XGf;䖁;aYV(>PṫOͭatB@ ?K3Nit}^85\8Ӡ/sfZO"O_E73NP)%@fD@m`4wD*SKb (b}JE6 KMn5[1L$Ep$+AJv+\/VY9JOu (,O/ )7Li)3aX!l}+ܶ ,ų,ēd"5~6gT:2Wn _M9D/P]8Bmy "NC+8|P׳Rү+Ҵe);7c9fW=Z2/?sَk7I:k=inߒ,xabUǢu:͌Y?xʯGXfQ䞹c -\2>M$sFgX"a <.Ȝ,vA}6prBg Bfw%XPK,WJo\U"Ƙm<( >h9^IE~e[ /JAg,rNB֟Z.ᔂ:=X]q(e`1`&bDCx1'/> wg-k ZF6=?uж XV?4WVhA~yE`f$!\I4ǘEvAB]au3$9oȁ@/(˧Q_q)Ώ']ŊNX {3U?k*yhGw~LGi΅λY[;dې*'1l~=rQ!C"ßJ 6LBі2&Yљ"ͤ6·k+OgןQGVvKJ2IDWTyV048=>=HOw,g :*d6^d.F_\{c3d17@dB^/gQ$( M<"梉S/ͭ3I?FF7 eU7,^=៱oBa~"VʈP_JeE&YOCX_WAIK}sPpc)15 0F$!^Ԫ+wnDz](0<$.a4?iN2O[3BpFC%5/%ݣ~bߗKW/89L oGs:T$x'nѧn{i'Kn2$/did/_78ҦM.΂XӾK+ڠ{ķH8ÈԻjdD=SY#-T{ D!*hO/j6g,$圲R%>*iׅB#{]$pyQyY/w\oc2 h@g*YAwW2ijA?]=_({}<%"kwWl؏q>K@y䦍 Z|&5gKm:~;۫ycijA FMto[™N&9 0/͠Ǥ) 05*EBR;]h !&Y5'~T%mca%H [Cײ;sN֗jKa,uB8SـCAxC)A5 2֌K-wR"Qg:GDl>-[Mk}nj+ϖ[ؙ D,7:i /(xuhk̞tl4(y`Q5N zHҍlMzf Gk]^~ ?I_EUo|t yEea߈7#*K|!%&*ՑZɓI5(*˔LYR*xjQ8H;% i8^bB>ffX5jVR4uuT}> (hϘS',J`ь]5? Nh/Kyoҗfxg"ji%d׍nEƗ#*38-%VbZp#s5y. \2VNmRtbULC܏kG͙ߵA{HO#' x?k@ A!.%V4xC.dx$?5A_zYN[I|qvRq#A" Q[mvhAuLT 'kǞgz/jvE!U~sЦAe:BC'FLip6(-rj9H6 ]Q*yx+hB37UZŷk$6~LӀYO:3*ÁAD–W> o?c6 2"c|KUZVA?YI%#6˥8ꂚ$\Loq KߢUEtf >:M?$>bwiø\u&ɧ$/66Ϫ7슅f 5Cwvw~?105uMjrT&b@QRbd561{q)zVIN=@3ab-o`V~Dg膙D',]4Prtoj塗tń/o:gȪ4ӫWlPT\[Dz6 Ϩ"1Y%"&7i'*I͑ ,z$ 24j'/ u䬚T=s JF?\սŞil0:}K";'EI~-WI )Q4$MNE{4xi* =hEUr՗+l=F`6b>nJ% N07*@3[N*KvuY>.]'>sXZlauVW{p8{7̓#J=sKߤqN'麀}]k^-b5I-]d )bZdÖI{g.HrA:wI{G|L/nZkfɔa:/+gb{ݩ)ӝPLs9rl9/uYR]fU$_z_{5nQuPx7A.ډ׋<=SQW0 :M¡ɲjErFDaFT5i6 <߀Pkn'V K3^^R({~_ cB}q;7J }1t&ߐ f)6Lw|hcMZ"ߥ p׀gW|C{]; gQd&@,Y%RBϧ]ij 30 }6 $'XI<΂X4nł ;I\qx4äSѩkHQҟO(HWaF{S2T$< Hw~NU"l/nCum&:ѩbĂ`jٝxM^z@|"-5] Gi2{yBz.O[kvP6i ?ԫ(GIxbC~̓%& !3Fy]]q $(ӰNz0:,`G$)"}NFfG~O]erȘ 8*$ᲤW%^ ͠nx c#"!ϡXnn7bb,JHT! O*ex|OcbqҾ-GM@PN y] Q`]E0=S_U0k+bI]bûV) 'Ƹ/0`tsBa-j)6+͛KHoآ`V}+-rg[VI3ARoR :HR,pUҁq[ d_>3h4|<*iR݀1Ua T 6`R k.6Cwp{ړs0t${h!r7 1|ϫxu/w,1D?32; AS AIy9atO fhؑoMJF@i  G︈%?c7pH> [G0%T7A:+χ^)6a+ KVN~ĠצTBn7P>Q?GF QhEWv ._y#1Ͳ}?YQ}w:$i:Q^o @*L@p!r&+˚P`n,FLF)WwDP4%r{ ]΋ ny:@:Ღ^ZuHnͳ,7}%|T-LwX$\_FAA:*V%Ki15;aK5pcx|q&ƜQceeaHPO0JC|}lHSkLmzv9 ⧘RD@ s% |ExӺ, ֊̘u%Tq#;5%}Mx)Tz`73.ز7ΨlKd qZ~{ݝX߯7b[`3 ۔Z*,:3Gg׾=JgRhSDPz.R+YKpsm))Cp٫n (]0b Ams d?NhCX* ?=)EuzlԖb ߐ=/ZijLwgT\#n#]eE91y1]1tl7-iqv=|HeU=1C+oA#yӨ^FGhn'$*O@EF?{`IQ-.)u@k`ւNKd7>EPiGȞ\ ~fZ>@A(L[O?y,;ݬix/NK!{CDzc)2h@c3D'_fLףQr09g3L2 Wze`SX78^ب@=ە#ġ =ށ p [6zs,X[-lՅ/ \)|m?&W'#/iaPj]Nθ![dqx'Q^hh"HVc0AԈpx}oFˆ<%B!uL)P! gdM'u=A oMӉ (,E|Kufiz<4Q*fOJmp=3a9;Q=%[*,g$ϑl(C=a /V*VDޓ#~"޳I g AR'^O 9K qǐg&-ܠL<0ZP {X|\ pgGY+Ig+  rSj?؏R5AT|@tnb+6,4!5qr's`d&R{X/n%{G,|#`_z荂˒d6PT!A y9a&p.ƣAi7>z,76e`$nZ  fIř}ZfÄd B\FʁQȿ*RNK 6MlP|u8㸹ĴƕN,b':Y(G #cwK~C*W,N{W5VT!XTĦRv̔j:ê1}F[wME-]t8@f%ïո_Kjg=Y#99Bǜ)|vΞ.9ś/Vs,guhhr@'< lP4ۼبPD =@%wVt@(Z(DYk&&hv>sW9 #N8 h{poII4+}mݼq\E,)RG#B縦IGp>K]GhE;R1DFp ' {8#lg+䤾pmSNy) PtX *2 3 Y=}J,J/hY麉ÊXٔ@^yƚR$@.l_L̓|#S~r,I by;9(J0?r!?VGbH†_xJyp6BQrw7qiְ/LCdS=!_׫|Um25}(=C8Bw]7}"1Rߪvu9`I.:hduhN[Vcn=<ŕ$E:D| .ia8osy}") b]`xw-8ڴd4էVN?۟CX $y^@ޙp+ηr JpWn;O_":ACEQsEtE"=AaI;VCP03畳Df rb8Y bF]t❏mPyvH '2⛰lc6t[վuLrF3l@8RIfzlB{YbP7,(}BCc 5ZJU]2UWǺ;sޕycCO[XwIHuCk8D |.K61 YK8pOLfj]J(Бm H@ǃ=YY1\:>ҧ0>C}&_|lcRݷN[X]$O`kdoBWSS<"dI`hj6HG9"C?|^[#V,,Z>S}תcFT-<,7[=A&M3rmmɶ14?:/[_#Mgk4.Fа yk1pCJճK;G,O37+Un ~DF8Jiw!)BX"dSP D%_?@A}KmPzlz 4(泌,_XoKg}G8 IeDj&|z6!\/c)Or.\> ] =+Ur0{q;j(! &Fm7!2IEyAIl\0ܳmHd*OgU%;Vs`=׶=(kFfxiq a4 mixh9깙 )KCG,yrL [wa%l@b?YBR;G2xTz_FѲE?%^# C?[B6¹K}uð 1׷ ibx* y0blUU׻L fj&—I5VMPD? U|k$f7ݼ9UtW>}.]DlnȂ &?s;]&m7 Y|kFu 5=Xng?^u!:ހ `b]/Q} .ޮB<ٕDںhU`dwWM_6C%[AM6'F?\" &))gڸ9S}`=ՑM`OÔQqOg+D= QOVCCjGc`|TkG+1pߊ->c3jqmT2c˒p%%z!d1ޔ=z`U='[)/Wo?PIIB%HoOl,t&N(^7Zh&@NCTh_V죊Kn=VR|+6ʴXֽmޤ>4I\{}՞yG8DhΉP^czaAXPfˋeS]$WO,>43<2#In464[p3!?-D g/O2N;B~2\19Q=hZ80zy=L~Tٱ_uVG2|XW MZ 5,q[7b~"Pʗ%Sݸ#ǦBP%N e!۵Y>n +//'8jhOUjg xZWgyHO@4*{ٯKLAG7>:@HMޛYK҈|Y07:LɠᏐ"NGJ>lG2dwkUzfVCg#&߭>pEP@nAj<"U=+pbCМbL-cs4cvVjr h rеk3 E U<,`CHd@LG+t׾.EqIP%UKazu@? m.{Vp;IQ[ψŧXqdiUlxŖ)AhʂMW";Nܪ?;O.,ٙY=vc8 aFRfSEɯ:.÷+>dfU &n}]3[/>)z8o7+Z!ǫQ`mTLkU3s&(κ8MF)At {:]#g_$_m5b¨)M~Q%$|] Z}#֋b$Zk+֗ 3emlsy9KK%o65j,WΥ!c]B1~:d:7fmN{qy+[3 QmOYty~ˬۣ]6q2ث fBUis d7~AmtUW6*q3AN+f=gX3FB7~Ga#SR:POiz'd4wG.nM[Ia\5 ջ1!8~\z,Ó+]v@%T DZp&vd($ڙ"őqXGB֧b e4i&.a/341ȚJ\W?ߘ J7Q8ۄv7%t&mjծՊ0![a /KoQqB>i-t;'9-*_k^}Go4dL N 6d~2z7KZsjº1A۞~ѰWX{P^5qPEĕL ٭|&TJlܤ?.|!xItk| pDwd7|kջU#+r|d% qaq+&pUl^5gҊ{(I;8Pa`mY4$EdDvC N"YXHYVϟ7T"WƤ*)vb78z{Q:7_Z1YYN.`HyՎJ߈ "V72A5־` m% I0@0A!Uuᢁv:$`^P[pI}2c{ۡiF0TĔiuN&gz0v~d뽆T+ƞϸm  |' iPXV>{Q^nc}';S6g6!/XJ 8n"o!˱1bQԔ}~_~ YӂnR?v(@)H Gc:AbYȠMYdU|ٚу+RNz _;17cg*"-CP| n'\KB1NvG˞DiFZnGVg+}ϙ-8/ kn8lչ~QO4-Y eJZ juV.z(M!HVD? *';ZY#!scS3 }*3esN4yhj3]oJP\۟qUM/˳ƿ<ë?|6|?&^ёLuM8B`ly{Kce١-)/; f!~؆WL{}Z&/( PǫyJj DF-ƫ[2#d ơIG!˒d^)>v൝/h'dѭJӓJSE35_m'ҩJ*R>M/:,z'J:h-&>SR$N"}N`#C'[ U6t^lBhdžpe-h(FC~Ath͘3P3YBL)J)_5ũH]L?CЫj˂xmB њI;X EWl(! ]k_ Mz ,&#ȝ;[.J>5:bMSK.ع>?ה*4 jV^xwͭR<4[3հ"XTTdXSWWl|'b}h6XыQAs"dd~'W,mD4 @%%.X8tB $+ ]#>=6{/*rL8"J`=>_}Ev|%i?>TgpqyS]'uzX5 UC#$GМMϙuqhLH{f].SL,w= 4H*G,b`Fd`Ѐan'j =lPSB 3* -dIKne$Zԕ*U+x]2yAMj _!yWuJ@X&{N!xr[ A07@U@Rd ] &1|3R/9<*?u<>ܽXghhxё8zȆ!&&f {cI^_w"zZ¹JZ_yT4mB[zwC-IZ]lx"gi6]H9ٔԝi"/\(h;Fnd Z=N7a# >.l~p%5;zfMCDNƻYn/4c6y*J KQt:&h /xoWP6o5M[诵X47>W=V.xA$m  _hKԶn5IqCݨ´DE8rbfսkR565 Y^kTWj O jO8W9bJҳ#qG名ʥyވ#{ $?5;bj\N?33Z N _0p #켦ܠMm6\g ] ƄaT/+6t$۵{X~Bh="Bʹnt'S1XB腯QuZ9Ke }nx>Hz)Q,wdı6e?)w&ׅrC0)~I%9]$K% >dds :IQ;Bqu5Ēƚy@N>9맫^{\*5Ԇ) -cY}];'!Wy1g{t9i/R  8oy .M1yR\s82/^gvVVN5(y{T 72Ơ1 W ~^r#fz>Xs9ٚarwʔUX:HPyZÉk(_} w;ejW_PnQFg!I'f]WwQɘ@AA*!X5BCF3{{#uxXw~ F<ՊRsOLgk1%J N/aJ&b)İ "[>ot^L$<7Un=6*7ˆ\`~uh8YX>W5fBj`u6U}<+1D'^W~ }.(g:.> B{M\ y8w-Χ[^LaQ#@WZbT&Qa:mHNxaz1C斌Qy<03K| JuQ-ucΑ1C̣z:>igܞ &/~dTpisjQ9Vv =}l|>m`IJ Oj,@!jBs89jn/Eh吊d`S_PQryD4ܑ@(| %ûx )6~Y7(`G>q {Bˌ۞t؄W ;wPL|݇Ѕu5h:9Gr%Z?یhϹp3"^P˕G.w2ply֝)2qu0NHvb |֪بqnת$l=PU;T'J#=hLMs>Y l:bєɀ5Aa%ޤA!rE@$,_j?}ʍ*6O+ꕘƭ#H8w4qALƓ>n`nj[?0aȚƞM ҿ Re.GW:X.ϱB*=;*ᦻ~֎K#w|)L X:2\ ۷C(2^PZ#wބUnF**Byi1vbqC%\gT]yˋ&kGVȺ7 8"_"鏊%?uYi[0t<'ޕ}`tRj&{< ֞j*!tAwƘKa\\.#uܕ%|>cR9zogu>JLc SFO}F(rJ ;)?١@ Fe{>R^*K;#:, V %"OzM7)+o(~ZR#?V֝*T$Z]R0'l"ELэY'LR%`EYT @CC.ʝ}!Q8^s!@*y9T'/qgUʅʞ%LՒ1¹o-9V?8^9͍3/R8>2~=@KA7o\֝+K>Ʋ-Q@ Q$cAŇމzx8+TߞM /lV(d?BZB(wӫI2]TQY DP]Ay>I6WʗQyR?"Z:] ɿcO f..<( A&dO`!cXm1ߤ;rUȴh{̸RzDCjB(L/Q<9P >W2]jrx0.mev'Uunpi49*xj"5f-Usbmv2ƺx(rNR`ZPd|l;zh=Sh:ߚWfcV9rôrp])V9A$Ւ͙ 4`f |T3Õ*j /Cg;YvJ*&1.of a=iٮQ=`Ӿ[E(FtV.E!b{_9$-A<w9NN\h aAiPv]cvQ&k'+䱹V4v%v /&rk6hV2E5FMmuכLA0= ^P :na{%81L/Ĭ:9=5mzH3+F7gIjA8*z=.D4?VY>n[K߲d>?,v=O(?FXy-{MDi$ikllcCNۨF>hǾ2I%{ͩ1HAWUG{\ya,s%?"eyAZ 3v=(8Rx8hN3QS'[> 1_z@ uB8VV?d+LQr1цè9QȞ|-hʅ$y˫ɳ$o#֯Լ^{¢pJDO*Rw^yNQ}Żr3~sz%T΁?[q*À4fmIFx2.\%9–]–GyJϪ.^&\Z+͗ 6M|*N_6n]7:lc\x T@۽ Aہ\i oN8iZӇIyx6WaK`>ñO5ZOM m,NBFWguJ>{gFM=DU=fd^ay Q!^v3{rjS(M^_.av}Jg%L0ƒiXsR\~N63 FpaLWK$ξ>lڌMȰqF`+DυnoϭO(`} 3Ke]у_іl9byaNh00_Mw7dt)=d!И`RwA>0_KtGDi-sL@ WTΙPd ya #zfvx 4uOQm&zwKJm %oǴ0[ߵ_i5'U)){+oek LSG^X.E\ _͝~L^&̽8MBR](?O%_t]^l-޹TXPdx %$0|E%ϖX_C:ف2ʹPQgl?Ohy- Ig@ui [0CbJ,$R);4.}h.HrkXe}>=7r*fTɵ"8 ~YRxW|6_-p=+1jEJ$Wqe6k(OQv|W`^9]+G>wabcnGx5\C=^&jx!s?Lh[LF.}sЛG)ԠU-u:@ }ݶY˶` 0M E8uN]Ի{x'- \ͮdj='KK8 ;Rc j z@;fK<~h'7R()M śtac^maMr&v M D3_9@c>nbI)hbn x1@**9K _ۊf.FJxr`1r5?J74- k쩍TmDbu7MFԦ,jr$cc7!TD+i}\r78-:b u Y~gp'/DxMP-6g=~]jDyn-A*n< W3׳~A]-im.+fRAbbI^d9V RY835<(sѓpޟQ)_}`Hzhӌ|^< :L $X~dSP2pN0׏I$ ?Kmij2=I([4jC'B@GJCFtsC0NvͮK2ظ%U3-=5f0C?Z-P %vQhgy3ZtNd˜"D"R\7-LfQxA!yq+2=^:0(_\p?VE4Ĺ շM*vMUJcS\ xNK8@doa.E5s Pk {ӽA];FxS;3?=,ϨKkab"^䶄.Cԓ)xxj\0'xTrtZqc!Fr*ʚbSYbzNÌɍ_{zMJY 12 s8b=.;]SZ!&s-y4)T݊c4k'y]Jtƾ ~q.g/q$B&M)0|۩c;bS(Iᵛ777ÎF ʵ*-\zH? 8+ɈJX?N0;lh>}q$Z,H γm(]=  xho.@v#|-yX8O~ՠ}+$= eTcIb7T&ѮFb@(pGߘN_gK."fv#j pv\CgM2 $wvu? 7+ ^,xtwYB~twC +7'9z_vH[," ϻcnM!-P#i?B+)_ZN:u@xDCz,j@G\]1ZZ?_%{Tb${I{ǂu~H)c|›fِ]唾FB}qcJG=k1ʞfu'h_+Tټ-Mȉ >y7\!"dz`Dv>%5EGQar=&\k\Uo0Zy/!~B,EY=O&qjWD_"ݯxvZe=yLT-,!"eqR{3&GɧU?^W .'?Kc-$D@/L(iQ~`X"30u.Yp(||-őWOr) a7{YzaL4W)w-3diī''tv=#n P}qkBL}]>hBN!Ǭ$x<%OS/|Z^Uy"G2ߖ= 8-J>Rk`|Ɨɔ['u-M$w[FO3!aG&=9_0xw^S3!\62L'} +`' g\DvOx3GXwU7q}v ^cRQtu*Z3Ry W u ;:5Ion$2>zwRK>/ϻ#gڧ3:[!A2^++Z88eN=jR\yoo ӕ}WQ 1tyX"/x5_K] P$`[.q6:RjXYqpb\#K%RGn!Տ Ԫ.>Ȥ[{ X#^Sw)# *mBLRh\*d_3)W.N.4? T֊ۇGΐ<(X# Y>Kp#HU evY}~(ix9{ǕmMUh⮬,&ekIKN}Ny?Wu+LNn(|-P޲ }h/EU#1X4B+PzյMJN'"4ѢIOE[C7ŲaPy`=Sڐ@$G'`T15& h}1cTw&W*35 kS*M*rǙCkrF u]\=iϭyiF=8:`1(qtzkT(0EsЌQ_9="rq|'њ͔j#5&m0v2;O2 > ]a̍4W{R R~:!U.Å{4-I;Jo^pFֿ$+pޚ󕱥 b5A W5:ZCm%zaX_> D'W|QUX\b"*ߡA9 &HgYZcc4def5038278b557b0e0605d8b5ba1fa08cdb7fb32ac976cdb9d7611cecd21164b5d37d166a70f25e83fe6e69c504006bd4c2a666af1f468dfe15cf