SQLite format 3@  . BBh77otableisabelle_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 L!|,d ]]]HOL-Proofs:threads=6elapsed=693.872cpu=1658.860gc=394.692factor=2.397zXZִF! P8]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~}=[]햰P5}*IͽuDۦđFY܈C?I\Et5z1ZK JzUt;6p; hB9"ӘEW:J:J‰Tֈ*uK!lMH݆9x;nF ҃id9X\Rn }wuzYwmjL-851y(e{ĦCUFzXyK]cDbqP9 &EVLgcslZ i ao@P'NMryGu&MWu7m$tM#}|D"vǟ[RZ>߾5lwRТ*v3W9 H^>]DNm{ӂͩ.$Xŕ<*R3UCo@jOtF #Zz _K`N>g; Q^6PB!巹5ҝ2{s7ǒ_f<&5뤙T:tܲO:Dq hh6-f=IPSȮMۻ2'LyA4w䫀ӟ~IʦJy?:P^ #fn*OG_#|:buaZi W"N,U~+%#i׏jMLL\=GՋ]&3azЎ_47L bE r߃v aPKeifE2T$.UQ7f4z{K8 NO # jP( ̧~ԀdZtQvh΄ 0#o r[S1febSۍ*?wY-/7L̃Csl9\̵3]D5FjEp9{ [W ű&F'lw# x$Wv+8,UFZ z_PP~ZR_ HKl˹naj)9dyRQ?V~R(;kF9-Xq+.Xޤ3yqJ)9~JZ΅ybKdGjq zZC`-KuDwWp)WE [:mE i/(p]]&͈lgP66㊜_K''#BȑOmľyIocn*6ps{0<֘Sѧ2dwɶmpJ`6w$ȼZ msNv &mf7xAqt9e*^S܉v 薌]A\'ũqU!-aǎǙhW}+X5rc|#~X5mwC :7[mk/[d!#.ѾC#8;뺎)> 8VUpf7OzҡHkbOe?A2 c^~  ! HOL-Proofsyыu 4 BOP<;4+-õݰW.7c+즌|1X0ь-5 uo57lE4@Wr5,ߺY^BKG?ķ+/jݦ ?ԫ1~5q6c_um,`t8r}MdyJ>%lc _'ᥤ>Jؓ\i,f$DR@Gynd|/g*sJb㙯Ųoѝ}p-3МV%cA\Y0XZ5| UNՊa+}0ʿY3~o_} NG]km}<\ J(e(^EYnL||p@ qͅJCG2aTJҦp.8TP;ѝݶ? ^? jM!8;4Ys0e!jVTH:vÈ"IQ"gC(c.5 Y@<(LrNox~θ5s3*6|7Q$ҳ >"RVc,OCR{FJ"< J-[*8<H`M7 =k[7#57܀,V9Mp~W ]zK2-%i1u@ 0v+;疔*5s{ƾ„Áe80Oʰ"e5$!Ka3 + Mƣ( ~᠏CFA={6 /՚B=rqWZMgk]@ h3x5OKFI)C`_쫗%A!*;E4, ߼Z`4E>Vs#@l_\VK QxВr@aKKݰGtS}ډϱL'` f Yo6<0cϿY=KZ$ڭrwu b=1aUThGɣ,RTɕ(xړFT'bÊj +EE eW5mzv>~{VMV|gC ȁTMcO5t5;\6~~ W˨ֈ\93ū: |PWT>20IV'"$ 6%aڸoŋQXDtm*_ұgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!BKz'jx2ڂ^GoG­s*֤c*?{ֱ#Cu܆kǺ( -L59zyd/KiOs6LB}/ݤр n#F{XhY]_.&go?M.NRSŕhp~cy5@hC}qфvry@KԪ=YO'"׻M5M)N^9KF]^Q ıY`jw%::=g"k:Y!^m ;MjG&$  KU$47,<]#y^HkQj469Hkt rzTާ'f\|)n "LU H~\RtTrJV[Z?Uv& "eB{>B3 ~ 9j!AL`lsJ9uCԕ<ቲ%~sަ0f=܏O'G.f VF\FGnFƫ(u3J(KR3bU/} H<OW&d9 QahO\I\LM!2]|BP@ M^R8m2IFp#Ҳo$yAbޱ7\řt`2,}R7Q/qr5=2Tu`j֪GJۡ\2tn*pnFH8";?Խ~{eV*G^VwP╍ӭc=$?C&FPjѧy*'9^RV\")*<_1w}~HuJt~M ~ }#;}HU  A:x188UfL|'6Pe6m:qW1*:1~TBg@Q11)gSZfܫpV6q_aٖOrmmJ~GTCjfizzC=tj~a>nOQ1mdn;shN!,7Zy# & >*yX44*S:0=bٱ],4VX9uxCr59., {VVܗՍSH@Iq bx2d 9 Jc+N }/3Tq,eyKhZriN@v4Zy,p^G ̞Zr2>j02 8LU lhuވtZ)ݷ(x?k|vl,o Y8Ed{@VeŒ jNpV 4c4ڑN B錒J<0%s֭qwW0B?DrY25Z ;1-oIC޹sػlE-ݨn">Ey[@=kL 86h  2+?6űgYZ7zXZִF! l]ŗXi%;Ǟv&33 6y;wHJd+tJzSt$>&X*_t")\U|>Wvdnޒ2 X1sYG,=h!9%dt+Lm 2-o&{P^ΙDEP=KT]exLװY4mMA =EH?XmDz[ŷ| TIcmD[㸃0P rft= 7-+{h~o+kOBd[ӋX|aѕ#vGHPهpCtD_pC5^G]bmҎ@+D;=dI^4f"0ɕQTGkOocxG$[Ϫĩ"MR4%q >D=tcj#1p< GY)ɗO69:ӧg?onMEw{6h}GVg&;XU>wcPM,ږTCidS5BouN׊K+*1V.8gD$JN(a5tIA$]>)Ʉc#l>لYkggS{\&r7!\RHpfoj>Z>"ߋr&ŅiH#T0kh_p =I̧Ja 2hÔ.V~vihbNQ`ˋ^M. @)D#$1tb*3Rl/ejjdY*H>6j:mcGvA `<迊mot{'~:X&n$n@ٛTDZkLՌ sF(ӯSENS(q7p$6`w"2Q됷Lr=˪OTJHH}tПEk~F—V; 6aH`~0p!|j`@*?_ ϋ Twfc_"t`~85Քa{ AzOo^rKUMBK6V뒀 fh=)"9<4vLMMTPg!soF>g9\]h&QC+k݇r)ÿ~)dG؀ݙ1` (6ShLB"V/jr#S l./8~lZ_B˰[@i , ׻cyBEyA+4s4`QiUQMp|˦m۠N 8ԽIOEcGX0KmS ʵr/؂ J#t*'E!43akdjϩ]"3}y5&zp5s}lL;~bGqXY&ɪa'n&шc;x.cXp6K@)'~[}*Wx}p<kE 'z ZoI5dR_*+p `o`;oHX UK04#V|E kR΍hgU})k8u$"o3̵.:Q}ܣy"@a/Tv '{<ӃR ǛCb[w,ԯ/U6l"^iИs"$E]㒡2 JlJ,?Z[Up'qY@ȿ orh"jIPn@wPjfV׭ :\ֱ(jLa{GD\hf;ԊA4+15  k3i#643icSҊhz_* QXee_.Z'_b5mf<ڧݜ |8Dk9P65O CgH?UݓIaVlP(RR˨^[t@(O{JOw.4_l"Bs'G>//a3/gGᇨA 4K8VopZɰ#U@Aٗ\`vTfֽ`jOQd~"1zM1SBxpٕ? >>#51(Xͷ_x)_N唑ޥ勰Qt`2P9:gL0(զEVI# \8-2wY# ZnFf#u 쁏֒lq_ç ̑^JSPt$9v_f6()W͖΢[sG6z\VtNmb`lt'qYCڐnr0k'JI6D m[.e<$GZpSiW04(k|w{&Ec#k=B,~y 3uFLF*EJבiD4NXQJ-," (a@p篤hZD.?3D1;uG<?A1cbd8Guf Z" 5{ED'T')o/[!)uM}jXN3ʗMvF PCp h@43{ ix}Qڴә. QI饬+a&M/̷ 6Zj9϶_0ibIp9',Ȱ3A7rlI)˷godsP"bQl^qaKל^ 60,K?#-#g7WM!Y$!q*B$~m︠ħHEu =)VN#$^)1+;jSs֘/%VvmD7lmw~=qLKZتaۗ>DŽ!cKTQ8Ϊmc'Ԗ}u JCeSz}>%0;zkG)f{=ɼ,L"p{AWF&7nЭ@,DJ0hU~]͇۠z$T`~5°N~QL/ ;jE?vMSvGg~~"6 i淳rH Ihnqo! GUj=;R<֚2lSL6FL$E?Y| *L}Rs.'.,wziGDkv0alf=ٟ\-TN<1f(NYLP< Fׇ+xC{rIL&s-7ĊCB«V_o ϴh{b?WhWigfؤwm\Қ5V[[k_:A z‚CA?ă qV٤)e5Na78T߽gӪaѹ u0y/C 댓8|.tSP~šYg<X^<s8\tC!{D%N -Zh) ~4j#M03?Ap1'~(:Ms m bf <؇=Z>2~8: d-7MJ/'0]Ӛ8wipMߙMS2W7Zs$QD=f _Qc۰#SgL:Wx ۱#@̺DW)n7v._EIOAwBÎ@ S_l((`qFV0foP I?J}i}]`jx`;oSYbv70*D֡dE& bKx@U&"{?~$‘8KJe b1yG8c uK oԌ5% tFCBd8NƶG *No4"4GɽsjS&)m??І}]&Z=W_BPʤ-7OCI&W,K,Solls9`>0H%q>f= HJ lEĘLwT$BHrUOu`Rqfb1,pq^X%Nɡ$bO5vܬGR?O;d"VK'A'>I~]xZp-%_)y$ZeZ1 h_VYok0@2< aM!K/IUG"O1s?zn9QYd +SQ~:[L@Ge$WXk)&ΨQg͛Xw%$몔v.lq(6 m: րS%F4y8D~[=u'9Cz#e5@=PgW/i-5 ePWFC#/\[ghnH8";xXVa')^B.0;4t'x*IJ,=;$VMF\EkgWT" 7t_Mu琴z\?ަj2Uֲ#/ ِO~N"$Ý7% "ՁEXEIR{q0k,x~y125c>=atd?1l#AʪDB6LXXndFm_kjBgۯ!>rhff(2!tIzY}?gU +Xk`:a ݐ atyˑ%&+3 \[R6cL58Ҭ߱H`цƄ2Ƶkp0Dxw>>FXuӣ7cr;2Ւm8 d:3zM9,r`&-'3!Pz!Qoy`fbמgX։,OAeVXU*S>9*6,\.}euf2|c۠L?*v#'GQWx\isbk}ÎCOu9_w+n5O7 :~W ]N /GǾ8&EOk6SW~RmXCIk gwDbjN熸o)BӊȀ&(j \'.Qx0?:ŧ$\p |tTS+s5jX"sǰR8"L(g |F+gZyѓ삃xaWDRjMM/f] (,6XI@}Kqc:8ƍϕH%3)R׷+RbvQqfu\huW=0?cMQwgcXx9WuB +TK֏ɔg<ɐ/pߓQ-S!)JSg>,q-ܐZժXAnoO2څ ǂ;[<$˫-礻FfП+tAS4^KZ+L?ވ2zQA]u2 .H<^$)15޳}`x<4\܅= _0Xo,w :;.k.yJa#Ѽo ǩ)JJ6Hmwzw(*HCd-i+c"ы;s0bSN(,Dc5iwl` }r-+.:u׍:f2eKצx:jcٰrpQTZn5G4pԑfV soʚIVJdH; y9Q&}xG; Jv˫߂s\j΢x˗߰8H+tl"RʅsCl iF\3O #3}[>I$B!QxK"cl4©%_+uù^Uo3r4.]5m 0.7%UٮiYG~nʕv 7F5!BfG;}$&Y;%(]I%8 c2ܞ _CT$#$B wÇXmrswO޾Է,GTRe "Czh5qgi6lAɹ7. da;Z( P'ycFo 0եe%Z.nxЊZ-zMocJgSw[HF'Ny(0ry{䦸s+ f˨i,3ƙ{q4K+i݉rM9>#'9)goehmn!0)RrU=+}>N§[~x\YӚ(n%ٕ|^-hd ЯǺ?X^ho_ Ufh@+)C8ӕmZ0J1W\O\@Mp@\\ժ X6 TwPX:LcudyU ʕRx]˔m pxsr"8`f-2 ޝ@I{KQN$j)zɬ `eXr]p V,ʙAk|*ߢ^==0W j# tLUJjȃs69N(#pM!CC}B20RS![#La y87@r@X j4o>()+πڎ"NthѢ/~CkYyR&,UL:Eq ƕȜ? 9Xn%àA? Zޭ[bUҫtl7uo7#O s#B}J=.'%ܷfe\zyxLhFALC]jQNڎ8 WqFJ&p;7 fe‰˿&sXڻ8~c^9D/R.;9m0&ޭ XA=iCUT(zy#ߪ@4<nd02P:Eg?Rl32r4`jȉK`&ko8@g|{qF+})+p3qސAfk( ݸJ Է{Ð;aqGmq99zUPP0-9nh|Р}1=NSq&[ n}op4p 4W6JɸQ SMR <<3{I*LeYec˞Z3W`\&bt&DOKnڃSw Z\4JTagi y, P2#l3%[&h*"2)K[Wj|vb!><[ڠO42OAlnD BK|=Fƿx71f,2y+e <7c0=#ݔm2v×8"+N5>oBE@FcS}FH#V8]-(k/NBYpJyC-w~X1Q]~WnAѰU߷w@ldM \> %\WO4V#Ҭ<tBXø^1*)Tq9o8֦!ʁ&飼 z:']z{JkLiQllqႉ3S)xz2e2OXkcR{o fLF-mȭնyoqUr7ڦwZP^8-:;S~Ƶu #NQmdޛPϾHgZV̱]^fkMǭj|/c֖3N4qs'^~vċ}{}?#qQiQT>k [/zX?\&XѢ>gPFMr}ll?xҫ(ؗJ( #Uo)8 zx70"RǶ\jSHo99~7Jb$ Ox{/Ad "7L\vAƺ):-FܱU7AR^|+Ź,^P8$K.z$Z4T&-E`x0Ƥv~`.'tk;>2C*W Ab]:bXLǶf諭*fB)xөyE2J- pܪ]1C!5~XsYk#!!A+I@Ϊ=ȅƒ Ly (GF'J ME'Ī>^ܩR>A0pYd`%k;;/9RI2ݺ#=~7.A[mhXK2#鑄 ıF#]mTK"yb}h3N hY3" 0dD<"N\ (?+IȨj)1C#'Y5aww{:<9gGm?1kR*WBvARTvjK[Ÿ.X%8U]ԗTw`aR&> AJdbLv$<C;cN57P y7j*v,LB3Ox0B F$)d1q1 T?9"qú`)!߸q 9ɪ/rLkhI;*5`wE>n>FZ>b- ǿ3 X-0 :tŨ!/5`cIH@$ 'IQ'Īlיe$ZC{--g`$,g4=8)&)I87l up\|S5;#PNkG9I-4Q4?10:{6d=?v f[e[ W6ɛ>DzvbI4T,@]z4g6Cn-^aC"7>¿ $rN(+ >Ąo (zeپ¦ٵ5߁-#m#]{q »FM%pz7'zƟi2w2Ǩ:%w_!FR'AmwmoW|`М pb"Kثw b~S=[>v+R4WIH}-Nu!0LWIt&MX-:8--ҢUy{a\")OP& >2y7u]G%>Oc ҏ87Re /(WN-:쁋hg_2\'fz }?(_X^..EUD̢u syELƝ8n #z<#T+ x)Uu; UeCt^]׻Q-uC-@IL۸[hIlF-$~FE Oc]0 DZԾ=%>\;xmc91fAhC@U>aV~s\K]B5z֎X kOI΢mXWQ)m1e:Db)`T H"B}E7Ǩ9PfK09LQ*NʘBJ|"S(AAO ~[vj,V= 'DpL oy%[4+ug%&4|NhU"8G7A;*Y@a4!$]Gеj vp ͠U:ѭ= 'Ee 2:Bem}|K{ðpxJr(Q2uƜUFtm9g%'S9\Y~0N3Q:֧̟Iv7aUgP+5AGOۯ!ل"YYf]l Z4,y*bXMHO'xdM v\UXd܉hZK"F$67qh&tQC"O8:mBI?j9.[EvW%$¢q o2GK 5x'J?>Rw&u|Fd)س[-;&p y3J0x%G< 1 ',N/(U[Ijq'4z; .]EEHV>>hteJ2ѝP`SYt?GTjB&7]()>8\ơfHDG% jߎ3wӳDnŲi0yhbMtkEN%@_/'H$8:ۤ9ܪ!D]}ٞ6isA:-|C" (ˬ;l屽a8诜}sN>nȩo]ߙE&yJGv @=Ρ"hkc;3(@ʖF'oCu~z4]OzB7 #O󶑯]Jbhf8{0g=oU;A{ncW9t(щ́|8XIoLlrwz.9c|31ym9[ɤɰ y&b-dsQW<}'$(0^>fn,޸iH!=!*u/@)Nv ~ΔfPX;SOI#QVU::} )d +=c/,e>2"u^!]%bYV\}˲u&|{d|9#vnPGۃ|㜨zY;()-yư'~LMɧꐞ;}kgy%h('90S=ɲǥc~ #|e*ҢŰ7>]G~5l9zD_3H!M-RHZ P(:Nę 'G%L3娛Q>gDZQ]2_ ?(n6-@זpQ< X7 13" VpHvMwMoh1H:`6.S,J{ѻǡs =u&֘Z&ɱi4H\o. >q2gSAd @B>h]}lZN &qO=\,HFDWU5Q_3]Y rj@Gw͇pch˸v9sʓRA;JKcjVZs4"m+Cʨk`,y3Sh-zzqtA(5FMHR. 1Y}xQ܊P zgd/B9O9ɷjqܫםgӁJOٔ~^3M.;%v`<3E/WL4^qM{vgQ3c]_{t71d/㖷ѭ PB7ϚM,~n .0TG ^m 1lJS y׀VTjhk/|^|&dP= N)9Xm )7!8u DHTGfw>3Vh96хG9Aω+0< IC3rYHyz)!{4KuBCh .*C$&RK q=z5I p⢙p? 戎z{w)JmGzֳE.pv#'WiropNgfVo[.Qk&HX]؈Q?[#\Dxӟu^N[5nZdLN ftʰ4}5Wnݚ5ءQs4pu+@f2Sɾ~cuY0%EҿC["q~7%M~t>=;e2fkw%E ; !bl,Ss~kdK8v.wOC!'2D"΃/˩CĈ[0B9 ?dfXtJl#Űm3/z@)& 2}z =f?nܵ2uAYըg.w46A СrՍ*yE _<0݇]KN#bMT8@us%>H\,2~?b][$Y;=UW l]Ewz |hakhũ̖.š߀*C^Lȏpw}*TUq}:(!< o9c$k}ӜމΝ㎬:`GV7NhG,fzP1TrDt3.ߕhAv3cʄ^/y^@.xuCq*mO$r e|ԩcEWX[(.P"5tj:Xo6ú[iO0P0Fp@&qË%jRhW' d>K҅JN _ב%V񢘂_qj W(zxyT{B<]ZnP>U#T;a61)3_ ͟%!MԒNԝZ o7HbXfp7| fCtrhX)ٱzr`da[.!LXoO⩉897PP{ak=Dm$N)E9%SLL0#HM>${#8*(S狀5&~rH|'{ a &ϨƤ+mRR;oQxg8viwEUeX8,9Kư6kdϗ9$2x V oۼih'HH*}cˡa {=5Qk4/2(xty |!̤8Ƅd'sH}n62M1-"gsvm:tF%!MɒM瀘A?եonǒ/$;"ߛ-认uDvFurIJ6.i=?x]xo2͊,:ayJ!Ezvq `^:i`o * %V4-;X4չrf&'ZזZF(}OBۋ#q^k0"2,%5th+O)ǔDh:K1͇?dOi7a4)х"0qWIJ' 7C"FrZ7͔ݙ*}w LJn,1&m!8Tq!AN zޠd* pR.6CW; OX9Y-yJL*{*qD> %dw5Nw}p2Fbn#Bq 釓 dH,P֙V2>nWPM[%\_mnӏlgHH8M+jlzIi~ DR?z.K cWZR2.Fsĺ^~q35ՋiF֎e X+u[4Aq٦}!y-wyHA*"r&I&aץ&6tc2vm2vdOzgt"{HʠJ"*5"b/@maKpǍ)DE,d`FчYsBh7Dd)hB9/*.7 ypIyBG%-PQ Iq ' \xo2 Ce=/VdlX_-!uqeܳ+s?*%Ьe.a2o!LgEkstbF؋.!)pO[8)bHπuh Kū±ԣy\k +ff;B?"P;C]BU2YivIc5.g%nG;y` 65 ӊhؖ)8 0 $C#7Yqt*W$Ƽ>bퟋ[ˋRitOkD4_' 9CN;e9R y{n- ѵLV& PCslk6A 5#eI- wGL-5d%6l#B~εBL/ee݅!~*S:KJթ4];(QmW1!g~ȕJ QD?)}c@NUl6g6UН'7 )" u5~[؂Տwh-`S4:IBox%b=yi-9ɧ=B_$HY.f2-m/y+TS5W =af@Ij3u2}/ RzͲWiktN}0z"n>b[6:( 63~* Nݛ93=c 9 #$By5D#!p0"pH@b;ъNCaiTn}xY ru^rS[Qak WDGRQri6Ĉz{k a^\q& #="'{7"bVKEΓTIԺ;AEb==a,2AʙxNDl®Ou {4m?7R]7ϺHm٥`.uyf9js5yqe5ب~ 1"Srk2y:V=V2:KzKC)ImhGzDNdqȔt0{6" cM0m4?!/,@ ) :(o v.;zAN->ȻWC[ӫ]^ǙGKs{/ Bi˄w{Si !Y1WQUѿnc*fcbO*QOm$j ~?铉΂AMM#ѶC)謸r"n̰ypZpZfgu[u0ьgase _bbLLuDa1,s#RE:FrȶǍyry7w-i?B8Yt ٽǶ&r0D@If6&d ^xOٮU! BnΆilʒ瘆kvbJZvFJ ʠwr̝ |h{;HS5g*s#vZ bJwr2~ԿGfՐ4g Ƶ*Ȍ4Pfk'#g9Q@8OGnU(! /SH}kS;-kG,Ӫ#)wBcaorޑnnJzu_YZAvt0*J+Y 8-},/0SK`CVwao)N.jGt G‰OVnLr6_Gi>EQ-bp9J9i[I<Ϧz@(P< !ck)|]`kó`"RRT9(^]{s%N)rԂ&v)$)`X(}#Ynl@.jtmR 1d8[*LrW?Vd%h;dx\DŽ7"݀w锹ŪKS*Y]`iqdv yBHn dȬջ7-Lt\{x RGwޜH/Z`>wPEG3TC!q6tsJ>es!@e38O4M=o՘t"Q j{ )â"9A(a:8ER]u0gcb1}tP,g0@k 1Q26(R!'-nG*/ae+ѫRʢ**F<0dF6QfeV6*>}I8~;(QZ3XHgyr6Σg> 5ZͲ1!3;hf~߂_Jm=v[h> :h"ɭin5zMxVA8xVeT;,rZ"u.r"\sE1yj^fwa'^?ÜhT' {5>3'JSG/=NQ`4G$X;)Zܭ1hHIHBiֶ'dG Ԣr!60hi 5a9 *)dm@{YNCI{4[%ͳ?E6ŝܱwNZ ͎[Z}wp$fsyPnhYjE2օ'T d `AE$FWI[905cR6%ϡy?z/c(u y=+ܫ~n}kMXj rl pYkNu4Ӟއ9k*'Oj! Mýeq.\/R#~nK';?1w֧ݓxH +\+6j4c3B) uJhD{ywP4`Ϥrids\2ڦƥ\vtK>)jK`dr/(WY|壮 UKIxItb=fpL D]iY@;nJCG aaÈv3MgXiyܹz, ,Z9qN$R˓3eteߟn0#<)@\VW3m?8ٛ8n-V k+oGi]˪v4Jꅵc{tM?y`Š~:J?hfV'~bi_DgB,1 A"+b!ڿ7hv/~׵"Y= ;]Z ͊1G|s#JR*IPfeDkCpB$i,#O/glr7 OLw BńEpz~1?q}%&6統=-{<&rz^fIҙ 8= R8vXZkC }24` РiG7ԞϭC D]Ei`o>؉DQ*QqT6BasoӠ5S~6Xdm+5 YWЊ,&䣊^BssV(;gn|̣`C CUN$ ۅY`laдp$\:ZKRכeqE ڠ9@de3XE oWm? @$i++Hr|0Eו{ _M&ڧ"[| >:SUD]Bei$_wUc0z4f_A 'l 肓3Ft״|RazPc1Q@"--{ 2d(R:Vtd {;_3EXfzm%Wyp!Xɧڇā8U"dxҪpQ<*Sx-D\#2h;!jw;V/Vč> LNJ*ϔFT^@=um&'bis˒Q? hgۖ7M_)|PAC(s'=T.Q-^o6 qPA I1Msn2=|QŵiBյOtp\NJH'<P\b.  sHB^&pi;E~+1qrB~ j/N!DcoL.klЉ_l+M(7@5 D\QAWb?jXe YHnu|"|-z/f~rژ-DxXG*8];XȻ,*qZ AP%C^炟Qt h4$^oKIfw{<~a M'x GD7Ra${3Nܖ9in'@ iʅdk!ĤAu(fr C.rP`UU;I y_)EGPrilw{_aCm]gכr 8 ) eӿdzi@hCd^!Y2#T>( 4dS/wgy:  f_lid$)M71VZ; YXTac0 -nQ/">E#3f#ˡ7'폚Q+dgͽ葎΋TuQVf› $6^b#&e0@^i ) àgFLehkHw:QV+0 @?fs54PU \@֔ZSw(-My6#p"XK=wSpoU 3"_e_}@bR-)gFcrբ0TwĬ$qgH"vXW/*!tVf8b09,iFHm[cŢڻ-L7')NH3޽wVwcgy㿒hݍ?͋q c!b;X7' _);dj|Efkqmtr䏿F?S)|sC1+Hnw̽brOVc G M3,0)/r4IPP )c4! tA# wPs=Gijav̰>NccM$aN k B/XjqHEVL\ߓJO`YJ%X7.8dKB \ I'}s״YFr!Je)ZTX9,۳ٌ@#n~K,uF3.)~tUTuKSmo>bC@f}\~eDi yA vqrXGv?C't3mS(OZR1aL2,"kp.BY+*O(z<ˈ=ͱ<ōL!3h."d?>ST<`mv!r@Tiйpz~F]ޢ_姶b[_x}1sH(T1s-i y{%qRs86(͢%oDgMsZ('s>](9?>.2ЏL^UY9]TXVߧʲWE MLP! B0h8FfMá"]Hq>&DUJHyU]Xh5L\) ڽ.έ0zrzکvJTS迹]`?Q_FO!i,o=qvmPSئ?*Pl>!3g yّfg?Ne ~C j:+$d2֭7巗SNFK:(Ao|aʪZQ^@{Aap*mE>d&UR0My}SǙ9,eH;*+W#Pߌ-i!fοpg Ni֧:Dg} !]*U?4If.U:I? YmV/E=Sr$|0j-!i4X*]3vH.=ņȊ~+V+<+Ɂhy; HqZ=x0=>C7>VI+8I?@u$BH/ w6ؤ8Eu/-=R7u^NԻ6yY.`v@Eѕb2e*cDE:;M3#!bWoORᆬ(aŵX؈nw4?l^{1ԑ䢿JRhG98?&R&W9b3Qyky\O!9mJ).u)%|.RDY9f%Z/ NJjW*JbsD+5@yeДN-= {[`K!#On0UzXc5Ɛ,Ԍ8/%U>8u]":ek%plVɖ$=JM=ʈ ;[o ?j [tkU^2zV}?0"]$# =(÷@DVFzwݮ  r ߖ.W\G@(d-n52-:=؋O+=`m~UT9e% ˚й[!DM[6=n,=Tqa+}tMW#ZٵǑ`r99ԙtt9,X4d+K{މ.&ct@?P\ 8We۱\w5SB)[[ Ha6+~Q1$A۵|@=֍󖮘i2VC)Aj }1q5RcV"<7| !fzo,> TZ<FL>܋ݕR =]z0.zElmkrs$·WNi*ՈnL5s15iDm^XqcI[6S<{GlzJԟ K(T D7Ev ,,aDF| 5Pb>\^' ? "Nq%>,֦g|gO֔<*푙8[>1=%Qpk"I^6R!쓯ӃPoMt`e$ GM`nXNjŇpsL*rF@{e4z$7"Bۺr7>lثIͽ<,*J/= @'[V歀r<κ$aWfL;Q]>4'lq_qX,6K~V1姪6']ϫ0ͧyQ&q %@&ߥ%9jf?̒EIj/v2YrO V_ cp-cHu/}xnQ1*yw/ jr6g'ѰMQ"jûTVl עooѷGΙlzҋ=łXc}B_wPuQuXq[ɹRJ> o`(2S^}jAڤ+ ̳a~=NgK|m?/cB-i:]ć@T%LJmf<ϗMH.Ŵz#~lr`mj)j dx9w6xKAKdK.NxYTYјAl"8$D+ ՠ-2llZt_& t|I1S(hiD4>s1Lމz3a+-K2u&Mj Q$pUqj XX򚰇 y[q@Ovbv@k碝pM"^yAe7`6$8Uo;Dʌ9 wÍɿJ՘c'>oQD /Ӎ__Tِk}Z`ߎ]>.Rqa m xNͭ1Od^`mٙBbv"ŨvD4O様GG8 Cޙ\k>́@SjEqh.;K*%I:DNiep(';Mŝ@~2Z 4*d~3<γK^8a;hOt#j@p3r^)=G2{kuWnZMj!07* m°1E/;z]yKb#L![?EM7UG6No0.Qf8 iٞV ?$B(2*X*QlIM-?k(q[]&Enz]-,Xs J|uq9|YcX<É[vK+]pVG+W{+Kv كp_˹PȲ%F o$diΘ 3]u6Z* HDn2z)@m~r6^N+_{;c}ZnEW^7 ٧6bkT'nRty<3hX oEʷ@`0k y7/f¥;*͠5C$:I(4ª22-15W_Y\:'oA#L6V#>el\Z48=aAoVw+9egYZ4becf222bbe7574a2af828be6164a89f077a2a70af6f82155bf73f7bb583ccca2ea0903508c15c492310b23da4a986cd0975c96f646f3774006081e0