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  7 7 %DT ]/]HOL-Analysis:threads=8elapsed=316.017cpu=1912.785gc=167.848factor=6.057zXZִF! _]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jouth|#l *0 wʚ܃uF \ZFqs;sE |JLg憋8[C}˗KPу@d,k1$=]M$$@c:p:P)O:_@QeUco6D|ӵ|ZԲYӋ4cT G_\b]$xnYTc}})`P$ٷH *:^88ev]`j)AK$j#AѦGkWjeB"{pȆ}:vr> F]Fe~Ǣo/>WVk,ӆ蠽)g ݧc1T~$NlF»\lS lcb\ L<5Vѣ]<0~&ŕ!yq+:+˧\rގ],&=m=^櫑qڨl4Hcg M!Y5f욷9*R2§YM#쥂D}}*W9Aq%>ٞi%tbݫb VrP܋ ";9SB:a9"FnaRV崺ŴM|V;:=_lCGjlM X]/Vsߍ &VnGݍd8RKQ*EyDVD{bty5fMq (p%6; [LF`$2rWi"vLGDA4HDZNO4T]' ^g0BB~6ՠzEԠ <=eӢ=фhG[$5a8JxN.\h[7IW}Ckr^eY;:f9>Dʰ[#58)kj]; <]$ -khxs*]FA8y" JY! Ϥ7sarj{l`Ƃ1Y "ӯwbON-J#7lV<^iMƺS❡3U{žܶk>E?54 Ѫ ߤ"[<3A1ɞ.S; % HOL-Analysis  ꞀMCJfE=/tiiV'p SK!1N]$.֫Z= P ϭt u pU(IGџ4Ce˵͂c;pcGQ= ]TR{4DT8V4NFUWeC4=%AO6;0xHXfZoй{D헊P^Gy@} ,t7wB>,&`M̚ f|H=PR̀7e`ɼfcdB#LYvf!E$n2 pO.mRd"0tv}~󒒪8J`TQz 2)-l/٭N8 1(qgZpZQ1rhKn_tf,j?NEy}`/.ɋRɁ% SCyo. 1L&b9$q{KU^n.*FKH %wBTJ($,XzO]J*zsnw6-(hQW4_YKv#wJsV]_"5drӍOD%Ώ ^alܓ7bp)$Lqi>$DĦaފjo>KGwg@Pvz؈(*3kU;f~[ 4@/(+IV5Ɯ8!#[$R }m5Y24nd Dmn#y @$5a&UH$ǏkEz0ed"J䀾i&~ y0O߼& 7Làk0't?:Y7L)K FlkU.PE5vPK3ר4cX:n]5TlxR~[с)ozW/j)Pdc1 9Nqғ:!NW0IϹ9Xf*B@+:c22g4̶^UPu-~ c\]Z_~XT㟯T|tC4>z51^^F VB?{npv}b'5cƟ8+j!pe֞cIC::<01Z;.sѦܛɊ[H32ldE%֝4j!\;AdDR|C|IHG6JQ"(hԑWa Z%+(/>-B}vRt۽`e`/ cK$/o\{`2x(YA Wv'˜-2]ə(uVߕ6M ?~c> ES ץ*dVCvoo= 3&S9VթGR%( 'G6t`,od֘؅DgLL-k(s0;jw}iYF G'e2z|!!kog`zj(6@^,QkV2{DװNHۊ"lX#z NjD!9- &D+QmBٝ,U.c;Dhka@‚T5xs?"ͿOQD=#Sv8FbW{,>AΘ̀dn,ȿ-1 ԁw%cu0pIfrqhM`əփ %ԻX 2I=Έ9?5〒6n5Xsߐxg@cYpZ 3pFQQ`j AnWV!CXnPEL.+| Bea7ؘdu} bYXRA^ OmkqDoN`)*^chG)㌋0rX%2'pF쀮ο(Ьiد! fTgٽɤ;\DXﻭ;r (eŒCC׉dȨhrߓQ~4fR9 cn0{mƩ=i8: jU%R?*Xq?Ƨ[fU4voeUׯERvvn/%,v'a-˛O텓WE0N~FQ gYt s8e" :p{ r!1_a)̬z@Zd0TD +x*DQ8j%=$kD GT)ݹu‡w#L~tKޏxɎH<075yAɖ.$nc9umS/ܴ^eǐ^㽾y^GY ܜds^hTuvɒK)K*+Zi)ku6g; ',;8dH3@u#еšHGØwwB9D YbIW5Tf귮+A9 r;}il0EiR=.p7>]^IY%# W|`BŦzC9Hh8۸`g'44rH 8Hl`*RYds=HlF_Mk!}4y]ìVqUb`&Stت͚`AYPF<6qV@Va`j Ѕy|Lx!".H#%osdTF 2 v-l NLY}#WHpƳ^ij~S.b4?K{K!N2JQj^f:=)p>K N]PG̠vɥwG+t=dTiwˢ\cr"omn.KAم۝m14x(H(IjdjpQsh#<{`H$*A=&J}bMČ+>zƂT5-=e .GV2ۉfclږgCM-Aˮ5F=_[$''!O1q:"9_ FH|ދI{A[Bi!7 $c )(?X/~da9>Gx|)cF (1HOxwu.0&dH9xZB,%ڟ \窾gc'H Κlwg/4z۪f9ځh$, 'T,ɤbUV  Z݆_7^/X1#ٺsϩ}Ns6eQh0-*#5 "u +q<;Kӡȉ"@+lHY٩U:ņUڴOݥkG_|6/WtS=[lDJ[IP~kSЮ+ymK ʔ3F[/h(t_%A3cnn!WpP,9 Oo9VrN{܆A#026,7L2v(}ٞý;;$Dм5u b 8ma~O[VxhlG{ "%?&՛Q>-mhJ" x/EP^@a'7A`}ia!VB侗A3+rgrnQq6 M74YVՁ p'X F[W 4A 蔦y*p{(!"Ŗ (k ).P 369GUe! 7K3iMd9V!}gVef0IF"fR+)0JZcnG  wÊJCД$[R]m--n8ljWAW7ěclĂ| 7NKq%O03(v/)R48NB~CL6-ۂpz>yݑQ*t=eMYجY~f \eFo?df_zkyO@$@\"b;ܮtUgmV75ϏuAst9fRTkM]z-YO\Hj{_P!U4Yok[&S쮏˗> v.-0# f~2#~Piֶ O^s 7HlZ)̘\[-P ^ߐl_VrD"R͡h7E/ʭE!JK(iDG8ML,+! P6Ud77q~('XK_-hvS;d7uƵFhCP3EfLhP]a3o7k3Y0b\҇gй֩r1Z0/yY ׹ߙ}D&unqgegpg揠C-`P5wQ @Y?\V"6sH l7Ć^{̩eҏFSQ\u;}b;.egT:^wL| o;NǕ@fR6jlReh Mq_!n lSwUjG>::Ud | ?{"G@!A/a :@ފZ8zGT%\TŽ.ٙQ%X~!  KŀQ(׽)zJR)Հy:C;Wn 3`pCW cK}ƥ&KS]q=ӕplL9ȾcVOD$N/TBc"~ Wðsol!R=?`]PGFEj/Xe5]iNܺraKѵcQJieE\pSakv鍸[2n2s<;pcR#T+f>yk‹ȏzwv";g %iq~Bx$oUIjo]۽I𦀆R3G0oϥ@X0tj0!Q07d%EUᮓ/R9P (=%rNVLI -A8 $~^{uDEG#~T]S[!N'z%fEřx^,:T?!JNڹY4t_ȱ&sׅGji꽛]9<lsu` ڤo3QߒRjw <j&Tul !`mA 2Mr1, /.iǠ0z'Fz-DR%X;.ĦL?5/Lj|!#՝Y2Ѧ `+uU}1E"\u-&SП:NtS{CFyG+'#? ]j eۜCREeO]ھKTZ1XtW~ӥ,h'np((!Okv.-x\zH2z<ȜvA[hNwnWS5 b3aL瘊"k{(2~WXjÕO/B`hC ])aHLQZ4ͧp@4qyX s =rW^o2-q#A]eM9+X4Rn `?[Be4 F^$3/1µD7dK(v373c0& mA٭5Nߔ.6+{#Zݛ0Ӆ*#'2gB-ٍ|_} ]hxi3W16w^E>3!0+ O1VSjXt</9zIȤzFcGSne74gs*|{בsv00<7QYsHXؼvR?~bi#f: FB<N(Ln#(q<% o0D)Y8I!uŒr%nC~!623xԈO YQ Wܛx*>)53 Cumǧ"9Y?B|B:~>ɶ9R]>N>fܕL TQ>Wu @2M/T%K'4۷!3N!d7fM,إ]4q W?=pǸΓUc?'BH^2eɬv{?8hƤ[ZJH@R h哘د?{Q'/\"6O|zndazSD;3:{F `dz ne%)M$Qi.jrƣđEU_彪0 =i_R1ʼn ;)/p}*ŝ>R߰-0V\6 m'i3sYmC3(uAr'OHLr>7#w5 |X97͸.ޚl`)3K ;` 1+4MƤP#\.U*7yfh 6$SsxGj8N˩Z8YEz1O9L(x })"Qy?: ^,fA,t2B6L,$*jQh h("u2l*1v{|k^Ճ(fnvF! 9azuL{MKNՔXr˶ņO? &_"GȇuKǖׅ2q`{!RE]P(=V* Aq]gzۡ6|@rYCh0/ PA=JtѲUIСyѥaȠ:Jm9J׍wFR\E;(WÀiU[ԈsSx3Ӳ<1 nw"wC3d|[j*M!wVN#U(vU;)yӊP ,X(ǵ@ڀVN[ul }݂,ލK,u<+g+s|!Զz,H?-SF*INky%#wAݬǦ6+J);vqpEDZ.,eR[t'f9zv"tؾ(0 |\_C$zmc30>31~R] hNC:ycԊ5/2h1$2Hft+#b\&׽jKxY6 $?,m@1F\)?#jy6BQdVH\y~$^)}j`N~*Wv-z1U12Lkf('׽//HC&´06Sкy`rPI up &~g,va:1ݝı~=S|`M4@<@9,o%O );bz ꓟ{:pf]MŝQە+,s"(?]M.zy VĪBE;M-!r_6hT^{#qc+$~v KVs9@qॆ7+dgb}7c@M*g.OC.Њ&k~L-ÿ:ӥsw1>Q+P#_ktcC?Aj[m 3PiJ+Y Dbp=^`\>ʡ}>Dw#ZA* f? q=#PqlphYZAVOa"syҚұq*N#eqڞlap ;HT̃$zY]O{ZLCM,!'g`,?:fDqN+v+N7ꢲ o݉Z )ڏDyDUm6lhmzFRI, ז5u#7(f255N)@tj^LE'E9T|1/ !j靭*5b;HTR0k"d؀w*zFc$)5cfON3crWz %Yp&\ay ņyQC63kt7+QkgdE][}v璔~2}B`5#`k(tjb9'+n@<rd׬Y͢=X"*%ܡ3Bg@זω)goJe#%=YaMxIH&>^h8y_Bծ='&НzT 5Y!d+u`xHqs*ia*PLh&2+GɠB8ҢĂH8W48F0E͉&Q$*V>DrBL*!rkLi(AP H76 ϑ`wzd/V |&0v='ĕ4-M AL.閠d *B맖ȝZaRF.Z^дQܕGR{a~^ZZ ]TBbļ4i/M´;zGk0k(L_j Z-I|^ 5ql?I8-h/UC$[W*_ 9BxF 4x-ba(JF䇄y[M2*Зڒ>OWM\Z`ő2U̩ ;K̺Ѝ2VȕLY;E϶RfZuΩTm| S/#{u}4 :  P7XtwNO=oam#&E3WPlG|d,+)鐼"jf8gFo 7O}ftc^Lk@$NڈnhxA WK8T(cEiLOK+)B\8:{K&8wI%j] {Aɘ (uf!`aι2IOuƣͼ|UaU5]4S[JhD7}!C6]"s=k{6O\!m^YED<Ǎr^0fI;#Amv{(ŔtR/i[|fAg4!h']+$jsZTz8 @P)B]{'#70FŠE8YG+ȊK7~@a3C#$-0B-oh `EV֌RI=1ː6c)Q$'%: ,1obA{o, #xU(<3SpE VoεAT%,g 16Ň<Z)nxeX-#S6M0_`r/Grl8ApID8+2B֕ LVCp7S5V-5+Y$FrNeghy+1f%\W֟*D Gү;#x;L[d%(Q2<vi _R:0/6#+g:LڌX:KOS@1dnڇ^9Z <P^d6NH9O 9ЖZ\D:SižcCw8dtg ")R^Sn*^zn ` q 2l+"tW9ZVT0" 䭮M]Anj(eT׮)P{336L%c)r!7J6k|>\PiX&~  lH? f^(Oհ7-nxEvHQiKkwVTަBR;n @w1m;xfhã~7vAdz7͋OvM4{2#\3a#dpϪ,6M(G`Dy:O>y t^WEљό}-yH $%°l(hm{ Vn8wyZ`wqz_bw8־X#wIQxvg? 7Zu(Lo,xV! wJ$vB 05q~5N#YW19URrB\s%|2Yn0cV3j8۵"sdg5哢[| 苘w8e$dV8L=(nP8'q \.lg o,MxvRw'C\OY["r4Naf|ǂw TVlz7x|HjC/\eJݿ{^!SrK%]X"_Fr%r Sl,`F t+pU-noݢ>~ȭ]M<)08J(uULb&CۂP$ %Y҉]R%| Jy}Y>@}&:D4< /w p\S>/iG~gʓ~ k-\wsk5S.1a(l{'g{H>1p癋~*w?cҖMVuE_eh toif`8TФ`*c DXPȣh:񸯰;EYa!¨o:Czju1rzl,^[2yY@ ʵ߹O(.NsVQ&ԥv|S&~mWU ۱Rc&(SIKg縷~Zr"\w ! K]!S')prI )nRV]s*+:/A:O,u3BHaj~嬼.3ěSOT=!\,,Jx%?4hV!L_][G~;5#`gM~rڟDLlR+Z螐hE^4&eynn񺎚nGOBiUxN}wi.DzuE?oC2d4WL U"Wxkc;,@Ălw'rA vVήY`*hxv/? Ajkf'm,ZK:Pa;dk/gi}zF>/&n /PoC .e-'z CCMkt IRj%LQ.fV 1!D쳻>\0 u W]sZ2yw*{>4}cH<;m8C^  YHJaE$8WEǪ煔|1CE=k0iAH:.7T#"_m0y 0z] GYx4kR-g)6/d}L?y_n+_oЗB&A4s+NI뙩@(3T=Zvbg4%ATޱ T/jX b9P oB JVd٦y1ˠs6ebmn2,Dl0~~X,XcDZ4SudCT~)"6[l?-*p+G=}J 1T3,ͨm>ʇ8uVcKlˆ:3 x.ƕhMe%G1v9]߹$$yX|ʠ7\u,m9knލF $I [h1 6+U}nL ^Ebvm/ix,]7$]-) Oʠ0kc] 't3w' 7TpnأjFъGbNfh"Δc祲棒]3Ԇ$ȶy[\v> \`O/,w=P{ 1~oDeNjZVԝMل/AQί_m4F+Q:jYK={ 8xpG ?PI^54-aTC8F2iјD|a<7siip* }JWq'rBq49/܆eHkR> ZXumxťݎ2SճzLtm:?bT<̑6VR;8א(dݴeۿ[z*`XWXS\:ˢc)I9?h?CS*xJhC.iԲ%'v~2=;x Ћ^?n>_㠂Յ8:I\j>ZTՈuX^Jڰ0@TmS8'bfKHYK~qJ:tVHDB2 xC {0kc?~V-۱V* dIcӂU^lkuEA Q}ʰR'*z)Ea:KT \-k()v1L2r8j7b6AOji՚sߥ) B# %jwq,ݸ~'ZxG`m{iMijg s͜"7LSSxnսG/!`#os`ܔutK]]|9̼u @a,y8)ZHc O[ˮ}`;Amx Vݗs?nRJєpS(嬧W:'EulqO)tZ-eB(bGEq xS&~ ~{giv>,IT HPDk֓>AB߳2Cq[Yt![<<8WRyS(@UƗ5+a۴:_D $ƮijP1rB;5?*\"Tɬm7X[+?ʬޱBF t4Fő|D̔߰9#0t^x*QgI&/k5>c.E=mG<}T_4µ{cz1/R$!|Zmakc&Fo{5^ڧGzL?JD, kӌjNFc_g3_^;T]k_pHcGMچz,AFH/D!ܞ}>M!BcKxdj c(<=G4Q相N)u3v|ذu.Di1GXG|7=*(h܆CT! zDGwW?i"4\0`Gb?eUF>PUY˽ٶz PZ%PHMl~B J88DC={J1Ք ϰ BKXӕ=>n4_iE@K:) /ۻĀKG ŷwLkگMA0GK(M ڰO hSl7IuN.Zht2eCa~`(ltX$c8\oO6۞' n %q,;m؄);u)g?*?5Tt^vu!Q&3[ 2HXINR}Y-,lsE3sC K51yD(õdA rŢEUD[+}CݪlTe+G^4WD 0'ӁWT >@?ӱ I]&l]jDyDqS lW[ 9s2۶xx>IJ/aR 3I0T7I3= X梈L]Ll{ݦ|KhOLv>=O呿]p ,QPT2R#^r?4‚%"RBtLIOͧG#!ΌQuTVwwW= q6j2&$w*LS/L`gix*]t2Q'GFy&ڈ׸6 *kAkz:RsS9HF%M<&Vvz4lS N^_es,4IJm2Gl)^uؑC@.(7 7x0؁ z& Dbߎ- D| rgD'{纗gIGKvI〈t? N^XU]; L2I~*s^t $=|!leBV#e 9H_W/'~l!gǝt?R~ApSŋ.O"粬 eŴ"=Z ?fX0[>fs޶*{=ߜtfOZxiTaCvLQF %+1'9(b/#3sko+&^ݗk3JrԳOu @dž@͛-tgGV/"|fO (-]r>|lς]x~yU5*߸A<63>)D0?Ѣ{l4A0\Վ]&&we?4fLb&zͅ;;YRN(<0Z~<3pG1 _HT35@B?^s akdI8 `bzR/KlAG6<8/1HI8w򐮏[6m 3P(K~[J߳Y9aso*yE骖X~+4 )YmYDg̳uD-M! ^ ΦhS*ljR:g)/W-; ~ZtjH-l淹.:/ 73zEYZta/QAzEm^,yw=8/u#2WKNt8P=S/ UT_gc% Z$Y%a 8;wɟrc7>,M7VYᩣzl- X,.`D+"t婳=Jr@]pr2odNT9`lHr_/iCnwBt|yܡ(Lox[J`&!)tl17tfb)n!5xg7n`Rr æ.-~X"$ Ly5L0"GnEyAE"QbNJ˳̇0wT==lE%Nee,ň^S}  ]^h-!#ȷnOnd.@lݧr\=e!wa*srS:{Kjt^]΢l A[*'׸$|,unp(,1#%zS )^H԰\2K,젻ӗ?yo]}MXEkc p|[%gi&ҸZ1 o$"ڠuV|U-t $KϕpkI5ȘUMF 5|L5wC!@5b[8(r叴\vdc8 izܼ L1z9"Sl>,lBٺewHLx/1/аV[_>:f|.IVEH7;+ӹk#Vrf.Uq 4O,}#WЯ\}}]#gYLHgg67uxTDׇ*)BF`EgLՈ?z: \nۉ>)$3Ū/&:gFuenB9 yS9!ŠnK=$z=N-Ah\dݸ8BUb",y)L9`0Bv椝+HD<2:Id!2&FP|Tj$̅ȹC"vyӔBfjJ}܌$@q^"@%Df^Q^HC 3hayf1{3aSuOLMH`|gOC;xљq ؒ~P3H!NѦy.0ޔAHL d_k*͢gߚujJLSo&9Sߛ2.lG17Z_Jպ"I8TO"DNjC%\CWhPkzOKeȑQd{dhU^i/r"Vxa#)xaO!= 8o,9p2I ̗ DJ{_`^`b0NK$a{SMr*B9 -.cuu':/ ܷBnhsя4o}O9cv֭tqQ'13Mw3~KSP&+4ȃQ[~7(O/LC~0K0gۮl3wPs6s6`9WtabsWZ6 ;g9ydTΎr陛|#_1b;`'ML9wiԖA{p~L.G69, LEԐH %Ϩ`ʌZQL'q5Y=ހ)y7NڟX4'X"wF)Xyc{eCLaq c8E@a& Dl ٭;92[o:26eN(dv"L-s< > iN?#eEkϰ *]龠#~KܸZcu78AqI,@WgXBDLv6ڛ7WRU>CPg{ k`YOgYZ7zXZִF! "]ŗXiɟ1˦r*E$O @zֲ_}@ulUDI7*W<[S0}rbX ',$Zl]v/B擯nWpք }:>j>u1Knw}o/4z'p`&X_9gOO"*y%j'TZexQgKkD;TT"F.O([.+Lˆ/-uS1c XF75+4t- ܋qUXNBK`[H5&f35ʩ3ĄLv{9s:ͳ!޽oDl扊táo_ /S*gqcdv4¯X׉?a@C$<4[NP2^N׋d?SC>6hy'ה|b36JOM"yڥ zH3qؚ9"Giu Q7Mb\r8p 8[gEΒgWM/lP\ pQwC]:pِ@{7gn(Ya$mlwɏyЃNF;Тx`˷yֱ#͙8~)R1)0NÒ'\_0HcԼE!hДD_zd8fqUH b.@v$cҶ:'6K9%c~jr7' sO3N>&BbC\EvѶ6r1ح"^*%,%fDd׉mq _ b+ h0%kޭE=|ͳ?R@K@ppi"{]DCA^Aj7T2d-5vh?M8YX|p<'Y'v镉OJ7Y{J_F-Q.9lU@ c!>?'M{՞ ymd(eZ3$Ǯ`Vn}dAǏrd/J'*3Q2(X;IZFǑDe gN^TCPb%yͿ($t ?YeZXؾK*~0LJPEsb80㈎׭u3H"xvb3=`t"C"jukjf <Wc#u;J:JuZDh3Agn!%F'TG@7`c]/^vJ0aCt|̌yk<_cZdHc!x /K)|( Hh(3-uFkQE``-`aƟdߌTԟ_Ϊm%SzX8YɌK1"Z5'(c d7a6}-ǥZf C#^ܛUZf^iiVg\a##wPhci!̅B '4S/{`q&sXj!-ܕb\af3~Krt~#{|oH8`jpX-V,sN&?X[[LYwnےS"ϼ|)=% R|[G&*Cu)189mj)w1"SzO r,[,XmdhB..; %c?KуdE7䓈ҍX۾ʲL]q`v.Uu6xsbczy}GwzZ<Xً6h o2JQfF]2/!r4 > soT\7[:Z2AԖi` (` 稰ED϶{YҸ j+9B2El5暡-Cş3di%rw^[оF/YǺj;-DˮL.C_bΣ{D鑴c[t7bX4(<"%eIH7hj&8&e19d㣗hG,pm/i#6d0q5Z۝M؜OY.JeW d<bV=w@ u ^\[ׂkگP &lå!S]1YP}Y&Fx:g%>N݂(귶$bnGcdn}0J4h$W1Hhjx/xuK'/r9 Nuؚ,k=邞wx=>k9||OZՇBH];7i5azv.'=rX؟P?]|ͼ䰍ueߖ02U(vWi 6b*AO57ЧiT@;j'qXZ1l]Z菄0DZG E˃mQ?|hjo[MAYg~ lݑ |7O,ʩ m3 [:2npYS }ſhm\/ &1Ae;FOpg05nPR:hWJp.=CoK}%?Pjͺz q{/Flfw)=5l.ּcS⟢ E]R0P.:pI4&,+]W%m(&@|$R)NXMM35o84 rrQ_\s~)l]2/ka >(ۜ=` ڛR\6|Sa]䴎SS;`%Z& pH (bCjV]9aѥ,ygj2fΪv3aGi;WM!"d *qɜ}gƯAӿ<_V"X`bh Սq,ؽҟNVcOUf7s"^uZ6pukSYlϏ*z8nr8L.a<8G-'#FNG:G&qv[Ѐ3HY7D;(w0飳ƾ@M^e:QbyY2ֈqftޟ۔X h?hL|8T.JEj'`*T~y(|q.hMPrjiLvTYbI[*i틉TW[wLup38ChAԅ J؎m@휗e<_9Za܂1vr@ݧ-# M0_OԚS2mo/YxȂAxD|TluL灲3Ύ:6>LS7C_~?̡ 2> 58z:$I9'S< Ӱ 2DA=2!ЩK8|C=DM۾9=VDsr̉gF?$D)ANQkdJ]BP!hmyj٤ V(u FC૭B*o/!C]mJLok!X_Ipar}EzPg!]8 J)hk[@J,n)~ ݦ |2TǘA7ӹj5 <W? zÞ4_oĽ}˂Q?{n6ވIłJ@Gb'ܟOry2fDk9pxelNfP|"Ym5&uEي ڍgq{40Й>j@'_^vHԝVlA@Y" ,# 7paW_%J1xTh;|Ҷ>W@f7ĩ*ky;7e {oZχS gۓdܷ$XZO`ࢱo֔¯Vx`xH;h )Z<'ể]c_{q2ھφs%NT@Bk%q{ <,kZF@jz0Pl{":ZϾȞVl)ĥIk/)h"Sy>bחK}(SYѪcBE<J U7gq2Rā䇧DQS 8Ѣ;Z( V*Jhҋ_cwxF- )G@&A9:囤#:pكR )ľwBH1L+5Y#׬5A\\t0KT?xGo hig9n̾:|7-,@J6NK= ܵɴ/WTޑm {Xَ(˵v,@B~4}*|[fw!Fa$_'}/gʕ BUM@R0*#CvG[0}mKA~ᇿz%FrJ6)Z.cWl1` '-cզU˫7|?tyɅ(G+ӡI5} 0SRSie?k LK$ga@GcӀ1]0vpyxHɳ:׹ַ]!o Q|4e*y0'yGJ'-ct97 Hٓh}㦄gjQ&).ycʦ[?dj~wCܣbp49&>@##iɆg/jDx D (o`ckxeXݣGPLweYl .26 ;3XQPQKR^b\ q'fӲʋOΝ,@*'vNx"Bxr ;y@κdUsI*o|79267SĢRK6畿 !ƅx]2eAfui1zy0_迕grs+jf tV wP[1 cH1ؼ23#l1Cw0[ DWUݔ]2p/9n!B5SRwr?pyrƾ2n$3/BWD1:xl+;؃в7JCRfr,hkC鲠&DӣC aD}[k,Cv\`6𿐒ϧ*О͡qHf)߸p[ma11'Tca*o@s6%%5#(cg/,;7y_^ym˃LH HPtq5@vK^u]7#3hkDtXg6*E40qxP%-/|x'' cHOFUdb 9OvgrZt䧱[#WSBXrʦ `勦ǧmN?t9kZn#'}?% ;j xxdF9N'Q]AW E/['Kj\ KS PDMfTN@]nkŔy0 (UZ9*izhM vу,aIESSvؽ.et4ٿi(n2q7ky:Eϱ!z|DI ϼN"<U? äiU]p ^d190R*mN rI1 =䛣+Sjz7ۦ2ڊjMYJɄD\óUhR $Zse)]3Kn_h,Yh>7d0nqc.\6f4f/1?d^7^Y(GhkGh-ta}c%KqO~,7?xDEPjXu♘ 젣naI %+Hӆ@j8KGot5dy,$ nq!6DTx撰N/cO=o)^MO0L!;~e婊l cjΰ |NXY/pզLQO0^7X-}LV"D'hAc/ Ч a~wŢI @~E΁͎gq 5_8CcեU4nuD?ZP}A(˿5dRZa#9S||V,Q$xmQj@ 2[$  ": k>VIiuTʇ 1*ɵ8B7$A=R$4V3.-'_zc)Fڙ?kɆ 3sтzB0QQ8{LVBxT:^ْTd^<|I4ա+RF/?s9ʥ MBcߢ=8H6 }:ߔ0y\<mZ+!lYIkL'q`'J_6Mg~5@TF4)LMG !5 !1{T~Kў*ǝ.F h̰G_9W=5}xBy8)_GTHWz,Vh/kl612_rjEy~@=[Ӳ}lӂtPgXE=!;5Y IGz GCUz!kCUX=%FU#wYo642j`fjtp 8S٪caʎU|ֳ4/䪖L_*ľu72Įvc=S$mOp^V+sZ*CXab9Jc6Ȏ6`ɰhzu3֨41 ]SIQw`$@nc.~ 3$jUusBn_r;|cY)J^jn0HVޛeaM|/©cNQ9ƫ`IqIp$OȈFwU;VӚy62](Ʌg!kBgqMe(_d EK5Dz:ݘ,%k\"'jνo:V`bU{TU;9F'* !#ʁ!C,ڢ<1=0@t45.!@ba XpAW츟bN>\EqDQ8u銫lgPL vl34!0 &ԑs),+T]D-.LPٗ4z٥3@{{J .DcX]).tvѐ_үdEG?l0`k u0 [S'( 2Q L>"a2yh:swvbDg,^/!F۩;F<aVx tߣNeG(0IvK{G`DH7I!qF=6:1Ă"vXsTlS}+xIFF.ʾp0=0f^g gfd\9lʏ{nDB 2eOD.3xC׵޼ k($;;ʤ‰lJkDU\̈&c=cHڎ_M{8fpv%#}oAܬ%ntq/mDHRL":w#f>v$ .RG[g:ZOm痱I_J1aV/ʦ$"2VY5UEg/qrQ|boNq1 (6||6MH߀)yNeiq7y8PtW =bK~w{J2:h#Px03 Uc$֗[ȰOxU de}ZZAY`-ir DHsCݤ *\oNLeΥHr3Q('] 1Q* Jk.;j(ʑYQM&B:T3{$F׌wwwvћ*t.8w[|ZJ!OQKwաtdK#fA-`_rIWP[92}.!do >DP./]evf[(᧾ģWfv؉2%I(&6M~ԯT \o=o~)[H ZD3X\œ1woGkuI>1)8"҈(M.S VMF)I%8 zW qJ$x%L7OJdb+L_l2͸>&g6VMF6k"7 G=cFR-:% Zˡli i.1lͰ_a*kyXZO+^xj'`E;y輹Q|Ъ8S43BgﴶКi~>rK]'Iu9R-hrB+o5FJ71ɣE+{1z]6_KKOBWz.q2IcEaqwyͶ&."#@o{E㛭Q=+beCFvܳӆ=.a,2^AQ%twئGW0Y8+Lی*!%ԃόswoMgdg je_nJA sۼ< ƨkP9Q{ Έ |lfm'Җ[;Kk4=\۟ Wz69 7v3qg vw & pA=чOȊh3T}J5)v8J Ά1+H! G~ʹ>a[}Tr.%vσZ)9;m Hd#id*hBMWEz^]}bs 2 QT⪦%#bE?OjlKc5lv>2xthHF;fy~~ #j4UEP9:b1v29^'DnR>&yB1XEkEh>Ct1Yc0k]7//N v{mn<So!&Y(-AиznS@;T<]fyX2̘8 fǘ:1FXjW.[9$=Iy|J&5 uv#5=fje 3ĭ.ӧ291pd6)8:z7!n龤s/䎱4Ј:OqűZ]mV5,-fK g-4ߪO^ ZhԬN{Ig[rW FG\GFy #>ؕbrFǟ[ k4HYlertC-wB)"KjC|^,eW:9O'fYEUۄ2թ=/:vMK7|E*mȫ^:dF6&`'!1BRJQՋI3g=!`ŧLXT@&djλ71c9CI,󮃐`e3p됟ymac #ƒUġjI~Qqdӱ?Z6LUg:8],WmcŤ=|qfOBU== ?ƨl^]|ulitt:TSyG Q!'4վq50#分B69F)5DG$0 #)5 āZ Z(u 뾴Dj1ƴ2֬s/ա Er2o!𙤘z =y&:{mSR0SZHWmocWѷX}Ae@co\d 1?8pv.t =ڻ H.H O.+JD7i. V f^4E|{Br}ɍ;z?5{ D\߂ _#;$gkX-7tIcU_,LU;G4D(SiqYmjpy22Ay 4GReS&z 5~u26SRB`)g>!nՏLU .:zo߹jfߠ)ڶ,'Uۉa7-Վ/cHMoF<:[)C|"?:G+ʥ¯kZ*1 9TZMT 0kkV띱;r}HHU[KRUglPޝ7sUiC+}[`IRYڹ N.>́#V*͏ m;BݡٌOˁY18IԷ,0$[ N)m./2`ҽ(n4`bD0XesK_1 6 V$%ke %A4hv*nyqax -7GuƮȀhu$\P}@S|`&@ݺi/LCy8 }e( .[ 20GX n#7ю*%zι81.O>uV#һP٤.-XLI%8&3SF0c2C_&} F =#ox+4^ /p-S ݪ.( (ajj##,0Фq) b*b}>FZW}*~è靋 qO^o%7|kۇ` YY 3 .dc7Z 1zDt/4O;UO5l8$!yĤ(),t|sV4v\)q\2y4JbYf.3†sCՑEK^ͮKaVεRxIMnT Tl'X"osXzj3^8b˅<+!3})M O+vĈO-6J] LcЭ8CExi8lDW?{EMV/Iv# ~ _*-X𭀿lq1LN܎Rsdn{ 5nB3wmR1RL?ܪR[?t %N,Ȕ~F"ЂW*ku\2݌LxqrhE@ ]}a^9wk#K^50+ٻDF^NE:y\'Ji)oA khsOc;`fKk&D_Pu3K1e4(u]sN@EgGpZUה+_f]h((C٥Cߋ`v6Mfcd{JQ+th|{ G76sbhuɲhݴ[:>%]h`䃒V\(~R{q`iA}6/ fv>$s5_\K[D#q[Ln۝EI50m96HnէjHygYv\"K>n,bz[bq<wW UC,ft$oKyb:IF^a Yo|_*Ɋ_oѱjRi\E/ p{ (֫iwrpAԆ=j+W>smv31UDh!]:%釮59S;O3_$`gAn Oc& RS;) ^Ս+xb`7kx>$ժe|)֘J9lWUʘr%^dSk]wNfRr}G,:X A(Qw~1T( 2˶cj]TpXssV`a`>fEзMKڑ4I86pUa2z xSJ1 A^C#42ZsayX6h!bLǂ*)9AgqFְ=%w:#aR;/st!h ,LC *cA|Bl5IJDXhF u's+º*<('F"P1UfV\8&`1_%H۴@*tI]}>UpBb7( X%=u wwr^dB*957m[S37-{→bDufWAiO%X> ~)URP!<3MY|㓫zm3E"|?:?lAyU\`DF!V:U,3k{n,m|?_ ɽE{VKO,֡ɚFr:>tU*N̶MZ}j%Q5$9;$48υ[ |P,O&0]d.8mՁaiK  45Kmd P6iH8|8cP0gpÏw ]v0BxߞZo@p뻙,Tz_ȁt=NX~@ ރ(U6!ryK7: 2_)m(Us$Rtvֈdz 7߈Z#|BsQ$h-=d۬hU=S&}A{siEQJl&<2 j˧( cD Žk)1z!O[_ZfhJjJ>Sv1 .@O9sC]T17iPxnumz`YtCu Rb ,wsAalRjJ1 D_Q\g ЬJ86 W?Ib9x/ %§/-KY[$؛W s娉[ocf&S`GzE arbJ;~=WDyTQVEI?4OaKn\3l(~Nl]<<] WHC9W)c=ӸtFq| }K9\[;]xDlw~3׸j>xlQ$ tt)J@r15M0)gkz![6ʁ~Q5.X1.US]6ʼӄ0'Ol@HBM\W'bCؘu 0p/ɏRe xma֒U3F; >X ղncn1Qu(¹m $B:9.' LiN 0Us@}BZ[)/|pzY8K*Mf_İBRűK*sJ |kmؤ%0n`*Hron]OZSye'n) s}r^}0S&`mpK1n}#SP=Ž<8@KZnL%WEALUj?X:EtD5Fu Ũy"NS֒#62_"Q6-M&`OĿL7c'y$As LD\, p$"^q)J8^5Nh)cPӦ$Q(eW3X&;+7D;Iz0tڽz`6+&`BL_@o4mky;ZH1m)HKj"VFkOoKK"%@֙ZqHS s:WCe`Vi5YI".2]j &r㣀Rz߬B/ljfBcXj5U 62B$d. j)k8 >vhEqnu{-7ƜsaҶjf 1ґ󎂀1CpFFE^í$-NZٯsղJs6/8j+tx=wdT( r㤡m7`?ߵkV=ht=ř@DN_􉘗a]Ps‡_xv)c q-cFb O*PAq( 3(x!Ic{f. 6YHW裡&V+8Ԇzt"[]73[ N9g7tw$w/qCO&^ EQWS6& +N=?cz` %A؜v_fa#]M,[O:D-A=n}?WtYPCɱj滉a nCV$}sد1e)mܜϬ]qYJU(Q/MFʼnY/-@eXYZ]cUhԨz:m7MV"234d[z%_{]2;] oTG-R^D/ʋ/[krLRmvӫAim'f~P)A eH^Tn3Z.,s2N?7s'^y?O'CV鏂n*J"\G^N FgNu w{ W}a'$9aIJ馶rrF:NŅ?J3rhې"D y>?;NP2tRu+:=Y0s-qB Nԭ.~QL9ܔs :><{|"eL3ηMTv.s W)*IYZ߉iC@jR?߈W| >;|Cxa/ޏLHRN=8ִ&ƓوfxGz]rvTXaoQyU7OKeRaYyѰu-\aQE$0H-7s2e{&zU6C~M 4_W[ij@(j95 4_>u7Nt lvhl& 09&#)uIztsp쟰2סS[\ۘ? -p5²ؤn{IPKT6'p!%y}?CX 6zWOLM.c'^h6I-?pi4dw%Kظy;XkS?t ~#;2gܲ |?oUfL4эĦDfH7GKo)χ;NҞY!-1eP|9&8 KX6$Y_,T3?6ٟo#l|zkŹsʐXr\a^ڈVqȭҭ[R$Ўd7iÇ/^6㉀(kqn e'oUu2Td0RSdrWo4aEҔ?LlaId%u X1ڢ,Ӯ`SI(EV6m>qۋ a@? lj}]lÞHp2RP^݇`u&@u~h"6rNJ%3,[zƃm~ 4"KfT1R#o !zp9{]_Jſ`LQ<e]O9zśs*WlmJeQ|jQb`M<vvY?\U.h[F>A|3ΨQ/ Ah:1κ;4jsU'0>>YͤW&m˛<'KI?Q9NHi7"˥[Vm7m5!Ea'JfPwR6gWOv^ ٝP x*.(gdA_r !RXqiSOcr*"(+ॗvvD"?siC^aWE [ 9 =cYfIV1D/& M| rS*(vF< %90wwXE96) LרCyUeѴTP0rl(׈08/5TfҭȮD(X3FeJs|1M[,^d~-Q>M=jx`wNK>w^Jn1xOG 3ئqJH7oSzSu<1®2WEU޽ǿWysr'R&ym?S/ M?<->ocHke#1+N|/R¥~x@{Xh6Aj1ah2 XU}JiD4$bLa8?s#/ 6Sx7Z|,o^(lDPyY˿y ƦʟC\>FeWAxUomrBW % $WUnE딊XJǬȸ pSFѥ$B`,|H%IŐkBչ̐ȆsUSA0艺4=vq0IFmrNеiIi"u1v{ Ydz)I$Fog56BaڍY1\9ͼ<ްuQlADհn.ԢL(\{?7\Y /~XQǕ)4NyX{<9مS+w [m9`k(mw#WQ)86kT9v^*A[2(;Ϝ8$^N;܅!b2Ys\1qI%X1lx >;JJi ]ۇE)=^t`RZKWe*HA?@!i$kcr {x- p PM ܡ<J\W[ɀ&vt4dVnD4Rtu~d&c&ruH(ЗYr.otQ=fdTanDd<.dq+AqJA;B$&Oy XwZiQص cLKh4X+ti?w|Hۼx aTyDcטYxkmPT#acMJpk E.6U0KWe\YLm \VK ڷ±oT[IWfxJ CD72 tNRYByڕq61s =QGc,?}U۝ e6n_J? GЉG$8~T]ڧDב_"A[f;V}>g&Fݵ,lF*0}4WUUE".|3(Fi 4$b'ǦKZKڰBs'0}#8ೈLCR?dRS\[dF dWsp3sC& P;9d<# iw2F]:!gAgyG+ 4۶UL҂Ґ:60^ T93[do$G)%MDx^KEbMOgfwu'KGXXT"$]DEGewIߠ9P\-t{SO0[ o$jvFS2rզ8>bQ؃PmB݃WRlQ1x0URkK5'N0p_\5tqda>pZ&Ny>WѝيsofSLid(˾BTz/R5NW? =~L; MpϮґާUT]d3zܖP@ЕQT el%/z {KA^*6NSv@7Ai!hPF1BR$Y6Ɯ$bj CZۦ aZa=zmr^mZ5H߈)ai0zO:nۘ|˛ lhGC ;0/ IkYMΣ2  \p gU_% ^W\Zz]EaBW+&jJgs~;Whײem{ŚFԵg',+eGg}={$5<ihI5!L]39dtG+yC+-NCʥhl;vRVdgvhbjY-2(<.D-#5+0e(ϱ捿ਡx~6-{cE|s/st*L ])oc;B0Nb mS yUb̬/)ݚ.P^D y 0̈́foZOvS9VV=@3b}) ڛZ5#ht`'i;K[` ɢA?Y7gl-[TN oGicp*kzOsˆzҰlc2 I~ҲAm8fCBI?&V) a*' tro ) oj&l!x+w؛^^Iq``( p%H B`S#+z*q8̚'ė1ZW/ƒW8Mm%î P/6:EJgZ ߜ?qdyeNihoP/2.Wv:a1`PV7·:_G.bV6a(9fRX&*}仺HiSzz֘N~>\M[# `Lҹ1G7#F8L0yeZ/N'^_yᴍcNEkzO͠'`Scl@ǚ4KB/ߋUg' ӴK2|׺:i<3tf xQZo3 2'I`h/ddΩ`E*[4 d#"1xtCcEh2L7Rvʀ,bqOlmaKOa\kѯhm QUqf;85@؍k#S93(3~sCd/-Pg\ʭL?:j6ISU%bPyfZp7yKߍfǁ0t 9=Dإ|්LDS9-/%kiDSA_VMKܢE d7K`p]x R_wZE4U?18%_ Oz-2]Xqx$ `SƤnz1XČEO2\ Lrװ93ȭ{HRIqQl^zoI15`&=oӅrcr>$`ȶU[Z0CHҒO՛f#Rnsm*+LSl쳵áXHv7G.$) ҢTqv;]tn8ħKxo)/Bn'[Av HW O xs6¶t<b+qF~fih2b-`}S"qXp>=7mzjO Vd32t Hc׭SN*+=<F_U,kD*'H-b>r5zԭЦ2ChWZ;j)RĬu7-2zf1g|cJ EZtq1 p&.l4.z+OE_6g|+{3bhy˒q6ha_5JϴKY!3AK<E7*h;' !zmp/-ȥ6 c[}d1\g!m80Hz|0ril1pq5ꎐE-Fچ"OAcKu0k6ˋe$> t+gX([a=0=\Z,lm4Ojk!RxJwJ˱eY>?ES2#xxp5:irl%mk` z^Jo}@ưz1釆ω,O&%4~++y ݁Vҵ7m*c&*rR|K\/{D:i-;Є)Hxlhkj$&0f}F"V̪Gjuڡ7-w+ sLzHd#7ZMZ%fΔftJA̹upr,\R-&!j 69c!Vy7^j*<ǘ"”-߳^MBHbP@ʞPvac|U&~0t3,膖`!45}m P VY/Uu]峫U^~P:e/ܾ>ۭ|qõA/̪Թ,Ӣ$R" ijKcFFQM^lɀ)@85^^eM)4+Tkh&K2fݏ)%;K)E sw Ide앯 Z+-ah *!B UvDH%(j}/*:1p'E%h3o+ߒMdy*=Kn+< Wmh;TأSONA@OJj>ug4* z!`&"qN| HE!·݃ 9[,6+gu7:d]d5湨 =S:ƈ"Kp;Dp`kj„/u\8>S #O?Z<#dlذ5+{Xx˙BĽ,f/+u_fpJ )j=WN}-d+u㩘`;`RK)eޘ'dvڠē^*1\: ^i[.|Rg |.bSu>t| hX\ DJJơ$"ѓKL2KY.U&ҲW_jv*@-d|ޠ)B' b@u $/A(ORaw {Hs=&Ѻ:e]mP1y7 ^Zwfze#ّ3˔T]b,:Ur9Y $w5ԍFڥ4IZRA+ƢhD׋ő-۬MjإV`lol-#|T/B{ z*e U2g%HO+@{K(,:JB).Ƽ8Uo7wC؛ Wc-dN0BFDh Kl+@߽u^jNNfbNV;﹋J]I-0EF_9CURLR_Y{ l&O[{ȩ+v@,Pa ""T}8Mh>Nwk!F+v-/K7A.G8U?>[X:eؤMdkuJg?Kv Z!ѿ5F60GfvMECí,s.lL:\#`CҨ{OnhJ Bu ohoF#&0ĨM]%IG_A=u:ёP2+- :e<2,BE(%S8#`(ZHߎ}ݭ9'2^(_Sϑ>KL >t±b72 E;MdRݓ0OF!FW*팍rJxԹ#}9 );F!8a\sNtW^z1Ra-إd3[j;/my9(ܦ>;b3!$ۢ;BvetfAmtT`X[Ց):ԅ㲂eȡh%)L@Ɇenr-}w\DlnjG~}a! qeTX5ެ,݁_r/38(T;#>9kʪ`QxBʬhPG{8x׼IG(mC,哺>wݐ lK\^^VPLuJğJW4+Ԛ/NXt:W})(A|U|roʏII0߿W:<MyH=TbnbE2gw.|L08^,̝Brgg)X*> LFS0V47ØGhfEs ! =kR }7u,#<(ۃy2U&gM9SW@={.r5 .v $N+FtPXH'U)/$@f!gZYxE8j/n"3gS%GB2t wD5:pP96m<kå3ppI[v\ $Zx5ENJq%*DMeѬ] wD] (i`2UswNb]LŢ j C.m:r" Z0!]`B,>SN-dZbZS,^WE0ûcGQ?&_Pؓ^xBJk9W4tm| J=UUpnE^>wYAy#N^Jʹw\y>>h~[e^銹Ҽ53 L-zIi$ <NSjImeXG!LTLBggy3hy4LWVQT"®b2܀: gYZ252d84e9a92f871765bfa846e8f1ef54b36bd1afc58d21ba3dc8b698b4c6d36f436849048b45c256 62a71e53b0afa041c6e33c7ba1f783dd62b7fc3af7ebc104c7f06a176741a7633e7defb2046e414c