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 ..!d4t ]I LTL_to_GBA:threads=4elapsed=158.222cpu=522.896gc=15.680factor=3.307zXZִF! l]ŗXiɟH)0%oG&Me!Ó^c!_6oP"O79v"z` RT)D)3p Gn -rdw|4:;ѫD.7(i]PGJ/IW*Am(s;GӶ6ܳ!DrV~ٜ:`uW%-~b2A/F>bG#u24D{uIq/#/]*š˹m1r:lY^'};4BaqDG˿'`'ʹܰ7=!0 ZN+_NGj Fo1"׸c~0% ?mP0*=GP9rM@Ӟ[ rFRr$F6^cbLbN]Qϱ/s&, O̺{DH.@*P\88)͟\F {oZ<\x;'MwF_JQԼ)J(\ *VdV~XqjF DⰒHnK,x%-aO6KxZN"+`M,ubA2jQ9M+NfI3WOWP~h(4O"`>WVjɤA%u/ P4KvGJ qVD?k~"v.$|V7axO\tP~8G}Vaϊ75V|uį+PZ+g<–;,[?XPpyQ,li+8Hj.渪a|=>0Gfh>:$qMILjz/V:VA#m2@8@u0% y]#ӵ 0,ֺP鹑0U11c v`ʽʍ}"Mw]BSk]j[Ximٞӥ*@=׮ke`0cxؔJ0(wYnG!Dv2ɤZƵ%f۵urU]u+{17b.!Wԍ.t_4wcbuH. tL'@DG4-jtM0JOMEYQ P=+_/M) r ob`p.Xsӂof;DO[(Y\! %; *Z GeP$FᲊPpKn3d>OgJ^J)%سE9(f "nNRz:Z, ?y[&HiټN%:/W7L.G\ 8 $R^3k=$c5StYa'?K1&SIiQa $ AyJP>B {\N]9 gy %:G;ʹp* :o_hA,yWX~ɡ鮞Od"WeZķIGf**|m櫬weQTނ. hA[i55(xjj6u7j8`7+ĺ|VRJG ˒mpkVTa@ aܭ<< ^JVtkVt] 3Tń+Al->/pv~ܔ788 B1Iˡ#x?KH, R׀N4ˌ~ (э9us^+!6] ,ѧ RHpKUO4$m% £;UKPR4B&hЍq[0耀|Ok/kAN@/YO#slo=;̄tWtQgċ|}d >*HóNQ`(tn69#yr}ć8@?:WcL f $&k 2(ӤVQ(fe5M(y5 vmF(5EEa'-UQxH˚A&%,jgH>0YW RnXo7 pd|=U:ߔDZ1HK,C-Qx@ JURz?JWGB"s\W4Olc^5TXlCKn?b%c] ֡bjdV)n#'׹|mG{ջ|0l}%o<V &j7D/H,K]_8O@(v;IW|>=(*2m~qK fVy)R*Gd. ~ ЧErj$թAE3DhEQ*8zB̢5 Me)ַ:.?Ro笂`ۥ{kNnȠZGM,m?LE9[YIň嫸VŠ1eBb- ?;X=y 1P*̔EJ\Bi>J ~OmGo{ b>BCI|C|ݽsiV[ql\NMT Ҝ\ M5I"M{0Fv\>ꡍ؍]cme@WA+yICfXMNFۉ1$9 Ɇ'/:zCO cP婺 . ZV1wAD!0+̄ ]у6xuAlwP3{7lٺټ F$ O00tIK~uA}/Fv}cm9 1WZ_KC6.4r%EM uY*Mmm/Ht,k$(dW*ҔӼáPC qj߲{!"2VviDڣH/Zr4k \(SY*>^1q.9/޳]U>!!$#r,%ұo7T OUh-0g8J~?J* q#Z¬`cᩓ^g>x VHh=Ԫnp n^MçYc2p nkQwHOt/؟n[#+I@./m?0QBT8~6Yѡ .- Uz8[e*t+tH3]VYIEZ&1j֮*4X<*%)PV4X*C؂iPAr-U$8j%nbK; &▁r?*,+ϒ Ыs1=.̓s {%Km<И~"tD\{4v n'"}\ 6|77%V*D(bù>Y28m(;n,tZ ]}̺ЛeϑrS:#nm\ ~e~^> FgnM@Bؿ=X8iղ%vb2-Jz%olYTMјIr[<8{jE>۱3 eY2y쏼5h@gxpM0H g<{'I1 U3N *G9v_8h,?R#⤌c뜨sa/>K\6(a`m5THfU|,.pcgqĩv/G"7RA(J'0O{٢yLHO4}}Ғ@NFPV)[H]3ł 5 +9Wͭe ^8^ DV)@ V ^4i)ޱ\_[3 GHY'wnnF$3l_T{TY! _s.;PpXz- 4r|yCȆ^PK{Rr2b}q`J Q :Ǐ{5HfYR)(Uؠ_^*8fT1z4g>3/ e4MIx7_yn4moJOq7L*e =U'#G5RP2u͝HpR0f^ûsC4JF4BY TUZR^A@[9冢o_ЫXO~ FVcЏ/;:"GB#:_Ŝ{Ցz҃f&.1T :mWq:lLW>x@^6%r2iN9;uuIeIұђ *X9^UulR=XǢ`aEaK-ʿgF~:.b:Tӄ wԓLl7+`A2It.w_+g+Lc5QMRk?aMH* )dg]MT4yqof̤qDc!6;.MգiܹRqmr+)Rd`Y &A>c<ܫZ&9&._</swcOZ`7(oQMf$e<6EA4]T $S|*|=gz̈Bt[gbKwfً^-@-;<.*< \4SU vtj+z||5E?_,i˩frmR1eȦ666cFAȣT͆y 4JN~L݂ZD$Y+Oh>sع/EJ}Ӳy >࿀c/T,r\;qK<}-@a2pCJ+XUcL|C)ЈhɡZw"R9J}q7,N.O|; ]}9.{D1||Ɖ6U,$p4ltر IQsaz*`'yh&ҁؓ~{)MOK^(hX/b=K]]Nަ$LHnVّ] K=-+dhNο~m|/}=j/&Xx'4;Ik t1ֶ-*YcU#4,j5`ҵ޶pjk)ժ]n.c'glﻍXkF `50f@fOGLׁfo}b&iVOx6g r͍ kÑn3Z=;^US;Cr;53|Wz zxCh:Q7onqX -~98>g]i)=_4 B ; srv1-Go:+͛vOG1i>Bf]\xטx_Lp 3J(kyÂ{G70vFRV\6gs"gnqaԾz '}|Ly!a(b1-{Ϩ &E!TΊ*&&~:u$Ԁ7U;l"J`3ݿۤ*ZZRVrUB&Xyu3t=UHw;eoA{%֙O+h  ?\"СY(g= JWnā]ME\yuvI@HXsxiҡrvʯf LrA̖}7N@0hWCj؄mXn #fMVDH<*RCi$r6$CY]><ֺ5 nȈV@((TW:{C(-6#nEN-gg$:;hiXoؔnL HCw#7o {mbb C4z9Tͨ _k:Srz*m_roBNX8c ]Vĭp"A?e|Pip RQMB7B%9ZMy>q5'$//-VrfL'$qj2s%&b90. \ qpi4 ψP=wN<[ŽyRm[=GJ! eɫc\h܋gUY{g*8%8'0@xV2v}j~F0h%p_O\ýMCquMSCdz%KXO7\Р0xڏq2l}$ܰ (SVYJr 󈐭{%`lKtI Pٴy CA Q xȾj.|'SY7D֜uP "XbƮq+Xܥe U|y?z?:=hq\ dut<;,l֪ -Q|?씧I3+xb[VD"Y:\WD~Ri9n M;(e4{|7yCx}C[W`Ng>ݩ\ڧ7mlrHfaA %x(mmL 0 @G/U<^nVY0T8Mxi<R-~|Fj[ E0h}=T тFz:x4x,u,5vBH @; q-G%/ v5ZB tsW,v TQ/*' n`ȧ-fVqfჵuv0> X_\qɫƥ5SpreY :n+QLKA8 lp>%?Z_]q!p6cGid7i2GB`\?:S+c,|ذ)U\x) hv6󔾋^M qjnl}jEb#\Ql__e-r3Cg@.UnɏhdKPKAEɸn#aOx\h[:YsNkP'z~8qMM @$[p]oP;~}ώ {kEF(M2 8nFpeDXW~ݥ {P3LULir0TatH.UEӽLY+"UTvi5>.Y?/!Y+$b17LMZüF>ኝ7QE=Y|"03en 1<ֵR"%ڝk<\ |KSZj J^%ӔAFi`J!Xذ`Y%EUۯ[}roµߥC%*x@KdMR _9ʅvDSm>WNӳQ݊mG(G]b3gPI؝e߄15܆WHL}ygSsP sЪmNTp ԯ&,kLS$&}eiK w_7%R #R.ZtdJ崛 ̵@7"ؠ9KDe6_k3!娍\!Se 5p7Sy|y['I̬Z .yLv7UD*G~Y-F3V]dBXV;3х~7t7e{s6U+Hx$;NƛoNwVsiŌLpW$!OeO>00w>U,{0M{eCDA+8*֊Ea\۸M5V=Kqj1υ;0) xB[wr 6)Bk[i++sC, 2jDtTr*Ln8d_*LE뢶=m|?nI ް5>H:rR` O-Ah*e`?Tu%T!nЪӸ!NI91 yaL;Ɇ,ٜjx"y1~&"H?ԞO( NعdmK!QM 0z6xNԿp0Z»kʮ]ͣMP"cۭ˃)wW;( Y9Sp[}=u]jreM 5{tX6iqz]1.V0diB37lgrb N0])>€s6J_W쟙VItmD2SZ>3J7CO8DGAxԓw@5]lHwbEGX,?H侇rJSKV~&clEFdŝiJC]T42,ny5-]d'M=!\ڡm20OS R1Cre)yj$Cr`M u'_Cr/VbhX+_u[@_}Z ?Y*y2i{=&3ڠ/09PT/rМT@\9 ]MbC:@; oBA&/ei en2~)I Fe˃7XϳK^Jy@܂XB5E15~ B9n9E|bdIȮ6 (`/~n@TP>>8?Ya`pҩ3:}j N-=\>9 |Ѻ+=3-zucn8*IYeѯM0wkiꕍ_BIT+qĜ  Z]c4O_|\Q;g*{we. F(q :5ۊ]֔RUaFھTo!K n?OƎ+*n^0uHﴃ% ,e!y@`6:߫$7<|`k8?3WI?%"GoНbYxa1WHh|٧o[>' L+ヨrz(Ҝ~X67dq?M'fW#(oMvR!d-3b8yܖ}?^mu7k Լtkѐ;/ *Yl;|t..H?tD;~ѣ>i،o nFrEk.e1Pߠc'xKZfCB91ՂB| 2u_ӁNuU\F+0OgJAwd^ Lo:bc[ý *raǹ ?OνlG=qg@9 NǟQ 5Epz@_  #n7|zTx.F=Go޹ NX>(FT dtW-̉183tVq x;^YVD$y%G/75]oK<}%+{+"8j+~O !o;'1\$ȅF^zsR@ ƃYD q$ۛ#H!̸N`̮ՃzhD =|^sgMk̼k^a1@vL@Y#,4D~_P :[sPzE!?/4j-s|,$JϸyפNI_v2|ǯ!Y~jEorZg)i0?*V<`jSEr9x,5\ 2x?(d3x݁w')vMTWʰy+9G6tͼ]$IuIE[Ւw/ٽmxӸa{Apd_eqX]=ijJ_/`'eb A>\(K]rQ ulyp!Dw;M]q<\#/pq KA߁=RGu <v,V;8:2;_v-D:ko-@cSTbmߜνh.1ŬBr9IiV$!.G?`q Ēw BNF@>/5B&m?_DromK$|IlxPg|'uQo$~w7Dp:02*\S,*9L/8&D^chfO$ -j\7wEׯ$ U s[V!]hq% euѝQgTߗlH 9C.L"ssT V!Irץ< !/zUN|#}ؽ`7Bl+7ۊ;G(YiߛEw%e31;?EJ d1iѕD7]Z^MhpiټՕn(i[2j^!)!Ҕrv@OFb},Y*D[(wFˈ,kw` D'_$$F[g" Suf{u߻bi Ꙙ QQcB `C 0~vJ А~„8M;yGNIC@]#lfףxC-#pfwfgMr3A媇",?z"; %7&GXZJ  W_/WOq!hIHHIV5um ճh _ch25G6V0KmH_mBƈQ:=u?iHR)eι hV+@,^Q#V0#K&wnLej 9eƆ{ F4ȝ[@Nlt0x9NxܠA0nt#%W5Ae/%2Miw.V.L*B:CO3ž]ps 8E] %:?QVX# Y<'7[Ĩ4M~ngMr)^;u A.4e IuRSǣ-XQػl? ,VۋAU ĺKܟa7ObLG3 ywU漗"{3|ýaiU^E\tky\קFoƒJkGɇTDK8&G 1V2B90C P Oݍo;T1*28@3invLid٩0 AH3TT@`ˣGҡa=\q ?<~>ˮ!o4goɒcDW旵g4uXۤ| V/Mi@IH%"λ%f\9vA{"78K%jro& %zLNI&j(9BUy5OxXEB֢0S7@5P(C':¼[Ff5$9hT}1%}ExxӐ`.Zk@0m$Z~?:F5Kvĵ c$ Ŷ) EyyR%B3H{LYUvX KXFYHQLN)F.Ŧ/=?_.Vd$<. `G`w 5v޻*"\ńܱ'㱂~33n|KT}+ƗaC]Oa_74ܚA;sW˿(?Tclw&5ee24mVfs\^+xl6Jz&*I }K4d\Q-'$5d*ܾpGR5̈45gSm)E9s< dYu)]|n3N syhcpp5tѕ<*_H..2W> 4!Zq*^rw9SeJ\ -ʝ~A7aPH4pUO5P?KJ"[S(21`pf5:2{-C*Xol_Eo#htlPTLmLv#|ԛszYRfJ qZC9Iw_{p# ÷:zmRFU.ݯj&*;1Ov ٱa /Z RVQl^e6RPb;x5A۽0I>Q= WƄvT2)Lj,#^ӡ)^`dS^*i?Fg~rvY$C{zt$1XS]> C[k}GկfAUUGe@QY5ڸZ~a_d!^'5A;Fj/[YrUY^ʓ*]y T|a{F٢~R'&k:ov]y:~nw ;- =]M'hIxLwS)d) chMV 9ɛi2(s~ ؃_;CC*Q<3Bru<(jJTáF7Iʜ듬b;)R:o n8AFɾlG/Weۖ[HI5sPgFkɰ /:g>M=l!wC~f|6Xz ЩffpMS.GMb#KsC TD@]' .`|!c+eu2N=cūT8T)5`ΣBT?U"{l-Ua>"Oa%=)Cϋ|LsY*J۱,Ikx?`ըcKaǴ|}$'m,)ۚח|Ṕmc7WJ5Q2W=O8VnGq+}4h@/v2B*UBV 42Xxc+p4|~/c/;Bne >k^OR;r^0޿ "N,IД`O<)wRH*g.ḧQ Eo?:!T+9r>γQ0M1nkM4kcd"j>KML/>d qLKGGfhSѹ:zUD2Du˗B&S=aj"Y&6*7B#,L .&_DWnWFF" rĒ Ɉp;]@l0"b÷1"n+|߀V@)vmGeL@gLQ4{U¬&BK'!Ϯ@D iģ"r.^iOݾHM-dHT?um34/Ҩ) k4ՀY ZN%ʏټUmOx{\OA:X K4GР%pG r7ŎSVJG>4)-,HSz SpgmnM,/@EYgFa#Ǿ z[ԘW`tȄ%mY_}Xs`jRcsj @!Ix.7 ,D%}*C!,ؙ;FYFP/,#ƶ9ݓcCrFV0T=Cj eGfE;+_.&7e)5nCi;@(+Kٜ|A~iə*{:+9U ^B 5.* aɼ}m?uv ~&<{5]nBt=E6%HeEߘ&*V|kʬp-dOfKrHӼeAFl./HQ:t__87]w⺬fm?89s+!*ԺtFo+N"\k0gs-L-e>kgO@%A&)lQ+޸280wȒcoecqݭAΊBHD"'%r1)p&G%L :jũΦ $|*Qڤ;Wzm VkY h ۄ}m+q-.$&g`JkLb3B}%$%F;Bל)mFKVAXyۄ[%MAx@uE-k7q~f.]~a-l*b15~AS0=rYk㑥4Ȕ:7Vf&7!Oω L"(zRUpn*2^<+)@ yYU6c,~qbW_Wދm #ZOoA%J=ن -$)e t1Uq52`(y=4RmV"ڳQ{"Gy.pL5KoL%LJ~?{PBhD0Hnrmoղt5˚[<\ ~$:8ҺBw^)Fbr0Qp+x~}A% SNm!l{k1ŀv0ym+u81`G{n`[f.Wҕ,7"Nk/VxО%Yng*k \s"IWv?zMUƇPL7-&'|Lϰs_PBѲ6~SV><[&uJ~օ%Tz# %A )c]&R-;nD8.WrEu5F)G6M钡[xM]?9PG{܏Ԋ6U$~֗QPB:&wimŦ!Q& +ݜ1\iCYٹ^<;uU_=w1U1$[;,i.>G9xY킈! iu)[fRN Bl۰ 'QJ!ƒJKSq"zq4_7$!tb/ƑS +(\oS}N^!f kx"b@_Agu0xϊݰ?iޫH ρw;^8/]N^{LqA.ުx Nw0 J^nu!ɽ&(NEr ;TdP= 4J#)!3;nIc84";.)fϠsC4G’?he+w0So;}@< Zk4AٗEvD?=n,RIq`Θؕ) jWwcmXgՕv'~Yc~Jk 䈊ur@᜙pIJ6Պ~\ʧeVU gavemCI6 Wm7soT%Kz-2Zw,R_D rc} 2ЋG`P)=<@9A6+zI+QM^!~a:,Q&vzҊ֓6+ g>^拍Da!*ZQUH&tX.Jډ#HΔtI! Fc*Ԁj^,Jg"O#U++|JSO>4-:d̝oK#QnGRHH#rqU\/;|^98a0\b,j |.cJhQ$c,,([EͤezFnJ~вvWw~)Ni^JhwJToNI'-^ISaBi1HX l ":}wJP'H£;6#TYo(vt9LJQ3ER{fr|LGǶ]%D)jm-1bַhȯAﶍ.W+Y~';9 e)ԙEi 'BXgp7 |DŦ~%v=h:.rg{oR Cw.T{b Vusy`N2e_@V™ø.-cJ nIz2k}7JeCyӌi? Nm= lM#H7{쪅fڲEe7IЂ-.r f[ץz.xv\&UMJ{9bNGgi\0߹ziTM <dKrʤ4Vi>Z'WhVVEgY가x+/{X!~I1D8Ap-(C˟1"i[EJ1lul}MvkA,r~ܒ2YdV0Ѹ1,[n;ةF6ܮuWgb8 UIA2,`l!0)RP J @"gG\˙4z7* ȨzFފwtIʞN$5qDoأnjpY @\NIF&S.ݪVIPYuhr8ԃ%h+~4o})Ti~"f`I7VA>&鵺}8dPm+$فT&֩femimŽV W#,JV!he @E[ kծS8C;Hfy7JǰSɲ=3ƈ]fUq:>=K #Y,D1?d>ΔBo9cLFfXDpwRx e1 ƬP茆;o$.w:X2JKgd=q&)_'PɚGܙ\_x).\>c :N/vA y4MM /I֙- HpW͖sq!\r|}rE"Xc,uV@_QzP~}d#XO E~/^IN<N5b~ۥ++^*☣RS,x^;7_NpZ7[vjBhf6_*8\Y^șM5P x1=;U_I rjߞa,^T@b4ˆn8oEbiɲ6 wV8IRkRiHѱ՘ʘcf> !7C쉫;._yN>;~2<'l`Gn??uwEFXxä9b̂lydhjA;V N ,pǬʃ3N5*^ O /\YD~O<2BYI77|m w }&w*l#PQFwa)J֔sC nyhT-XI) +fK[lLջ)ׇzpU,d[޺.n_v%mݫ}FI]iM d/q`hVZ NozkkWw ;ޗ3@mdPn`!2v0O$A8?6nHx0Fj BSo%ԙN"bvTEzF Z2Zfl%!z:F/ j"j6ᲑLFs]:}r&Xs'A@|  eBCDz7DۚI Ob*1rhϷNC`0K-&0ku~_r=!]bo0;Vx.hZPvԖ0ؖZk:3{IOz3AIdu_:֏PDLReYfc?.` &DZ0HLR6lKrMV\=Pv .IPeU:F.*%冎\`D"9]>K^vNYM y̺6t'ҍ%!WICB@> !őhi*f^S Q_/~[m⻀mS#L\fQkRևmyO`DPg`OJ4/#?Q-Fa֌ZvӶDP%n !@P ϑ>{'>N>vԶ =n's9X=T~$-!3ﬤp w;m 2iNRYYTEV~{볓ojJŦ}ɞh :yC.x hgUY~K1S *|½m>%iTLtlDs(D(Ӂ|#;khk4l6fL(ZIU%23zr.4tnzk1Sat~ a'&.lP=$40Ve߹4$5L $OJW!oKME|V|ipeH]=.(r@VsG!@&ْt|ŦXZrk_*Ʀ4 #P𙚐v$A܊G)TƠ諢93>\ƾAR sariM˘s+0@`6>8|.pugdm!]TCU5q6+-+(DhiR5%;}r~]z;zȼv84xfnpVi.MRH0bp]Pq66 Xɇ0 Qw7ᯱ.7ΚV2Қ/Uj]qð5`*vFb}<(b%T& {_VoH'0_8#S"_ː1dbwZM{ I5> Ucö8W;pqc:bgk9fp;7 IgzY"KzoZğ7TVԗJVQup"DOGgeW=못L+cQ0W7t_z)ʴe3MMe|G0ԧ a@'ؕVȧQC mjʑ=Uَa?=ήeRXd}RQ/@dR}^q:K2Wl D!-8:1(; IMja14&+LΧIⱱ|.I/N]3X(ɯSY6/FEO ]xgj:k32h=} {4(=RՕxxÜNd{P{FQ+NҁƤ (*ৎC(zY߃,8Rr^< vuKt5Ry4CCqO-QSe>ޟ6V \ۙI c)мt o2 59O3f:{TAyw}`MgT^iB)KnɹyN#ɹILkG2J-8~,'aqDQ瑇tctuv3?+ըml?݈n ?Bq)dJs*ƄZr,@ڰ[,?DwS;wY# N4޲~z#NڠyekwD6Ѻ>so%8m) @B|bl_@֣Mf60͡`,1NyJQ\8CH_ɸZ;m~pڣAq购'?up+ihbF^3Ń'Q->8^ }x5ȸMd"f%ʶ-lx<$n0R/~S^ 2N"h$IlV-^שx uͺ/mɳ6b6w],AԸ;{+n'=$BYdSr)H}ޔr/a3UTlϒ+e9!'fiQQdttgv9:A* Fb-4|9x#MTږQt:) *,cٴ+I_q;d^?n]ٽv]ZCziʫ.W '%y L7RtOlEj\M3ﳑN\/E,v~vCvp,X8O_XE-C]ǕQ aߦnC!ox($O5ttg=]iud"8JDq:,NdYg`A7 ۡvg6gC+_34Ue/h7!:Lݔشl&"]%'v mR]ZJgݶ>Q-XVk{ryQ^NRʴ9猭SlΙN}4*\*w^?\uy,-m/lͦ,xg UUIJr&]j;1SMHYr4~-3cx_-&gf7>T Y'xET EOCIlwD:xphX젩SbT=_u+ Z&0].|~#z_Ot)MM7b9?P ՙ4*,E-CtӪ?[=ʓOhMMsO*FK)MΉս^ę37I2D,hՍ7%% q7By9K6f<\2(\^DZMR0FWp,fFqzP+E '. X!bԀBTKZZ8]d譥v*DMR|8Cr](fD7ZZ 5_/"$܏'rf4M* 1w+([82 Qh* $JWcq̍`Z;5Lb횯QPS#npNprycSqgz7 xnֺbL]@&ӇG:+ҁ䛧׬3O4-[Tb`L7\# @BͪxFnmѢSF dsyn(j_7#cK#&A\^Kqu; ݫ~>0CB?"u*HS# wk%T>^VBeڭ2w.3OT7ʹjX*VhY_C q';74:Q(..6}9n_nPJHmV>ݲp3of)n|ԕ:֮0nˡ _@~K@{.bypXNp6k^Q %60ؼxō0;0T XXGa{oUlEܠ|c5Ż9R6P0lPWZ)LZPtpɆcr.ub+~]Kl?W.1 !wk;^J[K :B\[bgF%,VBu=r >\.ݷ\ v Y=¦&$XӕMx(|擭!j"^)-*Yե]8GͲe3`T2/fs5G_bنC>$',H{?:Y~ϧH ?y=Hff;NC)2 a]K[ 3"ZvjgD Z! 㿆 aVyt`={1L}*$4k}-mhaYȰBV*I0uqJy8$iG1=.^l&ۤw1AF?'5vHE_lX!0yb+ws:nx8C7UYqʈop 'O? 5a8yf#_8Wꆤ~E/^v_F#wfx)>\Ibx?'A;g&<5\`nsik[?+cUϼDf\^nT#ZtYlHG!1k6!BGmn4Wod2,S['8NB^I*xur=X^>ٹ$.=NaFɁi",=JG$|Ҟůmz:y` <78D8HB+rcJȔO;@7p8SJU=>omI9PG{<6n:EwNmȃIM 2~h:5,賖t8gg=jDrsi#eJԦz$-IUP4׆4w<M;٩dI[WWM癈rK)! 3cq`j.xmUO*YB3Ue8:N=ߠe*dN.G aLFז<}(~NTvv{_gkA뤍$[LV7Sa,]" i&<1ٓ,h9uA2Ef[`$,|Uдg} 2fc{wYzVAQe%wKmG0t,G-wdi|;ײ hCY,vl޶3#5mhå$AxHj]AAΖOJ5'v\vGBd${X {x&pUץڣ@@pp} Ul/qߑWPlf ԛ-+l=}: טSoVwu "9ۗC7yT,qN֊PL&7rYTw@@%|AdgUsZF, Hĵ3ඛlj+ 0[\3Cv}صֆK_`\Q /o&-Dyyod1vEKY󶥟+U&NAtTpb'L\q&Vn@0]Z6#F(62S8Lm?ճ ZpZhީ_ƺG"oZN_@{MQ+}{l.FڻW^^RS&8 ؼɈZ (zXTD8X"'`8׫K̴̑b 8 t gbw8Tkc&Q:;8'\5,/88XQ4tp(;ܴiV;"E{^HAܵ)t<)OvJ}fHySfA^wJ.AV٢ q [ a[^*Ԯb ^q2W7NN@9$\ry\="NczidVl?}ap N K~MmM 6n@^ɏ5N8_OݻX I}C&iQM}ƒ |2%MԗWN'gdsP|B0dt4_3TߩЅ6v V~It*a۳YkuS;MHۆC1[ @-MbN jg`V]^?UqsS-gh`wxeǴjV"Tf S\j0wkE CBvu,rL3"sF|gmow7K)ύ|1D'0 ZFBfs&Ww\^ fUvo3Z~baxS8b 24-plX|HO1CǶ$rPF_]\ai."КE8R23h־~fB5-ȭƅC:R?[p)a]EbNق"\gSU'4(Cfhzx8>=&bMOEC?,}wSo.ߚl-럎w|ikJpI`ϰHK4z aa,M'E)5XeuwW32ql6 Vվw#FHΗ|w]={#|HavD?oh!la;lF|$afEb(;:qL׻[#yrFR5nFO571D'GRԵmZHHG_bW ’"2q>fsN[æ;&YEp0.EOuo栛ع/h=g&ciHCtǹ9d,Պ@_4vvX>2ANCt O9JaEe]'C?JUT,gJ˦xϻfl&a`?Q#\S۷'m'0\3h'7E3voi~ŚpUf 8%IiU~ D^/׻r"TQvSA[ (ݯ1Wؼ񲨼'3 %K9nƳ#ךW⊋nw%WD(:< 6ꢀO2@IY=6*4Tb|'/FJ˿ciii7T}(6>\T1n p05 `%a>!62QOSpY%"ԔmRV} F]: G' e*hY V&OwD'wiPHI͠~tgeR jy7DIW?$~YDE׾{n!L ղBVD_]A] !n] =S uY:?ݴJپ$yL+Bps(<+xu"[<@/|zn l Ix,w@7@ElA j>@?0A]M NG.P|jЭA}=(3x6wʩbhJ*Q?#F9~zل:azΦQM7Kͽ N#R{EM5]\ڮ5/)?fM!(j'>|/ImA,)ueq=oe}#"h ~7ݾySm|;a\ps7Y\M.*L=4K޹`%Uʛj.ÙQUq4RR%BnQۦyꨫOnTfW˷D.j6)]"gHFob⌐=P*w8K>v+lP(04P@RT1 K̑vѩv?lԟIҥY}U~SE1^t3 tߑ'x_cW\oDtEBbU רrow:e?ɟj=M tz`w߼IӴ("cg^VX>Xbfj*;L%jj.mgl)*-b11n]i݇3\8  af>a{P 3J+%@QA/Uq~ +!׌Zs1㣕5%.tO؇ Šm:.o}$q^!#!Aer;uK'E}A76KJX%߫\ܟ-؂QCFypM daz*rHti L=#cfI%nG*ԧI3A5;zZo!'i| 5Kl6pO?6+U{?4fӹ/>Z`l=O&0F=^$9˫a9eLl.#JyX$_fA%S/FrPa2?{F=mIߤ1$c[ E UX2_!op0Ԁ}FT# 8 %sNjC`F7s"<PӇpY,$1ogc1| bx1[vwx 0< >P./ "R?R*kc@1ߤFM=]jS~^Vy!TG\"tT3[`5躨jCwЬ!V(aejqp$+wm0O+.Ruø vKVWT˫AG,S@g(W9~;n1IfblH$=f9zu~ L!! vUf`鯺?{7A²Џ}p"̩у_ 4+/ርewK58ze 8^ "<:W5N sB/f ,4# 0Iޞjy_E20WźފCV4xЮfRwh f팜!y$BXL+;ͬA~j, pv l%6 o޲UJ:p")xLdEרOM1 I1QŅ ~CylҚrtBcG||OeX-|I@Khd:9rtWI0cB3cK)6&Yh@WQpnEO"= D5[˺P(8*`9@:-248{k]̪mD40%ofT ފcL"#`YMx*GUZ3cNy>B+XfDt'o# &FDX}ѿ1óϪ2fKD;/~ ʒݾULPE@T*LOE8u+Śr4_?!5`De X5@ZlPִT-kW%!o+dIdV7p I H{Q+ro6CtNgCn tƿcrzXX?a/E+b{7/vAnmR-@^\c8DeR@A쳋m+o RxM2 6"d|0j=KP+,ש}BqOyDk}{G`$ėQQ($.*~/"(Z/M))XCj[ȬBU )"n 5iifo ŽT!V. 3yex+q rg#mm0<0jj:;x:kfΆT랠fݷ|9:3>\CSoeeDvݡ5Yoy!5p nqLI97eB9gK݄'lY1͋ 0D/]>y Eqh,UEm-;PS9EY 9w{, sq~˛>oVIovVFS3bَ-;:*^sw^͆͐s1`QD7ց [P#E9Nۨ~>DSK;'kuLEÈ)ӎź)GYu i뀶SSI.WdSQb5b?u6!Uj\pԿ %x%$ Lb=pTJ(ߤrEgVG̙{r0[:xׄPCHuþ^:yn؎G`tg?O @Cx|ϏZa߮]E}~^Hԫp?Pɒ.Kj39z-vӡ;ҳ:é}8=06'8U:SqɌa^kH"qFQ x_ eL%uax~iW6:lb 4')m8Z+rF-u( Ž?zԻ#%|GoJIԎ9Ή^&?*ll##"RnB<|m̌%9^ȫ!VZؕbJh^-cqe\.9a肺?rRll χ?Ө)5M7< >=`*Ym6l{V%|DJYƆR΍tQ5z/6萋f ^~:~K1̍[>Xppn9`>uL+s{c[ᐸvRΌǵi:A>MKhڄY-<Zfb Wb[R?_*]LF~wh*|T'*Kh+^4Q ;|f&'r\.AF]5A29glW|%ѤSIk}YC15ϸod@{h%C_(fq MAvz$9R;`TiPbW?h?!M "K$o܁smBܡAkS62F@;aL4#2mA’>v<(Z0=jlkf-n]}^ 0!K{U<"x .)XJqdBrm9׉`Lq"Oe]f1/A u ϊ\/swnYu 2T>h顉bڗz6ˣZzfoEGѡM|ĽL*JgfԹe=r,ѭQ'{)r'ia9KF/u q~5@iXI&uۆDXx=43pc 0!1# QE7K2B%P4ˡЮR>7zTup ./bLz=X0&\CcIN-uȾ=˕R h}zܺR hl0z*gYZ7zXZִF! ,]ŗXiɟVNJ`mÂԭdZ'xK1/Wh^Il6Cމko*F.h%gX6lP#eD:FbDZoy\8ѹι|0Jk&}Ny;$baI2gYZ7zXZִF! ㆇ+2]ŗXi%L!l-M+P|#eW+~׷Uwt6YgB$j 1kOQӕ~h7Z:$2a6NhHܵ,,]b=;36jD%3WrٮE!Maל{NTְ[*ރ ;4Q@[쵃:{@镏]߂Sjs`VZMKy$=wvXytr}Fxu!xq (B&crB62 (i54++-ꚹNiMR2-g'04D4'?k K0IoQd'h]>?3hMlsütD18P2l̩ \4T_+c#xLޡYIoN2wm`jl)};tK;{McEZW뀷-4ccAGŭZSV)\PV5->qI A<ͯMXdc_Ifkr}] < %/PDIͬmo8Kv2WN7|̌ dfr? 7uy-&TNpeE)Cڞ%z uJ@pEլqjeRo[Y(vjY{kBAs/k~)ߜ+2FD}gÛ+Ϭ wVe w[jXhtD9.Kc9ePxWi}pm.E1ow~#q\6ƉECɼ#=ekbTMWOG baQ]NT%Z FhzTDrqI;TBeR)=5ē=uqXhV.=!+.y.p>>L_ w#t1xsRYl5iW-0Agm7[Mk·:{ t\H=Lt ?7&SqP{E-;󚿏M71mcR<Py+t*umu#/$ `Lpi$mf *8^(d` ii*]^Oy*];C{r3Ꮟ=ZnweAk 2,Y.J$Y+)-&kbWUCV El*01]W,myrv}%-n5W;RF˧]}XP#Hrzr,j<ޟ#!_ME0B*O6ke@;uܵ{|XB;'hX[)$}9t _mY߫kȶsz-|Ywv t /#vܭ'?G=,݃DK/2y`0蹛aM%Tͮ5 3;_vN6jCas%Wm"Q_ "'1-BåV3(7CCJnw=+4O.2[sv/Csﴕ!Lop$!iaj[:O]-\}Cy>>_wH)v4C6fAl (,  *FOy*O%ďe/]HgV]Dx1 8F_(^@$XU؉x +nZת"qW<1GֈZ}FD1pT/%#"}S{Yg\sg,+?M;p\g(V/ĝȹw3M')bځ|A7DLW8M *#r?|ߦP ,N6ؠV< ;#EgJe{+54"Bk *sfAPrxšB,vA[Y΍k.M??l8. Tfh Llxr$gPܫz%wu`*(/8MJPL(cDd)+!+6ޢؼ&wrp #G0nu+8.Ҧo>x:60rn} s%kcs(2aqQy`K Г7 MŐ<,%o#lG|2OL{_-U_6`L٭yGƦsO| Eg B/)Vԓ~ $ I}8w)[a'5›DglI8 )9`;z6R=- d[u ;Nʋ|r`4s]G>m~=fDCM4U> ٩{% 0V84L Wu䍌>0P^ o5]&,^E6R'B0~t"̗2QuQϊ Zù+PJDNxJk>a\:mqK:v ' eRYtB:tz3ˣl6 O0&Sg:]c@q43H O-HފZV $_x,^JLǿݡ zv(vYcPPVR~8к<7PqР2'q*ʟna TSmn3qY 'I7VuUޛ%mREqGN署q̺7*B?u%2dsO?_;qŠZW^P}gk Sq v-97C䃝G cNetX[OWܴRu}2d#RSi&O%KK31e ] مf"=j|85i}??klAQ3JzKtɴߵ3'떛xbwCp03t'Ē"x{О%ӫ4Q :RSŢ^rD::F(Oe>70pfhm8%\fZ2[6UіQG꩸iE'븗ax+kcȎOM46WXR9b5ht{KM¿]~z+Z5MVhqL_X)Z҂z#Rdگɜ=V=vzMr`b{'y>4U9R&o>e"#ݧEn2rMw΋ ~ocT6љ/VImSNML\Mf^qUn6#G}0SPu#Am&}G%x<<֜i~N8/}@x_=-X[|%ZۮŹ8ħbΞ !yǾH g In >Em߅`0`E&ִKw5!` ځ̫sC Wak]@׮sK,Rۜ0vZQQUDN*7ׅA87Z:LfT#b^c SL46$B ~n$Q10ܗdH}JP8dޗiGնkrkڑ4W*XBxn/iRƾ0&m'ŨMc >CX{mкnw2E_aYPC)BB e@|әzD))̉ ] &Q..%H[K Wؔ{q*3n `4)HY/Sz[T@qt=_۞N+u-M}Cن ޮI4lUd~$$ F}}V)SW"eB{ _%0sJ2W\ӵe:4Yᰂ9:] N4jݬ6UL$/$UK;,-ZLo"\l&A*ɂw$e|}4M0}{ DJUz!ҳB<8,lrƤn"/hU2H2>jPBinMJ:9``(̿gS!Ǽ[0{Z[N[rjHCxLCP2|)Hָr&:jD53Xb;m|o^v=ʅɰZw[ -1t)"; j9 LI(+0\KD 3| QdT)t A:6 L/3״85E,M0{{u@pI't\avc,M 6e;ucRqy#` xɂiz%:{w ?etoKqD.8p,$\_bÞMf{%`ţ;! q#B;BNOPX?FdS7oBQq;KAEKO>9vk|뀯"K E6-oqY$-l]pr0 J! B&۸_7w muzT54f-X$8~xW Բ1]`",W4yIb$짵6f }azF&+N ٿ yߩ.29ٲ9kҦn2uz~+֥Pp]W9ڮ04c͌efVx/X6T}/?RY:>gzZB v}JodJ &BܗDmĝ?N9xs頣Gtegps\ &)'K&ր+iy "%ƿ3&v0C앞D$P/R_G,ؒ/ ̵͚0* էHe78i h3c zv$ET]W)9 ;Yz⺱jui- -]o6gT3Qf`dUT{5b.1 !)q7Q# ,Gg4 FabZ̧EŽUt @ W5M9׹'~>.8'!U^eR OF 4gqܪIi8*1uB`k׫xk!UZ*$}#Y{66|:Nr q+ƠwR$H  Zq1Q!Ï?*JaԎ-2['У޽?p*ʮio;0/#IO婈D<7!J\`,%,vvDˌK—i:iŴp[V[*\z[}-g"!~@ma1;l&b85H }U'4Ju;x1vH׍?s]Bh?Pb%܍^vOwcVipS;{p!.oRyzZ4UHBͬe evHh ,$AȡEUH}¸\{n ב.%i,1Əsm]s>>uW hb5C pxS⿩F qsVG!R RzF ~Th"LO_ܾ҈&n{<Ӊ9eeq}`6'we7a_+H3•$saιt6jYG*\_QũH'ZNnSR}F"]\K-Q562#UtMVahP4*W~ÚF2qv*0QU.AC{Cl*G4qr7!Zܱ͜n{4fI7c4Te]/sT푦g3Rsρџyu%_S48lx ~ThdE\^R^F4!wq".ta3h\L?'Vjl7Z,U8fb L|̼Oe$2JPn [ BJ~[3e*7rA<4`^ǮOa܌D/!cAjfDpE3I]W%8?{|Ĝ2T\aPO$ +Q$ݭ36nCS؃<`6D@L+4 ބhx08]<e֕WF(|/U1rX?9?(pW@һ`8IWgD]n gw60Q"299h:ߠS*Mqɼ,T&g%gZaNҗ"jntGNeʟ| 5:-U3.P;"3[ \O)9"7dR·v& ~(Y@~][W=AKFo& h }ВE7]twB|=2I5ohd|\ahNZj=g[NQbqγqnr