SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 hhp/L\| ]]Affine_Arithmetic:threads=2elapsed=493.057cpu=839.484gc=78.796factor=1.707zXZִF! ,_]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=on5o>='1)_c;,kc))F#ɶdl /,VU5* PmWYF跬NAݹ*IK/$vDg'x-Z>WLr(9~ހ{̃5gs0j^ >ؕf ] u Gqc3L+^oS(RFgAߴ +|iD< `/J'Y&^P20$^H: zBSoY,--\]fT׳ ÂH-Rهڿozu,^l[#KpRJsۓ 5UqF$냖(p0 w07ai)l"C . (M'ջmtخ˷_Գ[)y9VQw[imM:Ǟ~!.b!qk`ʼe6@gǀ,4n*ñ .w(ԲU]IoS%^Ehڷj*(/sKӢ0`Սc|"[݌tCTbqvԫ9aX"CoٮA(fc\*/L:%S,cznobWNeiLh}٠N9僧ygRPT'p*/K#Ęsֱ72_:ۅOc]|]ak J۠὚{$ #Z<(_{ٸwͩ3wW:i`82M]R! 5b)Jmbg0f+wjuILp +þV w$(]Ai<@I ô,% }gÕlCgߕ0کjq|P e tY0cW{}soh78uIGuD( r~P4aǂ7:R^(Z7+Jg`C!(s>h~Й_ bTڠmv5;׆JoDL.骭~_ok,4RcLCoӋjh>+@s3j@ Mtpr0~B7yΠMQlBK`*1H`W痜TfJozّT A[H..V3O}GB"Q_bY(y2MP_l-нց\6,"`b b>洞MѫTn1piIدLX iBQ9)e+]/Vft1šw1@`&ŽX 6 /nvDIHt7࢏Ҍ,OM7R*hcn"=E 0d7 u=-ȼgƉk?E\%f{۠@ѶO?0QAbëGf7MAm;` Ɯ@TS~XߠZ5!a;?/A+rKZVLm.+G⁅ֿlgE Bʓ'SJ;VKKh^ER,Us3) *IEꡠi5ڢbeL~"P C#cv*'՛/i #@No22- Hɻj nd, aCg14@ˆ5|E e^V>BLp%]\ËYɍcJcM.l7춮/|4d-RW9ubڧ0š< <ā걘~DzV1Bp>b1 j^cY*@C4 >薏@xdEԞ٬Aa򣸍 mնɇ~ڨ w'uj=R'Khy?i2e׻& G~ٛTY%ot}};^1,KBT}ST1X @lH}i#Q7[?WIs+Q:Ŏ;tTs΢ HC }<& ΙD  %'%GKM56le}jYfNjKn7uJw 2LRH@|c!d>-*}k8G&=eMVe i .@ xl N}F/mCώy'İgqV{mYWAg/> Z}kf\Қ^%A|0C&mdlp p!W 'pp&qL E}n/S~lH(]cN^s !Mla']=E[.Cvz5lbv$n{; uu0 9xcSUߥPnQ,Wg-ܰT=F~?95T%U}__QϴƼ*S/~lC6EԊ?EJȂl|}vHLZ\ hsC*_藛_*6j/@׋r})yƄLu!L [sОA`|0&;@5R{L+~ZJv{R5G}\6φ+H*8k):)b,2Dr~}JKiV\ۖ?NJs/3sQ9΁%7k[‹.`ԟ֧iq^56"4H?l~ YW jP-JΘ旃pj.Veϔ؎t~2pwa ZInVTHF<]$9Si?Tm DZ(08A :̜Ύ9{-)1MB(*([GSbM_]KG&Vto st;,nL"$TdF8qޓSn׵y+H45q]PlRȳ1Iy~ϟcңB7"JhӅ[g ,L_N :9yFeŗ%l*2 ih[_wCqo7LӏG N\~AZ% VZ= c яy`'Tă$BG^ΥtUD]>Hc Gʯ/Mlz0D(_'9)sdzb)n72Tӛyg G" e/g&#jTE,twԩx>UAH0# 74uT/颂(50)VtxeAWԽTǞ&/;jv@޶j,GX,Q7ʷC/(z/ }1B}U W*/@ s*{n\Ih;'kMs wfE#6g(y"أ\`F|ԭgF >od nŸ n)f!uU\Nf9G$դ3ܮllj }*ȊƦ\ä{/ߊ^vivƦ~MMxb|~@Yzӹ<*B DV~hnf|}"A lffZJ-3?a~f޼"%QD 4-c-I>idF8op _Gr5k`uPjvnQ~-UڵJ8 jtrم\'Wp! \:f*x ^|*Ach,XiwrZ, "̊!n+|0I?jػHR I'BW zLb=-ᛅ$|4);ƭ_aBӭ\2R{w@Co#4+Gł%o8]C/SJ}81W0hߕ09&DySOjtM]޼fj⯢`қ_sb5֮ D#=b"4δR占@}=xa9HA8ycux@F@`oPPEEnK[l }UsAc357Cz6uf;fv6O`]uEE@[~2hkU 8hEu'FQ-4c2Zzp]›x=t$A0uPmkrhk1.㨽~qَz(~ 5(pV1ʉFq6M9 gJR}!Qq fφЖjTn`TrDuug4at2(ϻc [ ?w~GNB rSrXi2W\C)#; 8Y, O)@M<,Z!{_`'jLT>TGC fwf [D g .NEbG9aٗhCZb0d$HX`Vqq2^ %,dx;@׫+ }uغgc"V hvknxg:TDDdZa }LNmwS{h]i4;edŬRjBU[0C"mk 1@s½)V,'f@ r4;a䨵HǠWɉ|ҸV'VIP2SuĜ_>Qon93 gg9*I)(l-iߵkSZɿ<+5SznP9 җ#fxr{<'s G:=ﺣGJ>xzvPd؍8z/H,a8 ,fvO>L%"jѾkɭX'}JVjC\ͯ4+}46}gYZ7zXZִF! h(]ŗXiɟ|E\Ât+.*aphG)%uG%P0)Cpj(T u5Dx{\A9OlIAٞ[b$2G6E晇;HhZ䧀 Kn1/K88Q#&;ڣYN9pu4DS˻BZ6 ]G] )tՕLqIO&*6FY6avߠ 3E#i6Գda`yOGa~J >.GCP {Ɔ$?,kRs3 iKQBEl!2ŋSEtL ^^ԛ٦fo0d΄VnqyHOtÆO⠇{PT LyɲS "Z=9CnYzj@d1+5|D)磧Q *񺝓TOMYVyn4i^B²sE]r?޵hh9QcgC ǥ mC^Fm(q^P.w5AlHN :1;ǹxq~[̲ O =).#23R_| 6& ?MA.0W]o0*1!9Hb?c+U_+DȾM(JY;OP78*ʻ.%UT^+8ɁZW60>gFPeUDoEwhomAl,R.3nIF 5Cײ RwaJ?R4K"!!/S=QXvK a$cU$p.3K&Y\~UUjSр`dYe\|3?"KD^?G_ ٞvkY^ td@L$Anb++Wm E)wߨNӁhTo,qL'R ikFbJCp`@ ,!gYZ7zXZִF! Zi]ŗXi%;G\E8 \2ۇ9]9Z\ ]DŽ;'8NG ^X+10t>"{N"u`Y}3y`Iqzǒ12[EFO{'%S5C*.QfzsFڍ/՘<-w{Rnn>= r+bAI)Boǥ/K&vtr oƠfƀCRLl"`pc|~*1Bhz=Ðl@mH$t]uCQ^u7@š 㨲 (b1|P#2*P84aW I GΚ7_ ^UrSt`|,YSpq; ŬUk;();. a]1ȡYY- pxFm:v\Q[bZT+'{K4ѭlr)6c (UjyáVXX?wlӿ:SCH%bvTZ;_+iMֆ-)z W5إ39=R3$Z\G VPj {f( #6b<6<**q+&W9`G3o]d8 eQ~m-̓O$ug3x_wti?JU~`#-G ^] v CP a0eS#r]g VI׬mU8U\) afя6{ښ AgB/+0w`p1q@_;sx~O5 BiڙuT+ geb+D %ӽz>&ĦKv^UtnXǽ(#^{W.zo/Iޓ7 cfQ̏Zc&vke{ E2Z2?mߤYʩ W]->’"nTk cJݩ;$JZ De0 tψ̑J0bDoz1dKQ?)оi.zZ q=IqAւNv)@OI&^ʳΏACM[+ T-Uv 8jQA^|…1/o@4Ԍs26|uVG&>gWM2K0O+m<x:OŮ[Ϥ.zv~feٔs% VEfӣ4gsNUnMq1a_yGc=l c% 49YռPabia"uSGr7?SK|{Q1*ͽf%bI8}(+p_/שX8K _\1$ٸaC189 y YQ tVK̏>x^]!}u,UVtъ%mTֵۢujB KɣIOi΢hn+&g*8z8 :&& .Mџ׊Gax7zJpTfhjZ=Dt_F&wL1 2MCi ^_"C[? |IQy Dj )tw~69I9y$6gY])8LŚ6O[ ~h^bű-hvMP&rdNh—!FГBM?_RL8醂oOW˕89Ч-%m04NbC7 <;E4Q Z d(?2sTjDPR1u䛮 h[ɠ+iW8:ZϵX`'dac=S]XJel O=)ذ#2%֊=U70g)*E-f$͐in}׾32_$O9$kN%f־PI%+K/#]c!|U N?q $wnu^TFǞf ;TdXF"&>Q`L_5{*/ owS;Ԃ@}ΓCP(EzdSCA5"JQh.07A$Hb{]API.(P\yx e+^QYjP)к-+ _dJܧphĶSxTH e@Z΀ AaQ"痹7~fz+ah2]~c%i6EoLԫ͞clq_ÎM5:Tt_]K` xV)x %Ucb*^ v!b?;,ݴX,/q{c`M1f2.mGŇ S/u+(}x?R`) khӵ7I{ @Y& Vm 9O}o?3 c- c꣑K]\xU}o&4^ʤ^C(!r˭JSțd# ׳tԈ ʬ4A)sǯ]p$u*T:u k__Xт "] a&N% o:zsF/ǧ 8!Y]EJ0?Z,G'tFș.+"I%DwC-!VS-בp9^\lrHR}=T@rW96R]qtőU'.lGkB"sN1f6+oHƫ֮oƔk(d'Z cp)䇶.=,)i;zpu .(_'KwxO^d諭"kڎoGA4@;8 P&JM~HXPOD0Fi;DN.\|䔥x0YaS7[֌RZƝi2z'L@6R=Bn%X'nۮ8~g쾱ssyXǤX pr ɠ#mRG}e#疃1ҽݚ/>ݍ hL( 3POⓔv&8&pʇcl "%(:}aQG^!fV%=<*Iԓ%'UAp86~ii?s wLG!@^_$vУTSX\[v].z M"M.Ԃcc Q7RY;GvBguMCg+䲟A #B:땯+uCcCb`2hzC˓rAnU{&\씎GuC\Z\Y-szcx.[VwBjK4;b9c#g-q\DԪ>Cj[٫O>4џM.V3e5$9&F+"OFڦv2.gO\.)uRpdUJ1nآ#VΪ Z`oJsPo¨MID:A$A;#OWH.kӆlEߌV ĥQƓphFSf+{S &`)LȖtNk~y1iigŭLzP9{xU&>:4FFqy Dyn@dP4*>h`oMW~MvC+x `Z:#0`LJR,PijL;dEt(HV1}VBD)s&mK2yyd"M`Pso!ͣ^ sd@ٶSpVNXN[jᮍuֹ@Z6~A82 eQ9$.AVR;:NL690ʳ* a" C}K3P@?}ff .6Z:DbEv.|,r+nhW-?dhnVb _~)5-#bhbAvQZ{qWp0YW`sZLqz$$GvU(_Ƃك*v]\]Jڋj˶QQvAF]! ,92}z4 R:tGkVT2:F21'$t7g]_p%vvV.#4TsfiT+_[{ YhEZIyKkNH6B2nN(n3ƪåe}xyN ”XXlOa\`ub?<|:Wv UR>!~SWސ7TMH^3¦,n1)l =ieINf|lŘڜl{哌 .>ywڤf~*Gb@")L ~mjj?1M4Y Yﰰo8ԺU[Y| 7LkYH\TTu}"9tHeHߦ\[8$q{!3dj2F5pfҷL\GcaI)ㅵj;BQ=ĘD@Bl5}{ֹj>A%a%?ջu Ȉ6]1ʰT 5AlEu0KLj.i,ϐ"g~Ŗ?kS 嘫N{"TfG=g 22Fw}O>b_ c:-Ķsua&E3!1fxK qr=ɓ7+_SoX$PG*ƱsX!5f`H׷L;s>ZȐi껞M*ai nypuu1RB3u'hvV8fϛnE} m~~o(!=C*M^,jEl)ķq% @ZU4Z"Xa?xGO~",8Df 5i"/gI/>K Uԏsx)X|yYBtj!'|2*ǩ9. G)g!`T0:am=O4'/_#Hbw)Sg(@^%JT|lLǢ&7:J]:c%FO*#W*6piDB2.+Ugwa<}%i}m:&)QxgZP>(]ſ*C߄W/5uT^_e ~zWjKC7\ Nٳ ꂮƺ V^BN ,ޮT):՛OU eT4Ʀiq0m~8X ^X i2M_=N$)IWsPqfeh F bW4q EzW970Fⶊǟc98DXCrʽ7`e{ȝ4/A`571(,gFW共):I70w?niP-x8C !-,bqBN(% Á73c0O:ɫt%qȚ!Q)ʟ,M#i&JNW6(f(lbsCqd$usK{
aYbW xv\B 9唉+2Eѥ0BZx&BWF(]M7}Ąg;HJ.d0w4迬PdX1h+ uVWa?i'xƳtTABi)!إj&i(,ZC/%e7+4qZTQ:bFEt>a~<ðLsKF[3IMrX]35V`Ӡ uSsvz)X?]+[{X '{Z:/R1OE;j9aNd?QN;ґ zmf> ^989wG}p@~%{bww D!=~@Mg?fsУMrGHv᲍]lfN{7#"ɔLSqҞd C"#_tk*5`q%@I)|3$B`LA|fɗ9 "< ٿC]#髷3up/4X5Ƿ3}|KCښ!Զ6RXqz<ÑA8Bڮ(\gfdA^L'0$s ]Dd5OQC\fH oܓ)B6B 4U!hBwը/;IP`iiTnSi<6n(XP"|@RM EpY%ܺuQ;%&u(4Ah1ELD{&*^-8@y{[`V[f("$v`Pgf)Fa4;thx3XSt3Eeq nJh_͌0  @^`n"#]ΨPb $a57/&% ͻYR,]X;OLH ZFS0x5jnVc߼o߅Ny]H\6.zKl{'荖ӑ@V#>ĵCi[3\_yC8޵}ޓٙ&VP8GI7U;x m?>ݺm&Y]R|TK $9uN<)S?$_c=!BqT0Z0%߭׳kk]ݸX9A^j^l]TL3ϡ~XRԠבF,N b(痨Q:鄾GE-0g-)[62皭-cH3qTE֬|O>KYo#7b§]꣥9"&Q/2̊ǒ GV U&PX Hs!;{ [=lV1[g'S]3x¸RHQ/ HmUjK mͻE5?I'mn*2\J0vG3ڈX!WI82.ܦnqE5R(zZu.="WοW_ 3I^`qQG|2AP`QQέ2 ~#'zq!'j&ô z1~ޛ83wa8z $f/75`jWfWC$ܥZ}',ˠHgqۯԩ!#nu#.FyG\ Foܒfy7T2;睁AX!4-J^5UVu}VSE=ڢgk0ї H ]} FI;zvҨDКǩ}qnze5b!H^hTG.Ǽ%5-#nDA7-QU2D1n28P=jl `M}k0񌧡B=(&JhXj͂V"jd F**ni=J>0DJavHnKdܪhWwhg^+Tsә͛bPyw3@pKmJBE bx8Î`IU@ķ%WhtlCaQ(yICq+9AiM)R^: 6zXp6KE(mm KtC@kF $.?Y{ F+_Bq2&lI' C7aD2o_Uq*yXkA0pNAkݑ5b';qԪ%8_@}*x[!V^[/:@f*\FYeB֞A[9 w ᘉK-w.2&ԕޫ?}@Y@1/kM|n`iį }ц>1GֽU[rV)5*`Qg0w !~"$I/sC[UֵsfG(p^iv6j/ C)@cdŀu,;Xcgw"6n/Tl8 }5JzW/~٩pL ==9w'E\jMWӂQi,n3ڑIki6{FJv<(22ڑK5 ܦƾRQ}L0qjK:?)7bs Y/AL Pt.\(67S2Hbo \{E8Q_dcȥ.Y>Gqʯ7GJ-9X.o?.RSTQ:naɟPq~l 5uWkxoۡ >L$?LIZۘW"sdY:/V+t9wt!;m: Nd35)7)gދ[/wfQ[~OxaeCBKx |2zhZG96~*$> o5ڹA扫NWJL_^J3ZDkHYKb5Vnٍ`%N. 6ykԊsZZ- l]'oq!>f}:Q6|?*ZkS~YN0r製!Ul^uM Cb1crK_{6,*4$nίFDyʼSJ3fYWɝϋB3?GU,z @!`p[6*p/#o龰eO@%OM-ص"uzDSMIE ph{^U+^ZG0B mIXdxK_nrgXNN ݰ͇:G眠S ֭>^t|'Qw5EBp0,J(mT#':]UtJ[R}llKk3A zYq2Ao8bB3Op@2dިͅ이;f,, &iQfćr=rμ!a`UPj=4?!q2-f^ti"_sd_ч\EN7w-dY7{;69B(v[~pomN \|YħRߊ&cjG87/w*df0c-U)^ s`֊϶ȃJvJ;4Wm]Yёrbn﫜|$qc=,ɃfFO*ջĠȀ"({N6lܾ#|#Qb\ 87褦rs>2Ua:1mY{s;)t߈uީđԌ>H|Un&LkorX?04s;,<$0ڪF@ae&*ELDϾ_zA׎kIyD# u;PAtm\h6@/Dia&4 E%R΋\.WZ\)dHyyu~Nm'hو'~o 3P,ϙ\9ຖv b53e:1ȠԤ-\P#XlT*{l SM? Ey P4N~@>j{.]n$I#wxU\-0!nѺ܆Gls:k黤CU< X{կg=v:sPWZԂen]}'PX 뜄;jlR(M%@]-Nz# anG ,!^ZZ?L\^ sѣ3MJZa~3y՘\3%ԝ%[}М0!ѻhɗ >hh2dTc8܈.2Fx(ڗr{,y:CFi0$d%~Bi3=l/Iofk#!{~=W Ҷב+p\yK=o,բ#4/SYhflp$%o/O7Mrkhwz}ϩ>>d{*پR6yz8[Usm*_els0gpNR%[ x+ܙR?w|(cE{ͻKͶ^"Y &^,kCYΖ &ґbđ7F^϶}81w{sE)!9 LJ)cլ]@浪Z r|71`9`",EJre'HzCQ$4?hoO?JA,oA(mmt/r5j;\YN{<ȕ"ԐL* s V7gFg6Z}I$BLQ܂rˑ)oݫFVr.T;ӜƩ"2,o@dةьׯ:; GEHN̹S5ZFj٩&nNˑ14EGR22y/;C#k7{-3D(i(<9@&LYQ.jKU?8lCаlLh*$EBF"sJB%ƚWLNPQ*8mLԤjyZBRYfұJoq%*]`σLU|_;Bd" x-GO7z+M_YRS[>ۼcUGPb5 ۖV6Ϥ:.Fz(BKZWʣ  aԛBn9TmmF |iِX/4궖;;XI37, ;ƃ5zygR򛔰V&ÀSWWP<֓6m2uSqL]?Qi~߽4\Z'di&xg?O5qŠo.zt,%M aAhwdU<Ft1#| &J d}== Iqg fa3;-Z^򲍁bn#Emzk^0TGQx6.?DRg#F8wˆxR" h=:A$ZU!~ʫKX&" kPŶAB?'CVp%oKexptTCBȀ+p>.X̖˓Χj[aukS&COA-1 nu(պtz0[B|öЏdhaR!:L$ z .x.:Z?遠ȌJE=x$c@Vkk4af=@ ǒ|hyTW3~i;9@ pluD?.Hƛ} Įq/|<{$!0}3` [-@7YAWTKaڦ>;$co g5bf '`OS'j@A+L%a'a'N 0nN(\ ~'Viqc0Qci@o n$1*=فs"1{TV|H"DJ5M@ %ZFOW*3|Z!k;T)˽*Q_Gp%($yjR +re$&^tTrcyT2"s>Oc?#b@ uZ&QT@t92Ǒ.E7Qh Ra'KnjIEAʧņK3G* x&A:[W .T\y=!E^nd+Qv~6?zϡ)|xc4&lN-[W,?R81)_W*?|zY>JYgA٭ym?(ݣWD" Oc+ %Z8KwBDupW&Y2VJ@Yb܆NRY'-C,O4vS_\k۱ "Yl<@maaŭ0hJ?W-m _.C1m]s`5ZćolTm͂+:졃tʰ ?t_mu-ЂdwQڡ@CdL3V'4oʿgTsbN2Ў [\@So@$@;TBS#d^S6 UU 11*Ȟfu'v|b4RQP1tcT/k736Vpc=|@9\w{sH4֗- ,VO0"O8JJLNI(%`5*;˷hLʎf bW7&ՃLj7-b;vJ"sN@`)R'C_bTA'FSf >aSكyU5<=%84a$TG lkNx&A{G!LgN /Z]!u O樓VhQLDpv:j"Xً xpm5~PsP' 8i>5'#W(SOF iY2_g9Hk)4p T 1됚%P^vkl}Ym װiY53.aA? P.٨vz s;&-('3o6e %+KRS?WU*KTzkK< ~~B;l|a,:Iy<)"K v PbIN-JyϹ 4͝{vsp{,gй:B:]6nLs;~9t$r ?"n_m*0JZ.`N0Δ{32xhԋj%S.S ZZSWRZ'RVo7;Ov9ȝIr;>no/e<-uz+Ծ /h(&$L+KZ!Ӥ҃VmwyKVЍwPM64-LXih>@sdtrP.k"3aiocUL*b@nT9)~CRjv&xꋱ Z4[XNzf)F!ēeP.1rvp,<9?%Y;%Sgtq{O"5\Tw{ITUf.Z ;|,2ovTD)qmVەߣb8a+RWTdnw?):)w*23a]Q)s;8.qb\Tryb"-TJ>aiToUI6uݔS#i(ooCTbG gUVʂeM{d*- r5din6 uA:ER/Oq ﷝_S<3xŝp*VT9AT.74'}`D^ThDcLցBVTGz̓Q7),\U%C $i߃dq\f$̑ +ϧO*f2H>m7Mĥ'cG"Ui1#uQ+䎕kd@̐Nmi'F;eߑL:P>9e:4( k&̼(Wp< x-*Ҟ1n<\jȲ~Y#b5GઋXR3#?L>kfkWk-+60?˺R=}o`)Mֳ ]% : \XH|?,K埇'pu4diAMLzD|7RIH0c w}ča^QԁU `w),3/'[Y%[ܼmZ, JP.d=L3o$t9ȠZN}t![һ"KdGC. Yk~kYf>rmXc Jz7dY<؋f(oμz`T9$==wlԹku>qvJ#}eRJO{Q{ OuI4BijU5ݷdm\D*L"mW<a:\A}턹۰N4cɜ'؂kXݣBSUڼe}B]kJX6+VA`Mb. ?(7נEh). mۋ(+\]p~1}C^ݷg hV > ":2|:Aߖl6hvaOm/P0$h**'H 1GizU:2r#Q:N#j ̄ZUHZy t3"ҥodxd|$^Y A,&}Pkl.ވMk2*b5tMGZXcdƁO&wMOL"M׵玿wr ~PM '_jO16QyEb80v2wekS4XZs*&iGƠVD?Pe?!fstbPj!@๎ű74TDiIFB֋"ՋxX5HvwlxHkl$ Ŭ2·Z YJy~Q\F6whiH i@`|Yls [I˱{prZ*o$鍸h[@ `+fH\jZ$ m4=+<.~p2bt4&&K7"ߴ]Wk^ڄ.;y:KIVS8ch{[V)9KUp󓿽sXcIس }C9r 20KQX]ֽs yMQxLBQ-]%W~,Ҧ;]3)S}h@怜;FJ./Y"C%#]t`[Q ;d"Cl9A]OJWM:i` 6te}!YcbV)A}7E ܥv?!$K$$.A(wL:|5E` f8EMXUKE,O]ȑ4&'pJUvS#MÉڵ;M+ط"2F?a><+AeQD0[;ѭ:+ 5%s.`!0cr^/@@TH*]b=5z '{> k;-z\ 2urY`ߐ2`J#lE)&O#;*jblYyC3Ijgdc$Bzfr tvѮxQ1{'"`_C_vgc`4/=0b/)l{Jbxp\3p5~h:01 V˵˖L ]&7^5$𢤜ꆮNJCI4fCIOe"9qR_^ eR^eI4:'pIMEaȐ,aф̡l"v60˓G_EMpymӝ̤Npgt)GC.ɂ`Cȴc`*:9)>,u'Ҷzϫ>TS4.ɋ Wi^g^,yTy G*lϳӐ0=.uo awVG"hC``lkew(?G?N!eh>J^]!uFeMrE2+<;6]*EªD3]S>t7Pz^ r@ 0)xf% +7Nk;xwy%ͺI(SJAfXLeBo2EL("殮ѷ'.t!48)j%4֨mc'c/G\ G5r<\ޥ')'}޽wyMgʥR.s_ e^i%#E\KD* 6!ɬI1ԛ;)Rq~ExjsH܌fs^Eݩo):EyܫR6cH`tL%[cO9AХYr \uVQPKi*+m*dSl*Otff{QnC ۩o =JԝO} <$UGFV^Yq؟ֻ Y޶IZ;EpD5"*-Cvc}QәtMKuRw5AFưb2v$"A Yoe([Y4wPnZ4O~>YJ&sL/lwP&kbhk|&A"Z[aBqm]H>2Nań0}^%h 6xc<#u|J&j3l>#x,0>lE$kG{'\\p-O{!_07p r蕔;Z\1 Gx 'AԠ9Zh" Z[Rnt>;7hnu4 N0<™*]X"!tfPnP .Mj9Baq~!u=IRn v3 x"diH?=2:4z!?yuQ1DaM/)0 R v;9kPӕ!bx@i3C.yw`ZhesP 8UExk"<òcjteUGb#0H-8gBRNH ǤsC5H>gtDXֻAAzC_uϻyN胡W'J~+o8}s\Hҥ<9) ~rmYm>He3{}|YU,&-~Áu^^v~)Y@1&&#k43;{I9u1 1dG.|IY:Uty h7:dbQ9͊boY9U%HV~8Ƽϭ>qQOQ8-7~y8@ 2\+oz m},*mȌш̦},`:zl0%˘{_iO+6{)k,2\±).w~*';:طw\+s).`cX5+VB6`+8vZE(Y\Oj[@uL<-t^+/34<[>t6.T/4aXșM:͟32bk64iҘ| C|JlWmPWzllذ% +tP>В۹_UCHE20(0inm]^`q '9ʼn?ҽvn<;C3mH"37gO|-M&r~J&D)^l;ژ6FY ݃H9e͆ @k媅O7fj+2+G.燬WsO:AAZ&0:XF!/#KM[g:H0Jz(5?g m7];\h5)c&#"# st7(ch)~z)&*%J<F0, S e-/BN CMcL*M9%j{eZr,UD!e8k={%'J;ޡf&| Y6AKb%5ὣߘ-'d1y(d+liivEzN[Zi:kK 5H)o|wZ(mG2;P0  pE:|̸\ݛy=}JL} 4FM!-:oXaCh32U*G ɍ}`x OKQڡyNܗ k?g;\sM)qN wcV6Ѿ'&1+T=P'^cƲX>T%LfyGtwEGaD|is jwG@:ZS{9іu伔p`~V**2! |šcswZ EGuXbg}haլ]M=W7"5 > 3~"*9>hB`FuH>FeeY\+QRqKv")\k88#[Ʈr)؛.0ܚ_1K]~q:=45:sv@+-"ʎ-/IJWNQ!x\[5HcRI"5C$~N17nğ4HB;wN8MqOgU5&͚A,Sh9 :W|]kVqVn5 =(z2n \l}ߜ%e((ZY"J>o5\ z382s;>AA'eɡu#K8}snLXjl6!.L=Qd5ۍ:}U#KZcܖ2l&֡!}4ͽvyѸu|w a}i8S&}c_KG r;:8Cn *jPcx?M=7\!pZh-'D~PAvۍggYQ6%-L{dbg)8C^>]$2joZa{-ڎ%F^+p8 Vb*B,͘?}Z=*.8zݸõn޶^@Άsg{6[N 7&ܸМ &gNdFaL@6a-D;pZ}4pwfSΠNЮf'.նx_EP2[G먞̳swX]br8O馓\G }Q+B'~VtщQquBwu-8\YKm&?}滄Ah}MҮ+l{DGFkX.iƙCEK$gj-iU *!Cu"86W]|d՗ P{t*m-=R!!M)dY5+U':Zu#^uMqbQ#Badk B6^S$1Уr2 :<(A^=ŵ9](OZ˅iz. y=\@X@+f @MP.î.:Q'WX:=7߭Zabb&O $~m<3յYNعTΦ8b۪}OD$`F#sgYZae0f02c319bfc0a9f6eb8ce064ea8a7c13534a5da70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e9490be91de5607e611a5629fa044bbd1ff823187