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  67xl$ ] HOL-Datatype_Examples:threads=6elapsed=80.650cpu=387.288gc=52.0727zXZִF! 0]ŗXiɟDYK<;>Fb4d~w6nE]4Pt-JĖGY߂A92HЫD%8Jz[Qk$y8a|(_WBb_!J8 = D]~# &ln7X'mnj Qp]G%U<Gjv'\<'w͒1w!iq!msAUX!eJ*4~^XB G9cx#ȃ=N4Yv>CxpX. WW hYh7spBJbhj>`)fp2K-r0R@6HqNwQqMPެ=ϿciO LIC7PݜX}xm6a>hg68duϕ`"w9?)k<7#eF@Ppt|5kKi'9?f9L4B8|jA^ZG:ƻ}%MVd!UZ;_[϶8RXA7 q4}b&^{l+f"9j*OQ遇u|770 =CEtqXIpa]2ϓ^n ? q7@]y_˞V pFnY 9A{uDcQSWieI{6HUy 7*8&IBh{1d; 5l"FP-՛d>H-6 xy*s/lTj >:Ϯ-6Bw} gHB4,=H`EBli Gŏ"e@x1ZuQZ˵\/qAgsbVR&Z>޺L 7/:ozÊR(5:/f36Kпj*j}Μ[2JyU("a>[ZH,Nih@9mP5_5qas4˘dP 5~CM.("wkШ@2Ch!'a z$Aǩ-رNȏn%0Dw]ni1|9ZESd;qeBѿVy(PT;4vjmja(wsS&V[]:Pϸ1oDP75[ hGy#` vsw^p"vuL%$u i`E4tDlPe-FGB³莟= +/{u4[Ez9E3r1Q-j2zt/e -MAW \Tj06n(dڳkIO)bH.&oIsII1~0GR#]z(G~ɫ.tR5q:'Пdpz6:3Uw<8/?ai/1ã{Uo\6{g2,ﴧ&;8c`hK=?6̣*^6j.Iɣgz")MIiPQٜ+M5x?%՚BeʨzK %ڤ'D5!y(#i5VyT@7U4#2G3(TҺr(*#Sa-$&%w0Đ=K^-L@ݍyC{I$xkΧڦ@HUZΏ r- X.Ls ɟ2)|b7J/3A;~SdPnqM:p ég#a~ƛԀ[0u:¸w#_k3|K7)\pS_LIjUHqG 4-urrݖ[TXqN )ئ4`|2@na(M6~wR|Ίغs˙19)seM2NfY|I+eߪUyZe%Qo7ov56Bz;Aҷx,[(P u]/RP.Qu6l<źjcĨnSuMO.2Nm߇[*,W1 eb#221sVis((wf $o@ .? GMؐk|4{eHCB;ev([/1Sn*vA\*p2Y˭Adm@@5\zŀMEu..6&`#_S_%fM̵C àO1o;F m:TEVoaɣeS#7Y6[者HF-VhI}~&8=lދ\ŰdME|>[gv2Qhxa0uaB}W32Cmtf='x@?Uvl]JKzA*zF\.|tXJK' o v |ҕ82xhIxTB]7.:DHݑ^ J#q/=et@Jn8{5ԋ5#8z'ד,-&C]{WjϪ[/sb7)`-ǔ;!_o+i RS{3'̉V[}ډFAW{{- We߾caY]t{u 7yM$RՁR[h %>{L Jߵ7^?>k'TE+۴M8CS*9dA_VGm'R[Pwm2O eCO Sm?:""64%s܆q%7) 4bㆁgIqsy G; ˱N;;4-7rSa`*Sq.ƀPԗU:³n' 7.t82a~4rA]D u}6p'r,A(>/נljI &ЍTK* QD 9@`/K }k[utewUF80a[HRWsgHj|g)"CQ47=hamOY28z| +^S.Ɗ&iEX\D#v' gwqtq"pu_WَMϟDв$:6UMA3R(ߑ0QX*p;dHRc.-ݬ'8RQTo_`JyB N~B6d|=-`07CQór$%=d%!j2\i wp$o LQԑ@g I@]fZo uP/xwW@4H݁똉;*ދary#L N!%{mΉW!褮KC+FfkbH]kCO-F3!X3CܣE( d2!4 ^Кd=s((rѷkº/g1x#ن5eK?_h) eiߴ;l쀯K3D5;7hmI߼!p'0.':qj2y1ف~լw`9 Or#דZ]KpB=IP1B%AJ̻+#=Y&0D N:cw.I=2tG0L5)Hɳ)G ˜ $sV[,dKq'6qӜM jq NQayaod%o1!]S ݒqG5cfeF0дˍ89_W2'Tri&ڏiU١QL W .c} 7I1 ׍46 h}s]b/ڦz)yOIϵxwUPnٞ 㪹pky(lqӳg;&~hdrWW U=:N6}8tm =VTm ꩫ*VK89gete>W`@ V<6Ɉn5{]j 6.bL/3AqeDl>Tҫe.t<EP>(}`s ~mb~]6 D5V2!IvKtM:K]q8v[ۉC/ag8,(55Z>J?J9ZI||9'^ LridUEd /j(b Ȓdb^4ոq"uw k(H)nK6(4ϻΞ"ks-B ϩ3E3z:}PmHoa. :iVI?P fJ 4޼ @>E_?F 1;[K7ݹFB~=fiii+Sv 5젟_tǖnnt0r[U0:^eV ݾQ5c?o=6cF;7L([x? ML*RD&qb]G4i嵏>:4ی~Im/ 9ۯ9`]l|A AlU8=,WNxYױ ð&Ly].@mДKbG(-Ex|hhr (1X! ,8tܽV[,ԣfCZy:jf=n"Fj `8 XpV317V)7\R;qyam[Eȇm+H2uA;ֆ.k.N-Febf)ig"6ա#.ێyE0R&Q) E{Y|u0ԫN0KCWi`C}ZyaW T _En3HxגBx @y6g 8M;8Xh\8_o$-H @a^ot7)7) -yV]6`/u(ls4ecM*eW3.RGc:ݰzf p>@޲ =BDn 旑ES2MW:Bnm+2tk|/qQ; z2py%G@E駠Z \p ."8D5X=r.tc{O>}QT!BEkkK% L[aKJ~Ĉ{㭻}QVhԁ4"N@Я=_XQ} s>qʷwjbجlxTHc.ӹ+ .n\< [ #U&4uML+4DE<2h_HvYgKwPsξnn8| (鴬Qxa !.8TM .D 3 d=5*=|-FԺjq`Y/!(7.IϘ8_]# V湊~"sW'lJVMyR,<ӈ.J1==l5C5uV7sP RO>4hTp,ҧ|>;9eI43 [A483rɋ(oP{7r{PlTN܊ဓ*qA*|tܠ[BGPb[d:N) .=V]6nI]_ۗ&,¨1a4ŀE)䃧=\=G)ЇjdH=O ]^|yaB J=#[砄Dua_4;AlKC̣|@ 9GQVxWwn1G.7>Ly'av=fee`Pci -$M!$= FD=.v99%DzW|ƿw|Lc$H56,aw )SAaʛN?u NO`0 - vB G.4' 竅ÙTPUB^Sʄ%a%J|]q{+c@㳋 Ն,.>8W`hU/l_r( X{ Ɛf #(p2i@*bp PyFҩyʁS{|=au -c &x~,JJ/CXYNNtW[nߐY=.n-[qEཋ{;GIÔ;. 9\b ʑJ}޻ F;@O9+ f< XRl2Up݂@rzN+p$UfNɐ0FUQB :Gd#ɟ){|"nB*F !#s/DG9\69B&)r$X4c)߿FL˦=$bw>&$Ɩ6v u59N=Rl} !nN%f?KֿN46JGMRM-R|͐U%s{#p(QL|K5J9"6Y,Nee<(3'RKIˀF@!dq~]l):BC"a9 l!tUhp Y =` 7^HT)$:#)_^A>A8Nuvuo+tjqbcxZDq1> ^^.c@N x9߭_jBbKHt&:sTϞ7On0(:VC#(i $='ZLlwHIO cLjo%_E lO8Yd#S T7H<8cD(tZPrRaCPF XĘXB{#{ ]s)+Y:v뙵LÂӸ,_fVa.+|H^Єc*d*ÿI~,&N9|@&$*Nz'ޥ/?-M,;G7|FNRoJ~+ }o"-uR h^ceҷ.B>$NƶGٚ;\,&`_$tL43PFroK)*SVzX7qSmPr 'fwa:r ,Fs3l4g.[aFH$~σjίb9Y[@q;4 n t9B註{!?V7|ܼA)*PYdda>}Aaɀ<͆@HYL ˛d@Pj!hUqF]+^9?k g֯9ʲ2KbXmCz-?WHq6kBTF+C6Ra X9Ջ־G<~-xT'(AW&ILeNP;Eԍ)pXM$mBT85~苑TdUFfwO|`$d;j,G2$#!'(c2+)"MRf ٷSьPEx j`Q01e**;k a%g_mIZ[Kړ1nI@wϱ"Y : Hqǭ+eI,v/R#sa֝];E >gܔ/1KM㫪(2x-[X& Wܭh9{'SU%!G3V{BR)[0JtP%Z]nÈ5O-U#ZsNcBJ)%M lGOKv1|ZnŮllOSkpl#ixǂ5 )f#2)Z)ZN|c DH!gצYsMGN'P9io4+^@ܗ^Y=e+-},;dcNieS b\8;lHs=5G",Qzжjqo2[\j1- ˼af)dtle˕АQɤ V9*v:љj !x$IÍ#&L=FG8HԔó?B#w2lGL둮ςE&qzqDF) IqA "2̂yYw֍ijA:ճ,u.X,LզG恀 &.s6Z4[7t'Dt jȝKĻ6+ ؟fپ-*xk[8^0)9`z3: ~ lfIzqyk>筪:[^_% `F/ mv]AÊZ]/7967Nk;NjTMf8VEԮ?IlF*`|uf܉rIڸDv4Hhf-HCH9|sVf: C ChC @s`˄㎧$;2ltEGʛxUP`ZZXp^;%ϮMgh70n@}VJI`k[*9ڮ*? Za^'#ڴ.G^KSwD0m'5ܐ N[zf]Ed2PYq8Ӑg[3B( nR1L}tDƚ+r;cL(G!έFkLmFʴ7zT~G1е_\ aY3#grה$yhw9 }37)]_N^<{"d\}1eVm3./Ք+])_m,CH([*Jj_ :˼m'0jr⒞ +gNY;<H;hX^2g3p岹e Yt`]0.#פ[28YbK~?W=dw SEaO-W9XBMil9082\Hd|NRl2\ftt%35.+dp`{pcp[ckwF1 #|x+wlˉRQK$uڤ5#2TFƘkj[Ywxn!?8]ERWх L2+Hs!&:ctƄfbRI-5L,=Ϊt(#v۠XJo!Prʔ7Yq)+cZwk&r15)ꞇe!Jh;sיN}qɆQ$ؐdP I),\]yJ;Qu6I}拵lK.lMv5 #'W-22voRʠI 5 ~x/]"_&)14;)ȳ`At)M1]al,\׋e,#pP4$L0}S @VlsSPSSniz 6y)kVp^(8[4i邙v k JNUi$N ~,~-↽73`ã\4_zp9g@,bw;IKH-^a[p+Ԣ}dib_+stQ6Jf*`l^_#+d' ;ئ[OjS V19)C^GSb&\ `_YQmd_%{_]Fo5g3Gv 7k C=Ip䛐srɽao.^`g~mg%Xˮ&u6ȡz$3 q>elܬ_95v3ȏ~VĘITǘikB|JxpmQx[Lflώ>fe bqX1la3 K/1RO 3 Rʽ_{E $hA>(˜+Q|/vQ|(weO԰bϴs%FvdUoX]::3($?˕̡M[ wK($) /ª zKfXay \C݀]FgjᓐB㄄*m} f6aQOIB`b|gބ-k$솵fVPQAx+NdX>dl뺌5vgD p-tP"kaJ7J13=-K|C!`Ip@d4d#)91`quDw 9CgYF )mu ڽ23ѯS+:5b8&UF)H*H%8 7哒D%qxAU&\?\A[S5ø`S!\iXōVcwIM܀4m_!8}|P\iϺV4oj&?crؤJC[އrGX<;!!S<9ےGlrV4# b08yܭK# !xʇK }T׫\:6MiR}$ ڧ'ɦP[߽&dVטq[IOs̍v{>(k}Efman}ME?x%1Ew^Tڝ7F!ή.;ƼewZɃp  x1 _ٕð=u(~b4,m`a5YվSd GyԹ.np &ȧ>ϱ&(`S\Z1~ y_zZHgfs#o5/gSlM٥Jiup%{uArigdB4@)fK}1&lh"2\jIU٨>E΃oU 5Wg9kv zI5;t72ГbpW$2g23*V,#8,IdT$XtagB pbk'bi6`Q/RELo"RnMbGpnq'Bps4 8pq(M>z h*._!=Nq,^6vcDn`QOʊɢ]:؞ĊF%R.Xʄ/%yZ@fɱ9%O\{$}'`'N8&3nX+؊ OpǦG8\ y^㿀FD.60OfJӚ ;Ėtfa#qZ;fJ-oOhjiXb(D:*p2 qXM*{2k#XH!2@Jj7B E-|Gqg,5c͡;ң)+@" 3-8&d]m@42=n1lJMȹz4ZMZ1m ~Ru2kbk;&;WPc:K7bGQ."zgRY(9_7h<`8(5[y3q4bBB9A-LN1FB8mX<,ѳ\L|˰21uyA] 3}Rf40K=T=x}+aFqh^+#[|M, >Jm$0t#_3o8  s/?q OcD %1\6R#J1f6tYBrO.'1B/q$ȤK=zci`$w+}!:p3(GweDDeAu۸#=֫=M}y2ya}Nj'^] zW!xn(;CP-RxE̴FK)+.zidQ'x4ot*6)D.:M>>&T;a SbB{û8oŸ[hAH )$:;C_l*l݊E&hMQ  Yu4P|X P-M!}Mꟁ]qenv.uk_㾏Dq-ATLnXoL,?q3ݸׄ͹tktY ߵg=n!S #/a/Z)z-j~/C'Wk@8qF<=Q6-c' ߢF^*,')N48aAow9Lۭ8] IoߢKngϹBRAQn@I!'-X }@ɠ{GnSQ`cn`r4K L܏Bf4\8L]mF#^fyL}5܁j~mdD?৳2̱A[JXXۼa#SF['L>Uyo/ѧ M.63&?8)&@}!m@(4}E|={uK#C% ([;&5/hKcf1BƲɦ+X:I_4*&jF6(%cP2v`䦫FBS)'}LkSnVoFXFY/3G~vbj8z8C.HalXv1g BoW3Vmsh"~ ܳ[#=GE߬oJD:EP0I9Q-^YޚʼaBVyiV{ y;Mnh!ETJ-iR~/ Tst2b\FRftP"2ɼPhl2фֲ s))E&{H !?+-!:qp,D`7 {E)Vzma47  Q;C*p}ZxLefK UNb}%#&\oN (6j>vBP ^o<6av=*=.gȀ?::?}T+s'hТ9Av#z}ZTt@}?^y.`ȋfpn_gD&m RwEg? i`.0糨*kn[e3 ԕƅP؃g ʷ(-(e+iNa m1F4 D?SjMNCE} GEؾ$A_%WwOy1i~~t͓xpAGmfV7bgTz9*ze47wBL#VX٦ 2=L$$ɪSE6k 4ET}XwUz(T)aYFQ{FxU=f<,0_7mޞjL:7c=O.i֤F'!'hcK:S#C'w|D_92S=>N3 n^kȘ̀_4ChaشfkFEk@ua2>"((3USgQ'b+;]tE Pq+BNZD0_2pѲXIlēK Sa2sk&#C8Aw6ΗFBa]<z-M]\54WTU}ʰNXKke6k_gt:ρC%>@`eֺ&T[Ѝ^ Yj]0] ߘAG TN9u0]S֖ uN _f~6Xh^ =0 HyHyBhqG1W/gY}:#ie2dج~FX m^5W}гt̊eC|ѭq A!^W Kٱ@k"d$? ;P!.gLUᏒ?=:,ISMto ǿq$p݂$mB wkhjWI "xŅFO(~T%{YAZR[Vͻbǰz%y"ʐMhxHYHz'ž_Hܭ̊p5=vnc}ݽd=E*AA܌0[fȌ{Җ}<8yR0(!-i IC Dē_g|w!Ɋg`!&g#ՄgeRiM:D!8)>,6J\Uu0T&ivS{E!{0*#ytB9]<5Gа|+o_*]Aj!"ћĥT lv Pg7v^}p$X%FjK@*tIamIx"R@Ac۵unV6}W#)ДÐHgՅ0v_X3=KicB^˲[J ENYA|@ߥo oŐ$Аr+& p>LJGa!j.V-=Y)5d9,!rAxRt&)SY)R{+FѹYK.)mUXe/AnlzHB3]bهlfS(47$』hyIR [u$H!:`cI)$b!Эf!MΔ VIݎ”3-l5H~O :A&A<2xud^q0jLݩ : N:xmU ~gaёv˿~P00.? u{+%EkЄikٮ*W  }tCAˁ)hªҞs szZ!`}pa(r:*AO[vǗ[{P,v Zeauo3HU)/=DzÐ A6%4-HIOAJ| EjZΊ`JSV7t 'N_X)l+Da۲LYd%oA &8;qO8|;D_pv*bz1yf*QbKDgTpk.)kmAf#vRT|Nzcx7X/,5:J( ߠg亻zѼH3=bٜ( e&/ZWCHͮ~5r2ܑDCMJ9X"ѫsXZ_"׆\$C.+:h]M5~͐)/5fZ (IVlv^=羺yEc*ό"Pc /Y$_*= > }2٬JXwK`(Ŭ^6畞>#ꗆa0X,/^/sn[p64CYNn+T0Ta30swyPÀ< .EKLS][0>]5 J^FjsD̠s=͆&=n )6)/n~Ќ~lת !8`>~/ gUzh(oYze^_?G{_o1~A*?eaȾIT!ue +xBPBи|LM%9Yt"-P׳"I0^_@+Vĺрk>͐ґ_0g3P#xΏݾY{}? Ս V^&n>'3lkf-"61OxURoC&p$%{PQB8İx•k@cxJzU}a⻩ℸvhzы>_So⯱VLȼdv4Zl @7ѫ܃ ?FMMtc|9}@XO)6@Y_xG1: \/'X|̓x0Ǯbr;;v^yx5s^$4i?U!~\ZQqDUihbT':O"C 9 =*IT{ж²:鼱 t_Ź7~)hIC_vPiZz h,]{&z  #ir|-j3mBMd9㈔|XHSSӿU\-^ M=KӮD T=>$)]|H^CxU'OH~c~MuaJ]۷9|P%O܇2j)A؛$bV. L+j `5QuJ\9޸- <)Iq5{:B2+Õ^ _bƚҾjԳ0D1;ZIy1Sj7{._Wfv=4Q3*9vg:w:JN.@u\r\Q3y_Q], IɭOC&Zw41?zP˯'xV.~@m4@A*%+rq4F㣻EI]sc1?^o>n_Aŕ/»5.'d.gRSFx+5AR-fpީ.dd2Syxh;HiTd16y'tIo: |5wV,LϵV#ĉ$kͤs .+~kWg=!˳O7sD"'LdE8_%o_-Hs?=_mD)~_ZϊV?QUɁG}Ѱ$=' k%s/™Qebo:("v"f `biΗ*C-AV3܇}҈N^1G"$<@<9nDc;w~q]<.NVd1-؄iaӘ(N.;vgPY5:! 5o~piPV_iIũ1w?FWSYӦҴZ,Z6U'P=ҏ{>D\ޜ=\`:8 O 64 Ǭժ+ |n`N=Ε|lpD+%Ȕ W4'dMyﰴӅTJ4 c͕bDz6 eȃRN Pp zbi .WUbZoO46 cԅ#5b΍;LeWڒo%ũ(h堂gƘDY-xLi 0zKą`m:I6#/\5XpA9R1bkn 5j>N(ok"㭵@NE) S:ٹ=OӒg\$Eud_7 vEhl̒@!cՎӊ{n+ xx9)m}RP "TΞf6o4kh`$G@H| [@ /a7UJ~[f[&Hk0ku3 Ysz,.;.%W[u24?9P?V"&ӭfnp'fn/tN">$ⓚM5qi*ʅ'^|rzIxٸsl{~S<Ȟ*J4P=%R3+Y$szaXQBaA,D'Y_B:4*%!"8Ǎ'b z S˷sldg ,9ݠb+>p/J }- \hpNɶY&ʏR3>DRahj\ qZP4rpulC8ͦti &']ɫUlͅ2\js$\A뉻)MG2}o]=niSMEb|s%ՍvQ:; yvbsf_Dx?>MIxe镄HiN}ڻovfw6ͨ{dkJ8#\W ެO"DPŦVbkw<H){*h@{n$~jab1LL:L[sWR0TA%xV@J˃tIJIH;پو9M@Jd{Kp:xRp4xs(yf.7O$9 n0eW*z%?.Td7]N5gE`7–I=ST&uaP\(3ĩmK AͳB.l_ڕ*YrkvYt G#Oe(' #Qj]xSH N5{HX?|e=x0_fJ@pOPR[o2AEH }8'ԨCRT)?M6Т|;ht\ 3u dWaKHc$ɰ.!4@޳vM-5k)NWp]S "./Y GؘGHGrCfrEtRHr`mȠs$]F]P?cB&5B bx?1=<  " | ;OEѰ*_py^-RYdJ瞧l{ڶuHY$ذ`l+`6-;,o:Jt}9[(`t1IU^ԇk ZKDŽ@d='5ʽvg,kFٲ8*isuS%[*FTq?[,2DEzҭ*.$q*H'Z}\ƚMbKƵq6[|Eo2F U~DH?ϛ_T{ ݛ(,$\jp'^DeH0f_Б;5 Ct-)7g Ywf{/?ASg[$;YM ");-qv Sc<Կ*< Qc!]fg fIa3i2|pgHI7ᎮGhnY y䞲tÝtU/Vk%Lke tz Xektڟȣj9 F䉼<e']̦۔3,7H1 [)0o5&GŠ=lۤ6M{SKN6l=@pM dHQ{2XF揄7Kփ`QW[h1İ@*U%% >_%JC{tޯ{)n}|F‡D;\6t@<)ڌ_&[82=;y=\,nIHͻTa. *`] @k2=oNb-ܰNJ>xo1m/mazSalh~'J?{DԽo"vH$;8଄Bʯ-+rOmuN7 (ߚ/Bnӹ>%:6@b\I'(x/#p]."8UvBWon_Oṃ*x- DF/* mbx ,r0=37 "5J2V$^ߘNnn$6Nĭr nOSmdOh/sF,A'6tr#V'UM@:+ŀ|ػK!xCH$k vBԗ7`w{}ɟQ'HW'XܗA92!H uY69oTL†Zيl#BAN_^U MRxԨnt|d/1 "fDPG"xbogO>(pYԌ~g5 7^lt `lftwx1c B;f ^AKy?JIn|bC(} gbXǖ>z ;(e\;Ryo2O4 Y:Cd) :5[I2L H }n[`ю$ ;T llV* 3ך^zT=#Z#9E$>%!<#{8Ka[f v޼g_ -֓] %f+ɤ;^̙U^]ObN_kXԬ1o sb@MH^wA뫨?$ɱSnR2~N 3I|c$ e0̊v)߭meN^u9SOTq$|_^?cݳ ?N:slPkېZTGٺܟ^C R;f=3%bFU  {0u0ÚZ ͐8*@eP&yIucCu#A%Ykj cGIaW^\R >lқ}k)T<@3oQ}NU;mPMv͡)1|W[ [Ga]U-9'1"rIRkh2a3_|e+] V D;E=H8wQ:$?[L/ TTHqN+;R'C( B/JByli5|ez{A?WE9_xUþ3Vkt[5iϘ( e{'`n.֣YKs n̡O;e/Aث.uA\"Moe>}؍9O(75 &bS:nfML>Ap dmʄjKʊ#aS DŽ(_?Rv,ۉ/C\AJpE,e]{ a>QI8ku\'Osƞ3گ@\{!RT@s.q^ʑcwv"/\^ ?θmy^GBW DP%sWsajaI#.%$Rj8ӧL/ 4d4BÌbW_Jp(ii~x vRhhS<Aŏdy,+_% YyqezIEw a/^ZI9 e6W oɶ:)D􎢿ݿ;LZZ^,{G4pS$1/$RB1y<8d7I*W}Ryc30)wd:Y<^jNe2]иv%bk9mx"x  S +K B8b=!(ND`kI0 K47J)^a1()4N$ Z-w6^M>ED7m.`Ԁ/ymk8𐻅A9N&p;lp" t+pg0w:z)o=mJHM.տc;~O!Dǁ^cpb8g=&yPl;hKz\q؎F^sNS6Y8׹⡷g}aȃ*$8w'NB x]tDn+K1ɿ:5 ѥc9Ԋ%d'l a0dohbILz٘ٯ4x\"OW^wx+k2^̦6L٦ : ZLh@Fg 'W5t<;k>x77`uw=P:D˦X̌9AgYZ7zXZִF! v ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&Xy!ԧ'.X"(qBpcE<D6l0 n,5FV %V0P8>E_įD h#%4o JĐ@]$TX(m.-Ng#uF2#m"䱫1^)E3B0EU [B֭_4ҋpb}^k[kZ ce?)iT>z1S"'&1,REbWsS9EW+SB%'MOLk^ƊR:^BS%5]e /-SfMVA /1khk~NWk괅^E2^ лeCyMbbҔS $@J[gc"빣3^j^\E{G DȋN&tRYA8}@.lKnR)і#2Jr"@p:?j Ch#gXFygYZ7zXZִF! T:]ŗXi%L%()ĢlT5`!{aay_č' HycqNѢ`;ʣu2P[I>ffV"7 hP-fP}E~-k;$:ĐdNɮS6钽OаqSE8SEƞO& ӕDlA5@%IhqUaa7>.wJrml N@ht˶u+$KK#e{xB(D%Mtǡx0jv5ђ;utn==] m-D,(^K+|(\ѦEQuK>Jr _2Sz\FZiOVUoĄx"84c/IHa/FPHiIVlNi|dU ewG@|YNd } [uל%5nB|>*a#P ʁV %MA@Ocue9FXZ*QFBdFgX^wVsRx,F6] qej <>/4exro{;"^7S wg}L H(zpg/ r2.7)mGsoX({y[Hūͽǎ쟣QˤpH ![JfQx`Uj}ۛgGt7G_s-t5}/8T i&+aד{'hBngcit!wXȔ0,ydZ0cvam[\zˌʶ`C "4ƅ@`r+c.;']-u+=Wz:4n6e鄘R՞S 2p$zz'9~::#@0n5y8 A;CnC̔.~ANcE\(RI5i Dz*DɀK <.}%ތUT L=P1a=([X˖t_\kZٺ0_lJ#&C44AHgyg)?[nh+[uEsK'!MUg5 4rߏET|1"vhø`0 krD/mCiMO]EEާU+ڒu*&^[bɶɵby8gFu~P( wF DY!8TB ǩ[Vp s :~8aƛU?IgmdW1H"Y=aD8m$V@g 1,oEK1@m[ K~,{8SxOL'(lgmW9Ɠ׮C ȍz[(ױ El\dGyBkM FZ`[ՕMm2h%{4{Y,2BQ=cX`{dζb"妞gP)anVr.V9#t#ȹ׃IWoR7ӉڅMYY>$RFqN" wԢLjB&F&|2R%(I>4$e}b‚xv9[@ViٞtQ*x >+S8u5$*Pj *+&xcXU 6RMzqbΨXlLd74RJrsѧn8UW߯!OAFˡ8-QբXuм!-kzd3~Y5P{ 95Š1WjzӼ 0qot mE?_Q9&,׿`+n/Jdt@ݳ:(:pcJ aw֝ V-8:}~$)LQF6I%EyTytcՂpQϩ1a{̢oEO)94[RKQeA(r:*z6;747vpםea1kӷQbt-ޟZY3qhs$bU^|A=+)rշux?ZR"t3w2Q?YTC#Gh2H]oJlّQ*r⯾5 fZdʉ_[e7cC;fYN2)IV]{Rv@6[CjKMB~TpPĐV H^_0jRͧd6uv~i+p9NݜLW+3R2Z)⌛== y:VSq’J yEEt#f}XoDrhWViߦy#2 ݤ`lŲh^btDs5co}S j(5]D'O\e= E=B5(W#@jƱU46;t]89!\T)|pX)!Qdm3svۂcAXGLg뽫9 N 0|몠Y8'-o}涊7t{ B&NZxWD]Y <8.MAy\'TNU%4ѠBJT<@۸=n[ QԢDyrd:~E߈6uA`k ~R5ð $lGmKbX},Udtx;%RMw'{R {oFO3 Ӷ5G"V`G5?DOR =d[[5T ai@$!':d7ϸPԝ;bz8t1.D0'Ӟ_}V/| ,Jڭ;C:8]n͢jT]!I֙f1vj Oޫ_8E 7%@:2b>;0ڏ23zѻl%DL: M0ȀVKKe=/Eq ȯĜa"Rh*G#ܒXHbMYLۼ` p,Daz6Qt0ڈr8 Z6]lab&9sSKh4:FUi KT+ `c>V] nNDRV7I&frs]7^\LݻF8>S<`׊\;RI .1*T ^,ǯbm'Oz ċBb$6D< TR+q}eA-bJ6 mvg9WLǁj:y-S>,]j&<SX3^ĒzވpU-Ggfp//JY {fm jz O $k4vsc fxeaMg<բafS=hby6C$ikpǖ\>E7`U`T]\[h8r~`DlkDz\_*,oȌL=rtk0͂'D jRIFޙt@lu 2TŵoĒѧGuF2x86&i./Gl޸B-ddԚD]I6۲߭1TCN.>AV;핔my漏d9@^%%Ij;6x)epZJje/J ځL$z~h $iszcU"5/{{+gWѠ|?Pq#)zgQ^%`6Y[w;93F5Fp4 ExGЬ_E ljG[Ju(N%4q],? E6 XPR