SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   -? lt ] Program-Conflict-Analysis:threads=4elapsed=17.662cpu=60.228gc=2.272factor=3.417zXZִF! Dn]ŗXiɟH)0%oZ7 nX4Q*}&-{w&~ˮ/ij1j#awҺ SoR bmFu;CEydL` .V{hK ԅ16uWrL5{f(=~|&1y'Q&a'fSV&CPg37Ow˺KͿo3Uι^A[2- e R䁙,tDLÏJ|k{O nY_L/jsL[tmț: vG]ln]l!q h2cQµ ֺ<\RGFC$+U/{GmfboMs'BѠBi/H\g :d|φ|BcY1,LC;9^gR00 Hiw֧:P_Tn|OfN|,ڞi ?7<+e}4]8W#~;\dGX炾%ƀ-R<7,%6d7gǪO5ړf%ԬP]!DkRtwR;j&9~+t]8lXCF[z'(Yj(O y(i"f8|;sڿcv8ic^~MiG,K爴=*\ ܙ\OYM:̏IiK/LYO-:DJ"|8TCJ̕^g\269gFAs)QJc4 h D.oH|r4}ui0 0ڄQm((s9GoG&L;QG B8 P43 ]ޑ'`x ? Program-Conflict-Analysis  &} Ɍ/ߥ`F5h_D/\ՈaεYE?^9rVNlkM"DoAD.ʯ?A K[.#{Ey: eȬdF1:\bXیMk*ח=nXw.mF+ /8`\C ^[/<0I>JV9;4SׅܦU<ҋabI4Q3,o#>ef-Իy?a iכCk,$_ߠE/Mg<=/1x`{,/I9X4ؠ􂔌:/Ou!eiOMq2bAyX Hݣ|qW* dJ7* >Ef3L=S@y:(~Fh70(ʥE#W&z5*t0ܑipU:}lOFYyyQێ׋ IHW϶Q".XYJf99{,5Drs}_O,E+EБz8zMYTuhs9d[mcJAiZ@eHf3 p\Lp@Ni4RO7p۹C/bQUWYz@N yRmE^pa޴g{10z~ "燽c _Ū^0K1o,Hymt~79+ ָ&o6%D:cx`֨РEy-X䱠 v}&PjHZǢ}ͬ[7h3Jk!uݫ\C7~Vra<։rSp^Ugxc}P4kǭ:TÝş<IiA:B9q\ua>llfwuc-L~n] |Ш/u[qHNKGI'򯝾^ῲ8ꬓmcX8_dd^~|>>0YX)ޯDF,wBeb3Q(_!!A?Z@םS01b>u<_̨&}[bIɃџ?F[>я9YzW(3zokߡ 9u^+ WW[=jQ 7@ %PqZ2&gWQM"66"yPSۻ>#(@.#Fsk f6 z3 PMsjޝ|C[N$|`EneJrn1wQ|Z':Q":eC8- 8?8ʩ 싚}_aYo*cUB{ +ț*Ltkf%3Czt4GtjǛOKJb@w1WJl ^AĆ$\5<~NPZp`R( DgZ}/7Ր-ɽj.@IqHuiTVž EfPBA0}Vwa\ o{C$ $wۘJ8-ꩶ&^, V&܏vz 'ó!i"eTBQt:}it?_(nCrsF15 pƑحj:wBQ a  '5^4:X,xm`tl]CVLAbhC1!{U>L`-t,sNjEbUn!h-e:涽A4ݠ+"LAϭݾ,GҎ d)q+!00rX+W銚!tZ< ?kWPFҋt;Q1ZzY}zqڕ(=D-5#Q 0"v8Kytj ی&F9Z| -Ⱦ#  )(9\o3iqfC֩jˏfCD]RjMk&`F~9fb#'u<4}'xl)⪅'aGk@)cѨ_g [3ZL7e􉐚O&\k3ioaOP4= ?aF9 V68fYӳ[ &HG'miP(bE͇v4uJ暾⳷pݧ8Wy#P2NF{nm}ٙ䲡"mSm﹖媵ͣAiEbm#qnWη.hX#n (Aշ݊XEϤB'Zu٨IP&/,MBY𦸫&V)l)Ưl@ "<, bm=Y5-91Qz)MWXQ]!f 4|NG K |RÿBAeiB6"6B_~ݗ:޽c\`L oIwhp0ۭ>rE}"#tXN;#V'.]id }7b2c@%qͦ;n~(QT<45g, ,+\TvȆK_Glu|GgђuѿP{Žh 4hteCH5"Og=V^٪$O 3葉l~?]&&}/oɉtx.ބgnr6VS[|XrKnl InmlUyPxB# I 6= +@H_"/y؇3i4hZSsgЃ63!@u!.{tdģ7+gaAQׯg"baE?xMKN<L ^D &6jTc "+h|{N DV)bEQؐt!ZWsbh)Q1:Α +% Q6Uz޹ݶBP"d$0'?~6!Y<{E4%,<$v8r.R7|4b8R~Č Xi4pv1?n/ַ+4o[ ̭ŹK8qJ8<(<:KGa,e)do&T T%zv4 f;N!\yR \*Q[|0Q 佝cCCSUOaԐT]K(! Jkﲾ5_Xp zQj폲ݵǁR<6jiq:P*tb8+okCscQ, F#seG7sLzL HqW㜿(1v07 ,Kj-|@l@I&?|#p_@J㿩C7SM4m,{To&qH1ٻ;҅"<*>eyV~3 6lk@_7C΄$vٽ2v0wic>e/^!wXM%ΏQDB?{Jܭㇹr44~PEj7 D6(߅JؕRbf:N}z(N#it}'׼ _Y}Ԁ.ŁAX{xNTت_^A Zb9u7/E0鷥َA|_68p4Z7α,g|s։9 K1*ިn^Rpi¡^Bqs ե-.LOꛒSCk+D7Uh E^ҥA.Z{{{`=BlB%zi)iM҅kwUOJO[[4mp]n91_f2ٞ47K{.DVnxtHr(nU{w)2؃bs<ΔIil@P ؘKX*N&T[vXLwgұV?ӻ󀬒є #!IyE6[.B$$JX/RkFD%6jsO@*zmDiB.Nl.i*Ba9+;YTEe|zPKe!6DYf]MXЯvn {\l1@CT#(~f#<𳂞TX\zl /ɠ/RBOiLgWDGc@>oOvA[qtXԝ TsÅdz婺'\'M vc6XBUlC2rƱNc_qw WpƱzG+p#X҈R"PW%Hw,/ݍ.Xğ&|U(jK_ 6xL% zo 4a+ A|j ^- 6AS&7njpQyj^^%(>@A6MdPI3d@Ֆb * 3PI~rINHk)&kCHT9j+< f/uph`BwҢWIJ|\Mf#ܢ6A:3Qs2̽.ИHk.@C!>`gQG}D!:rnW w fBSAbE?p%;J)zo֗dDOYtea1# NȋbVxFkp`!_ƎYm*9>D'%m@`wcp(]4(xٵc (v}`7-~l|֗}GrfUIإ'*SX247<N`Y' hdc '`?AaXz\ {6gx/KYۀLb:AWOd,EU. [>gdY%C";,nme@꺷HMjdp,+v ,Exv36T}mhr'X6<=&`M_=-6%By:ϻνԫ$3Uq-J(.c 3Ԣyvͥ>ӳ8k!MY16u`Ch8N!o 㺄[&OFfv: ,:^w3c)Xݲ?FQN]Fd|5)$o El }A5JS9dbYA(l;M\9&Ըae7^ѭ!iUa|=n^ql.k^ ן%ߩE`q[ ϶/+2am)zܪG7+ci>avX%'oV`z$*V [4ݗ)ũRh]GF:%Ŝ Tc!~B`CrN}E_9=!S;~a-iYp1imЦ`1F0xc{Wydx{d3c ;5X"$~vgl#;9<4 qԫkz,pw'O!iaݖ[i_6;: zReZR4+vCd%Y `78e_ |{A6L= Kl\maL=h?=Ya fR ?DG)0c_l9h(?!}f {m ,ȱ 2}{g@ FdO '}pMjH8k4^ / :Ğ:jee;-W|0ٝIYw,F?{B% ²1`EEka\_\ RX/c Ab,Ɛv?@\>+IVittM 'ĸh/'lZƽ[) BbOz.+b1^npdռ9b!0[.B(lP5,(`3|EĥN.?GhW %_<o'XbTfN"⽂AŸϔ˽iي^v7/Rޣ\+(_Ӆ 50vپsëA tN'qd]Q@&0Ѳ`%&f[磈K\1#Ǣ1eCL(^'qɠb2CzdzP|2}_j#}\N8AR<QZQ4 TEjC!VJ)#~!CXl+NJ_4Z~9ۍl9 ® )]woyCg!xy\ I xi%ImKk!t=T5]7 UB>ma>O>47ie5ح_ 5)TWI / ey($yޕGqZ\BQ/,smES.κ}.U`N*X~Oμho{%|}1!sbIr":ȫHſć+j0-:O(U6y-?5C*B}yXE;q2,55V@$mT.X'CSө5 5?9D)P‡@']wIfRPkp@Պ5=O-m]QXkH{k{YS@ zشg3ٍM(.9SPBgsR\z}ӡyh=(vxisޯ;7siw0oEPݗOiЍ,O4i(KI[C+8Wa^fjja^Q&/-51{&JK[^Wk76HS|xuj37 CD-`RZ<#ioRuUˎv$WLS>KMoXQ#1q}ۼdGz*$qZTrTPPLD2*76n૬k汨-i>(}a4i_y5-Yw9 dRٶPbӍe-zI/W16FrƂv9̟qylɜ~OC0eHŦ_bPn q }N8؂3NFMnG3DժBh+f r;pBr]Do<@g2! ~*̻+0^b7l.cTiTkq:/uN!R#\geSnFڵ\+'{'C;gX~X;DYXvunqfbdGY#「ia"Ĕاkb}OSr*lk;W̅ko(/ee^?#2_Bui/a[:PQB,|sű:):|,mj"!ks ^#0NjL(iͫXP:>ڂ鋩WO9+p؊A{*]ԃIJ_. rcM&}l k JwAM)a)Q t骼oK/W>M%"]HE\&P6{@lc Ͼڛj0kvHMnf/o|W0L NǙe }[\,.idwM|I$ z3[M&Di4ԭK0 NCjԴVI{7K$Bǚ*1IYֻYCTO5HWF5Kh'{TUٜCaK _vʟ*@/#r(Ao*u!Yp$ќ,GQ g!#WЯ* tu|Z:@EyíN{3-Գ_~=LOfTWs0 =jwE`Sv9vKZdBGΩ/k[ 0 U!I ̗:P9gjZP/4_Ȋ<zN5„ Qte?rFڟ.<)ȥ'LUD[sNU+'f-`ﹱvESx9f[xc""~D`ʅ7 HӟW99սBH12%a=OtKX^nf'jB queCfl.T6ƶj-Dm\Ƞ%KFق|ȜI_`X%")-nr!^%8vgU'W͖'wA׾}Sm\=Ū$uy|[NbBhQ݆7|64Fg8^@5Eok-s+ o$0/$airqDryz8;z62Zx O̽Jeh(Q8uNĪ&j55&i/aKj]*^ SP'<}<x3_ilmWxur9ӓRtLўƆ9 Iɾwhh,WjI,ߍp)W/S6xW?5u#y֍\26Z .aiak!&W+Ze(-өOljJQSHzX& ^akܷ(U6Qs&<6f;&U5CSEUTt ]"]V_g2PBOa谬!IvVB\g4CK$0>(=`y8(6nU}fG)˻zENh:TsdDV̵hwh D6]:I^@uEYOAVmZ NFOX7Z ye"Dm(;\ʽ.4COPh.X<$TFF(m\L0OxmVq٪ff:oB(5d46,ÚT7WC"WM>h$l9ٺ.:_1EԞ M 3̕nY:Nu{7WDŴmDMĝ$f%#Ț&(e^_w W:,cK= d-?]:R)GW")*LT?v6{vssPsM'y[~:@:_y2mcp&q1K!OZŀ hh5g0yM\ aVM98{{ܨ8LM ȋAGƂ4frEaN ^K(3j:݂<HJ&Xa<时~%|Pܹ[ nT^l4cT,nTw9 z[ 5|jKObr8 $q Hp00&G{f- NEˎW9U*D:mWDj-Jon;pnu YSƬ.Z۽YcAP:93閫E? ;6 Ӱ[?V/\\^$;IR &_Xp<'.wο\oq+6λ5?zC?ݾ,Mx&e@TlH~t0G ݪxBɍ-ve"LHͽL>>EDp#c3~10U|It(ǣ>h=Ѩ/Z* C^6!wk_vAɁKэ\u6D00$ZꊏӺO L`ZJN;/Vo%lzLZZ5!dS6`@dW'ЊBXhǢ,%7JthdիK\tM8s c%!Mef`jbX0/1$"h>ڋ >(Q4)' -η3.r=0\ YfEBGpl{vfb,ߋҳ%q9FUKք)ܶ䎣w@D:Wkjٻ^%Cvaa{hG?UhM%qBfCBn "&OMW2k3ߥ^ f)B#Ҽ<(4>h`ɬ9N>Ť RfKA}PEqts)FqO<'/VŷjWA>0MĶ FZ~&ռ>[=Cu9遟d6;63.wY2"Z?oX71mɓJ_iys$߃"A|Bԟ|4S`@iCڬ(QgNd _jFݖa řC+KlurO@̽d{&ɣt1faE0QÓVL vUŞÃ3Bfo6" Yaqc)\SD\gNM׍ERQɈ}[K_yʛk^o; w.r %a'&l.R8f g&~~[q<&J7kE JUS ֯00)~> ?#N@M N:Ʌ%Y):E$]BeqJ+˭`wJ>;kAZARNQcQU;jYlf$9*̚1X}ZsЅݗot)m"xwm֮ c%`w)"2ys& e]75Jb%VCX9wqO_xi=֜xO0W`'J *(2dv=tm$mh$=+_w4nZRBo2'o3kGjuG بdXcUA. Kn#JʩOA͐7 ̦~:#O@p0SRr; ňf}v<  )lZ!WΦtndD%Y2Zj4PpƩvM'R z7u 1he <2Y%e ~ x`~a#U}T,52.~RO|;*(q #M$W\N5>1E ]f_Dž5Unn@%֜ T" 1eYs2aDFA&+X|\K8n[Z6M 3RVN&uK<aL?y/ U,GzwO,BA B 94c{I2 bԲf8rԨ]k ,^M`[ -?5/TdzC<:2;h-ʞBXO3isURHww^}L |BcJ<1G+']˟@0 %6q5۽Cu^3du3eI%gwRvb`w?nOLq!]H/ Mc#_4:r{+nz1+%Hk؝;ͻ? ((P| ׷@×[=^< Cbekɔ;j!i]ܨayD`m)KWMLZζV57c/9]ވ9 ߴk V8ЮւD^!\/4Zx'UlV{CRnw,!@ä{ O7}NZn"cȗ tKIR* !dp B[6($3$֐b[;tjg|WDB Zɰ,{(ìfweXl~x+:APa: [I] :V裛J@I|x_IԶN@qup Ct]ݰ_XЉpB-t5h3Zh%_9X*߿ݴð'Ocrn9D?Z ׿"MeUvPr(!Zm5V&J a7>p`RN "JьiX*Vo1Gqꢾ 7F#I_9fwDPtȉwܯn2\3Np%|Yx{ %搉 Fx[6ɖ U^ A(J| S1-MĭX_ i"8&.GK"ؐ|G g~y־>j?۴p~"r nY  Լݠxɶ@!aHgQl9O#gĶA~f\5ꆭ/7Ozhj\ wWKL]ySt#e9ȜeL@, rOZ]_I$>}.{b8.ZkIPzi\ NvHIw<8Inlײ{ #9ci_;uᢢBvHzlx+dmgi{X=DcEaPs-9cs⼫ aWF$͛aP55z Z.r>:B-EJݘWV4"2iG8q=c"CIﴛRNJ.5QãA(,t44M&dzF gC-yd&lٚPPI2g۝UR*!/J.lo)ۃL&CnB{-V'O"bfOpaRl|^PS9)9UħLJ_c_lh Cעj3c|cktߚc U%|d&xƀ8ŦUuy,RMBMm$XͻYD"I#V_`Z kS-ha'_CUd+HfI>&nMp+;S*[U[Wk`8`UfTMmchKy`cnL)jX4E\s ;*͉S_8iiKNp re/s^<8׬_VPb-1vGTJ܇T,[55Y*66%2=J[}_\Ϸń )? WZcIsz,Ro 2bNjK:DAqT<5wR%{7Mk 1S4h?#-5XKC.<]xMMnbBt.'^|<1́l+^qa Eh2q 9T{LP9a-]iAe㙫v`3W&}/%!u3Ѝ2:Gd{bP"$l ǹT^NwmA/ w'q__kO2gJ#('z֟8:m6>(\b\+ "0d~ ~`y {XnK$.d(p0|rI/rHApL8V9ڷ~߇2AG!┢ =AG9|>qfqv-nاrxᾀ R7c0Q)K"6If&|7JRĿgdF[/Z]:)3*Lujb%7;25p-q݁I pt/K&4|:1ֱB/zhmlm8 Н'$ n0RbJ!A5C0< y=V l,83+y@d3XeF&EGd0I^ך(\ZĈN䒾%W;!'KL&NwFʍSs7;|ދ MQS5w^8;7чҸ80qގ /䰗z>\&Gt#3 >wJSl+ȸf]ɷ">[#-"P*[4)YMEOQ5;bgP*YE+N1]ͮ[5N*>sϼ.M=W :W5]*o3S3G0a?8g&`斉 ,JzrZcմ7eslCB_ f&OKw|yiP[oCEcJ߼4ӐtOK[9'>K#랫ׂ_HjZKG1u:70|qyVumkbU:7R#?+ 4A_fJNmdi3ԢJkGb %Ȍ`OӾ3.N4J)cHk]DYG4rqcO%pAkH3(wd1+YL{XQ1ߍEmGҹd[t$6Yjr_k3h+% YII=hof%s8n>o `]RږyPӇiU CAX|[r5<[j\h_NFq]eUVN0 a~'h ѩI8e6w؝ { &߯3pۀh S݀A T̩. ̤Ѵm2wNT"i䇸Fŷ-Ɗ o[:G=2/_\!&vT072{`J!M#pAfXnvsKD$+h2"G?t㰟@P.RW8`qibnUĿR( +EK[6 p$8?ב5enL&1Ђ pqfTcMP,B/75IW<"Э3*I9%/бPe2?6#4-f?"T$6ü 5ȯG* 3Й a1WVzT^,O9eDhrBx_lꊙNCWjތ/xKȑ,R"i{ 7JS젪yb {lh, m/c[VH;J4 yԿU͡Id̦D(K|%˻r_ے}ͭ{:.}5-M? L'Η?tt )NG"7~aea +rΖ?⥫&kM L@N`?/K@K+YAY,q)]zOr }4猆!_f\{6:+~8r^D6b"=krUgF+p ,8L&g2 "H_.D(BuVSSٗ&Dk=UF+b2bGKhXr]Is$ν ޕQRp~Y1쳥..tf>^E 4.J1,3}2G&!!\򏥾?_y8u;emKuس\}X(\'6B-#״U}oZ)'BTpڞE?L*P(>mt#_U>3?1Bp6ZS)nKE%ީj^9ߕr?Q ogCqaV]uG%L˸t.7DC=WΚ!?l\h/N 9n~~lyߐ}==S,D@33xkd{KOшd1 NǏ^IX"$45{"B%ldd^~2s8L]?mX ';^3[~B']s[@X/-#!Dʙ:R}ܚ0/ 0#5K_蕿uE}:C]!.Z #YO~y}~FP!QKH݁҄;/?l/jZN4٪?=K1Cs?{ յ;uMA]:ɌO]pom9|h$ᲆ5dfx aemOOX4y{=ÛN腒(j`c8OzF==:'_eVTcuE n D\uЛ[:'n9#܋SxFg7m nF]3Au-z`g,|_wuoD-$)d#&(?4?A}!D/l& V<8Axeݥ  K k#311O$ h ^:sqRc \zS fxrg¡!^KZ2$^lBUvSč62 tIah|NAvm4:V pI8|)$UúAr,PRkp\1eE }~ `]^.3@S,Nq f :dG(w c-l^BNŜ;k 7o}VG&?!6]V؎g)h4l> g^ g-cv(T*w2F%`T*u4Es"z >lSJٶK1^RHp5b_nliȸdjݸSX04 HLUcf *T-I“O2ɩA)|֢%>Dƒ#Rċ \fҥw=45xxMn`,5Zhi鄷K jRJ8)5LbIS3x8O`&"I#:(`>)s>R>Ռ< P$4 XP̢ ^nfM#pde=&LH>07=Ão7+ڿ2@*28g:&OzJ<1vŀw6<SS}&>w{ l Hmd] >24-_F{tSH:K5l zJn$ԭ?I}.w5<љag\~cu],E<Ĝ4]1⢊|5HRqI5Q&u1 $*Tyt&sڋ+fЗ=1AtWnHXZg;a~~Jͻw!Σ׻d0oR184DO{Čo-GtcvSΉj7wWr)D_^{T4e;8VD7*@~?4wN!^ !|F ~ru i%ݢǡ \wyDb#RRp[d𠅚g/LVXlOrV'c AFƭCf%Ub^il]]ϑ[&zi싺V eyTIeؑة?ڲ]!s($8`'S}^W+:h3 pGͮ ek/*3 cm=ݔ$"{q*VA{[Hu۔\4HG]@՗E_irD zW$%?>r>$kk!`2 KQnXS#OWϔ3î)П`ؖH׬zvz499 7)JħxUuj1.(y\tŽ1' XjU53͕Ёz4kWwr`ٲei!yB ˿ҋ=rZN>K\ (@J$4[+j lHQROMQxQ s< y,5 &^D MG >U/zz^P 2_:uiVUG4{ /!'ɵdL 0NbQnpKU{u 8]#OŔLh>+"4v,U>/> Ոəz7^}1τ_*  Ω9x>Ep?l>V(u^T \[\t߫r^~/oۡ&\Yl¼έsrq6|eG{zr{5Y2@ȩ"YojT`/`ЬķёRyDwas1%7j'287o;Xqp#k'j b:)Α] R6A ފf[NWR?_>Ou-`@9g+vqċLھ çT A .}pV3D(blD̸Vcw9, nr/*Х˱;2?+$mo5~r"]KFnD;L?fپ.h0F}iIlm~}El!;anGȵ"f?VLi]3lImcKkn9aS[EAY*Qvf憐'zo*:bk;M|kJLAy;J nWV!jm+DIoI2N~w$G&#"dT\h &[I94a <" #lpkBƹLA 1ee4LÇޡs[|ǐE0n`q'6aHL BtGN@]j?G3ҷN#y*2NQsޝ Q % j  nkg#xDoU@dрv B=v |y7455]f!$i&ӄZu!>spާG! O,!g"ȇW{7?փ8 tte>"SofY?DloW4BcEՂRW(S!@ |a)gEBn)PE? wG"I9/y8}FCď-"pKmt9D' Y-*|}@"aO/r|#_YſU:(i?= F .ۏDtMʿc#jhG)9i1os 8 Rx|-O&q'| `̈́֓Ilis7̗=$FCu]` ˑo(Gժ<[ûS./ z~j*ZXGJ# *VD!/1jxDH P\\_ =ZOgX&qRLwɝpbMZ)+е[^LOKrTYEz4ӮDn j4W="2u\$bJ7ۇC]G(Cm<E m BH>}XpGs@fl{0 :r`@9XhP$L 5 gbCU)ĵEx_sar#"#{iF<6 2t[{\Th508k``|r, Ʀ&zĎeEbKa3Rx"։@c!|[FM( FNƽ6o D4NiMNxHB7{lA'6+ wRJ#uHo3מ,\[/r/:f|d# %|g[*X\4mdE;g^ !uqGmma ّ 6菹:#@2e"^mV֠CUrDHY3)If x ?D2'{j˲n"J`īiļ }Xokzj| HYzLL[(D & ig| [.2IH݅?9L]XA߃լ0]erCGQT ,^гYga=Ro}O}9Td o4y*#"aL7q2J}g7 nZ~ B~Y⛚sV /'A5ظY%FL6 2HJG5-.Sumt!6"áVA Xs-<֟9BN9Ɠۙxqs*~dwڙ"Jl%Uz8=а727 eXtbKmo_wlov׎91عc*=j+rI]g¢!}x 5DGX _&4f>fRɗ4s //D@%5Jvp]pv zL\$%΅"/|SlOktL&q꣣/?z)`رVGv ke 8# :P1"oS$yDˮVNp96`ֵwiwʐ6 /R3^͎``Cbhc&!I {з /pϺ/E¢Px4Z>uNcuα- Y3ۉY|x-sPQ&p*XX ?p ˚`P_$_Ykџ rE_ Ť ) g Z]SEacp`W9!C\j+xdzq&r<]To;\v~՞75Ns 8Gi2F-mF lӖzb[,QDR.pa~qazw1Cn {g.~g*~UԎlܝa%iS&7R`Y*ƚK[ѽ|~S[B 2b%R<#&:Nrp>g&|+zV4D)Vj  xS*#1bLPcgƘ+M1]YG!h=jHqq E&uxu9W$NA"*=%T(C ?.0i[o=CZ0M/mیcmC ;`G呕q?40g${juh'PGɂBDx^ %`oELp&zxT&"ccs!R%b_S8!&2dU-2=ӳٶ>%7wnx:kWjva 7!+5)URQ%zSSBlxD2i%Q<|@a_lf<&:Je/YB_& 5竾 @<3TzI݋Izҍޢ+O >Y~F$YGRlS WFPvk.-;VD@aQm"Pͱ_ǤdYO.`%uM3JxJ']r1õ [7ʴ,6}sm,<_wHò/k`2ʔ2 (Vm-d2.ѻF"V;Ә@? ^def%S +f gS-$|RQ}`>I!~_n#kۡ 1308Vѱ&(=r9xǹGB y>e2V~[ Ὂ%Q9[@nJzfey6'jZ!:Lpʶđ%%SN0`Xu_$dS<iKLRj#EV'1N(p0_5L$a Ҕ263cG6*FSN<x("r?FҲ=of˹P-2MM 0w<]z?صU!Pr:a쇾-G[GʯfzH>"ES!3ocl?lF(dZ z*>aVW:)wͦ BslFڹtU~wAv~v)CeTjeLKL,C*w4sp=QP;ΰmB`m#wR&ENھR ϣac^ vto;ʃ ;ev7yՒ:ōbc7j U%?V2I~jx Dj1Õl]#6[Ѥ-o_Z/.@3!_iFPz3kwz7_IAdaX?rup3zf%2pfgf~}yk@c@ -aZh^=%EvXv~Au,.N <ꫝ<+9{XY0zߏL< Ƨi̴s<4?~XT75 Io-3.70z5wBE^n r4ܫr-IlPF~Mgf/$H-wt 򼶣jBg"5'}_xjZ]ןz !ci 0#| CVBxP}Dkb1C.89iO2x {3`C~U4rޡPJKm^C2g:֊uK^. 0*T݅ɸ+ANZDIP=V,)r):#Mnf=7m0cC֘K4\,iL$]dtWitI\;uBVd"]H/Ӄ&{E'V7I#8ˠ%NN%A yѵiܛ6ɻ`6Yp:0/t.Jܸ=/@Hp^9¢k87*%0H68*hRXj Puk2$dD@<ӀܽV%F-?4bшP0̠E~z,4kNZMl>3)_rfsU:!;3?$i HS*ȇH7jIj ^zA%bex;G*W*|c$NQ$  h=va/}l:@g`?骸ۜ^ၖW VBx rP{sv0…pآZsת!QJ*ZƝ(=ŒwLT3lx*YA[ȾP Gڻa~Wx|[|&t[la ̤Aٟyi}&, +-ᓦk g1<{3۠_]a枉긁͜-7bB|BEb,[_&gB-!a䖪Y:|J M"ͯojY U]) xBaRffi-l/gO8%xZ֘&7r1 of^ꕬlrl9M.u*Htv.8pD*pq⊺C= nÜәqT>$៵S7 *^. y@spz60foܲSL nCz$R}TĿQ,asRCĠljtM~ Ez{}7'B4aDd~n_9(zۉ2x# =?2LG8߇>d1D, 'vet X;W:)`eS~xG|H 4pqi%*0}k&3ˡBeμ yw>]W#%|frouhDT`m6mƿe#.Xx1dԥ %'v3T=5@ ߤ.ߑtޔq^RiYLx]m S }-~YD˫eS78)3,b&JG VOYnS}z?7{jҏ%Zn #`4zMxù9'`%5-'^oXmxo7lafMKwny..A,gRa)5 Po[,I9{R8](4-V^@3Hfw HWD@y-r!:VObR#^b1Gpl@_R^w Z'C0خfZ+q ;pnm;_S֩ mc]K$=t9,#;5No ~:=񳯶Xi//.h4F0r݂~r$#U!?O9asZRMP1W`fۈj\Rx-x֊J#~ztx+;@y0ZB֨(NڦS9!rBZ 'n;I(/e{}RAr$zgtF XdO2?v2nK2MFWR u觌 A/(B_JTgQq/LJL0l$ ?n7:D8K)jreG]6%}ݖ!YQP M^_1gTȃݱjj &bB&{T\$fw"0xS֪%Q'w>7GJ81sk@o!MT.edeOk6K|&%uxzT [ ,)&a-(t\,@2 Me1RuQt'.amD>XL"bbttx"0wvć]25?A=/wS^WkY}}~ݻ>Ydmi1_`[ 1bO~$hb_tnr 6@j2W$tZEB0Q S ^Ik[q*76|d1*P2,|CIU5Ev<8.,bذwF>̊Yi /`ebvV+s-'ړlQnFt< tՈC;^*t_Jm^p8֬K"* '!23R]Y_wp,U!PŇZDGXľ^:@ p _MySfN]5٠b/8JSE7+Sdjd,e?_#wWh&YU?Áv񋿧ծǞFdxeA;$*iͺG T+̮47!XS5]un\*]-BiŷeV7Ekr@?>V]phVYV/L8 +;f|0iw9GWiZ[IgI IBJb3AQhQv2KwW2\ NWV"%PMoAz p[[Kѕ;,Sw/Z WURgQ* fH 0RRhw2}n )R݅y#rm$M|&r /| ЮqU䭞8[,BͅB5ؤâ&EIۍR<,AgvE!q䆔/:B2@6}vQ]*sHrμ (}?zY^&'\@01&Bj$.# Ȫ-FUd]~ ɺ!XOB4 Li:I%ެlMP4OLaV%_5!hg".Nt{-iı8]!nA}nT񀻿dȢMֵcYbSaQzDe}$|xR e* vnbL:wT Nc KhV 2p-t<&b o5agYml`=gǚ`/՟Ygl\ aL R&L[<3E9 # 9\&Xv6lv9xuQ/]cRStIiY/=xf.V{1: jL3QkW1"rYMANt`isf]F+A-ݸѝ=]yѹ-*Uq (~@ 9) ?@\Hw >R:\n5)Z@xDF.^J7",AnO[:$dŕ¸bPRM+J!OG]q!,t#`NA+/VW=fVux ˬBW^  8 <>—rL^m$ cĪWt+-HDEU佩c!H7㹓{rH[9$3;> u."u(ӬXo0/ ̛Fߙ6 ߌƿ(-9Xa*=C0w‹h.Q{``ó6ֵfY:ܻ{+MƮ$1̘ff)aEZ̸)eF5,?Kƚ~liAVw8:A#~c Σ9jB4G(}]@*Jm!|Ť$TGuZz.rW?prSͼIab%n!ɩr;?|z ^vܫޕ c: ~<[^ٗ\_g+tZ>?`ߏ!-i.Nۨ69#F{X\aHǣ;?ȿUxAW FcDQsz{Y{ؼiH7g8g8 O3MWvBG {R1'vl9_^_𕝸B_:##HOSWcx`eo(NJ Sȕ!2>II0WşvR[?ʒ0*Ryxc#~^¾mxsQA%*u`OY&sPfݬB&B㹣P]LօClCb;ߺӋ_3ęT7;THѓT%QW$@A7_F- MTm ;_ P܆'!' ٲ;lo&u:vJ}u"-k{ZIr9#OAla''B&(U,je^`AaD+1*ճQZU:ElsXǀP\cj**]uI3BCzGov鰽Gs:.ECw!^k:/.s!ZJP6r$FĽaԪRG/n8p$PdAQZcÂvphTwOMܦuX7 S.ˎT+Y73?3HoZ%]{HRbrV Eס5b=. }p龒=b'<{sן͍"`ʖ*moJ\ 'kSN遂 CX;Ƿ"}$(zY`hH ɥ` 9eXk]-_:M3h0=]~' ڢؠmi0GƗ5^0рHN`GM#9tZٶzS[=IcC dQ)S?PՌ2w2D^hBB03pcG>%a*]6^X$V۰QW/=b\NKf*Ki &3()ghIayE٤4_\5 *&pa4HK4³i<J]wgglƔV%\(P]tC^ILU7tOVBRNvg*iӫw놱^)M Éi1bU ٶOU!{'%݌oPe,M7,O}rx~, rR̮IVg5燌_Tn{R+\|{4(!e&E%u.դ0d9IU,@X=w=$'u} rWK"]ɽ+)+nPplbUԋ[Y'٧C|l`twi*_8Q ZIS1scNXHF^USk4zYR\س$+?bʫ-<=}U$\*~kC͆u1PlywлG̘4ᥫ`]u_eЀ(|V guȫp6[q;XڜѴnw%MQ4GLNI(ZD(T*΄|aI_D}UA}v EU�8k> ~}ӄ(wnF]!qXLy&G]ղb/?jnk81)Uiݵ,cdwWE1cշb 'Ԡ͗GdȚ-i<֪ܻE.M(Nj<jAG_)eQM0z!E:=+KE3@/zS,dE]wt pPOuu*baL{"*0.gʣp$ :P#8'BE%Ҵg|/֝E;&uD ~/#],ж@c%=_3FN:ߒϩ=};7o t+C~E, ;) َ+$S-;/}HT,?|&V☍Ir(FODDaZ<&|,}VfԖ˩Є(?(Y4 :-@In#o?tXc)6 7xU/^ấ=&R ٦;N $,n(iW"S^,nRJt+" 0Un k+6eMKR&ȡU&zg \v-L;mԺ ǽaxi4cJF"|CUs%hU ϛ#BoT'(_*_2){g c .ǖR19mMܧ%1E8x4i\8]xVR<=?5rY܌P@G"J7Fƙ[3~F. Gc՛m]~oڜ|R%+˼Wݲ=Փjɖe%0~n{Xm|\lj/<܀1\D'"wʰ`li/E!Szm(E lPC'0a=s}\82t0/MI>pX?]1m +/01W3!K)~q853҇غ_0ku`|R`n 9smq1.s—*?π[#V]ObƆi~`"^*Pfj7|c{>{fTQIpp`ˊ9'gYZ7zXZִF! 1]ŗXiɟ˕A;[] VmTi{RM9%Lb1}6w?%ke)e*EPhU/FWu;4AkW*TVQxF7/DnB#mH4cLH v+}:huo4{Z?y+NI6_5&o忩s nCK.vКh fT%]#&P*䬔 [u<ؐGsXl-iA0Z_ MiK' DjDZgYZ7zXZִF! p9]ŗXi%L!l/5RZ<3`8Tn7e\?I&7} wWZD%-ř8h<@sDrDީy|Bn)BgX!iٌ`ybLW3 RY^G9MyC@Hֈ.nquGg8a 8Gqm,@q1WQVh 8@l4A"+r5% ̓ &Mm02aF\U ]:I؆Jeگ uǪ,|OVW Y 4_T#(6x7L`ze9k MxFC;G"2?Ԛav݇\s}3,kY7\1?7.c+BAԠBL "`yu˔a;\R+F5JUdxRGJ Pי>?RLnnnuń脝x%Ԓ)+p|i+X X'_#gWGjw̉ QN">O27g;<ù,%m9Mt)# fϸ2#NuVˑrƒq.n_W Mf_@6@d(nT&LJn}A1;vQ0L#:7A RR^/D_""fb͗'{t:`mb~2j:<}*4B=v#4?_ZD|rf@!fMהI)W;5HFSQ+`jFO.AYMm63֜|)ցE~F}+oBTWfCpbgx:`7Wrcfz+myUrpb D0{MTF$pQD3urdҫՃXMLŋj2?J<@;n[beEt:e9܆} 0,<4F=O7m $!NSPhҾMp=wh7jGG y p2|-! &N'#^D_эA!Ξ9_ڈs&C-W }R^40w0?(U Io]~ 4>iJJ iA i1}$ych$¡ 2%ʙL fuUlx!ᑯgC$4<^^F3tɥb g"8Qf7((V=:iEweJ?x]t{@ áxzLۚDx+s#^Xv.4wgf.2"0+ T&W7 @Z7PʰP:EC1+"_rɢvy 4L #%} 4/RG-@MXfecj? @5~"a6k.iV%ZRy/W+@A_9Ut,itn_}63c8f]*&H FRhaJH3|zەHB,l0Ì[eRg7.H@Lj!aA']|at/x49]1+13>IʭxU͸Q:}jBƟ gYZ34c310a0742b0c32cdca01b255ea1239f190e7c88215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d