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  P Pt?tt ] Program-Conflict-Analysis:threads=4elapsed=19.212cpu=68.720gc=3.4367zXZִF! D]ŗXiɟH)0%oWb0з20NRD (NM-k+ܙ@{Qg󳛻D=Pepm=A-!JVc:72S5jG:'f 8H<)bizPt}8,T/InyR!h-y%F!%08%nN2J׬ į,mrfY޲~~'[C{C.V tAAQπ+膽HP8;f36vb$g"T$LqI4xQy'O|8w?Yʳj>]:CƯ:;2 [6y6->ֲHBXOy̯?B7qy.g?PKnEi3#)|e]*nd"dXfb؅l򝗨ʀޘD̬Ofu h$I?Q.Rh8fzs`-w=!(ĸ8)܈0k}Ubzw׈ՎQET[2?,*?ku+%ל#Չϝv`\s2mYZ~3R ^ܗy#9۴cjG5H&؅zVz U#=]C '_}ӬR2+ڇ镪 ۻ*>'L7Cեwш ? Program-Conflict-Analysis  >]Ms QtJ1E[~p4̾1MXNSHǒ#LZo@ʹ/E xv]-w$]8Vh)L?  u&QFfrQUow&;g뱀3@ 0)A$n4QH@u~49eG[׃?l6T<.H1bDזqp̤j֍yKХp `9(yۭJT&bN @Aߗ*krJ1w)al֙GE >pQ*NXkOڙj4iGצiKГgTm[%6$b: 1oP/~l]ڝOb.bY{ DPo3jWS*z?s \V38$!>N@rGь7eT_i@aX!NQ24b>ۏ2rL왫qO32 K!RŃy\ڠZ?B|~~K8QVk(-I~\~fc)9 jf^ r2HμcZ̬~ BΏX[-%)ܩ [n|116ߞ.9ࢺ(U>i5`o\ՠR]J#h)Xm緹f7~+GS9F{%6K?q{7%%hDb `?I)?Y#;K;mRQ$2u|HX9oݹŸl~\}E"s߻l7?ݵe8oa>j02-vN,-w@@!0I+rWk?N+j01Z{Uo\W8Ϫͦ2TɠMl=h-wFp'\[;"oU]*Z) XRNӏ0bI1@m^?ũ.+ʬVxr32wK8ΌBaq@^xjh Ygk㲊ӟy)͙4 '':|BZ"V~LLx WXDtS }'[* sM\}Xy<7ϩ.F15pc5$֧45ʁ\G[a-Dv`;5J΁ 9Ղ{E5p+4u_ԦNKGL *Ln TSp8Cȝ5FڗI[L¤N"jLb; =2*nso)::5g7˫2I?UζIx,W2;tF I3lk-s?\{¾*8qx [di [Z(." m- OD  m;lZwmȵdzc_;Ȉ\=DjOE`d.p`@)'$js%zx mQu]hq?~cG+`n&v0cSV¨Rks#y=>5>.k6q t1Z =TkVp 祐c(K-RbLDRm@CkL &龆\I6*۞~+G_äLvP~_*W+FYX-&ݳ.DjեEC| 7JrK A$-P*ECμ@T+!([|ajJRs H`&4g d*($8iDōOjYX1Ŷf^m ~&ĕ҄ԩ!81,7vup$OC0]B>uEWcbūA$vvۭ`TJU,A髈g Α$}$Wl1YaBv"u?ivM5pa#%Qbt %-#]k ) y3Gk"oCƱênc {_2Q)Vȕ2bci[;`D]X߈ܬYnO% ,9SE-  Jdht02!Vزf #n=|N:U돳HŚ س{*,vO4ns0k q$/L/́bNa6V 3ֶ32RgjqbAH?΅rq[fZЦgK1ɠHw6q mwzmј1}ک|;?w[O-GkOQm\9q&ϻS k)3owWדQA# QUjO>N?cm^/1H~VT,,r1VWB+),b,iW“Id;A>5$wBjz}Dch(;4 NRMB_-޼~F7?!σ􎢝ء)CLvާZ< $J!\kYF ՞T0nuoK` \_JfZBp\A>jsGvyuQ۲18 "l k.l[^^O_IB6e6!A&^DP[{X-/=iB#ִڈ@ =}ÝZV73DoԱRh`RNHDz߼vΨUOЇ mLw{'[QҹTƾwyjȖ9${8Aָ?HO~m2Px1} L-Y0!܏0-;T2-x epTs!ozFemX:N/聂 _5#5(iý_k-~[^>w {ώC(Z;-9ן|_ CKIl^.!ʷߔ8`J'7B b{-)ys@|"o&h EOTS]_.|y d^<낍bGFϐQ<%W@?BI(-98篢&Qc`>ޯŋHHLTas)8=c`&%DrpHF~06.RVǴ+V:f"rj>@Ι5!V_gtglA4maA;aqӔEx j1!ƩLjmѮ„WJU? y(Hq/Z%#.BݩʱBk˾\:TJ5L5x{j &X"pΜ`##(ײ]'9CXw&).Q\ ϧ1,4p) Oz48 j'`in ܝ$q*FP}!ZcލYzm?ZtЍ1ձxԀ0t1dg5Z[H RSwlfӢ,ad7(QIzofoq C4uū xM~2X9 Gm=NOMEUoPgeWBÎh*Pg9Ӡ+5J emK?%X|c 8t0ZL2"==+SsH|9&B u^%Y}tGK_ɉE=a 1&fJ=fi*8Q0&wHo +LFVc_eD"93>C"z?8ʻʚհ=0)„ Nuvx^M*&)~hQKd>G_`G$RPP@(KNEz'zp/{&)2ҹMN _ g-*р 儬nV/(1ONտܐ,P.Z;TJU8:c lAAyFN=N,?q|7Ed$0-{jxL}#֣л_^^-!\a|"tL€n;zBFcalvDqjtĥH뺿V~' ]lIڈf f7:-)q| VmQ?"Мa^Orױ6|1P[_k6~T夻F-_2&^k-$ô9*IldHv? 6=)!iVkFPo So:wTz"/`VueFh {/Un>3%-9yU:kުgZxqw<o8[^p#E׿,c~G(əMpHRR 6gȏ׏Bќb83M\SôZ{ cz}L`cn(Y[}MG`^tt`2l˜@6M#@F/| gqmb7+c@ڦpd/:I$#]?(AПہINjt*e~-ŏ o:`[:.0nN80UvC܇zD١|z+ Y.jv0 D=\\`ilMk'G%RP ?ue·~ &"?͕M@=|}G`)5>"j-Kq]y n@[ Qo9AU~".bɼ"6FKFˇ&#^4sQojr<ztD<:jϿȻ[[z0ƶR;%vX.< -~Z>!Ol-b` i]=+l#֮mp.n8x;wMWS.[LTmK}`NbBM=bye{{V׫"~KWl.K|5[{z)%0ƫOw[#K?ӁM/pPTHD1Z ,_'gYy ɓdiC ˴ Hxx.D<"FqI{љv-}&iȖ7LM\254Ik3 Q` t\AsQC1u4̗=| %}ED&>ǥqM/9(kq ݿ u#Kgf^ Nq<.VǂllY-)I%#&O.ECճ0)&~mj# >k=G7V,r6?@ Jt Y,C\x`,7߆5߰Ւ9j"xd\k'9*w1V7 fT31 [&m\iàZ3^V@v@/ iIRƒ6$z.8,)@0|/pԳ&צ 5qIr"Nj.V%F}Qd&Glb$RU_ 1׭<'$)$wc5}F8 v_@ѴB| R3wOAHΊMn! T\X#M;#gB>f =ȩurvѐ ޣ(Yc4]Gv3v4JfiXu`L(#΀ !Bt4x4YOm?(^.C Ep*W 0P{;q Zt=$Iܴcq$"XV+G?IY(+^ sFD5)灃d/N0MCz^@2DLb#DU=gmYC*NdR9".96ѦOu1& oC 1G-p vS~jkK_KzV<.jCWMd?X3\pMuYn&"}#Tءz,ʷҸzKFW ߾G)p !v@WuNF1cA]؟r!3trSM2)jq, |` Sy$T\`Y> @_IL;&ЊxX\K7Z 86䧹prZFײ 6Bvh Xࢸ$)rleFHT.n%u#Xk KN^$ -DW+2tuPֈPIWÿge$f泔BsܠNbο7/lD9bx: k .|,8 o?e{hb*Bf53 @WcXZP.0Bs$ĐO#(D74p ߍQtЍ3 >~E|L@v|hVzuCIDw֯x"(3ff'H"8>1n)pŶVW}R,a kZW67*!p3a  E2R_Gm7|(dƆSAQ:>Jm,U]i*KPvhiTo$d\KՎLvB$*RLD<jgcw/aifggh@V)!G#e>E7U> ٤ 3op*mP~7B8?-[krb~ n|5BN] D<$ AK LGK("I@:,f Ag*yW1pN,@w7 =ce{}DoY>J9b>{XWON !eMP^A.>LP#ӱ[*Bo;Bޮd\rROp>!ƶHgjba79u'2%&q( RHr)Ia4Kjy/[ǚ?%p}C~? +ᮞGT#oޙ aW\A<14r '9V >}L¦ b:f֪``rHhd-􌂯z8WS< aR+.gcsz&I$:P:Co=!TJ%_VFYYPL%ԍW'q:IzrTz!>xܝ\m1`D=JgJ̞ ]cFxb::*JfŬ2,=xOfUDa@]EWWkZ]eBw)Lx$҉+bT0G4f!t/MLhH= ׃Dz\D5)1rHkyM[$qbeI)?p~{J@'@X`Un 3rG^'OȄbGڔ”9j 6P9j p:k'WU2D5 ?AI_-qp)'Ya_4,Ԡ.Aq{59CYHP KA`bR.Ă͎ej5H5G3K(vfsǷxrSf_Yp"XBl!OEYit.]o$ 7CtrE 0s.X&QC\dlf/A^TMGk r\c<{NJW|)(./Dj8tF `oMsEO\9Qr1mǞZ03BBf)m`w(7gTS It1p&=xkGM6|wYe]YlMlCLdt! 55>!>2dPy;3RB)TU2ٖ2/m:bLm kp62$6h@HoxNjXDlV(sgpLѷumN w"|bˀSM~](|KB3]ZΒS15 ,8#~{8j1 dn!%ÝKȑe??f ׃˥Ÿ!fٖ8k3ډaQ`+7iY8%tN`Ts rpjP"ӕN*5 W,`GuERŌ(g)4*9}TmiRI񑞷Z.sdDOJ:R }x3S&2^@lyl6mFm*{[}sʼnXUUy&AfѵkiE"YyQ:7fW .X:!5a"Jvo1DJn]5Iڭ 3WjB^`*P6EW la"QɴZ NA1)τjNmj?dMxd$`.W a.[5^W4 i}pD?Y.fg zM`vl=PF^ȴYݸ-=arve*8hv{FѮXx7㵞v$uW,GS>FR& ~>IcYrp9'}c.%!ʎd$ktoĘ{8LXU# `vJ鵵Y[g-WiL^޺T,v\[U{EAnHBjcU3l}mv?(AewZ cԑID'EzWS#M>^LC q :~;*7hScgC >J~Z DheY j0~nfzk^<9~u*įa!u]G9<}djvU"&hi3.PEjpX'N6 M'H1~k%zZ-4J­פ*)Mj #I[kW* tŇZEYj_d)~E 3R8?uyZ%a(~ȨGC# %M';\Rob>1p$}Z#IÕNw,QwM?W*NԇoJ6! FZ?A@7qm" p6RWKŇ6DMO c;i/[/u[`0~sv4:MSSPA`M^rBfo7sAWW.HH|N>B*u6]\dO#7$mz#ЦYlD~`p6]vR$o!Dܥ~- a7?-R:w=T N:M||ӻlzy?o,^)_^j3-4tɑ:F_$J^PoH ;kBQsQJkAyqN<"*Î7. vs#U8(`YrV. (Dj[伌p4\_0]bu4}0L`ĵzP`S=Rz9!ۏ"RL 7%[`Os7%xʄ ϒ>I۪Bp oۅkF&pOGlv{%׃W?ŊP#s^N.Kk.&:|}$/3-?/:5WkP/HK/qЫuh:`{.ϠŹȮcd9V =HYtf۬>d&0B{Ǐkmɖq# *L7y|ڙ*17&-(EW U9ë Ps" >p&5KZ 1sZ[ZUZ)dM)VƜy᭭qBv3TG9@EykanB@Q&b:9b6dw(niZ apφF2#ahCzH&c]}ï<`^W0WTqA5T.w8t RiAG0U%4;9#oOE?Nr\{g'VfR8Jw|m3n[J, R5}(/N#07j8٦{B :D=\n7ϖ[ILjlτ=[E,o;+O.eժR,©ү%tGq3p?~224NFAşSp 'L8*%J/.yu۲kgdhey_pU43P@2+`KgSU=آ#BlRUlm2βHb6/Eie@2 [؞C4s,k:A1}[2jq=˰@.Gd۪FFewe7$Ȳ;>_c̓(ͲVܸ'<:_43Пc =wt7J=+¸^9&Jjjg\H_WvWnm'mqV(-VVf˸Ahy2(Nzސ,6U;9M@[~Y7*o*^/0 ~0Uy3r4XTJODu" &ԗ7S֖ ڤjZ(o 'DS!*OjnA >%8PoCFjL;yJ 2M7ZYJ'Tn$^wDMm.-Ym=E!L"X ȢmT^:rѻ)}W[IU-F2u`Xy]jN=mfc; ǣTň!ЛĪuZ#?aaxr&RB3vwfrnqg41C@IC'N,^lWlNt^ q4~&"շRύC*Қ:05;DA?iF_k/b|,.PvnBF(}"Bamr6т˄E5>ͫFۿ!3,w]SLg8m1_ fki>*R3kKϰ{#qI7 >l6!?w#!>,;e'5(ZN?dg4[c,]{L8 A=ͨ=e}HSi_ lE}rx0u /wՏDj <)=Oj5fe zm dy "fCNco+zBϻ21׋6!bCJZD`_qD D&FMd|R{Cgr㸬\e ҵ{NE3,kw I|PK"1cUrρ71 #x1f[?Ds]MB4!6r=A޵[  B̦mGґ4K9ԑ. b˚f^B-Y-1KY4?6(O79/} 97NtYuPH?LBSO60pptv#XUt#"ՅDua/7D611-K.ZR>1Pj?l^@`yt g˅( u}B15VfPXG٬4υc} T1#>efqh?o:־dLgO5e2H{pqk MRpsxɾk`JA6<l"5UN\)$b7o4ѻk쇮 txD]q_@MTq3ύ"y\6)Pˠ;; s,.x4!Д ayJI^vvyxzkTL'9 lvbkmAx.Ls 83Jb8#.Ùi;`>/B3_S]Z=bwA)qj"nb w1=F[.G0FoyS$Gd9 =ozVI-AiRO^e,ZZbJ`kmt*dDD4Hz*EA+Z|izIM˹ڝ#1qT:>R>^xF0ي(1Z+, cGiD{KLJ0I`Xr'xGV& B\D[""<^6C/Ҹ^,c;Dr*)2+!Fo ݘ^ŸKl@@-\`С8vv窬eΙАy|vM}@ȺAJ^R=9sxNL'@l0 #dv=?4e?,C`Bv=BBm b?VE eSޫ2pa!ҺW겢UY<{Sڐ.y$ԭ_!pV `]_sյ$DŸל_ Y F` ~^tJT`|*_K>^JxGjBE%AwDȊT3~mĆ<ئD$[TG>g&p!]?/ l33|HA^Wq)Z3e;P?ųu.D:pst`sX.dk&K DBdVgvEA2P5(&ػcF5[B/uΐlk4cJv*V#Y?$ĕJz[-?j{0F;"k[.?)wH@)pEadln<ًAqkw;\ ۮc A"(}h^p LӣbcrAڞha+*Vk=/LWA!c`6,,xLi9~*h@"fg:Si#Mn4|wұ$%p늒/ X3BpV)ƣF:Ode‡uP>ԷqA%c" ؈G(AW;1kM1MW5īZ5,zh0O>K}kx6(?j5PUG]/E8,깛 }PAGE3` Gxv[w$/:'M:JCߟz𳝼H[kl2I7g݅۞,6]FenÑ~z'I@|ިyȝ5\S{}#P ȧ)"4kyfLy/ʪxm8jdUWgxbbw(^zl[>DMʠs NAxb҂mJiV2x\;l]pk1(_OۄvqhQ7Ϊ1j\艁Z]sB(ap+%BAK)W9M; ?H`;͘-MR]vցɀKc7fr+a6Ä0;nw]If9'}MMzx䒬RvCPFĴNk! 𨮌+uN>Hp^$~e0DYfM&".ER,| /$7A`CT莿%iB wPP5@vw%bdq[q6ӝ2MmeӺ:Z1dtl?صADh14xY H%|)2f9ʳQɔW|EܶP]KΙjkE1-vF~ +%DPN _?d_VT~8`,}2B8C,K!j)QUծ6Tb1 u0iy=V% w>ay~UgJ3d: dHGZ%pbeL\x[H|Mlvz@EcU6 E!ֳrkp2Ntv>V!N&D٫J@?Ro06cHe͜ycln.)c-ԋf]D@۳.K֛Sb𴋦;Bi@9=`cJ(t2Cz7caIWĸi}F -@b9%K6#$^>lN?Ig ^X̮ºK.jR2|hm ֮* >M)PO {u#t,!6P;dy}: )Rq~8ik%5"Ǿ$PQq7\L-fJnjB/1<mw]ypUzF~[EMst$zxHEXQlm`EMcۆiZ'בXrȫae.e_RN[kz؇ȟ!j(j`#eJoQZ}?-2n~GH`AiZODp^pDom}b( [.>؅t`J@!}h J1(qUTLu)FDe- XBl7W>䣖S4@ϽyЀ#W ހJyyN5+_6(½\ANvәd֕ c0ee=Mo'W"'^=TuU y1/Quu_iLxC.<`y)2lZ&"qíK)M"Td8F"hQ'ռ2KZ^h|~ Cp M`^&wJ֫_ӓD+rDVH# {S>Ӟ3O9=o)jR໩EMCGsribZ. u^FB3n${VFbP^?mi3K hȭ^J8Ųb#3DE7ɢè뮷̉(WI'p]3-_5tg~\azIh6'*b -T{t[oxgU %=q.oĻ?;c*u^ luU8ctܻ>-.b8=aH.I%t,mn&8Ʀ;2ާOg8^tӝTmKLw1\*(i5U2<І8}UF`8`k 9q:[$k?b>1Fp? 4 `o&gu4H^ɕ>Ue~'ֱhe~QM duZ:W&:I g.Y8"o;Nr~ 6~id\IGošlmy^~vt~plQƪΌ;J. -8s#K9b6\A(mhl:2Pd~VJ9eDgGtxv B$c1FDnmڨn[\8^&1;oE|~Zo6t 3mM €}07$E6 _p(_EQ0MY2у4e t:bZb- e8ngbm.`k] 6 4r,38j6Z9*NIr tޤr+{>YvO29,$/&] 6ה|LZ'śM?'y<}Oh:BBBJA2&/CY;ЈJ ,x`!G&\29^/1)ӎ1QU-;.JKőV%+uXt ߮J6u&9(^O )IيKc¨LB$61L]H_ jg uiNQ ѺC-F$#jߟ;jGG[̂![Л6|&auЇ)C":#tGX#t;`LsL|("^>PLIv K3!VCЉ߾$ 0Z`x`$K + :HB7x5$ }sŘbC]KY {eX Ͼn@D]a1vĚE<̱s@T>ܤ[18V68v ŜGMK6N;">9zYMxTxTsq",!ƶחϹ3̶!rQo^:?$IEԐ:x^-fHqŘkل+ HK?]Q)vnj&7O5w".>KxC!mFFh@3Pcӗrc#^EI *nC9Is|D>>twA$G%' 2RUǛu1P8c@b^? WvE e X+*DEsDtkJhEߍ郛͒:Rc]IK)كYVyTGE˳Dn-[zV3KA5i:ge+c3֍F-n~aWftKldDa=:>r5F͓cFS$:žc2{N]htVqt󴗾x(~dzqlA24}f-<}jV:[{mb\*N&NQ> px@Ν@Թy4EbgrR,f i}:i!^@o激Cƹ Eʈ V{'@C u(?\t^/VawK:&4^ B[qEgy/z&&~sW2˻[Xw܍EF N;s8"%D˴‡t߀u1:dw[q?MӠ 2&FbɀWZl\.&"UǔY!D(-^, ʵ(ps]UݶX珄'n3TƄ as{dcd4sSZqY%$8AI'NWf Lp(r׫!)=#JS@fg| 6qCve4-IYR>WnVUG]zNQh-+K̖+X[ޘ: OjnURS?ho:9l'}i?x*6t: xXf`% J?䢬yMt) K`V9?<83o۸b{jUK`_u'P$nBS%Ɩj+j%q/^%,[Z Ţ(zSSÒJ[{Щe[khCOJT疆X2NyVfqv:_ßv:R*#*V@;%qn[ȊEi4~M$pA y]0d}.=n>Bẚp$TFEPAg? hAc@Q¾Zo#ܖ,ҫ*y_֣>w?9Q"Ub"y |ِDAɞs(b͟N`uNP #ƨF|:#C``^'!Nbzz8Y"#GA@)0HÄCs{2"42:E sLeh`oJbuf\34pqfxZzEU9IݎXL :gڮ$O2 HP  )MdnWY]pR T:|ZcFo#A3V6c>*ZWad÷+#^S;:lpkx35&9̲ 4%e@\>`tҬ[ ! 0_ IEݎ*l{%6&)TZ[?pDj;PaPtU9yW܍:9eh,SmSẅ ?&3zw~qND˒:`U {S旎Lja*2BmO<̝5rVm f8XqFf\"hBB-P(MqY",iMWn ]>P+6} ]$Na n`3:ܼzj2Fl쬐gȘrD<и:pݺQN>X_&c4LTd(* a1#>LkCpԊޥv &gVIS?8itV?ަ-蚌)c}ETMh6n\, =sP9O D?:z ݠNM)Da1j^\FO>ALMk2'[%<*VbM>'@T/q*:M:)]ph3+:}tothtt8VoY,ktoTV{Dx*&~6} Ҡgnr+Xĥ&D8D^̖kܠqUi ߥܽ'<ĶκR 6' {"u9ܝڿn@]MZέ 'yhFƌ5AO516yE2 xtcp -Xz:21HYI ecVߙIE>0 qɎ '"m6-H@Ϯ$ԩ0B43s1+6F_sx馎&!٠{e5эxf1^fkZ!k_~@->A]TK&P Ǭ+r*X>EhJQ.WJ@  i-4j~60=.]^{coI*LeZϴf~2;mE!(YͰ(5.H5ij9!pqq<CX% KBjz֋w֍>efnA~9缲\̡E['WF h˙zZKnb;.Re-fd*l6{^ mF!BaZOc ȁITآ`0519OQǵjĻDSZH@ߍ%hS3m3M*΋I>gˍ뫽sU)Œi%ڄ*[󝻈y*܇ѥ~vh!:Ҹ~@^@HD.Om*gEȵ ̞IZt9C*R){ mvX`ͷ mDoMf4/ҴP 0(›!^LT}(BJŞ)񅔧{\i݀?nG8h^T2^kڛ7pTp/_#-϶&v~ $F|~^tCVL mCwoZ* ЅDbr<BxVO(F1⪟JHz>N-cwS0 VP{ #.d \9#Co2vr57Ƚ0J:nQi5+_۠j?-#sƒpA?!JE=w(ꑐ|GKބ:MP׷\,.MyjSMnxJ4L=`;')ݬ<}q57@@TjoWԫ9 r3.#āf~w%z.00Pti! p:¦(EB"&MM DOH27 ,Re5hаeX3GMّV۰,^1:6 ѕ\S ZQ L+Ԑ?樏"sθvy1gxܖM8J?ZgVKQ "&l.(1%g7$Bq%>'6ğ۵׊`箄`suů(lYSV]obz5 mn6463ǤGcRh{5Ov-nC[C2k"{ޢ!h_~ |(DJ_7h^!:J Z':~AmZf'6"JmC0S< j@R]6\AEs&i"\8D8ICC%jbOM'f f|`Ӕ|O9W{6iyǮٙ-Ʉ53b;uHhԍ0t+;;fo;֡r?V8FK)8rׅTn)onV'FJeᅮUϗ&Ab7m/G'OˮSt4!Yύ)C,.G 'BȽ.7Q9Zl;uނ% &sCrhkpdJ Ǫ礶#D imE>vvU|DN"\ C\&E jm.Pr9pLJޜ^Ho z,`-ǵvPyv('6\"ȓ$((4Eg$@iS=酉#WAc\˙xЫ6L3, =%M†Xmx:_zW,j_˲u* haI:μA\tj1FҝOG> nZvS2ʌQD{ħ؁";t[FJHbL iMy52N%l=זEAi mU" [y%9xa;9k5UkagX?M]r oykO\1x/S^hob{J6u#r2 ֈC1û嘖bg .Z섈|gi#͛ʿ7[NW"Q a֣04Io6hbo3Kr3ܜcrm8a<ߊ4ɳSr0mJA .ys9 ~W{B>b!hh0H\2_$>VB)iBF2KBS`cjǺXcF& +S}nYyef6*9".+P+"[>go#MUHܻ֧(C3rN y,_ݫf~SmcWh=C 0 8Hh=qϨ1h i8%La<^ۧIgڜݲ&ۆl:(3[X1b$X1< NU9Zx/[Rj靮kT,Nm)|5NIɉ2}=m_ f6tt#le8r nik-YLԼRCΚC6NP6V(5h~z+SyiWFqlcyxf5cW;D'Ջھp) ܰne0Sm@VuT'[nN؟p$x!鲦.!cNO2ڧ-f9X_3Lg4<~M24]+d1 ͡hvi?w#(e{z42m<> SuԯY%,N a.[su.YVErޢ6,nZ1kGqKab6=`!ע=28E eݳ>lWo:0=,8BPsq$배mx YiقacK a(h=oOL)GS?xaq]Zc(yJK BP 9U GPT-=̙7(QY0L[A ZmLgel}@7("ByƖ8-}PwGÉx R0,DښH[\SU+"BG،e23Kѱᛏ:̱269Yk<$y>#6bI=6&M:"UmF Fs`^~k #i_!TWkF?uWU0qx.ftiSz9@?y~4`꤂, tZ%8p2TeM3qᜳ>[y$k /,,ÑZw&ͼ{lŌX{)=d~g*{h/ >r︳^:6G&fe w]L|&? #'8"ˮSnH4^l\'?tc]DH[xڱ5 ^sI TGLߒm|)hn&W@`Jc6*d`җٻ@ @ܡ39J!J3zyDv $ƀ,S̤&i4/ϠJc05|1!3oWy6-}fw$6I*9R!oPoht&A< ~k"ěGܡ94Zxn!b j˻]cP.}Pa)b2%65 G9Jp){$˓}"^![B8$׶0{XP SqB'],Э28;%'*s1u?jA>9n" nMȅ&#cFa sYOmD#7k0jdh1,g:(ΌF5[j2LZA rM 񱼩7ۏMO }ޢ$SZhq^rv^ʦ[Ncd:+v>f Dʑ@1`gW1KzBdE!U!!= &5 `4:LhY=Xcj7]$M

,p9hȪnZRdy$-2jpۂRۓV;r=UDO&u闦bp>Zc(*f[\X9a#sz폇IeLlC-^7mc"fWv2ŋK=3rj8*ܝCA/o'Iėa_3KL[],;,r y_.;q) 漖X7KlJ@BE_m=- nQ}#RzlrؘJH_k5G1x#ܐJen,،Un[.M\m-_)AI׻V`l JEl/bPؗ i$|+=5#?IuB1ћaTZ lХ >TYEިpMYp!= TsqZ{N nr8RQKA^E[G,SZaZ1)2 WnwuOwv1ՐգҘBq27t̂՞3f)?nϙ(`Zw_P'`uǣ\P*۝"$G'>EDp0^겝 s9 ! {M5,XB۽@$A&:yčbS\(դF7.!Y} -,6HF~ 䞯C~}""S}rcjVJd@DNfsx<-J{LӚ29}gzrhIvnn*}>ʹ2PBa=cśbY01J?vMbZ/!ܹg\L|.!Ye/u YAc 1&<[!$7̅ʡ[Oo!`0Xu^یu1Dp¦Uo$I6} Ӫ֪C'U]'~9|i!Ǝ4F0WA8^/S2U Gzd9lSxn/߳@g0mĸ1A}+$%R3?ojTySʗbD گo9dXX jH^~8)/ROUa)0U ~4wgV0!l&vnjCIUty|-J U h^9h"Dc.G CpW lK+*]!p n&=O}|/x ! xڦP`Mˆh0ZYF(e9̷(gl!+w)0{БھT#GEǚk7Z!Oy6m8nD( rdUdwK nrS:P|MUi2FLi|o PzE^ k % jn?<chB݌Vhz L!gcsjklc16Tf_ޓ~j0U !%O^r$\9G`d ra^4PZ<{]fl %*7q ,=XlwbՒc$?s6wURFk%\gulb4BX;ũQnuWmfXEQROس[ *&2Q]}&jC_Uh%cmr%'9;+GI'Ka!%%sJ,hhJӚ?u Z8 xwQ\3ՊXtf)y;H$hГ1V)\IU("!i;#)Àn#C*%Y}N4/\382FΟAHǀDHgמs`ɑ+F^=Uz;|)bC6KhUjZPcwƷEO!&nj mY(YWd|Q_q(>BSey?Wۄ ۖ?`qopӢ-7˔h%b, UP5Bw(/tox1pZ3J8qȱ0Tآ$;hx ^(Բnޕ+$V+ЦnܜYRƳؕxp^P+Q\nA B( ޣ\;VVtV-'Zȃь\~70&'ɰ4( nQ263%8o%m*gZMVysn)vfŎT({m(hanCeҦG66}fG@go*#`"Q"++,SvTߧnSt60B"'岍l}YŪZ u].$;5?WJm 5v;fȳ>-n$VϮ ̻`5a&סN *i'q?ߎ_Lj8c3;w2璢+ ̛APf޲b3veMop(̖Uzw^u*!J!">> E4_Sl/|eN`B 4D` cae8FHm X]!.GB*5[4)M.)^XI(L]AM;hzE#  Dv1;gLҟYd_XԒ#Mnt4.գNY"e@Y~Wk lxΡy('_PY3C rjn(NjCr'Ԫ G|_aVq`'pt4+,r /W9v=uA ֚r!ODԍB}"Xl9k^@72[V)bIG4 SPQ_WX:T2{) Wu@42ޞKLlb C{~Bx5Tm_g Iٯrӭ쀵B'9 whYzH"[æA<ܶx?A)W k@TV3& t$\&Y ]+`?L4zB&g-Q<@yE6OQ`4f\J |D9N qPRq4k] +ޖzr2$P]V/ܮH6k[3Ob$f=Cߩ %_T&`F j+\h HS2kk;؝T=R(ݚ!$R}c=k~.j0{6uD>&Xh-i:u.~e& oD)uiz3p[˜b43-)r2.q.V&;*|wE~DI2TŬY$E*REw51W8oބ"e\\>cM+0X*w0tC@>H+Eħ#a>[q1Eаqe3pmu烺ha/•Ofx⑿ =grcy2i?@ YgW8XAy\mCnJUB_pl?6ƅCDC|z`.TWsUf^0WwK:E мDZKH,_  5g*OӮY$y~*U)@-z^ ^#{fr]8Q"9wXGnyu>D Pi bIbTlyP&ɺT&8Eb&j!IE}+Wxu(I?\'Dޓ{mʋ1oS(] ^k:|ϔ"A|3󤬔p?D zGI pq{%Jx۷V7)hQds Ԩw/r-xm0sس#f C0e pg`aNQ w Rb,&r.1"d\?pP_Clq_.AEyClcF>A'ڲKT3; /RY򷧊H$5'At>Wc[0Xj4C꥗ 6&WzS!odM5$LSvsLz%C0LE%̜4f'4\$=9'y)X?XNr~3 seӢno)]X.zNڽQ<΄spNWgV/VA\0@/flf :I2qIϼ%'F8AD; Scmn$ߥk>&K^A^jip4Ei01&;!\a;Qyi1|XSbQx5o#nߦbޣ*g,:hr' ,L$LFVOTO!j^yk0JpUfz^`<(ݔt9Gd k.-* 4NVV}VQ}w=aԢW8 _Z]VC ?CĶsTDc~_G|~צ Þu iQ\y/p_>{~,71QY0}~s+&y$6B-u8}vQ!薊+6le|5g=_CBzFx-,e0G# ;xA^4{%V]QO3EL/2b6hg6ԃU3;'-dw:'"ϔ۰6w9 =YGd;E:Ig=1MQlH:y]~R }%$d(!BUWoP%`(,{Wzs{{[]Bw+k^p9\nm| \W\ Ex^  Q_ y2`D*) gTe,ыH ؾ9VwbQ۶Bzco Y>iNHٻg!2w7%v8odw{!C6ͨ<xWCǝtF)CczL .AJ'P2BXh;ctkEM20|+Yx߸\SdEPU ȩIp Ԭs#@l*J%'1wʸxPpq,%\(u= p?xq_bZ0FRHfzF I:gÇFBL]z Zs)4F"_UǠ7 MQoZp,r9R<@.\QUN R/#B6QJ~)>T*!NC) ~E,B^9)@ŕՋ{,Jfn[ ۄD}=v]>n\|e궂P\~bK¸`qZgE vZ9[;'8>4Jq;rcxbG/DI2\'fӱ~nzC]٦f6biAow56a7 &)*ño~䎕:x:Rq0sa1f-Ÿ'!$jiao2>n]4ҔMs?L\Q~r>pMs?PoX^ SAR7 [0(jEAS :|6 JQp7e,˖XzH\^L/`!'}pDfwڭ3=AZm]D9<NFmb~a,2+URmߴETeȶ 2`>d~.13lP@L'.#O7[ jV'6J$)@ܩVe30]&~M&;\Q6L^5iۢo\":<"V!/b11щ2&;K)\&X -8iew~_3*xԤDCݝk QltdЌrm(-e^w8sHn[o+jz[?%-G Rէ5aV} `,i북dHޅU\1<ѧX +o^ӈsi!50(譣Ai͜f%*õ*䗙S̗%V4 gd?shBH!שa72-s)$PG)N³UR~N(y=6(xMZs?׫^3U?I|dm:+QߘoMY'l 3IȨ ?rIoњnM & 2%0BjI=cL 2拖Ƨ,+GfMRIW +FCK 22FJ7c6¹7ݛ|"01lA[}){sY]察Doch]/^4]y|RF1Vڇ笗tnuQI zdY+} ~yʙ\Ԋ W;"*ϧ #xLq&KKs0ݴ09n-Ƭ}[eo:ke@f>}{7so>I`W$;OOm7bܭ1movinT-.NdGK)~A^5Cy̸лkCfmEǡ+Qx 絶oêH5邡KIdy+E#?O:q'xwak|Պ?xSNUBP2HnevL#z.Rx<neZ7}h4b/*8)JP^0%-M67p+tg iUf_`͒~aoͺ]q:KJ̀5P .H9͠X2)O.&, sܿV6>#܅^xLѽ%Kp&/ Ā|Cwب=3ov>u7ʆx[Mif`Ic.t8Y)ˤ)T=V$xF+ak_9f {xWPִRU7 4TL7hm6/oIBmi eR[ii|H*Pl,41d@KufpswL)ne{`+V[J|_7o~Lݫ$te} !)- 7_-ɇÏ܆O d-AoPN`FZL'lA+;==XCҚT>KCmn܈ ܼg? k?!r!< 6-4^EgӸ⺐3v6)nLOl2 =SXNUJԇ`]xuf]=<~v8B3G#vB4Dt&ض%HU00v4ߴ08("ȏ Oܴ1TY!̈́WXcD|JMcѷۗ]1|006d$ra饰WԸbNX徥k'%e5l¸-opC:šAUm"43_7q9*Va"_U)MڼώԻ[Ij*,̖Sq] 1;;,+W|'~`Ub3)/G򻫘JswjoEjI>.j*¸y$ j~b.Br PA^JfA?(`Mܚz:[\bmr!nt?Ņ YߕLseN5>J*%1$J(XS4*CGrw/T_hQ3w({F C.iMqs*9'cZ17z95oxdP:zcыiCZ 5 ֎g3(^@Q2&q;<mhԀ~_#Ȭ "e@1 vN/*?]#1ˡ۾ ƁZMȑɸc~ޥ5KN k<vi 4eEDs[Ġo䗾m. )GM1`^%A'? ?) 07Sn"VR?2KufÞ%֢=ۇꃊ"Iü'XyNoD柰~M;fm-) a ^{!anҪiZw wm?)ʜ ONExjm!g" HxLySaR,$YlQ| Dـ͆)KiU:ƞD_/1wZ A,ɹnي|- ;LnOh| ۴q^Ip٥'m! #Ǘb U5B7 cBɒtᒀxns Xvd#W8̚d-ك$d0R|K}ܿˈ"q͋zWSE#,rdW 8\ l#y9MR-*ff)øy&UsGVt85rsV}1v"?5mߐ|lu/ΞLR..o",5Nqh]]{~HŖ ȝI7٩ؤմ {ŕtQ h+J̰y" ?f5K\;v q؀9}@Io:Sk.jϨ,ITK?ӋBG=W f{×[IaRNkg[*PIT,^97HBCgIA >ʍ3tNSIHg&2 v)nJ?3VR}-5GݟA0O2ŽaO8R 4ΕL#&,IҶz3D lkңM8ˈc°ּܵ5&z6j>֒&l[63Ru;6>j:ZHqh"&u4{y dGW RYlQ+%+7dERLA'e]`m\x/_zM]_+p&3fG?զp6_HK҇ObQg u[¢zJ<+dn˫n_yZz.q> 9BL3(WUzǷCy}lB\Is_u'HQg~8me#E?ݱD8g9YŹopt!b0=z?PzH0Q>~cȖ_(3U8F-~D0n%Y"0BV ldYH(шc/\-.J+%%w##O5ZlPsڷmׄK;讆{U I,l{pYjh{#*>9au`Z醶{ܤr1R Xb aok6-J++:^5߂׉rJp``7i sapTN$5//.6A °ϝ! If53Iٚ{Z7m5>gYiH}Q"U~т'fft,GE\W~YKx '-y*{O=ߧzVE WxE䙬&K?N^xP7\J@^h~qev۷3R\ʨP%'h@$ ꪯ7I ޮൾ^PH(>)-@q|:(֗lWGl}q#f |UId vDt0vH/:"mFhѹ^n9wNM=axc 6`nHk9({:>JJ%L30B)-H$JŕvPCat8'<) V2",Bx{a(˵mX&W\c!D0hCQ\@Z豷_{z/ZMq╃jľdqދKK븡oY˰QbOR7,#B3(wβpdgڀ*[ "Q|هqN36vZ+y/N`}n:tnoR>j4T\P7Bʯ&aVUAs^[)uQ!҂x(Ѫ22 x%]|_(>KV cBώ!_wƪ7+yEr$F u7Z 9>X晥wYgGTK'=$~*Sl{CͯKo`ɰ.ʇ@H>"7 ntͽ>ol~hLTo;Ei1TOٞ-VmhG^zFI&E@ID6*Ah[m:.Ysݛҳt'a}, }K)tr⑯*[m&˺>վSP~$LS6j O} |5W6*Ւ[LmjT1=5R!GQ/φƭT\H9U5mj^:Q]ŔM] t2NCIhi>a2@Ɨ٭:G`33U9FR6/[r[6z9!l3TrW40~Bd9IJ'!WӪtk\>IrIIN 'n!r)hfN(|8g*?ۣ,񶝕ƶN:r~&TZqg%zn8=ChXmauH-KcOU 0m0)1nض)߅hhAz#Gkञo*"*JZ:E)ߑe βgk:~m-E)hJqF0ӪHvY щ+ ۆYL.RL;XYȢep%H)Htc=.*I>;4'Pz>WˢQ*{>vxa) G;Q_銣n#:VOӢ|H{*8zXXW2NS]6`^#ڲʉtd7j,]vF8'9#2ؖ-FPYΫ8|Ff( *-l_݇83Vy6d jM#߱7+ʶ#s̔7/K6wlx p7v9%@G_A@kEI5U;N(/˳ԜQ+dkp鍮$Hgn>z g?~˃ti_UG_#A[w9R-_oFﺩ ֫,3qH/ðF= :GniYJ,jtCjc|ӵ(hADŽVLbRr:L*29̀82wX#I}eoWE7L l1\ekeg"{onb2?(TI}IN#_qs5C|°LFc<'cYOg:o[%J1-y?J{{O by:z!x+o`)_P4Ze<1SyWW֍Cs×R +.[kM@e፠qGEmRZ`ugI/Չ]`.EbX-̻3̃$[7!b{#lL[F{N ?>F߄EZII}|g=>"-W(ۙ*\&vE$/lBK%)I}y(;RcE"ٚ#_e7.۱gYZ7zXZִF! 3]ŗXiɟ˕A;[] VmTi{RM9%^a`a;ll 鲔Ûclڞj| zڏȫ^ Vo :w6{Uz;\bWyD}|p 4J&MtQ)h|Sʒqp(gP֫V$Ռ \Nﲎi%i\ij%[GA$Ih~:_DEKR2K;eh2NrpxRX`ZS&zu Qøʼnݩ0Hm@MdݜGja1Q a|gYZ7zXZִF! wo <]ŗXi%L&$J C>R>d6 d1`ihkdJC&iey%Z1YI[bHټ9ZkiF׊VvG[wʔv$1;nWƷ>mDi/< 7ߐtӻNEGswqbfw" X[-?i]T>t{a6TUؓ4&=կ3~H)&B!nβ!GJYyE`=N#]iC\9uR$ n&l M]1w  b/}a%0'ArdlԾ׏L}4/,0.5x`Y}ީIuX&ł5YdE VqdYQ_UH |t1.DK^/$T[; 6B[T\ne]9| |.1VBhB4H8p\r0 aZ4  Iu)ݏ㏽QZ>w턏rO-~Du~cȣ. VX4 H)H:x&qv$a?0b[ɇZ_3~ =.1`{ s g o6 Meߊ8&+]G&̶nYxxziހɁRTu/^L!G׃ Ae9lf"NJKuջLHѮT_ yie` eYmct'kt=u79_%Cц'6bIaN!F)xĩT4O ^KjW8ڴfi,li<$t7Jf,XOMGV N@鯼bGBIGt}fb!TxJ@m AIGUL.+]Wn(n`-P靁U*lw b&g5~ r&i#{xh ,1ӍݿIǫKVսc;i2kG&Ѭd'rSfأ?Su Q\\PQt16:@n*PRQx2JCT4ti~<ѥ(+s2 B3gF(>~C;xsFԍ)g9n#UAFnc0Ʌ!wvA+D aWk#f:Tc۞$&wzwpU0$k99U*@#zl-|%<;Pגh4֗D怤U,i2ҴeB#g^rܡfsr$V@FVI/hJޠ@ /$őOX8kN@>\&,T#tbȑ%^J T@\lzOhP>>xÔN_~2qVq3kT#f.;:kpQGC[^Pc $5%!Uz$MK!YԚ]9,h..z8(X/X@3[ ;?g,ך*ieڐK!3vsDN@,~JQv$K"|m)`y#Nx\4/~nドJEvt42oPujz%Q0WC=s Eqсn1앑 .iLHJQ$CFbr:;;g'🾓weVBΓj~v0I$C9 }@?ZgðB ok؊<**C?+y5K476Tu;iD CWe,.\`ȻڲN;ΰkinB&aa6A qVf?qf{i6a_\Dby*eŃ0Ra()MwDD jAw2Suɘ3uv!%ˌ%ؕd<'( JegULpg|g6(|TytdMh l*6ȄQĹ:;oVX# U BL{/Y T)f+"Swĸ& SV3):aЁnNE2=]&Q ,. ~;K9t/|T6KgmSe~ UI{FF v@M0a=2XewSs~)W0AeM<IL>"æhd,_[]1TgYZcc51baa305da8f5a6b3d4d446a7d4c19dedaf96a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b