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 V)T< eS]Incompleteness:threads=2elapsed=689.822cpu=1082.392gc=17.960factor=1.577zXZִF! b]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"tAk}Ď~n 4k'D7f} 5A."Af: rHZةR1p/b`q~>YSbo*>7 皋1uO%,݁@J-5`J 2/ Xӿ3Z‘`j>:l8֛S \BI%63č:f)>evHjtHW"zUP#wH6}< ) Incompleteness~9Grd+CcnZhuzViZ&,~D q/cn1s7'[]:f"ZޮymE{z.KDG1TA޽ɂ2jk?\aѩlv@'R% {o%&pG{0\#)`o^v揝 4t++^&ڛ^={h[#lth;]޵)*N$,sU'BKPo 5LJ lᵗ eiX U#D#=O8Wvg 7F88#nr'˃ԙxn >NXLF j)ꁳhB%g.?:Y3:f׷v EEa,-"c]7+恷=[2,D "ސ k2RuDTC={ %i–GHo~#b#-*!*2::y7#SQNF_%b%fi)es - GMk{lӭ:-ŎCNW# Dgnv)u^P#N? pmh3abq+Z=Z˞:Y>1\֠0/j!ROLSCzkuaOŸɐj.w4p1B_}J)8xo0vvWG|0 N{p7 ai!KzhPZ +︚ V1( <{ jgZ1 z|.e( / #? /2%L[]SMD56HfGf(JJha<_;bE XY D,{]׏+tx.V?˜_T],u^1'p8#kH:kQw-|XCxv^qaHu1:%tj?\qI!KCC۞7$X\&w͓>~"y xZKm S ֺ͵OMrZ+b/uۋ|+'K yMvB,B ;oe.nĖ.PJKW }wWQa VeC:VU($!XP?G1J13|*ކI@B v >RYp[(OFQ)!x 8kբ6dp"8A٫#*GE+nr360d^H{elt+("U3&Fv6V+/Apˏ ^ASzm7_psYE>e 7Ry(qnD4ZqY/C(A.2ocZ%|kR,(L!JV˹ צ% :/Ě\.)_._ IE/1`xVIIDN_i1/k8{1L.~X|4FB!+ٹI)o}%Q^7 E_=TVl }٦&WR"3CFpt ZD_sbs)"X$ʈf; ,c)p[Y%җ)֭N!{ ]KDlwWcon:t l|$6oFΆ3PbkZڟR(_סϡN>6Y5Qi:ȨtUs<  :AU A':bp `>anZ]RXMGÏtVvt"T?مz{2&S9b1OMI~k*ۂЎD5?OlpTjЕt[CHAwJ, 3a?R Hda~Qx/ej(1R!eL+]c6_jUmxĶVc.7jpK/ce #uDKfb|wJL0r|#X^+c \!5hw~?xj.?V znF!MNOpqQF@Ԓe6:&v_;?L-\e%IbQO|Z?Imj1aoؽ=b{(/)E-cϳ} oj 22:xfJu >\bY#GorXC_R8SШR &0"䷨ _Rj̨OPd('>:^k 7Zxy'sS[ɘӇn!?b+LJquL^zUׁsol3Wo{4R~b4 Ў"6}լe>LJbdZH (o/e@A;S]2gAÞT,Y㧑7q}ccZ[.aXQ35X֌ 2Ѥ9f2uѼıs|?,Tomڷ |cpj xnx8 Ym_i (:q Im>0$n@*F zM,Igw.6ȗ_uZJ]) PRtlNiEoUzr7Ywa3 J-jmH@T{PggA&+*>mYM2\8:eDM7a )sx [eTaW *8=ӈQiZTHl|Ƌ 0^L'%,O+OX^{Q і:׆2YKB]v|ծ`F381g|"ێ¤0T_Fusuk`Bqy( Ӫ,5I{ eSz͒4xrt/0HxF!RC6\fEcDoɔت3zJPk'FȂiqT \O mM. ,xC@P%k:sW#J]{wIqDrzO<_l ~,ݬMDvmUN9H; rcEPs.ٚ:EI)9s%,='bfiO*fM Wmd Uʯf ͧ΃1n H,lbSrXyoӣ%nHt"QYvky$։tf;6˘q[0{&,ݱUShI !Bk67W(g %I| alQ,ZZ6Y0/v:a2z=@Q]An|mJSTm$y~Q} 8NPהX_lCNt# r(1G>P.}AM` R23U575Me}iZ/7h}>s3p'fXTpP!6pZDT(Ҷ80Mip1ESaLZ W8E33HK.b;az;VCTUBg^xrmd,ZW$}v^e&L&hڐ -o:8h=qLZ$'UO\-G@ wUѾ3-10@ɑwƧn'Ȫ̓J|S օUޒIuj8*SDkiŨ^pKV |ضIt.^$4k@5Z@}lY~5$cYy͕*zc .b9굩G0|#< Nbfb\gV'? !h_pvL׬p˦;qxo=n<@k|^m*Y?e4/X{A{ouc:WQRp񦜼4~/2Vt6'!hCŌ"z"[ioA+Zh ' 6 NL.byt17mn|sCkg#xg?a|`:8۪WcږiY; rGpT5w {jKo_.9 XxpٜWakSJ b 똬bW`1TŞ' 8>:Ar`zmT42AMn7z>LKB$>g}$]0MnQaJA𩤏/<;3QJHZ2mCXg'zwx5c^{8zA=òԡ(}Z N뺄 _itD;NG].$lWA̗U[͸3r /GXOuXۇ;aнu2ζG}^/ai\x}MQ)է- V4E6˞^ZL;6# zjWcxYPTHm}ߥel2 =iT5۞9S=ɓ`7GĶ}|~1Ms͝;@:v9n@#g5DX4w {O}(5m mTʿjub1X2ӠC@m<7.X h .=h2%_ ptbdbgbtpmC j=JH}&qeu:!uJ k_*:#APvBMSu^w2g@Ǿoi`^ z?W{?sfCtYSmw!9ԷPkj_FUّ+]*qWY7ɶ b9[UQē}=%|J;NyM?ѡh P< "Х߰v`*j̒]M?ک@”7g(D[RA]gFYA=6el;M5/ַ[tf +;Fٛ*b98 iI!dJbFH&sL B R7-1Дaᆰ}ׄDgDHNC:U2Hnњfa(7H."`p_,}a sgL=G;TԜmj^Oĩ{``hDRvnjbJf3|G]g]=sg~ TYgfAs% e v?KgA؟((3uZ=S? 2gR3|$e8X6j%,S1 ]A!>#.PX'+MET||{>vS8"_b:Ns)f O:=N-q*Stgi1$)'E H#z]a#/t_\(&ź5<.?M]Q_,`LIaQ:nRg\a h@@w=Etaay%3jȢ9$z,XGw``h$<[2i3! J:_5~.~>0Xs*S_{泩򙳠x . 7QJ«S @rCS2c^7)k?Lk=B(\$,Wty$'9J:ؕwJV\iu_(}TĒnğ'gc=ToJy|2Nu43}$w{M9 <ϷW:X\`[ +*^S :2wrY8MSJ`<ut_ki Uԁhcrtu ]- ŲmCJc&~v!Xp΀~t1fk(xY01.)|C)P8J,u -4"m_Ϧ1x+}MaA &%Y$lTBu2r!m' X5`k(6$Y!BfI3~9.%'k9k uZI*{Q^0a)%MB]n5ВѵB" .V!$IK}bedO*zyo :X3Ɵ-cɊc58dBP4 ?92c9tВ!^)͜\I1ΓlswKX4 $lYrV[gR0îI]ې*! /UEJ@M2gOyGso!bG@&yYL.G)0r,XK15&H ?$ȷ;e1~tPYZ`2x 4IC9BK6#;RCS$jegڐ0G]~p!تkx9rMݳ-VTT`d͢0I]År;鄙(1PXlR1 <4 mUZy ,fo wP Z#r MÎ+_m >oKWYO!8Xlݎ`M_ xR9,6`nrBH*Є#Oq8jF^ȶ?]$ǑU&+Q0+"ۅ;aI|n qȨFvKҪd_~& xw"`ts\ݴ 5'" ULPopA [m3.<30F. z xj;w?s8m=XκtAK獧vBq +e Q(,hM.Xwi7k@wy/vHCOLn7l8F揫~Ih7.Zڸ~-!,0t I>rid 穤d"BI~ܟ ƂƘL!,HԂۗ3 BHE(7$ gd7J>8j.2+s&2yVaLHI "?!oi8Q t-- AB2v|*L() i% BJïʉKI5D$hKJ9ee.LP/^ yr%{"擷R8'8]| qF-P9o=N퇿6)o7sG Lxqdt3zyJ`#r硖" |K*'f*B~"y4PPU2EF~Cz{wF 'l9ܕ? H*0z?vU-i Cnq.F5sv̄tK !q> T+@֢iȨ5=_7_nh).XP =ܧWw^SƱg@[>mOp9\bdOeB{$w^_) L[X-ےHKvr#Ggc Jslr,%{:T(!ˀ{C vܰx2t[n০K[8Bn4) [^BND 1DRFƣ0wl+\4fFg7 1FAu%e*= 2i`587ESNq vtP>d{j$ vC<>c@,h(7ϠD]*M63'R.)?%-==b+\9)#M_R#Ŏ|*:@PESq3Uz75v 9#h9ĒoE٠Yg3;UsQ\w3A W͡"|>CK KJVSQ7ww0hBG8P ?beݤRq:ӓINO~EvsSq瞩( eodGM~,6șTe;7XyJU$NTt1 r,^|FVj ~ndtBPUtxՖί߅Q3"ᙸRڜ|" oo)`2)'K{}8,4uB6'a?߁I;_řAr; d6D[FI tDҎkxK.|ؚ mSnlwR":u juZe~pV k C^nS:1P5Yc糛U+ fҾ]LibO]vޅWaQ.H%SL ZEp#*]Nw낓4n<`.Cx.1L{{noqtM{N+8\(1YiW-J8 () ޢ s kK[FJY$[Śa_b_; `fv 5&~HX(P{Ɏ%DȴGl+pB&N_WIN9ЎV|ނ{;8t\8(Is-'PL,r0x-aIz=|/& +_p_u2/2# D,zsFqzAQI؊'93^J"@d s*L=?ԢOPX(L7 r"@U+jß+KµvÔ?ɋr]QD&wXGdHYդ-Y?lxz7o* j ~ (ۊsO8>tQDkFR"CvIҸ6$環X0Ő%2:!]-NH"tA $6X?w*15zńA^0?c}kn+dWOl, P3LEN0Sj$;;6t>c-\:a \-猖S15:YH㖗o! ~ $R~:'/} sUC-{ҼgbVڼ:!*ָ2lƘ\NZF~e9 iTZC9g~|rI> bF=Di슸_W:3p3͙H5,Ep:T9\rc6|/xs[Cʩ6E{5>QDK6aH rN}#I#QE 8P]JЗ;U԰~a,nTfьuM+Ec/_nT؎[ǜ̈́:C-DSFD^A.!L'~KTWĢd@u.aeHH~/ݯ?DQK)eμu3>t=ӻ8K%9peQ%wgٍow)6[VJ6ˇ\:^J&}$u&3k \ΡROv!E."lDz:ڊN{Mt|[pj8&1}|^pk@K&!IUh&uv$]!"R҂exyb3B\U\< FP<.BnG"yB74]q{ qS瑒1 \ē6u('lo9erBEJGBPUee#$b1e6]TF\" X"lE #TsR?^/rWjlkS+گ4TR+$ V"q-qi택2HU4GLkDx]}*6_k6%QR9U@D7s+(2Q1/ %r&:4kx\6<6rͧlsf2UcyC}i\)))-{Q׭sZ@ԤE,ǮDkWcۄsyß@*Q0L681tFcz ƶ XDvEOE|w`*<9*p1}qd -6k!٥R&R]E}Ϛ(O4p0Ϗ$y!c/{ӜO? d#&rA7^LjtGuW߭\n-ש[bf8K- lz)5šjspgaq0}ܑ} ~빃O]!P2c{½hA=a~NWtfӅoWZ̐N_#*stnMKq >x+"aA~lȜK 0 =q7a\>/>#eyNd؋E/󢽒2:r݄/ʐ}<vaD6N`e+ھm0.*'a>:?NP{ Rock5\)@o.{LI;KӿtiYn_I~'}|+"~i˽帲ے H얶- SFKeH(642è) +bh./WX/fĒfXl~Cx^1aйJXxu5WfӕZ(ɰKpMO7I&Ǻn?k0Ec#vNC.7ekBX^p0h KCŷC]/.D[V&⽺Q)P:ZĽlr7~s <S{apAWB]6xH*=,VB3,7< ! v#A^&}k:P!ݲ{9Gd.Sٽ*\J3z'Ҋ3[ Ȃj<&fwb*Q}sF Yiن ٷcbG(O3 +-tX*G{z#˓ 6Av~* 8mDz hݪKǘc$%Bno/ t|Tw0~ѵ=0J4tDt%>#r(Q3yjbeLG|wA|~a˼eqKuqQC5RȢ}l=OKPpbNzM9OCNzA_iO9eRi> ,lhZq'qDg!% P2{%F/`3)"3Z^h:ΥPUC&)Q bH.1.Q~m߸o&JhLl`̢"4hHmƶygԧzX皧@BqN#Lm>j gO12:c ߺ@fl}֍t֎Ɵm֞;9cp ڲD 8dP` Ht{|n1Tsq)bJ`S*nQvd䈇1gJxKכϋ<| n.uFƯ6J$uډ8p~[bګF:~£ Bն飇"Lg_QuӐtFF]D, *luWdVO\ByUW@bW pa7Lbya;(Y zN~\^rG`T6p@ 'b}_?XְNoxYx¤Ds|׽Z#Fw`lI\5<tb˥1}s戄5U ΝWN̶"3j(K˛:нThHY.iVV޼m;C`X^Of!ᤈ0ޡIɝEo='g-8,-'g%㗧ܥ,A)avldQb4vq5P q9Q4@nfNipbUi0)X Z:*\>IyK}E< EbZ9Qp v67Y ipgABJ_ +gY0rF=m0Y p,UK墼#5ʋk㸜J]'9㽚|xJ0T_k9&`Z"U0{{/sN{톩o3{k)ILSSd2$'[-r;bS'"W;uI& FܻAlr؜򠬭or:3%/6Ek^+%h^tӮg kAʖN;$MCBë}L{syx<[mo WrpĎS(kN#C=IN*}aD.1fD •H,zj4S-χ &TYZX]Z<>3 0R7}Ntg7{U^v -2@qG9A<6R64ed@R˥#NKp S.$87Y@AϿ `H-ϢيErGxp%u@UVJĭTNnJ/ Y-"vct?[1ns6DY~4)h577 *oZtD-0uI&ACJOSD;K=XOByZs1RQEV^QCwi!x(l=m9ysnqI}kpcO]Q4ZDoFR7xeLȹQwTz/p{hڛX*LG2 98NX[H%L L|I<&^_czq]Eznl;e WiFMV*8SY>4UR tY RZ;饌  9L7gͧ$}1C٤bDRyף#BhٝU!L}>>*)6U_~~72a~B'Ёu?#CAH(X#J/# l͛":t+=/%yNojE<\P  jq2(W=5b3jˎwz$:ϗ#3Hx)JA`.ӱ!aN7C$a^fS,=T=ܻR\ *֘E2ܮiٴIU661Jy`E ^r6{AVJX#TzD|L4R1MHlΖ&K¡'4/qj3J϶4-R; ujdfa[",dhy&XVZ@?π:]3 @W+8T)6ST M:kdLfcm% ~m {m'XLq>߳M6G 3 BJ-|嫊t&`FP]cYޭ*D,ڴ kǠlϸJ"WQqpZVhZ>"5q ]=z%C'y|u̎QvG9s8yi7)f:< Bk}'Dٝu~Vj. 3}d<9IyF(y0S֎>L_v] #bO6a!v= xI:.WG͜,ןl+.-a;zPpF߅9`B9$qj4bH P,cQ;^NXZ+SaY<)P%G%=+t4b*+VE$DŽ0`pt+ { ]sE8梭&=mqs S$Q%0@wJeÁWdIuˈKDxnNxz~tNyQV5 YZm+McԊN*5Kv&O4_J5ߛ/(l\g#̓C(J$4Y_r&82Lo,$v;t dgQڼlZ# $7Il3}|OWQiFO^bpze5Lh/OET*9(jwyctkS3IC=n;caŠnFzS36kE0B xQ#+^Ѷ6K蘸> P^bR!w%_._ 'CzJQvip R'ɨ#C|0,لsBr V-RT~匂w--ol ׵'^`\?];n-LCX vQGr׵P΅QZ׭#j2'|&D x|in^]0}-gSu]۷wۜ&:ldYmѓ DCnVTB* s!NWoYLgqu%ۦHq_K g+IP DPF5K#&S7,F`5/U o3+|uV 9UpͶ>O5Gln0C~&Xr,ai/8&\yHsv丯_G+%@l757Ep Oan |KcKŠTL*^I@mG5m>7LF#;B,Uސ,ybީƹ[qVRI de p#ȷFWÄra鷕9~E"r}/Ea.W ĴJ7DE%9-.\/ m9V5xUZS P"8c;HQ%xqs:n")νσ:Q)/hNxtT٨MζKNRT0ȅ(6_wgY\rx@:nO[ jm:uL+~f~떵ԷގFkgTmӰлK>9A?:.Sޟl54w>z H`*+ *TPu7Oم^ q3k(м.WR{w&5wOpIVY ITHJ 7Y$1N#JMk:wa6Bw/Pxj2|_a@%1I2'L=u*@HRKY;0F!qHLsbԗ$ipVJz(p`瓩ɮgK@:Ob *#G E$)S\זo¨S BHYE}+saxb7>*­ABINՈl֍^G:=l^t'}k7 u.^G\z!īE_V[mNj+V;:U7 INy[2|o{1:%4U\븣o7y?fT0PPZtII5}UL\L2 OY<-T_[&tCPOqb*ogW_VFMoUO]4HX~]6|u=Ӛ;g2pVyY =ճ}l6x4Etp‚Lm,:%:l}W;Ur-^:jkofHf}>*Dțz.UͰ# \I%ʵ աDԌW_wglsgs ^+H颧L&'9,캳#SxX[ cy<Sjop)u&saßO]E9JP%Y2j͎JR0RF !wq;dZ~ݷz$dD5"n5g#L _ 2yB4O!r 7"S!Ƕ4Pg#b,ΈJm#^kuqhZbny$ D;uڙ>6Rx7}5>]EO3Q\ǀsj,FYV݄ʡz38NĊkCp Ftqwj!/_zcLMh#K6.\"7"87- : -QE>F(~dC8Rs'oD$o}j5>{ 8B_r2tv>}W(8OijnyO02& pߋ Umy3|Iiv[%迚 o3]jH1t)(/ eGV*`?湓BY9uƱryyR#ޜ|Dh=P_$_9)Ī:{R4'"3z"}5v,IJlq=246؅+kbE=)'EsA'Z.\ELA8{[3dUHCyW; <ϩ4?iI@ql>wBcj+-}U d B aYsެ%kK6uaXtI֡` WS7i߄~i쿮e.b0/pՂ?sM%:ǟg]Ӭ`Ȁ2w=D\f(oVNZ*tS1jdg:S1 M"jܨ4;+e7_%+l\ GXd]TfRxlhw"j/D".;sycrk$ fᇤ dKfD 9RSf1C;ZBDpyBPRDq~Gx.eifNA#8#_Xd .m͙8(TO HZdpT*#_.m1|GV45B3bVܶ-%Kj[2z|`̒sA)B`^;]<ǧ( vo~t]  v/ k#* d Zv-7hKpk|ð|rHLե*b";p} /,]Vl;M\WVjG/ऺ D2BCui7Eb5yecmū ]DSc29r}^T]f nɰa#3[X ?EBl]Ta N~܁섓/: *"+/cRNbL[@" X4#"d$KxpEy2IV_sP egG an)yoObEՉXP57'EDF%mM|nkьXm~xQoJ/[;ξd n%\ڹb|4ZoFi*2GXRoKuN$q?G[Sv BۦƬy=7$"kW2{,ʊJd ѷ |/N.Z|B#Y"m}1ƭטٰqNCO|nc>ѭ˔wĘ&ۤiJi?֑͜KOCLu2prWMϺbWVZ^݁J@91 Mz78"!6jkv臭9څP m k~ToY8-M<9,*ɓ,fFQ>93(>u/NAIoHIlt?@6yж<=~B~y@kB׬P{(+xk G*q)m0IXF"wi =c渴HSpo㑦?eF$)BWػݞ絫 ϐh Bo>^X>|7k*Zů?Ll:2X|=ՠ*icEZfM:g޺I\~ϱ_v` cM?ߕ }Lq3_fZTg gbS:޾*D8=5N dLׄ?\X43RYoAY:^sL홒v`.9-MݗXD$̯sa $XΈbR_?8E@ؼ` AsV );eW5;xBY:+³_:eR=gkK7 <.+ar#/3VrޠSzbˮrpP,z7`:^cJ<"L:~10"@!jnwEYRWSK5MO0!(ii!29f(דT$@'%,[`2Ԇ%X&S%v?Q$NQsح`JDC%3A:~y$E/%(Էx -^xD(CL mblVߛヌ+ }9;#[<7u`kVY"m:_ҼI^̘i\f ,co.kᛅGXے|:Dayݮ;!Ul|vnsiwt *O#yv<\ËbJ۠H ݭ@3hvWaX7 IaDР)!z)*RIëURwdg)%(_c̬7g>cÃJK;贽/-fx&Fd{t@ɾӷ/xF,"Hxr ]ɯk2YyqfI Uw8]rq+7?to[:0cXf^ʺiʠEE%-2fY2> _D`־4̂/U+a?}m]|0 nbex7kBYO &묙u4*|j]*:]#GUJDt[ن˝"W}%pPr,a i lc1bn c}2d۪ YQadl[ZbQh T`s%Rj83fiIr?91Sf-GJ@m84Wsy6['->9wI3hDJ-Y w$~t Qh;ROX;jP\+w]%W3pL|T<]‗b `}A.uɀ+g7H|~ϳww+Ca!^$zWK-U"A{D*In 7c##㶚'V^M\spgI9o7˝/ 9k;,Eܵ `V);Jt8]JXN}o;z!Ԭb䢐~JV$ͭ V兾=l-x4| XP3/> \o2f7U1J9 ?j }vnXK pgab[@ VuFkfі1SD)e4°cgeઘ`MLI팤n̸i]sӂ`3/w{oR]Eȣ;s% . M.닎0 p<<8  mz#סtJJ&Bf" KLT]llD n>_ӣbyAl߬3%DO[dbyR3n-XXnk`vgqgLٙ-fN[DM WnӒ0郥nd1c/g+xI} êG7Հ}Tb>VjlD8L$H^}!ʦVW54 ͊鿍l8݄QjCݔ!jE&T羂9QW,Ե1NֿWQ|?Typw==)JIm<9sNڇ)#9'=e,>,>^(6pD[[Bh}l7ZR1Fm7+2F_E- 4=RVy_e/`a:KRwq_^ `Nq(@ L_%+j=߹Xt.XOK]@Iә<:ڔOKŶ #MΆ*YF$ 8Vf>=[U̢"5Yk r;$$":nk2}=5Bڱɱ=Rfs.*p.@NXF>:ԋmD^e-w>;IqB2q0s>uM+Ti{ˆiB))&4j~-LZ5f;\P(Mu{>He,NQU[9xR:tO,NeP Yu_Gx'={(5A=u0u|L*P-*>b;s^sĝP=k >S O DqwHQnhBK $ݺ P,77$AbSI X<>{*٬b9(@Q@W+LvQJR\(xrK8^}p6{:1]WclG<ǹh&_z7o{94JQA@_z{G ͛^ҽs--̈́albC 7Gyl B#%r@fv)G~>4KD[thkgS_^ETG5G/%v%]D"cO@\:j6/c* e_÷ `b71j'Y6&wY7 Wp:r K_+4%RR֔]C?)52@ɀHUy=^Ydɨ=_pC3 n=t!JDnTP>R4 #޳Cz^h"uIfd2 PHo>U3l! 4S iWnL.;Md])=8N21ùS$A!V[n(oY{=xK4#,N6=`cjDpAף%iHI:SF!Ew-JEPZkJ$f[3Y108sv &+Ǥ="ʶ|.nd?_{'dЇBiш01 |i)fPwbE/wpvM$k*'ˊO(Bws3ޖtJ=F.s5XEZ%O M ?Pr?a rGz q4)tҏ!72dA(^ϵڌ%q*+3ݨ&eYANexo3׊PN0uWJ ޮ)+i FM,xO뛒ԤxV_1;Tܶ}m~=UŴj9= nRk7V`: =9bo5dFPB5 T/aڽv٘Z]R?4FN"oH:nW`6~0~ɝ`#N:_W/̊a^]"A8GޏB'{PBBci|h?֌)`'Tk)a~e!#+̉h(<#*A 3N Hs k;}y .t9Z kQ .TG/; :[;b庱D7blq#sNjSߦDTRUX63T,= sWY,?wB6NԍD1:65UUD' w1f+LIsσkDh뗑D\-Еd,r`:QGj%N>FpG&Bէλ{϶u kn>wCW_{q0ϸӰܚה7GOPXɧËU_/-Oo݅4|}QQYz]-&K)8yKJTgX(<#(zE_zf'dө#3>m P4$E01be)I"d4֙ʊ`I3)D\wB2(Go-2{/o*n!p''([Dfs~MʧD];udQ?blB}5~X6 ͧXD;)>Sw ^MBы^!drD1n00;n(?K<â`bWupZ,d}7~?xPU4O~ԁY>n8K6H`n%{q4=lM.^6A+ծ @/&$ck$ ?}Vp(v(@ w\l,t|3 &> erMjd3]>}?B5 ΄eoUfke~gz: T c,&]9"$s65Y6b;8DOIzJtW_C2 ?y4R9-St:L9ret$u? h ɯ?x8z3&- 0OGt/ R|2|ޭm=>IeMΦ7-u"e!. /&Sj Q )%Ip}CERޗ^r&=O[!\WYSQen> TO#Ó},4+C/BDO@dV>_\_xC,F5~bg.iRK F\89a˲coXxP8Bnۼ{ 'MM%N&qZ(CYޖe*:`HrFU<̥O<)(?ºewCW߳}ɸt`_ǝ;!cՑA([o.5 ܭ@ E<1+ĀmpӚ>ӭg#=Lp~G Á:\$[9]?A"R }sd~{Nf,pWt'y6n# ZרE0KHiQvH| ãWy{a-tU@BB}Ot_3֦={Re0̍9dGJA3NLC-|n"! OBYJ"}/M]3R5tzxl+ wo{/EZ-.Etë4`wJ_p&`qLRrM ꄰ[S 6C.B[xENS`V[K[*P6$="}+]Zw7;X2o/yil(4%&9H&nP҅^"dc1Sez"\ R *kݖ~Z^.#&%2h}Ji7AKO14O;'ԪUfÄ.wJiH삩4+7jm g%Um*C]v)0+\^%1Šm &ȆR!a4oz-k*70PHd#j F @|),d͛XT@'Gz '<4VQdҧeCey5n =h(=6{yq|Vn8.YuiPȃFăXX+8BZP pI>p0 1&D'vK<|+]?KiviwAMosX]L|#|fQ Ϫs]nme?Y6L07@+i4N@"ņQ_ʀQM*>R6IYrK_ T@bL B3 LoQA@b˃s)54 jeBӨj;BFmZx6-G+ؕeNn'J{ '׏-Y(K_b* yj+qs帘qSֳ7,_cU3G:m{,.6C"hܞ9r-dE5P?CyviZtSwzh&J$[Sn#o~8!}Z$/6+/a{`R[Z.T >GGCmjjɉ vP>bl&{<\@Tj~` #nd w˭zJf|'8Bfcy\S+E]b7q&Rxh2wOru2>U eϡ2(l$2x ˇqO;n ODZ蟥VgdA?XaoМd֐OJjLM/ E2^ڒd' w7Us? 3t|\Թ)ʃ 8[ ﯧ#x^I' \Xh@8̃k >VkoC1( փ 1kq a'/yFʄꪠ܌w:r e}!yã񼧈&FWg_}O+>&e倔T${v\k~|g|yK}I#cB@(x'm@;lwlQ -SKZ"tMkG"hѱdPoPb=ޭX& 8$뤰zb1`uտ p!.|pé<}xt#8UʈBsNyK"(ќ' ZI[M̩fpa 08%j=mTA㾤q%Q.Tl=͆بi ~X{9u;x!IWHPۏdզrTY<^$g`t&*Łwp٘ . a\V48k HNAKs8M}4Bē4;D9^1}9fvV%*wF~]#wK!6a0GINGbxZcNVih؛d1>V۬&(<"&-vjs%[׋Mmrȉaps_v|Q J&$. MTp. $\w9;VE10V+^ OڠlIn B]PhHv5&9qw!fLCk \=r^7,_M>[6rEF#T7Z;'P֭{dD>ӣ@TSRXĊ8w\lZ *Wo2J;\ |6nI<=S.zJc[%__f |-2^1zږ߻VCڀOkrȒ <~߰o:v:ZR/॓;Io(1])JTi*C?C .LK)dZK2<%.0 Q'SnŶ,G_OvO&?ö.n?-' 1Kд uA`NwZuy42f*oY2nN'N)]R`}_?w;|r<F2>9luG6a L4or8n;€rk;Fj$'+tŎ蕎:τ(>ѦRoYցfѻ\dcؕfխc54"QH/B:q* My{}<%mpk$(*JZDX9ح6D@wPAwii9$kG qw^΂`Y'X'Vϵ"~v i% b?Ѿ*1E`.ID U ryG_ݓʫTϞ['3`TVB֭9dEQXF g\LBwu6Ut(8|†԰D" צgW)+eAU>wb#N^!ےlSHCJ.fbdBs2; DZw 6.rvX*PsšTnb*Q 6 :uv;앑xcg'$a75eձ2!T@X#; KEٽI3@:,mX_i0M`ƞnTzPSYt׸e=]ow۽S6S&lT]% lLƥmyA3}yDPn6#NO]>ڈx}"QÊ%>/!6OCjU2SFkhQ!Ovn #1WH ڳ+DL>zh(q_{L—ƖZkU5 YmWѻ9YXI$x``U|D-G_/#Y$ AG2S/PbM- 2DW@оѭM.<):H,Znme!.ڊ3\gYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 61d13f390a9a8d1e31ba2f9695654fca769788ec 6aa71802aa95e11ee72860ac813f7635fb95e7e5 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 a4107a7b0006b2808a6643c0816e1ea043f6d672 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd fc8203de16c61c092238a1d5eb780b1e7d4d11d3735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 b13adaf4048bcdf3c6fcd4154091d7052118511ff54f5f1ee40adb2a97352a599d37a3cd3b56a1eb