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 /Iz,TD ]/ Abortable_Linearizable_Modules:threads=4elapsed=100.051cpu=184.120gc=11.8087zXZִF! DkP]ŗXiɟH)0%o,Th5(H6ePE4ErYОذU=LmF@ !/U C;!'_FC^y7J[J)9RMGtЀ?貛zo`-"wthAjvWu['-iЈ ;zsh(y1q5ϙk>E`Eѣz,S*]8?:󷠳Yx"7hP՛#36-Iqy hXKX=X\$͵W𞰠/\x2ukvG#~XK]-Ƽ~zBexމBphZOթ"¼W)昸@kca=U#e>fzЏ7krZ=]!G.OV*2`U0>e97S37.@xOrP@\ts_7nXJ``h>-JNbqeBQ2Ã5KHjt{>+GMm2ҋXkuƻRёӻr!+ NyE;Zj>U-(=){ j$ , mZ_yXx mI(BBS;A: Qm+-JhjvvKiL0 f2 $' ].G/ s1bLbs&% :>?;=%} ט͞N `8Ӄp L;#M%⯵7I¢K)5-8BrŬZq3r} H6'UZ-vAY%Rq;WտfA3}ktMTXyv4t΢c2W9qv[lOe7Z 4V}Y y7x!]avvU"hBVil^V!"z-ENΆ 7;`iOWZR#ąp6]f\1 {SIm"ҶtNeK[ VRxj_oI=&Yp<1(6݈f] ьCυ!.<?$'蝽;9{.9^Dyzx WNQT~J@ld/I89q%5-AAa$5 osyXSٻ0P2/󅗣=TtJN27zsnז+[`{@ 8H;_|n8/3R<.R h1e:.[ݐ"Ie/+чhp{vfR !I Abortable_Linearizable_Modules  )ibqp!(#nyشIy/C" E-'8Aꑧ تٗ6"kN;ξ- UK Ϩ$NMNUn7ػ#8d@G!I%S3l[+BccYK/3T@QRZ$͎LҮd!A yߝP1OH2V+Lɱ$S:/S Y7a{.·Պ( ج P+ nBMH Aڏ OBa>2*/hV ;]?TeǥUׄ):mF On',),iە0ZG05e4-q Pà%8\\nkZū73} R2Նm9w C (&"EB1k-kI ȕt%~Hӆʋ{s/S608ǥ)| @ /duݛPPi >Y0Ab ؅| Hz~QzzJ7=Szr\RÛwW$sv^\_ɳ!& LO[}p9ʆPFzt6Tq+ b7F{O 4'j C(I-Yl[**LFEBpM,p90LQd493#wm]^N^ԓKЃ8(ÁPLhU#}\\IwXE(f1Ӱ͹+}ܘlQIS5E`{R]1 -Q3Smv+=|ZثI O`.["0gb^gɘ8]sz ՘[ S,&[HTS޹#޶/>S"ZlChYb{YFV6'?0̘4w/]m9zoU:>>(fBo8ǫ Aϰ|rv&#g( ݍ2ANy $ٗwؾFn{wS2n=L,XoXYFyN4hzoyccdc.NlY4Kq-Dq^S/tG٭l]6.EJU*(ieWʎg%Cx3՜MijcWab`t`: -%fG[񸿚d-]/Usx% e_]|`͌Jƀ?`pV: , .*T3@]gX$9BНι_sLf~C"W: XTKx\r.]bFVa\z#}q( 0;aW#hhuNOBwW@?"c<&([h`V([a0a)\I#Afjj.GJoSDj%R<8R]UѴ mU"_n<҅ څnʊʰP }W7s ude+k@o"۶F7)7A`VjmWsȐLٵ$3 _Ōq3HՋ|yo ,Itԕ:gɆb6SU_N*i-9{TRpZ1Ї7c<<1Pyd0qY)f7ak8%i]]7zDU4w47Aܧ;)'%E8䓃,5|I1q'O#j-o. )ys'3'ʜKp\!E봊/Q߶PmfF*Fxteyqo7GT{̤%8+[q`ݤC?83؇ Q/xmPI!?٩wFP"4Ѷ+ q(od;!Mr&|GG Hwq\R7n3b< *_b}wp@nE$Ձ/|&Y=_IrqZ(tj,^J=tGL[ i`hdeTQ{Yb9Yxւ`;py#w&+Pxߧj J3֜D z_f@r'rz55[Wm^_q gc 5c>w'cGLn䏸>LZ6`;frAUPy|Fɤ/e9~d#JH6t'MA) *OWS4I XENA"l͞X !|&\k{u _WNd 1Htb?Ltvi[MC+(2wKL"b_6G.XoBFҾ +7GuΦldaOZ2}-$/٤GMɋ PI n|QҋߴPۨՎkiȯnz;P=* }~:1uG nqf]B|AB~A`$jxH6iU4D}b4YvIَ}Veϱ-1fA[9 xG|5`6@ڃinڒ>xt.SJ9VC6EkqkvbPg,Y(: gZ#E~.T}e.dQJ%^$۹Sʱs;do3FJ^;K.d3ƕ^GW1m6&dvp]%EJln,EX}UF,y>;eIJM1=A͓DƩ#AZ1m)t:e֍< VNb$!J+Ke.Aq9о~&ޅ^( n%r3V1J>TnrӤ{|qɮLgG 7?=x@Sœ?d\DO\=9BcqJKMD]6>k&pj=2kDbL ]Z $aƿ h,Wo^* AF9_u)|fbE0H"^+#bT~#MgbhxQM^{HI\Mn {8:*&\yڿfܡqcT1"FǘIe+2~m-yJ@XQt%c:h.w'1wmHY.n |$̤oo](2@+.g[DoЈd?%Ô[Ib~N[YXR|C1p/N=722|)DsPʘig p ez-5XLM_1(4Ta)E2T{M)YW&H.'h.pPsLf t6xN$œXvBd6I?ݚL&yvAo_ȓU>>'QLU8eS:"֜Qǰ0کk"( }rͣNZN{dbZK)%)Ss'ʩFv(ǨS3[]RYx$0K5; Rk3];O7=G#Jlq,75{>9G@¥4wv'(W=h'9϶iEM7EFU;K_' J t#BaT; K MA@F+Іs<=K{O1vDiݯ9Ҳ(Z02sK&kvqY7\E[N+:7 (mJ6SF 9%;] ߦ>TfIV]]>=S)U_>mGC֪{F煉c.o1J}DHqeT2!Tx%oM^.(tDtm'~$;P̪}lqR]?,W5C4xmzҜ5LT0O}= U6Œn3j/x?ЫesxxSd[b:m+ߒ;OlgQ ẳ}!=hz0lx4Hլޑ6@ T(j7GiсqxEyaԋwg92ͮ9٪l*[z&yzG;ێAՊhc <b@E`25Oݖ--0540'!_y%ķgD,6K1рǻj+|BËw"rrt vTjKIYaEsZU!>Ƞh}uOq.MI[^6 0:ĸ"2i,FۼV<*bDJښ6k*칚,-Lnn>,zy{ pt< X>X/V(s ^]p 9HIXzT\Ufe(FޕͻzrƟvf>ɱ+4Ѕ u.G& PЙ˾ fD5%^4z 9$2%;nOSwH &Aˉk 4xdfW*@}:4g!륾ƣޥ39j˖7W'gBך^paBfGפ14ɘ3?eU)D+!@X~cZDu4iy"a*e$mknƃ%_ryZ!"D]Mf-g~FDhSJDd{ yQNa oٶl"*P=rT tXRR~CkyV=8nܕK#f!wSTCX<. Vx&,N,&#;E|bٯ}u{ Ul]^7$5yT'@dLS~}ެf[\؈ `gi22߇iK'S"? ʨk1h_# qߑtOʼnO<mHaanF_=Wʡ<7w9FBn9\FmwOmm#"Uli xeH#bC(+CPAo'*/Prn}f1wWI 0ߐP^&V$hC}UDL^ \ eu ^ 6_OG"{"'7Aucg=o wwѺ"7J[ gk%xXbLb #oear]э^&@+镒CTe[ ˦ݰpgDYPQܴTi>v%6 V$72\СfGP 8_QuI)dGtE<4C 򄶚;&+`}$jI&ɰO[t,|}8[s7[*IÝ^sɍ48e0.l#tֵwf*R`$;q=Xa-wn_W䈤Q;ܑaTgg;Y ʞ6h{FTxIm#[NL &V-}>8zkB,yJeu.5:Hr00gҨ t7LԱ$N͡Z+uCNbdˍM"G%V2{ ן,s@Z|߶m7,3DSܼ!Ei"Aؙ-_?A`ѩH @Fڜ v]e{MRsco1BܡS,LKmhzcprq==ў~&ȿDPw6%q[%Ȁ_o]2t],3E*\3= 'Da;ijts) oR3`x:Adи5Ԛb-vqg0g3%ɰ IrUvEx}L"j-;Q[p%^ (dA{<bL$mOŨ@ianۯ:IGp՝J0쏂 m^!%ɵHŸ5 x%)W9kO4'^$m>JdKHdllcwX U[^Juf !1L+]Ή2S}^|q{et6?O8~&>FSǼZ hVM\ʒ2Fq&$+p9C'.z_e1ƞE4ΐc T52I֞{- ŧV7K٣ЀQThŚva-6ZTCn%>W5(621($ KIBz% |㹵{|̀g;]Q^ϯ2*m6W'g-{;׏f:ٸ*!2ybC HhKX B눓<%0N0\X: FW=.zZXSi% .a<%齌f42[UTNj3Noyy`7dS[ eSYG=8ίeF.|x3-2RLJ8dOۆ{E --<9󋾅*H=q3"Q4&=KuK1̶bɇu-Ν~7_NR?I̧KN]8~8Ly 1:<9Z멲Cb[OQJIs x#\ > DYB6蕻.*JdžƱ?сfw'/J0nE g"?Ǜ79!4+L zdZr6C[q1\ yE`=5 +Sq+Z[lcW0M].(օ/vRDt79^[ċ*5 Ŋei71g|G*ngQDmgGu{,{m6z@S]dya ]?&\; LJ1.e[a=z7NjCb;XZqk1kL*=V1"Q@pE_\u)j[ƢYoO8*7+-ef!nVA{"!4sA|NLD' *H$2[L9xoHm$v-@;+:X8uW{;'?ӹɤci [#,ŸܫO9$,h[kB-sbK4D|W9w}aT8)؄+" zy߬F,ZwAO>bKl׷nBk>bӯ^/6nsL[:Go/,b]"ჟűY=vNu ,8rɔ4 /1mr<韣TUwԌ z6a1|L7&PiᗠhO0jYTj `\̝Bb3!_wX=))\'_4u(t98ƿQ"KX!iuhHJ*!l.E?~r5_CCGVHRXM)ަz;LVJ?AyPYA­mWOzƫ?:5>M:+75̈́jo"LL {zI^A4,kZomP;Gl2dPs~Fx>NV19 U )T^6`l-K7 3m?LqBȃIF2sKd WpaG:'= #pqǑ6'UBֆ Qss&9"hA/zpA߉2+XłLtOd*̟4~&1Dahp " {H/4_d``<ݗ ú`# ^bI Ɉ+ZxHH 'WjQ8=b:Y 5l/ɿ;/n ysxU'QTlNnI wK8*74E9QQhCMu;\bvCК)oֳ&1w4';@bc[IӕWfpjw6N? {A>Cb ӎ;iNGL +:|[(i!gcʐBynG}z+f.1rTqf$]moVUJHp3o8|eCʥ_R=AOllQ[!I:8ptD$ ^| +Q_FV$W!&5j8dY`(m)< x?a6l9AAx.t'A"iB*~3R4mf AxYEsexw ɿ׽.vß5LnN~N h$nktd^fǒ/偰2~gaCo͝}%esI)%r+oI=vuf{BYq0ܥvL Q.>^e $eLfL ,4m%=$w1rN{C!5[,l]X).uF^/wņgs5 e(ػeW-f4à$Y=㪯";7+)yLZwWOߥ>:\)QŒ!%v EI @VHo.hr47H'qShK:aq4OS襎(CN4JKĵ{(aQ<-ԡntbtS#d% ý:]ۘ_jngo!q0\dU$w3 Pbsp&(%Z{А ͍ga岨WzkcKɯ: 0U x.٣QV83uE>GfGFOBnr$_\fqJצ?J޿eM7Gr )&+¦oH8:kot9rΦ:a Pmez8l>`sj %i4su.9@SNPL \I?ы 1 6<~dQb8L ̨^F{I=zVstf'e4+ : - F&A̍ov 5hmԾ m'+c\EeÕhsn,]f$tBz$U[s;@ʆ$>y-kQJ2q|Կg}q&9ؙJvmx#YצӓSٵ?=zEMvni)fW;brwHTgdŴ!1jM\R ca_.Q>f{ilr[ktCީƬ4le4AtQ".tM<lӴCQHr W;:( qUOhHE:pɈ]$`ޟ3D4_ArAB!jѰHo/GgnHό?TNIw7R7w$`VQx'nG*+A(ّe ONr4NM\z-O $Bnh)C_K‹Eqc4WF"4nNӭmYƪ1?1 ?HwB)+2,AG ؀^AnLuj0LmxVm䯪2U]||F0gM 㮝7cy6Ie:LJp = nzKv?*w; S֬nctyCCU0 QMaz"h)iȐY4X?O73s` |q9"~zҝG8r/ ˶Mϛ$<_ǝ(׬M.5G S+(ih6PsZ7 pUtP1ҁħ\AnZHsw"~3 yatz(2.ϖkXqee3U]A"-J~ KkaNZQ0 cmqa[L"966$oW5g(@O+! HQAGݠ̝ sMa·u6)!ȁDž(k)'5|^Ӭ$ѬֱDͬ_&Be>ڟkyc3 ƿOTA_yfp`N?] I2/`Zu>! ޹gϪW'[ܗþ#[IFaǛ܆\hLIe l'7W̚adhaUܰ+&p, ֿv*v#9e`|9qCt\o@'u5ǀG|;nߠ;[/>!  SYlWSeo?O+}Ǽ'6^QZk(㢌IOCXJ,:l̠~ ~ܑ*XaCKۧ5!i?ʩ;Q=]/aTz9'Q{.Wt-m*gL}2Oȣd,}usǖ!%) eV;g@ʹiU' d !?ύa⇣"\,?jU6HHBuˬ I %4ؕJ3GzDYΦR`6U!]ِ9 s{&mMi:ƞ߹3S Y~G7߾gĖƫ.4UujbGd}q_ۄI9'b\q e⁧Ae^AF28gC <Xsbd`wY$ū*9 G4X_XV+OZL-ЀZ*K([Ǡ`~s9>G}^-WwDXW@zijS#c)9M̜0^VX!J  49Uga R؃/TBz,prisw' -znF=5߿iU4oHq@[u:+Y6D41js^#c}y:Ԅ !CIC!maglnwޯx|溌ef4 `" Ë\JHdHS7E͓|hwd 20_׻*I {/mP>|]'1̶a $+\WrP@-m3N#C4\8JGٲ9`TT)ſύ}eᯎ t]&Iud=BC_RNSIRdysjm+^F:߀'rYEcV(e9h2.eɕWS#MP+(tNJX;UR;4 קHpJW,np2ȏm((ܐqj/5/RM~wQn?kA~4=m-8PL^q͒Ey5auV\B$,3 <x;Vu(n-v?l #A?E NL{H7zп `7R)%m梊@$&FNak9% Y!,"x7yV-Ĥy V,M(3txiJ<k̾]DZ)Qӧ$E) PcJ_OvsȈ 1MӇ6 Ip& TŲ,#/H0irTvK_uCiGkhM]\1T(Nm_?2׸X Ȧ?.j|ώy|Pϐôn,lT3T9vE,NR/'Z F`rC 2Pnv'B1hU P ߒ`ܼY?o(EOʹ;{H7O+N]WB~UA]05Ydu+4qsD (,%/~W3O҅x{ð`lbYGչYVγ(ߡLH/ 3>_qM]iJ:lyjVur iO%^өAQrUϡqm83~"dJgjv<^sŸ(h=hdw ez2GlfBo-aNQS.E W4+њs5¶ F'ir5~v[Z:Td1OvUDJ?dIй/X#Ldxcy>A*6~Џ5ޗy%}dWԿCL_oE DƵ*22??}?"ݹ'\U;8+h1,plauA %#âܖVsyo!C`G^LBL B/ᪧ6֤>fHőD Z ZvȮ@ 7Rm#5 Ke@$_hse;X4$KyJiಣ<2x&=kVpLJcƒ:,qq;a~l+HGp.]] ^(?4E(٦OHTDl"0Dj|ɨ&x!7-&p IQ߳kU%D3|PbkMc E5TSX ;#Z`20ˠ"@#H. >/?|1e=] nfvwQny}SIb: @)mAHUCw\IU40Sl q\%pr1lMs!\ /z+< z?Tr jMLugU22%k}bFۛk+`&>n* # [,Tt.D)nXЃ!bt mz.V 鷴V{@NLNPU 'w",+}m̶p%bsb\=l6MDee ?GN棲.PpRDpGqRG1mJ y:Ļe4DbNe?eWz+ I@&GbN _)y*6y.ɂDZ|$23)d_N&c_+q=S=L OuI/{?Z Sr7šR<^Ұoڝk p-/6Fb/EVmsjuҹU%-! -Fo:/5aW!ʣvj+ wzt`^w޳*v6nj`O٪Ʉ{qKMA Krm: Ppso2M1#H%:%VD.x-v,鑯L>P:do>H6Iv~'?l^65*A|\qGI?a?S(n)S>33"2K3{c@A~RI oj(tm[:zIXy!MUؓ,08~Dw̞IE,2 R B tfφ x>^"Ġi \R7A7Ȧ@uyވE=%PKzL4"H{WxsHd +.XUx[Wba>S 4p0B#.R/ͪfpXo-`)YN1oP qC22rG+@O@S=džvjbǥl#T0(Lt)<5_GŮ(GX&F^w' }xkz5࡬39֓:*Q:eeEB(Ypڿ"xj"K:_70rJOCW[YQ9a2e+q%*aH{ SÕc97'Zp{)&1&p}s7yWKa@lWRw30%=3} =;** B|* F<ыK8qȉ(tBeu,!Q;^YaNl=T~4Fr Zd x;N ۡΡE/x5ES! K#]m_GaʄcVAK‚$/JW-fg|wEitoԋѸ!mz=/25}zb}I >3Ȓp3%lY,B03ڭHr^'auNkǖLH!wM?"^۽f\ۡAR )Sli4K]:vGzM\ i}eQ o[֦E†d d0Sk8ϑsH>9Dxgϝ$iI_ii]7 Ό=o';Ez@[pkG|'7/pZA`l'Bȧ+Ős@s Si܂e.: r&h1zJ2h|]~m۪uDn@t< +t;GF δ8`u o68 t!Ycx]VF@*9(/ =7 1yPu%I>$a2(QwjBFϣ3\yGgFlSP0LH/ q1N[y)lEբq}xgmtf] ޥ'P^Z _=ళkrm]Le3?LSb NB_i&6,Xaa׏| A_]]li'QxНBDb 9#J'}o Fyb f4!\oG<dI;>M9RƁ]|k껽EY:wҩFηf y}EG'j=`8PWln.#"x8{5Pa km>2HA.ugz B5 upA|~87~3p鞾MT"zb\Ճt/H:"*|ZY2%—ƻB"B},~YJ-1"F|,,q(1l›U%a&7|U_fa,t5`0 ?􋕑]xpVd"7K2|^8=9 $AL U@zZ OYтB@1`q@;,븇'lCtuz-z6 %3@yRQ&IRMO0KR EWEGHti)}.3:։|G#?Djs 2MafDLj DQCA>Үr)96 ^ljH`2nqDwzm,ӡD&HۻA?xwDy thlӛ3WlX]be"g$EeQtgqceEBi@ZC=29(-ڟr~wMAsD긾 >AvOa])5f=Vf֯x q}YiN_17Yn|t?І0\mŧBd'؁،W;Bl`^MR_NBDcP67bŗ^ڬW7aHmRcc`ǁ2΃i#M,:n9g`.{G C?\H@4/&J_WE94[$|f@k3rV:C (-q8aI"Xbˆ7hu(x2tpB3R6L~ μd|:CY/YZc=ylʈ"DW/ WEn5TG肣dƷdk!z'2¦|G`NNo_zf7X n+e8{0ʄ,RMa`H_6`  H\pL)qnkw]ֳk>a0h0<-6IFڑ*RIao>̠W\ Yp=)YeY1+]FҎ9O.9|y&AEz=lAB!4k`=8rQ~By[ Ƞ\'7[6KH k,BUޔDFJ$q:)X X}B%.B X`.d_^W$}ZtzNy`>uJ.IJqksK,"3v&qHH嶈urZЈ8o[qϴ͗Y΄ 6G$㆑(p_M `r+A-IP/<05J=Nbcl9AGBV T*yNdEQLȂkُ?\8  y8]F{Btƪ߮e ]r|3}QbXSPRc8CMWև14|ugYZ7zXZִF! ]ŗXiɟ>vbR6{{]GBzzMٟޞCB4>4br:b†uu4ם "g7.blny<9=֊(:"xJ٣q6+Qs(qOץmc|%ULI*CoɌ hyJH!}V3vngH[sl{x IGŎI%n2 PTgYZ7zXZִF! Z]ŗXi%L&T&n\}e*{;^@77Yc>4C>μTsS^8(ɫ+أyW3ͨ?3R!/T-%O(ͪN"ُtzmM@[I7- X =tŹb'vCavՏGL7@VڃP]`vi1rLw\}~F]Cbp UJg~d"pjV\Rd !PQ~Xz llՁq)Z-In|19o*Zֶ&3<ِ*X˯?Pxvj@U:eH[bnOig #t8@ָ 7U|= U,Ts3|6UAvQ ug"Z' aL/3O$*"c/'AdBJuuad%M}c[2f| OFA0Rl@ sA'Ah0qN8#H3'j/7<Apui03yy}!H0gj<'cbˊ$~JJG};2GG`Q: PjRCY0(CiV,f"BJa3ճI]ƌj/#ЯnEHu"j$4371*SgA<oYR>eoе>" 4S@>6E=Rd9ؼfnd'&.Rq31&3#y,n|Q1*jL ZNଷuUͲo< ~N\0nT!vmzidóݿes_3tt]j؆ {<*MH@D,<(̷4+y}\3b_Rl[wؼ'{# Fۏ4_?Ԥ$ ǀaȸ&d5пv1&|+Q)#)꣬zm1Kv,E;nXin|wMr:@[@h"U#uN7wO$1 C:ݹɔ) r '=pFe˅U_@aZ}LjͰ ?_+($v ܩɆ?wǥ̼ Oڀ۴{`b59ܯQ2ld^!t/ [MF8Փexa,kWS+1's@owngqqNwVjN .4b$`vpW?sW̽ ρ/ ep)z?X|P%.e{"وd`J/i)wmc=;J%Ħ]kT^*Tc gRkjOkgv߫bOR*vgٸ16yMpp): pj9ܽhq=@Ky엝ƀUD[_ʭ;'^lF;ۀO.?ȍJ/Fh*3fM’ & b%c/̒yAhCkoBOEN.cvE2:#:&7Z[8mdu x|ja~=U|y$?: ̫%T{^-W[K3ڂ`?_Xي^yS}ao_kL? /g ܗI9&rih:iܮ"%p%kBewWO3Ҫguxc8G(.Lf y| 3ɧk(?^$w3Q4~I-V ovy+|$؍!R }Њ}tظWB6W͒ R|OLri)1Hy_+2hD[؜VM߱k҅$QbCW&Woy]F&wEFW[rb[q״(5d} 9k`7d)Y+aH٘z1 ȋr~V[ ƮG#ϙvlrpv>2WEx-P (9 ., \m/CQ EhH7KK=m!岼p#$,sz0ȯ& \ۈ%o(*{.ܠm(BE-ΐZHjqL>Cۃls#9ח#jlmf)ʐ)ż_)<^}<$|C,Na<x"ݵke!Y bFv5k\ 654z/W\"6YG myp Y Zd/>aBu{SuP-*X+ c+ Fcv#~a y&!n\sTs_'2b( V/hGKEmiżw 1c~|JY1.s[mjP{qCHZ|#trsZDJuei!,Y@[0Wo.1}SQ'?K}S' cdRU3khځw?\ws1]/,P./5\Ҭ%Y\pBc%Gl\1sb R  咝6l5h gP7C7M~I 6A*at-U9ԅx)끝pd#=kW]oyQkMvR>+PPg26DmVƹb:}֚bڮQSb5 l,$.{ F띀$k*K_Py\َ{fM, V|F*vHR;;W\k5Ј_":ibenHFLۺ$Z_µN+  Fo2k,̨V`hPf`B>[(u-!>TvY)L7tE6݄wHVˢikSΖv`S`@ )pdk(9S5lد:8I\۠ ZDŽ0jOji |%̙@ϰ 9 j,vϩe3_3Bl^m9<=znd$ 6T<C/Ӿu~hQsJRHz XuSa*L6rTcBpuNEl*nr]S?#bRnn9=Q3u~ҁτ|/#~됡Vr; ;o\a]s"x@l=v .z|4=~1#Tu.El{  PS8P?tʾxg{Vd=Y~&8MW<\6Hӊd<Ve}K1Y)߸WX*0,7{tOeg4HE"#=b*u"9ޤ~Rc>WЁ[̆՚>nSs3Q%j-OYcs"L.,NA\>Y$ [P>J(!а̻5ô_z;Ξbb>kZm5G6 4r[T?嵾9[<.%4](σ*Vr۝ۂW:I?hn5PIj2)؆&I՝^tpNRm{:">8W+["iV%/d^Ko~6|)1Hb0?ޡQ3*VgL(=[ yȮTX[*y6J6g`Jj1 mSS(}`ZA}c{}+škN k9C4?y'u ,)vad%Q1yD~+sEl7~:9l7'4D#LmC ȡīfd2-V~wv6JSE-Sڴ&P(c+d4st(7oP{b?EE!& Rr?bvBV flasl}e<s[!S@is @g*Xł#OAB ~{lu5th9ks8^˂MJ.mfYff#rXnބ;E=te4Y$ze"è%]LA܉p$ U:mEԱ9 ?6-r!q`95y8f*;pݔ I[1 ,zvP%ډ*FӼ.Tay Q sak_]=k5m<:Q΀ڄlrWU$Rޢ kmb ':1/K/=2bw ag <'ҌgpD]hxL+yCs;u5K8crDc' " 䤃;25&mU$u~IhHv9 '^=FDzTF=v` R