SQLite format 3@ 2- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /D| ]Group-Ring-Module:threads=2elapsed=237.008cpu=453.372gc=26.240factor=1.917zXZִF! Ս\]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: lCR2݆{Ql:5`l|n/^xH@#0Aս>܋1+kPkk*"BE%Ɋp.Rz^}k[hPiC$ϱz>U)bb-YyEJTF/b{P2ufKL>46{*6q4A\Xt:N.TJZ>JUjvI9]MNFMԛ6XѤ4sK?{afEf6pԯW׭!j-gDc'_Y虻<7$ :,9J\֘CRN" 8}i栘1}s.peMAIJڰd ծMB]цڑ;$֧6#ɤ>U`&s7rzXVKn6}_ xT"4MJ1oG y(-y-cL'}v׶{}WAP1z:\C44viPUwkYI-k{e@@| ͂h=-zpU qhw!h'w15l(_SfG!j軦#\:mg t5 XnSzf/.Q@3PTNE*#]Mic,Ӎ-B3ܻe*w&k/8⾗ ?TKx{%&G4*Hj6Q܎Rj;_XfHhW.7={~s b¶I_ S$jE߾$//f_2̏`5(7 #XzF\M'ԐI4'T/:}_=ude%Fv+D<Yx'^PƘۖ&Z'07Tg#MRɂt.w=yOzeNpˠB:*xz+I@^5.~(BpuiqS01_[>WH!@K ,)!) =\lR'di?I 2 1eT( b\f;-BؓS$*-חl>+L/ R a =mN1Ho* ןuJhϚ$&oUBɰ8$dAs%t$J?P#Y\y?!*h?Q;D#b@,\G4P#Eq%Y 3 v@߶Lă92_h^1K82i̸i-x Lpf X *WesRsps>X!p)mR!pz\4@|mL4h#z?W)z9=뿍]\%TF@3ypH8WH>!1`E֊53q%!tUZ@q UӤb ;N/lp}.(TM upWKw5C $(oߛK8B1蘶,v3JMrrAAܩD";V9@8Ks#୎RT{J 4 U8qbPu1? is|o D7=40i^&0n2ˍ~|f\]$dv}f*4FywkvfS熻&D3 ֿ|Qiv2/vebZ>~d+/;Cճ&ܾ'Za.a-3n'`85xR|&R1}XlU\@i.\]*stg(w`iS$j>YjkC~ԶE~h4V޼]-܌ ԾV,lY3x^}K38nSpSNP 1rB "$qXZ[;SIG9 R&%o(r{{!.,Fe$T+dnHfEgSu<ȲX8%yh#WLf|Ѵ 6O=T@񾐜6sR-/73è?+1.W \AW[$ ~R>R\*Ó&qj"Lֲj&=06 xN;;- ΃ G܀ʈs5sXɒ|"F9y)j ŷL7TE9 e(Z^ -1ߧ!/h-ZoZ禔(ck}[$qg4{됱z3!1VNp ñyN'eBcmRcl;ɖ۟:OC5Pv$>"tkG [+:QYs&"(ݿ 7boKlG/52 ie)pպ`g p ԩ=*䨰sdnyS?ha_xT H@جaS4xuNA*ξ*ْ]]ϋXۮ{ E&D5xCq4+ yisCE:@/u?B6=6Ԫ ڷ['?$Z. wpgpT۽o#W4P'h ?+kңGzA(*|_l;'oW a~@5$m a`Q~~,)}T`.g'KV hwq69LW#Je*REBhe}U$jפjgNH܎p,t&NzSSp:LYU'Axȡ3e"K:ƒ[8VXxǗF'fbjJ|VX~c,*|N!]Y\`F~D(!J|& CV҅dT ă¤V͘eD%$x`89Vŏ=Z+dawNTY)3ö`0#lG=fj3]/d_k p¦K]0z?؉s(Q?QCK DތߡN LQQ Fg^Y+¿7FLRtZazIÄ{M[$4F/=\C$im[Jԙpm^b^0adB9[Ȳ3 );w'Xk ǨqA%Isn*J@)dFԮԒEħU? 6IdȞ,} b@LM~@Pŀ(ށ ih-\arfF u-+$5/BlsK?%$ji4y%ZqwŊf A .?Us_ xUw( hT(?+Ok,DƽkS/ޭ[6D Vc,JB^zrnF,FiT6*SQgA3m@>dz_B/#G`_=ׂ;9g>DHτ^9n2wd]*vZ56wMCZƉ5Т?ƦnG(Mzb#?V fљ4҅Xl ,3Nv{眎a!n#!ExT\GxwR:|f>w"1r#_9A `bwX`2#a: vQb Wh"w0Ĉv 21cAj)u&4UL_9#(CmU[Y*PV9>(~08K@j |9Nu57x!IgDM%b5iPron@sk{OhKRQ *'XiTa.EzO$To2u1ܶ%zIUp['C,b:0^4RG(0cbiY S,6Eu ֓Mo.\r;wϙ f%HUaf qEq\d|iCl]7EmV(]/뉝eai) ^If%Y 7Gr\yi$?[['*T࡛rZaN 83JK=p0juh#dEuB2,^ʪ6XεUƭ\e͡En8^!=C1gMgJ1.kd} 9[k'0mqeeT0A8(73 )@k2*o]˧?Х6ʦAXá3d '}(`)ao({42gcg @n$UBG ,hn/{5Zc2 2K>^Rȣw[2xhJ$%4̠jl-K;V]/&uz)̨K 4L19i>6껵]a`Y?@M%i2X|2ĩy$P=#`ѶޗΑn\im6!R#N:/XKe':/ r\&0&-V+f H(-U96VxKJg]˹Knv] !kMiW-hYS=+ ':yAQo֟r1_0\g>Qz$ ^uy}FnˮpcۜD'kYkhg5r)$lʸBzl:" qcׂt*`")CRRyIgR+V1ƍ6~^.2nf46l)Pwk0~AȺ/,P:ʓg>_Ju ϴ{uFV1SVerm|T@W?8o5}2pKm{ƴk@b-) |&պG5>~6 !@ڦ|dIUZlj_pvk;S򏸒K [,&LURHUh8{/P- kCLQQ vDp<~+MN㳜sGX3e RV) 1AXL Ehѣmu-a:tH{Un #YؗX}> P9 @MT@#k[18Ϣ^3AfKdߜWjYB""-l}U:һxw :SFjń= -F0)f~6oXNԐy>H~ "0= ޙY_=u%F$~;bg{e.\xvV\(wr-YBB,FIW<0AUF~^=q!0DgBݗ+ h,ÙM}'vum%,ezp~ޫ6N܋“wWNGi?/suMT&W=<5s +J4_G n`Mo&Jf\_&\ v[,f8sxs[Hd~XA֔ǬϿ#gV"EqhxkȍyrF_6T6&]gS~e3pFuԹ/NrhN)e h3iH9ڝҊzyU)X%X& ^.M{HUS!n*-cW0^ F $}Tg53;=}}a ߳G:û2Y\yIkC"Qܾzǖwe--kVVV(H܊,hL}Zxp8Bl5 ~WD%FМudtH?8bdήv1۲sW!rU$٣^uzaͪ-zonC@w%g8an0V 7rƙ+KBo{)h Y uJE1AtX U!My9_?2JjjwطsH'Rcez49=9QqGշGTŐUTK饓'%H La] ? WAEu.=TeǿrKg LZP^AII3h}3yZf)lzTCXvWJ$c=PzoVX0h:@%1wAv܀ŔTGox{%vK_1+ bALy計gϰrJT 0ő:”d\H]7Ioƹ7\4H)Ɩ/)k1b3FvH::j:I??bxCyKt~|lכW;?ډ ƯUm &W_@N1 m?zשө̑{>RY{i$]8!]Y+cໟjЍ)2Tc_: qU#e+M!gjYQT2e<ѽi^\'$\V@,SɵLC m]gf t nrq&O߯&qOSBÙYs\ZK# (xqj]~8H5 Xŝu*>rK`Zx65L(ߥsgHI.|ȩ?|cYkˀOGm0T~?,|85M|g iH+Z,F:잆n ܠV@a:LV ^/9L-̧f :( k6>OR)zRP V齰8 k5$qv̱CH5cN&Mlּ^{K\_QtZw$!+7SvoElvx'TaUKt݆$DEw9ur&Sh 9XQ _6}*~uW`L}Ll72bx%ZOm.XZ$L п%B<&Z̬;Kt=̯1$i 8}!1 '@ibTTK]AۙS UиviB׾ROUzRzzkоY8c\Eǿ">"Wٖb TۋG[tL"AB򃑍k1@!}#$_Jw) E8BRډ8R\М _En<[72T _^Nܑ , ߢ9&+:5)})HibG9ˀL-ˏ\2SSʇ07 }VeTc^l69<Dg*[ǦG@k'3'g)*Ymbjrv.S<yKa]յOx$ޢs?n~34*50d>cc®Cw*KD}:0O8dx1d#ϔ(d!vx,h]bֆs@-7;a am5VSXžaLAz is {p%Ԩ+g?67Fc}g_aZ&w7h4@9qz~g&LG++œ *InNJ{Z9B j8А׫CeV_uгUz̄8Suӳv8n5-aC9~IJ̬v(2nY)<9B`7yp!wNe"2ep{SZ09Vw^qmPJ&1>%dʅI!.WOqC=:T@>|H4YedvS5|'$}B~HSz,^#ar;{#R ^XvܡfPoKwpbmoߘ;$H353-ZY|ZW=,񕈱-&t%9CGV6FK 0͵B}ׁsOn 8Rug#Њe~sl~-g_Y%7,rVyoV5&{q6+>?쵫?@$Ȼ hTO}*vP[w %!=e!{5\>8,F~=pkKA%l\v W a EӨCQn'+1yZۅ 4$Ta-Z8Jvs&7G Bԅ ;9Óhx3t1y@vJcp@a`/6=-|39m lh{ KKd"K'8Ū jzPrpѱEEmK]*n ҉5WאhVt aWȁnE^fSrz9BTxC%)tn(X}v]zW'ōQ5PO s( 1W7 lz1g4L.^WJNe#`1" YY |^-o5xD^Ɉ&8NUPd Jr) cw "xE#Z"^MW`1b_VjO[Q$dZW͉3J$Zl6'g:N%^, `I!g) 볨f߯5% o$uJUYnw^`ō|>DrxI%&OJUYkfKME)Lɣbt\&j^Mf0zX,[q\srځX~.hq~NyjكvO i J&;gC:Ou9E : iyscS*L͹sUEHSJ`C6KG[v272Rkz,exX7Nym✘QNhɴѬ>T1OU~?}mS})ۑVMY70Y͈|i?١ czMZe?CTZV&+MeapZ aD+,1- x ?mvϔZna?A!+N,*I:$ 0-XO=׶ gl#5MVN(Yދ簴ޣtx P)#x O)~b3QoKvM&X~lIHB24v1s^-c4UU7A뜛 F4Ω^{kcW^DI~0ՙV:<1PsL;51ٳBDj!ӊ?R AY>g`學%-mo){2V&A7=jh_3hZ ӿhgkz>RqcjʈficrL_@eP_5XPHssWjD<`]Tr}Z'Ul~9!TOF Õ_zDTl6{YE5&K7YWa4Jed[{ui^xLؾ7ʣV1OhhpRx+ːeFI'`SkhxBApKN0k_@Ա;M^^[]3n1:zۂNܫ ?nԆ-S v@H;5_fm.2(H*SrVˍCM@I@ Vp ?|̉j ԈXڤڭXbԧ}%J0=u:~ܪg9*eajnuCs*v-GpG5f, ێx^#")ui*9OFѻ{}O%+-Ӣ⊯jJVGt2r!à\Fr6~[KZ@s#FYF"4udv87dkc*msI>KWeahCx'=3| ;V>rBgN2,}ep;WTeE/#RlY ! @=tkt(_,@3?L)% k@!r=wE;W,(Z@S;&;: =@ on Ɔx.tÝ̜jT/%E7}|YP~#Q=N5quUQ dҀKPBEo]I1-V5ѥ#)Q F\݀ɚ+n U)24BzjX$ IfII$ %v8I )@c @ w /Si`wR~i!Mu3{K g[7nAn{A';)_5ΡORK[~[lV sW<ŵd=!^jtE'W$e@LGqx{ɕ-+Fe0-8Y6ЎE"< mSH[xlO!M(C˓TJ_Dhw6HCڕ|RYK86> Ʋg ޕLNlXaɳ\bxW}da9Ūc h S.m]öH~sS+ir\APn8 LPKxw,*R'ղԄf.fbr:(32 rCcT34yr 9F.Qxcf[oG\xł2 FY/GR݌Έ!mN~[DzNyM{&3K߽@tࢋQ}&d{&[rCgKh`<J4/$ӝqqN5%O2֟6Q*;>.Ӑ,Ὸo ܁i\7xsҢ ({ ;I7@c aogCWmRSLڤrM(] XQnѶ@'/ECnj~f+b堺 O/W51_?7ڄG18=|B< KS|06Kn}+9$2JMinwcU?E- c_` i9 @Pѣ[9 "N0sR_l-1"#㬵WSl"aMq>Y&XM_CwU`(gmg^,mj& 0ghMk-_߂0?D}]z|fu<4e43 xK*ڵ6- J.ReD0Si!s,baiξCjǛy {]ⷈ"!*S[-m7NJCa1Oph;F=pr /ҟRf۔Kh5Ųb/eSfsR7(Ázu@f)r|FęSJvi{ l5B}e=r*Zd'#!y[% c%O$y!2ٿ$Z$bMkh\{mHW($#)W{do}yMaw/'cW@„ >خ^Ae {G{yMs]~@BUujeuCN&D {1]{cpX n86F֩U}gO$)D5DMl:EckDhqGg-KKr s[Xlf c>ooTA>јQh NZlS^9 HY$щIqL?E+ci gA7#iأ YMLxrᾶ6?%\ sAdE:f=&G<1#^G0KEv{+8Qcbm w}ߊDj&r)p W5Oxl)}rM/~pfw531=F4J;`(hS4ctƃAuˋI:9Z.-0k$n]Kw$t(9yyLu~PAb}t?~p@JQx`]/Ϳ787/>KuVAuA[?1Y~k9TK q^t7N4f= jv(X :6#W!@Qz5U jگ<@G56jD]H}s\,@ M''Vu#TK@<6I`3OdolBĩR>{3AUy Bxdz4=WEd<ғ|N 0ޢ>|_ܮ &Ư9G כ%L=LR(k`/*8)*Elfi.~ 2Eo0b06ճ|.IP2%?]MՁP(հ е\`C 36)!ҥ!P@#6A^ .VWa&WUbruzcc6۵ʰlzjXFCm͚^>-xg "/,\SϪڼ ?JnQMjbq5;QԃQ DeA啭P0D L1͘NvBKZ\fƆ4@.}v_7%$ zx8r H&7~|i>` QFMjqG}k yI4ʆe2wݳC),wWKx}hQ$N'jס Wy>~G$ȏS>1Q%zijҵ8j:̨wΆ/S;hikO}yO;4'OM$IKI-@|v !eiC[vM=36IQ,)c. S BC WdعZŎKy@dFfޡ~g3?لyg2g-<{yjyKqxVF0F9t% 6Oo8O%Vضի\ =(懍W`k!RYk;k1R?&U#e@}e@:Г~_OHJ0>,Z|t:(yA_)ד#!lե-ԸD@SryPz!g0S&X(aw _xp8=pRW,zYcʟd}a$eV{wZV FО$W ^?5hfЅckxG V]  d?t@Zh*qLKӬSCiU\3=ɗ&dGj RIi. lEi7d .. /]"\mw(&}b%Ͷf8ﴉ &1a])fXP ~JpB+$NXNǩ\g iJ>B7QNz\lh 0J姺dMp]Ƙe؂: ڝNW_˗-2`N条}ԍP`N͕N@26p^Y[9vi+ĔBn3Ļf?hGQ؛)^ٕ/*T *r`&V=tuuc9TDAWjtK-Ny )_AH/??θ!w,jqʛiB}@*!7>[7^b[\x/j\ൣfi## FùlQ}ÀYOZIr=3CvA׊*ќ5e`hPz6JPL̻q5C#҆]L-S9w$jr\7 d(-w.|:?.+] >-gi:~ K0⃺oj".ش7ZC&f]N>bev꾾|oc| `@`Yk"-Do(bP&i [ NmTp!fO[z2j=^J lq+(fw}b(pLa('0qńPxd@8ȨBO'T)0H64EdCBOchS>tˣؑhgw ]鮺  skGwKvsa͏J^.q## tgn!['2.a=1(m ?{zvVHQ%9#4<b3h7qhqtRG:9i l&dz nqT*^3UZ`4\iy.]!Ufj;ӔvFQZh+6N W]yKDc~? iVY;F^ :GTZ}x** l"?/GɑA@"yI,ʗ^j HOIK+p.  كKJAN&Y#NAYPL -oN&4PnkٟDџ42{ m d 4^%O#3zgr\((&x;)ö7fΦT:^|9tA/„V.gS:fޡoiÅfWFag(r=92%I{ B24m*vA^O;cEŠcӛaD$?P*qT$|x WoNn Cfxac\5 l,5 U &}AA A> 8 "rsXg JJOLA9WͧwDfħdqdZ̶t>QZcguZfͧ0wn-7);3.esn 3sid~+F` E͈Q],ĝ@?']I__sǝ 1}hc]یQ(-Kx#ݏE9j{013|ugP!:2H3_Վ˵u#+N#Q'ʫy-Ɏs<20.oA!FRyr(oc1{"\$[;$)7bk,bё$+,,؇"pA0E"1>]ڨ'K_,Cp@_$RYէ;0*ҳ95,>P5ҺK ¼66Rx oe`PLa4>|+f)t;`-6Xim4a(IX+2/&ggc6|oݽUG=s5˛zܑb>oqG_lΪ2#*GoP{+PPU@qN#ePzΚ0|-CVSLҍI>%_f $ FH6 1b.q/%cǬ組[h=>qݘe:K@'MeMn8/bcu!_Ǡg:7:դټf]-XgoY*!!#<Gɔj"GBCߟ޻oJebf|U1Q9 >T%,gϹ4l=€%NQV8iVjƌ@W}O|UV,bE%Jd"çbﺋ) |C/{f,?j#lm#2C'wpR R__mrTl&m[C;z^t+ԵM?F,@ q,FNqDPI*jHR. h1謙վtwzowRo%Vܴ;M6g724M<ܥcX3]Y̲]Q<>vL,lq@PE\M{Kζ޷o3&9 {Sr;6LNװ9z֛2;NzD U? $v֙rbWz`97݀J57{f ~ GC5aQ;&,.]L QFlOc QSvґ[D]ѨE~hY[M<Xl G2 u/:D 2Mazh!$ gx_N6yi$ŽFizW P'rQveJWr7rr_U/S {iJ^NY|‹[E;Ⱥ$3FBn˪'K0b #˩o* I3;"5{k "{ {NVͣ /CJz嚓 ۖ9Oη*~Lˡ>;/~%G6"Ie+Ƚ3~/+pK\b_$mx,aslX \#T33!d v^|I I PP c 1́ Mtv @`IaAɈ#䉘觪Nҳ]Att({_Ig@?JRzܜ.v">ZgU(B܅PeZ.T`N$KAҁ*!6O#)5 zCilpAɶEaPSJp{[,˛ξ 6ߵNT /AFQSD1=ɣ?v0'7qdzi yۇAWvW*$Xܠ%pV &ƊͬIOs40 EAg_O4;}H a$A5a@x9a^{X_֔:W:{l*b&C3X mSE7]3+1!HIVDL\&k7reo8*pbXro[TғG/:p{CV}RרI(D_"wJau{#m^r^ܘJߓHC=aSO6į c ob- 2bB;)^4ӉMu#_gjgf.z4 tDzk8;(xNGR JoJr઻H $inc~5Pmo+1FFl@#e!RejfZjaF w|MN۱uX] Hwf[8b4TX\ 0 $[f tj?<1Š}fΏ 'ݲ"0%B>[m-KB\vjƓ/~}2ce6WKarg/<~Bjoxm>*NI֩87ЌXL\buDSpG eį@V#%,SLlAKɂ@^''2.Su579!4PN# Ulng>;D%3'S䊴["zs *:&2ҧ/ ɧ}t(@g)갩7ނkk"bx]-%Rv334 f݆⨛󉦋Ka037,Ʀj 4^1H0jV9LNC#[lpב`Q.vB5E ŵ.!jʐg<[/s fۯ"yVr8+r5` ati%><=(YVJEpPo`xTXb.^a#E2|)78 ?/73[TG6`+H-zn>qzF>RDZWAb((cr`A}q>^vUWkZH_mKѳwF<pE%AC z8)t&\Ŝ"{lʊ:jOWL{uOjߣv},eX_9 zb!} ࿜s %/>ֳ. Qib-P `ë>y﹠]ceg Lgմ +9X*®7ZB6aZeD5b^sXGAKZyDyҗ+'mb'@F=nb(mk 95L2Xe &}ރs)0[׃H _fu F-r0h[m t( 9JDIb,;sT\( 1pɠ'9 >`){9zWN^!I8:c%u=HYRg|xFLR±H#,Y1Oj..ϲu^}M]KjkzG18 Iqz tUe!f8F,X⸦o)a됲 G'YWp6e+¬B)AυLUn9[>wZ>0yCMz=0R*o3J7Fx,(+A ,E! vd;v"I{(xϡLaH&6,'f(PUG+#E3CEN""51?T֚5j.;%j1[ü38X~sfo Cs\*١v=&lrC⇾ۂ鼩 xfh6R.\>Yͺ?5. l42+a#/ PT[G2%I>)JPB/6KMW+h V9 Fa=5Aw%d(8TmciJ:7z 8:W h:} T~H/Y7_ DmBݼ~ʄG aXǧ8qC8\Y'zZM40}H<Ǣn7  :Φڎ"|mSJݒ? ^RLʔ5$ܲXm/zOjq eM#t%q$̙bZxok D0& e䌃m^Pv:0{إy|; LTc@L$2 WU6_X}Mh:ZotXS`T|%iy~~xIG"Jp^qP: DL!xQ3ÖfQe矓־RM] l0YrM}yp!Z|0-pmmzGSHvRIV B+q+zb{6'u(&uh EqMbȩHqo]P{u 8>,No^,Q&dW|v^ uIm䦒\$r:!4Rf'a~@ cO[0ZҮ?`TD~A#. g"%]4\,闖WfW5EX%yF w 5c-Ę. OEWWD_~ř\ D.\,Q mhm^>-2?s&=J&,ԑ qTPs),)b7*J êFW6UJ:lzgnU;<@:\4L B!2J)s-`B d y1}!?dil舤T -T7t{ _E='j<0xpd|;w1zF(fcZ@O_$~Le7° GZ1oG(HMuwVasAs, QS]aMDGrС": ;?@)9?s|揚2*‚SL0%ШS4p<BM/G02OBL2#[3bpuBτZC?cJvJ!g_v~-Є*(_ÔFU񕴯>QG㒿q"'#b"W~ve4=D8(-%?~گfb|cٽHe ŦTdk\pd畱gF03YQN7a.k}Xjo]6pu2΃+'-lc>`j 9"zMGkH< M}lswO痕ُ.ߢL?IĽ7')cH'L-fb1?KOn+"JB;[%?X'8UO 䂿$~{ #a-A_RUw qyd(TV+B0]@>O夿%d$u:ZQF ؙW ٬陏-EП)8T?]noXEWg ;>1'p,, 9“YEގA0r,/&PBlmk4vCU S<\ @=*PJ!29Lg\8As(nWy2 y$)#Sckd@AFPمirm)`Y}u,CMO b? eàgd輪@ItV AZ'/~R`ꠛ G8]{K^n7/gK;4h|[)cL60vHDU~wr= X4[TAxu>oR䯫:RM?'COIpd_}Syo9-, {UE~YbLyoQ9BJjͩ V3' Tw*Dәy,ZgL;%?sT~SF- ()P' i?"a1d6]SgM8^R6w[;⁰/nmm1Ĉ Ûs=bqCJȎp SΒ$pB2(v(j>Vn+.ٛ A}KPҜі\AD  *- i, CC*ZT9yV!^A@/1uL<_kZe *kɁ O׷ye n3,k/f*[y('~G)RHJ9Cw>l92^rG&FQ)̾Fqӛ #9~s͵Fctaq9.v@5Og SlM@-Q}͂ʶR` חlWT\{8͵b0Ѱu1 [(RD#`8kQF)f0vt?I\{+]Ydo,О5pC֯؜f x, c(63W65+v_7$vM4vW۩x!+T=!_4bX&7Yy`RAƒW=Nq$H*0=P{ɼ<grj; ;fC:OHsE͇ oyr\jbe*5Fֲgg3w~ 6LDmVڌXNF>KeHnHf kA/RkY B2#g=5Ŵ 4Nk\=M|<] c2إ{Xa~y{v//=M\ '`KB6¯@-EΪN vG5D3Wq> h""ߗֱɑyit-_e:!4FXfE܃-Z"H,m&) {u (=]mٖ- ٹbVׯ'/\4&uwft"D]n"ggd8ں,__҃ӉHHҋV"|Qv=0f NSP#$Z4X&a`[zXǯ:$5ͣlB&8#Y'EYz0j_'E6Ѿihd27rf('*܅~W$2tW p O"m@yHx[Awk=J ;+}{԰7TYR4(ﶴHlpOhmC3b2Q4ǁGWX^&rW.o t\gkvtehl9 #8)}O,02n:Pd Y:=4aL¶R^Q hK\Mi!KX4IKL:e8[i1U/\ǍS+SfnbfDv f/8 C&DW{d$k3;RZ9~QfxY-"^GjTu%w,[oC{m HN *X0ZA!RT%9xA ^wJp~^D8=8JM$եH];`˹@?o kt⫯Z/ZҐY&JWߔD(,h:˩c/q8v]sT"Er @Tw&|7<^rǫCUb-k݅p<9 ͇^ ؝AdӤ/7&HQW͙#S^u&9=g._c:@3|0 4P #GO9y<%Q @fu<"P؎e8!|~@ (k-twMaN-oEMYY=Թy Mffަ%/ ?<%*7[%L_FzVzE1OiN肈w['MӃ$5#OyhBI&G`Jc[eYi6[xyvu=Ӷ ?|X_qA]ח Hk.)JW׉•\z|zb)&Rt+ܡRqo{1Ā\ +$nO$Ĝc)u&m%6!UM#c WڌءM;DB/*o[6t8W< jMrYr&sds"U|Nd;̅l'([7˯2&;XƏjtJn٢)N;n "-<"(L7\g l>h;7}NKʔmGNQt/ï!Vr(V@ϐN,>B"\Tv2 zDզWȕe/ԔU"Ev61^]2EZ!X'*ɑp?'[u.)*txoXJ{:&<$\YVu$V63%=z|KiqS-lzh5-Y SW  ]ţ"-eDn.O"J';S 9ws5Iݿ|<? 5m#Yo#zlVuG#X9>P+66(־Pi͑':iiR'>Q-%ɜj.#`u#Ov_7Hۑ:Zɠȁg G֡'9gYZ7zXZִF! {.w]ŗXi%BH/գ3 (iDwY* K'ت ;e;^jF%\ vJ`/NokQY,;mdYz8'$5ٙ'FcV'wx3XF:Z)K}c'?y_㶼"- 31:w0qIR./0lt! бIF!!6x6*ES}-ZHӤD}5eaһq»f3|Z5դpMƙIl EPhې9(-vVSN:bfbUD,zP)ļE hLX>&t|tfE\ڡc+T.8"WW?Fлp K1JL0Obt+QNЭlimܞ #cL.B;"n3kW1 _sQځQ GC: V6gf&ϫS\:H6jua\Gg 5-K Vv©܊`1 z 9H88q6&kG#,ĺ W3sƳ"ʺrJX.+9uPnZ& ʱe,a-(ìKzxl`7t912>Ll˼Dt`'q 88( XkO~e(R,TKD-H}P:inn]itdci;~L6WӹD1-hU(L8"{-O>rv5h|C}r_h5I6#bk'*M)sylZk:,Jr 1.TD6`8na,f(Ts{8o~Vgibi |o}1Re)B'L#x4L.ڄNMAoW ޸nPS$*`ndePh*)KaE)/`ltHt (4BL%JM) b;9'e\2QǨz˃#2~zСr|:cb?/hԏ(+MZzF!u2JK< wRC Db{fe: jܙu8o@^ .6hH+}- D H0F2~UgB(9qjnL'y 9! 3#sOQOPLx9_tKv%8@QIhTՔ6-ʿI-9?WFxu]XpHj;l 1BŘykbPrhm7FӢ͡HUc9{GG0r(! $5UP.xNϮA;[|":bBnY':`;P^o:Ǒ@TVΝ SVKP7= LWm+Wvx"CuHIey} .G-hhT6:n<3J rKetӡĄ3w6 RQ\o% AI)ŧj@nvNmP]0V">DZ1N~(GmI0@ebr§EU}DXҁ:>u.HWI@s2{R~_߃"!|z@%ieRRC>ۃ U``5 cn5a0@0M4lȥb;/cTW֎ͻ^y[* -[TߣHyhgtF*m5dd!zI! ^}0>%ל48zQx'Wh{1 uUpt`~ ϗ-}Stud HJmNWPmUGVx92.9NJ_ٚ1uXfȫ"w_r~çPW  j':-RCڷL{]g9H3;tUIk\3v܂jX-W&l^q˫;Җ/9(  &X._pPsʧWܺ\)xML\1]7qs\?f^Ω m(hdzb]S9^h[ ݓX(OmӄWX6qK2Ӣ/#ޝҀMSt^Kp#Sst$OG\jLţ9zL~ۄYfV9ֆI.>LoME x}RhT,ޑZ$T* [4#`"ڴdtR{FL+R%N m-^;1wNY>t)MDċV:Oh/2K F)ԶZP*LiIrg^p0g1jÂ՛]]AVZ4ހ,ۈb,!!šb&6RKzvшzG8$Te(1.D<%Bѥ@~K H fe i'ɸai.%{?wTmrwFtr @rT`(ĎRx]!Lc֡$Z뤰0D'Cflȓ#B ˯.VTMRd̮̂5kq_`1,\UYڈWnh{CLd{be@fK WVvH2#\X5eG"E+zgiߩo D@|֬BzzoB2|2,zT*=|k0G} iӣ|i[^ԑ!;? KltDOD(Y½νÈ[ BaI(Wsn5~ M`IF !#މw\ ;4I;,;j+\#2/Z[aAH摃6jwva>UǏD%] 8=DԩbDOBn90g$ƈ4 M?~+fvZvɅij֩?>݌욢odz,{:`-Q:؍WM/4kbZ/z՗t@[v]gF8rW9kj0Q$sjD9}(#3=MM*v:EU>N0BfI8߲HUB/Shr40Da-ӰV%%e;QJXBi +nBOJY". :r^Ž΅l75ђ|l!鐠 wgl5:^,y=j[m5˲]핔Vn!fOpcFw&m{>qS۽NZ70d^@!ig.>UY./BRi{t~0Z<>+Y6|v&22$c4 %.daκ~doȄ֥tKwʠ%R CBe&{"AcT=(Ȧxxp/4.J*_aoyQkIZTo`%*Þk"#9˭M\_8ʫ&8E],djjm=5UgKA,@Hob|J3-["q]#úcHvx9=c\~Ewo콀;JL;X;%-p.H0(K~#[?l&ej7I `⿹c+7T^ȎOCoԃѾB+,d0FX.W1!2&Y]yc^[lj ɬ;D"b.TFoKSh6buĠc|-8h cqAS}xLܾZH m8b &ɲ؛!ƫ]eFʈ͊FS0:8@$I^[_4qߵ5_+v;p~WA}b$Wv(eLcК1 iЯ|\S^z +{{L Gg,]ꄋJ\]+kY{Åؐ0?`//=e63e4^hOYT6j[wQw#h~\rwH;:n3Ug9M,]tF{u9 .=Z$ehV$"j{y/띤(-,QUI6v@6~" {Wy- 0ދ d@?IG>bq8KkO9}HG`_ }=`lNb]TV ڲ{'`nPP lMvJ%LgRTYjH%Chh+.y- =߾q 7.ZӴ\&-.D W9$z ? 1]SI:])7wZ's3C߱Nj Rl8"1W]'ڶ A<:xx1PXEz$&%DOFc]6Ic2U"^ev6'])peVo McFyif99 V#^yBc8݅ko\w7Z#yBXlϸN:³&bdF!/KbrDshԂ+8$u.Yքu lvK*Ď*xU52Y_a[Wl <<(@ni#Olǯ ovX4kעl/v.|k 65^# Rؚbt~C{îec}PTyy{;u(P~#ޮ8tB)<{I8T_8QKz^h6Hm,u4W)Ub?}ǬD3uʹ /o]p} |H6M{_*FoX~ &O81% >-2$ jL2cElZAeȓ1_K -V[@L2M$k28SF习\:.; Ӯfof"a?We}a{hfE*k"7X(fE8O *F%0ץP*]"fh:v'ˆ LjtL)@<Tj<錸:;vю庡}#3p \o M*nL.HXč S`%}A>K3P-MJ*NXYnpB@Fwc "wX霐0L9uK>c7 R}vPBy4rC, m+iGφl)o[gĴBͅ{=&PCP |g̲»~tk(PN;t]-l&…H_^I7w*ߓk'Wk`ZyT]P C 4zR5' c/9f,;[|Y lJnh H`?rP k(ɤazMu Ex##o.Dh:*81L'f|81/w؃}[$ D2L[KwFx#'ٸ1읟]-x? IUad$-ĭ撴aGv">!dXmZܦV!;"dn8a2^T W'N=*} p*\׽61zK,;4ڦLOaҠh2[Ro`cadžu-wLscfBI}V& ⠋0qf[%8xwH34w¯eFuuZ!}5)EK Qe2Z5p{&U IU 3wأxk TChVGg-:cO')9VH. Xu8b2c~ad4_`|(U0c1cfI%p6U:b:^8: ha3OCgO*7ROɩW?] yy',|c#) E׏η7E< jv삒#m RG6*(jiĪ7t82$j, K " Y_{8I[\*=P l獭 H@um&Nwe ^]wFU9/Hט+ńAEqbLww#|k8(*w g1hYĔ.xPO9{v]l)D$ҭ6KEU|G˜10AcZez3á:\INp^Z~k24_fR,m Q4|29U' y;bdQN[xb{B: hż|M09;.EMLhb5nE=|HFy/TOhE=2ho*g)7li9❫7LCisX,B)KF. RIXD+Y gy?@"*8 k.lh)'7P W`U6"io{D° RM,clQ J20qW8z;M%RK^ppnKܽ!KO4Y{5 PQ2~2Y!dB!֠a7R?FUk]=e-۽HJwOhNT sx C5ޞi%Yv ^D>_NVx$#l?Ќ\M>?}N9 % +g]Xv@R'~ϾbOHi5 @4n?hz:W;(hf_k;)xG,AG(+G(N~N'V @t96]4frA YmԬo?c(4(e:!ǍsT}i1:}5_6 ٴۄ*$V3DYyI[N`<4b_yfڙ2Yv|}. l/w-hZt44`~\hE/vԜ`Sh,Y* gLtOs^ C8/ Mm.]߬u7L&qPd}XM%bRuٵS*UJ<2b-Ram:2<wL]?n?ASXr}8vc/kB̼izɵ*x;KMi %boե=uA7O+Q d1\1f/eX<8!85!K#g,FW]#iرgYZ138608abf9943e1a6e1765caebec65775a98bd1b 1eabcf82c04a5d5e8ac2c642db9b75409e647863 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 59d11795e9d7b1324c7e54654d2428a123ed7e87 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37cd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a909b821edbc832e23c5a5ee57176f92150d5d5a75