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   O#L4 oS]HRB-Slicing:threads=2elapsed=497.663cpu=904.028gc=23.844factor=1.827zXZִF! A` ]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺm7w։s7GyapR^-~S=i-dYDVՅı>-KS:ZK[7߸BChVeQK,qDd5:Hd[K֧2Lbl 7lWUϢo垚W 6(#gqrF@5O"P%W?3&RܳAvMlm@ /;\tĽ*!`PVh4Y~g+{`yΘwY$tBk5g_`Lt$_YXBl-%ch,x!JmSӈ)$`G9_^ x^97rkT4ҫ@hZelmuF߮$JNC14e|S4RW4L][6|e3M["C.瀺)y%Pon2(5JI"@)h6ոF~5.&,d|щ5}jbS6Ȳ'SQp y{Z*dGxN^|'(rsȺjt]Y'bm ITwgsi^Us^f)U $pfV5E3ߛOI ""iTq9R{a M梨4B %aEX ])Lf\Jƕ' ?fs<60Bgg߳=H_[īѥ;cjG.icU Ȱ`sT׌<ڑΦKXϏ8GDd$Hl+>8guZ5]u_0.1,zr.a8H_M\YO\ŏgQAmҒ*wⲦ)6+EA襏u,S8G(oO3a% e{fX He2߈%X}Z8 łb$`%g[O_L}9YVR* rva3S"QM)݈sWHa1k|$X? rT~UЋW88y3b;yPЙ.SnwhU|ic>EﳆpDWp*1Q^5hE4 z'HJ)e S/ T-!j[xf#P4xe]? .7zǿbHTs R> jgH֊*nZHʑJQ썻$ʹPÉY"Rrr"di꘭z5>9p&F>5$͜⏰cYuM#ghc:`DvkNwU0 M{˛ĝNb#*fnp>bEVLK#*ma ^ Ij9X 1bjbm}֧dPkE'0=0GOt+_r(\.sqeHVZ' g mɉbJXz?Z`IR a$<U598[M08iKK yivZ}IJa>ЛH;EH[F /hp+j-b;/Y)@.R;g˱LUH"VynM431)B״ ZfmLqr8;n&Ɉ(^enᷣl%A`*l&&za<Qփɬ5ѩN'VIb} (}'P .@<\S$|_ # HRB-Slicing+VޡUEjك hrPޔAFlm#zbq m>*|G+ ÞUu/nO\ҡm{=~`JObPa9P^3p:i gu7Y\fzݿG\2VbBrK3R><`hH[cۋ 4eߋp!rv@eW:l5@>t^ _u|[SKorʉLY4DCVh5ڒm~Ex+UO~>${g};B-h:Ծ_/AdCC\96:o'kl"KoQxyAɅ34qY>ŖGT8M^C_8Y|[༯,dcw\Jn= Zb٫XdJB*5=4շW;In) ׍DR#=/s\Gn<;p#WNnbr\ue ձ$9 ˃3!`"KwK]y6'okK/?zfBzn/{e*z-`v2@E@8/eWjI ɤW=:)wSe xIplt ''ʩx[ uZ4%†J7`$ s|Ϻ,ӳ~\f? h |<#)H/ NI;3T)ĤdǸE)B?~l<-eNYoz5p|O Q!pvTWUEh9ɫO`itM>gCv˨(R+3[0V ퟞWk8zFOL;6Ƞf@@|hH{KNgv.`7뻔0 {}z)6`80b_Cap.8aD`;Ю(: RGlt(vD E P.`Η̇N^b;8IXzJJ}0?V_Ҡ]-56x 4?ybO!Fҿo{vL'gw߲X+'BGU[RWi)eT}2Xj7JwM_NM9K8k͝x *` 4=zHqpS)f4tEFgTHů! sETP:X7T0VWq=2@|Xc[R&>Ic'1dzۚ䊖9DU09_h23nc[44HEoVcu( >?3~i&d3bk鷳 Լ> z(_4^8gZJgYyÌlna%9ܟw'ٞ-pak/35Eg8H MɲZ$5C-O0J|Wժ'ό`s(iS{Kʥ5$5"Q[DTfʢHK#0-SUep|3K 8"# c{\u]u"𨉫~f3nJyp$׌q? 3 =+PO04>a%@⼘$^\wbK*}u :o$*B#~_5)w~꿫fu"U,hdWHs ImuX:`.Jea]:еTh٢.5y}wƷpsܡbMfd?戹6w.bFkB N !x$lJ8\Q:AWV1]DEG 1eV%;V_tw$\ cM匏u&@_S261 Fv+מZx+4uFKhlqWC(E~msʮכWj1P-3aSb8"ʜYPig} iӻ௩wo3<m}FK@(UT_BQYjݹǟ/ ;@^Drʠ P0ygYZ7zXZִF! f]]ŗXi%6wD t"5wXB"Ab أx9UgIY¤;WJBɥg1We,]괰g`ŶԉaU<#s"zaȩr/:]AOsZnfedLMe6Pcʛ`(S9|Rճ"z|UC7\D;{y lBd.xe+2=d$>8߱8|=FBP[Ru@K63s'\o&@PaGY-L}`,y6ǜoFw ay|U K@{G@N$j(!܋ 9{no6`kB{9TX8<GнtH!\2Q(!.*f/BUQc^MwfbW<l:15]#kuw5τN M4!WM)aa(7t,mF]A"ET9@O<@!ZK`8TDĞUI_M#Wb0Rls@6π8흮93ފ'":H3*s7Ӌ1ؿcF^™qdA!өLP/'̱%hkNTmE!vSL=ޤQqxr<cr9"xo7́u!Aqbt/jDq0 ĮLWz@]~L/%m `rIg $/~T,# zy|>(O:?mt,qݭ=t!XDvj%bA17K?Qm LÅ3&?ZC.<,Ǿr_Z-P,DC.6Q^"uR޿ ad0|(yV+=eBn0u~. 88Q4XǙ2.<0N>#s;_WT qdX3nRJΰjv%w}KSRvi2E_#[!0'I}H+kyWy E'|H̜ 5"/?g103Xb=^6| Bsטs<}0,ۥbZSMKd:MB2L~hpٜ:Ô}ˎ[ QI!,VK'7p-M2ڏ*<5^jҏwj:T(,U 3*^ w0ͫ23ƄWg{,"9o2K ~[uZ@`H\"<Tp9=6v+NLMC:ri1FKSC8FgNo[D-9 XHIs@Vʤⷀs0hr Ҝ̙pL8n[z+tuXjQF ,՘.MR%֯ &` f,jOo4tRS@Q 7Q(BC!dhǤ S)qz.U\{']LQhc>5#-\."T6AA;I9B`5G1ݮu&TL5lǷ("R?1^<1ɵ$=NUtLusپ #`yT=^WD9̟ccZ_90=)\/(Oܕ/uz+a%?>ȫ] |;`l4FXUԭ+k0gΒ7ۓԓSҼ(^Qv$X8{-(Hr'{U>%EXF(w@|QgZ 9ts)чZ ˱č~vZKc/oK^~;`g0MNg>zS"pFcDo)G W/W89Dw\HWg@ssGrl*2%ffyD2,Ɋj*W; 捷P4c [*o.\ix)57S:1gG~)۬ x XϺDBJ +Nc.@XUQ2eEf=9Ua"kn:(~Mv^o۫^|sUĦG6 m vJ+;dڌۊUPkg/NWsL0gJJ?m[_;c?Q*!vsE\F .#L!ݒ4iKp]윶f榞ZG>/A#x=S2Fe$[ &/ ='&`f(}!E~O z(2WkJZCV(ʩ¬bOiHd,n~qMU__r"Q1 2>أ<ǧӵ󧂂 8O2& j.ыJ/v/P a~yrTOH_l7wѴ"/ ,yJJcKNO Xy84T5&6'wJжYXy =$y:e^)=4B2 Po6ͪZ$#4ƜDVuY5rf2mtU@*no&ag_8T+< w} rY1׹ջ~Z@Ap~1>z.INtB ;w+n7[)+Z Mex ;\ʂz=;@˄WD;B_݌+6{3h;w΢0MBx>`p̬e `MF1kHigNT45.|7% 3C*^v6h4pWǘsAՒT(jגЋAp,0lD+ԭq3\ZMl2R =mY#_@O[n,٨=_hỽ\Krl}k }F]Qz.s8#(t~hXH1t*EQ h'Z x.#{!1c7\f^(JCJ3X R:)<尷%orֿ uM{p 1n"ᡚZ%:Z!>0޳~lbѶk+zGsL%ĨY:ݠ,Twêh4響pHxj4!L?,hY*--=sqtRzM&|y}ګv?yB n8#^O ͖-v Ķ*v8;Ў%i.$ݩ^Epwd|ng #PV&2 nlYQ8E;f!U]e H>>ඃUQn0|N5ZHW]xp!+nTF $.mS|d 5Cs`@(ϥrD/-\n"doKR4tDW/3LYQ93\֖yj-umĶQH¦{% v0vz2APšឃ;$k/ J"ylτǖ)C;9xӉ;޼\6a|Pz^/}[Hn2yh؍ hɽeO3cp-AnZ#eppU nv.4* u>11M:7 3@U؝2]*G-"Py-ݎ=6j…z4+GWY"f^K7GlL6ek_^DczO񤞕/zCr d3 9mլ4vtczg&gs )A12:@+єLy:^S.JLTC45[L=3?Qz 9oxm;4yLK2P*:sH i+2B+/B&Kwʺ6_=>7r ҿ^Moj3OڪKc[+&o˦\K} a$[WMF 9~N,3"(R1\N?1"[=!R+.AX Wрh / ut_twJ\@3T `ǏyL}3r7&eݢ3VO5`U$(TӚӨ0\;u@JRSADk !"Z:goLϋ;g|ߏ}2.,Ό,Ȯ+G9Muc3UuZh ws^zdݠ+wN `6v,y3QA`p\~I ӍЙw\[FiE5]=Q"NF~j,Hki#N!0+""u!Hu>rX`4VȟUA 5O)#{?^ 7n{Z&AEXr3$2(Q/׃_;ejWPD^ꑓ4Lb>k_hf 0i{|05RyS%V*}-Tzreͯ9xqj-Z3;a|<겹QQy>e1&Oᢰбu&6>4jp]ӜaFX),FJF!щ3vQ x, ~*~DIxG(YJhD\lj7ڎ.S4_ X$4jgxJנ^D&x=y]ϫSVDOgh(%Z݇G̵Sz0b0ʤ~b1ҫ!gL 4awktήĺQ IϩW>^{mVt\BԝzB6>>Iq0s .ʢo3e[&r6vnuYa'5pMͲ2}j1=(hF V:'vDIDJ7w")@]̺6s(sP,IlsQޢFZ~琦Lb% piLiC3;ձZIvuңX uLP\Ǣ!8"o(#AGm7pqXkTZ5Fz-Rq1`Q䓘) b|F))YCjìԌq2(oYSVS_Áw*'Ƈ"0Cexߕ/OɱMitL&'[tH:PDdlAVF<\u("J\9 a6#id<ƣkkѩy{I"owlSeQ&{ɑӛ?OJݜs϶@oLބK[vy]p3WҥO/Swh^t~L&j5YFSpAZx4H)zf [Tܝv52VPõ-ٲJ@|*[y@4UU\V)su"T#,UљAԠr\dNjza^G, !)1^ZY 0bd2.lŻumW<>&![fAVUSV&)E'b]ͥ8-S<\Jn>7~^?G{tD>쎽9aQJhgl3OXFu*ᕆ2 'b'h A?6|v;3ˊ+GtEӀ! MXLW:7xfYrtuF+n?7bbobHcpx4٢<<;oί˜R=fWpWgU <֕5hSY]wS`ɑcS{l9[t0l;&LZ MDQ%p ^Tz`ن\E=Bo7}IDAwfg>L 'mQ/╴GK\%E*:^.oU ˨Nb,֮->=a\% ;U{Q.2h.I HdC^J:#$sWG77xx\Y$jA$-y zczj|pO=5ȲXWlWp9oo\{։s-+SO_C#d]8th(PLQc};m+u05t=o3>!p\SeuFjYyf˙h}|B~. ENr|M&Jԥ‡+çbgOd|/v {R2ŀ[c.,rD3e ?|=W͉ k Oaod#~y"q>5MJlIti\=yүu@q =6 utԛwT~Dgن&~fyvvv{y˳(+uƉ~ {ZQ^!N[8$5OKڰ$ C_ ?oG ;ZfSy `V>'CV&=8\$bϩIJ2*J^6͙ͺ4OuW2 HLMʬ~^r7{oq4Lma,ğ`'ݏA.L&Snۊ{.o13`{`Mt@|$ RٯAͩнV$8 R^Q@arHq[ĨQ?=d! 'ڸ{dx.\5Ԋ:>?BgT?(v*=GKRڼ#[?a~ҲxuےNGMNWKELoqg̫eCY1gT+j-r(CY5KuIU!CKP'iO P!S럕"YP!\q ne.DڔMe }d}:i܃Pb(# 3~ᰙ(OJ9> fRLu`Lv̖|#X9:ZvI8ْ(l$(^@bҭdEO!O/ݿ# }E+3$pu=ط@MA)%"Ql0N9س+ $4tw--NiP:z nTb~/9n&>'! {rZ,6Mo{49 u$]kYGsj{ry rO3z$- r!eek J܂a:*fBe šNAf4ƈKӷ~h9%VsT5~>Xpf "qtqhC5 ՜hݤ'^u ݍt$-`6|A/z# KkbR( {>N/yT D9n?~x$:i.^C]Xkl~*h?^rI"8eIOLl#*I?lSRmkMÆ T}Sz 0|yO3\6ff,!+A'hR0H!$s?Rjkćĭ=]zg1+TQ͏D0MHL+;-ΗjU=0 YUb:M#\`O^a2wy:{PSJ~YqFTdUqx =i.KwpHTn|)0s㌕MxJ ˵Y溻je^Lxgk'?Bƒhs~+,v4&ҎnX2&LH<1> ιWoZXܦSיރhbWw вp S\AzΩcQ)`6[r?;O%#_jqpI_o(2v\_q#o/Tׇ -a_0;Wҡ9ߞʥ-epQo[v t>.2hVtFF%gՉ-휗UJ0P#p]s >GiurdAdM'xLFroQcd^nzफ़VkwqIзVj<§]0d>{dHc,*ֆ_YҲcn@^ e$@ƪ PJ.{0 Fz~Y+D1t(NJ&%2VyK/õ םocoIh,Ԑ$h,lUt%8޳5K4MʑTgDJbp݌57C-q8>S%^'enrHc\?eamdWnidÊiB1##̒ObvF<3<3vR$:|r<{% \ލYT8'ޒ4c/}1Ò(:jم2a5*\i 5o#s_C;+VS3{rM_ڄz x@IOYZcuIz#A3yBK;+֯a ~?>ˀE#DMF@hnWJqw }B$ET;`8Eܵ^H9Im}hur =Yةa^Ue煭rm4@ s"_ݩRj0SS.&,K www֦t4B1ɠ}a+Eb8B'WS bDO U~NO  nmAN&Ovr*'Ghh{v׼:It1|W9|Pcl0Ÿ:PL^qMO+>\2(J_HaՕDB_B M #*QLMKxU}brqϾlO>*:_W sHXmvM]LYm49bl|NGNPWO=C9M+rp)`{ZMϛKH$I:(h%#o'PsPl1o[S EU%jنeέX{D`&wFe5 Qb :+љXDǙhY:.A~P4u044veӃ$f'*aOSյ7aw.nOwKQ9AviѤ|Y)` _='Yb9u;X=%Gŋ5o}GoyRq(ErH\jB/!0Ao/S.I|R) };Ȇ+y{Bkͦ0iŕvHNDT8I1`wLU_-n7/ubKop?k ũB*%BbkG %P*(TTxljFSB$~!2R4mp\-k1KmU02Zv5ז(ʻOMkúY͵6=,exf0`b{N;l=}Ry H? ^3ۈM9@$yt_ V%M<Mi[M e$)vŌVD6VJ s}&T"r32Jt&,i]wOq9"đزcjEc 'C4hBA8P͞FYۿdDqnC!B MM@igXĖÁdi}#`T'dy񔌮0Vyݡ.nC:],eVol#*-$Od}Fe\X) ~j=8k0VKY u{֏̳"]iX+.nS(U g?3kU zk_0iJH*_T6aZ.{KTe.?.IE.΋%vw2S: WTb(rw g~VxOy%-Ln]Pf?1` h㍅c.7GB Vfs `VgGVGo٠$ǔ4b1XG/ Йk/{tj|,\ӥ_g_s`#Eo:$Q!|h&'L/LTC\at!PSG=[Xb 3osŗ@Tcnu\(ܲ"T6n|tPfVU3N"z+ٻ }h`\oC;kI^ }As[(>EAKؚ!DN^C1dM'q 7| Rlmn '%McSyk P9P%DaF`b*.9e T 7𩫗a-Q{?AbjPoJ9(SkW1خI{Tlůs`}=e@ԑ! npbA41sxT=ng ռzWz4`J1'4_qkŀ#ج(Y 1Ò3+a6ͫΤsPGx6phnܞt!{JʖN=2 y^خ{xf i)pZ8qU!E˷l`Qn#,XG69fўihi~U}(9AqQ hq>/J=sG-MBkn=*gr&#D0WI)sh+ixSp#!LVqt:"o Tt0+e9ŗ!dTS0 t󨏮ޡnhKxHc&#j*N}Q>H0=M Ef5]QGV0d0H5/&2y~LE" K':61KhLpa5̰ eyuzK.pAKYשI zS@>̜JOrZ xՋ5HK,P_%E8c`Ųdf#zuOSC]9;`s]~ֵ{tZ v[ u]p}h5Ic?_wૢjܵS”Xrdj\FiH;`)p意1Ҏ{tlzm8Ko8RbU;Յ$aYVƦ5uzA`0ٸ) f&E?Thƽ0>~74;mHM+X#mY"'l?)@aԶ/fEJʴ!/~%t \@h&$3\̷SAݬƫl SvhgxU-H*NJ Cucl/7e{q^섄-ea[Mڼ rjICմ^,w.Jg2:*z`ho@%_8VK9/*B/YryvsY#U8-|1KяI/{E{iK֮i|12Y}Y +6JKN5p?QёW(,2O Dm3t9ƽw\w hqJoX߮lW8VJv/|>_$LNդAUbZ|ٓ%K0Kvȉֶi]*yPD_uuUtk$&sͫKZ9%J67[B/- FSGhmF4_I z׬/ژ砛d ~9:zj"%umՁa/9A1mm 2r(uv,{^B> a64dl?W}$nxwG]G 2Qw6><*Ssbf "~ '7 'K!_η-Qfd Ͷ3%z 1Nkvk}Έp흥fÀwü6:;e3 4lqp&Ywwb?e#Gl_H;;H,]1|+Fc(C>6&Z0( YYE< _]lT?5VV[yAUt\&[gn\O\ڌDE{b)aqQ[:/mqjLɑ˦v,U#E_mݡ}z@P? uڰh˩/wLQQ0*\`i,娕7V~t5HKά AuA\Wo ){6.BcGk0㏼Ra\z26v{kk{^Sn]onoM/&%$#9~M!tmF:6G^k|HPvˁW/؆`%ޣi1X L6quM ٓ}t^C} Yr\ˬ@K]kQ%Db-I>}c6=>*3{Ug]ɉ7F>fFo.0w^r- NZPmjg&'[_1PA֤=re,HK:SD.~hDZX79v Ž{J(}-jEx!LM3#PY[ beq\D5('I%nqTo'in=Op!)uW }Y\VbbwSGoj^dwFB6tC[U u ȑWOOEz@% W6Spl;f*`yςx#tZi$IK_T$T"zwH2҉LBF6g6;x,K872 ئ*<#ب4 @W!˷SKEm3~OAGR\8oEa,Yja+9J6'5~ (r7f MA& b#w:e`PJ"rFAt5'( 9|<^!7AWf6ϲJ{+hq"GSO9ך.dՆ_hXԓػ_ T Iq`\w$P"ʬ J~\]Evod-Z٦W٪^4ad&\CxƗ: DR]+} Dsc$"wZ=f3opn7I&@#>߷+yuY%޶ ) !=ޟ,ِ'q>rEu_8lllb:xb˃ç@ t!bsn׮Ż2{1Xwn+II.p8fK٢)Htb1Lc'RV֫iuw-]]LQYgu%-sR!B/HLA;i$q׈!V E6f"6- #.;mTɵ8!B# P)Uc6J 85X~è á(aR$sgE=|3ab8feS뾍ʦtEƚ@n͞F%db8IXVO6[ G7gQ*w[?WcvmIdbí l6+ ƢaSA7HFSLQ$sqsޫW5.-܋ӢQF! d #mN|7jEn)ZQv FesMphn3s%AO~$ZV^K Ў1 Y΁߾(/YcDWs FU|xl־n ԑ]xdj9h(KpSiΐBҢ>~Xc%ezlSNd 1 ]S;qĭkvd0ZҨ!h4@CGSCًo~L-PH,Ef쳯(X7`2*o ,Xz,a[¥w[Ǎ~~2e+E 'BwM3L;CUB`o=j}, @Q3ۑ_zmhXƏk$`u"eZlt/H[_{3g'=`eQos}/B.pè&v'4vDFiM7_ۉ#`>i݌V~nzIYsϿ2/kN3p3Aw&^Y pﴈ:!ð S{K-c NhCgզ|.SDɸ ]󷽪Јy؃U GdOqϓ鶞wSϿqMuݭ}qUmjoŒ kgB Pʗy)Ss^5 .{g0 DNԨϰ"S/qIpփr \5̹\߂Ghl$s55hP_W2CIBSFѿ{니6? -"IP?69d{jVr4pa*!"ں+:8 KFI⠔0Qpȶ7]WQc_޼DK`L(sg;d݇WTA_z뗤yϜUC@'6eF:^Y@%.A|Y 08UL⮴B 5N˘')`2uqm#G%&9`(O۳BZR-#M/_]?m,<hB BhbQ89OQܐ ; hj)7 3vvfe2eqM.B'^}Єs*2'ʪ)u6^&i F6isҐ|[ga||vd>ВxB2bwA,:o5W=pҩݐdK+qo:b彝F L8#z<-jۤM*\KhJ'ՔI)He`*^0Y`;VDL9A/>ydّJ3e`_o۬O$I0(stQBz,Ggs1:Jx60$>Leoi .[cGJ]~XM>y?8g6%%bb|\/$?l-~'A';5|zWV5v9t`I3ߝ0&} b.legOAHS8(Yͱˎ=\BGmʿ$lR {ѻ~/o`*dS>JdZE )b)fJ_*|K_%=ԭqsI昨wQ*3i`u:(Ob8mXL%cQ,& m8fNSLX`cka lR-3v+(w5@٧ 2Uv/@».h1-::eݩd-ݵH>]V OC,vLVAd u;a&&x92 3YHGy `[+qo+Gp@.W`@tjEa!! .M :p|!N׿%js-z=e,tB2](=D}mBoNѺi%EѓnBCT80^Q3GCQqᶋ T ?ʼnf‰ւXqwJZ6>yܿF Qo\yu @nw_A]\Vl52e`0=_njߨk1U?r0I^ mHWW/I_njeY33IJH`BO.Mшm|EQϿ梸ǮekG(lU<2~WK-&G-'D+YqzJ& YY]^y/=Pxhic6hM <.[3I5uJLwC>W7R}$!bTpb*M%OIrQ?}3% ;cِ|;&k9J eW(̡+ء"LG<\ "f:\^zL=?N҈`3eTÿ#(B1c|߯L8D7&XT%Q68HzPʼn=ʃh~^ܸ>ѽ:småI8,!W4`)߭SB`Kd&39ڻ=qD2?zEZ};og LښAy̪+&@Hoh eF.xut~xv]ލ᠒3gi(@!+k$pF)0Z0-d YԂ z0QFdƣ@r:* ­m "/#2?x -Ƹ7%.;_mN1,DiwR}?;R(Sb@>cl+hn-KH^J#M`cXx7q^. %6=v^ᭈ)]o}/ j!xyjkW_XN_+ΖGH,Q篝aeqqFR$r\ [Yd-̡&_#JZuS! 7 VIM In>x!1L ޘ3wKiճtJ6{AvMG"TchÐ,h\&Cᒊ[xӨYOg$ M|Gda,CK=@]xvj>Cmx܆j혒qH*G^A؏B!j}7ΦZ r0&cz<< Rp΃kXN.ȏ,;VXy+ǭcR#Tmת йh0".;u/Y#Bѓ>=W ܥ H އ:Gg8c&לVV|m|Ʒ@-toWj9uUD2F]wc0]4W&5KY]XT)Z,LTQX1ѝ4Is{M`)[l {aAK(xy$} {o9oQ|\4,S_?xk^'kc8f}SEXmL32yssL7DO6$\Ű)?[:ky dӲr۫* StY[Ja ,2 Ď"Vޖخ uu` =@9Y%dt̵f~]XrMbSdfy #I/L #CP<:γGhVe )m&h'Z֙:bSȓ @wDqttG!5c5'y&Qg|^'X"&T <" n{%,4gYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 513af589af52c683c28b030e58f615348f41b1da 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 ff6fceeee2cef000778dc32616369d237996ca43554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 995e2f2d633b936357320d2d485fd6d115dc6bea8bc0890ef342110f1601c1456c51fa47e60839e6