SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 w5 <\ ]S HOL-Nominal-Examples:threads=6elapsed=265.795cpu=1224.816gc=151.056factor=4.617zXZִF! k%]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXma [U*U3.o$(@Uj8k5>|ytgӹt=}Gio/ͼ[7|~g>jIxt]UH[|S BY;KɺRW4C;ztކq. >/}7L8VRu9Vߖ_?p.z~4[H/թKm՘`#;Ҽڀ T90[!ɿ< hQ;hpTDh(BH׮l4ޟ G(&gU:ji_ZO,`03 5 HOL-Nominal-Examples   Cju?+p ]^W)cߪ[h`:PĚx8ݸওo?8YK2K&rTC ^[)91,JY!/Yx=}aFwS3 5G圪j_ =OR(0 aAazQO[SȠ֣ʏ/1m+zNk6Ql5AdCLMww}Ӻ82PkЇMk"̞mTo)P֪.!8d\ h;o?]'Y-Tц`aLyNY."j1?*@^(8 9dF|6A{_ѹrh*wZ1fՍXN`0Z*w$$i}`je3*|Myy!DކxFګ@5$V}qN]! #]r}m(;aHݍ*DՉ2(;ǃpqHSK23VM2Y)D֠ggz; ؜ѕL$YҖct]:? %ʨQ&2#3c8JTh`c% FQbS'+ kjOZ [%(X[w(VʋBt p[KkWLa ""Dz^ uL6u@D;4LtO~ّ´~;#gO3>qDY8-O" l%{r4UcK0xtMJ[*S̵ȣvwU[!,By+jη[oc=ckSՀMq\%W2X~0ih!Ȥ+@XJXa1Hv71'Tʜ= 1Ǡ| )/ <哇z >Wy>j"rJ*p8͗ٳ~vTY>=ŬǼ#žH-,H-T"Z f4;3r:;(+\|Va=F^{!۲!AP>[".Gt:}$-E,OI2pIo)Sg_:+&C\{j8:}=U:o_Zܖ7dI@>kb _$C0!vseW$S,V=r R8)^'8RfqKO\0J}򰦍_0ʭ0ZѪ]ogECI@.|'?^S(=䪢eYGtY?"Q?jGuu,YE媺zn'vm'O"W<B,ǿv +c{~u^%<{Bvd{P%~s= v'kN;17Gmo7I&k!4_&RVP%#3j(m˜ƶΆ6ELq;Г/ rVna(`,{kU~htIMԊ)sBKhq7+ycXװ]Ǚĝ5!T$@ іF嫨 㿐!kps6lqG5%#`Vտ0Hub+sglm|T% @qC܈)Lx7?lFkvr$)WMj?T;[ͰN5fIIJ6L}DuBq=r.3d iBDAf6 Yfj-!3ƯO~]]-8vWusuIЃSՁ!3Onx9LEYwȘ91 ]qPl6{ya@;*%rnLۋ[ 3PG-E&ҾΦDtaGn)s19R)rT˷Ʃ zg0PvqH ]$oIoMfD5!$HN8_o5 ]H\Bf)-t]@Fv=^/^s- oBٱȞ!8sTPtDfڄb[fp e/SHBƐ0=Mtvks }-Ȫz#]EՎ#RNiUDo&˚X Jɷ U-c\ nDSyz7y #{ 'z+\"=¤'-iKNC3cA<}3~\!qѧ+]v 0%4C^[SB@v6;`J SXKA#opahFGa8W @"&.SX0֕1' a2HBլZGv@Lp=gj$M:}1}z0',ݯEDM:tR2GNHKi|ccS<Y;R= ӭ~Rf޽ۖ2b#~׌.yb49>AMR u Ann[vܶ%FeNx+I2FyYWowԪe~xKCy]$ Q4 )4w`R>ҋH Bff2#LF҅ge/M\G-3߈^@%pd'5{ UZBif f)%x4F4zOC Kp\"vupEeg1 =+]SSxӉ>0O 1Z0b-ӎ:p|NACGYƾۿ7Ch>u*$0qA1(ɾ.8s@PbB?Ӷ2 ̙ -[rNP}T5u zS`YZ.n?I姅m.v!D!g] KۦJP@h$_+ʌ]-OEbGO.*aӌ{iӿ2a8h5k5v]vK^g.yT=PS *Dpzx-j3a7Ip$9imK<4SR'б5 'Uʩҡ=š2dӶ|9ޑ)?t+ 8,r>|jB[ΣLodl#/6q P>PǼ0@:.h=ۇ0V+*jAJ2|S=,I+NǑF= (@r Q0\>fkqɒE&5jD<* TPˮBрڬ!ʃа7-'@v{#Xh B$'$=yaUYX=ނj/ kA)rІ1S}KrN%ake&n-fǜC:c]4~I+och8uG;gÊD^VҔO^oS6w}c Q=253F˹s]㸖^!&0ڂ`V70&ըcV7! ۹3~CIsjv\sU;j 9[N^7S2aQ ޞmRաu|D㨼2@C(,vM)va7lrҝOTmO@|Wd6[55/λ@wPQԳ8̰9D-oD. SAwط҄ܙǗw:b^`EyJ~]~}aΞ+5h0(gBU=ƳKY|mpptlmgƋ{[ +"^Gu̢iVgX kg^ <cjw|CLgQ~C7\ƣ5a]έWn@׎ 7ؕ?itxZ{tj`)wQUoI~2*ɼ'TSHFd=y<gNИ!s%#5W.3tљO7dV^6 U1`܊|:)܌Z$S$O.WED`nǭFm<1 9E1I=IFiM>/4BENr1}\[̀oXe&Yc!G=-ꈮY2:uU'椤\_IŤ2<[ 8g\V `H0|1Oq*֑feQ9MUӸz:Vrgj`PҀn\=:J ֱ, D 'I_/YYs7v÷ӧxow~"V#\'EC0,!A.AK>"hrq0i;ؼqhE^nP BEqeȟkeN[-QQ n2wjJ"zt Rq,P9Ҵy^? +>)8=isalDFU΂ڷ^*Bg*TP`Dz[\S'l(TFRL S9 Vf8"G{}GoqΧ;q?:dW-&wUHl')C5\DAe2~eZб䩚 KOWN}OJ Ch^/.,pFtW BfC"uٮ|ʥFi=J'⦽fE%eBHܺ.R,GBM9^6= \Md/rי Q|J.{?CcR 7g&({%U 茈w O4%3+PIXá??M5;^CN1h),\?^}bx17\+:J`x}?:@\iD JMn_Q}Ҫ2ϣx 3` Mz7XJ1;\y7Hj YLLɟ91 Ow"(TxlOp*ddQ^fz6ػ{;Jxۢj]d]nZa۷ 1$u:t1T;`2eYjY;D[[ g$~[#EĠ亏&XPAy͸ ~Iʪm1sk/q*sǢȤheotEs;l(Z"~MwWVsg"R+p^-~7nDn[gBQy).Ӑh0MKݭYAZK4v^-llWY&(stx HM֪5SJ@}6nĝDz̹1"mDv %_1m=am\<'R͕z @FGGq eL.lX+Rk8le oYQN'3^/τ'ǥ̊ 0 إ)y'ze/Ӂ#Sw%i=_ B.d"kE"քi2dF~EِN*c|Wwو/I~~4 Eu GU < ʸYN>oul Xt7 `$}KϘucQ+(/ľCy]> y^R:TAǤ~jcъ@5lmN쬿u{poߋk雊,WdT3,ի÷Dn[f4j`\A^d!'г q"YV|5D )eDCnsgCi>[*gZ@Xk7lC:mr >'[II6E(5aU+Vh\a@HAۇsxb˥R㪾G9 po;K#|^@9Cǀ(6xV:D^N&1ز,mXǛ#ۥ Ưd\~ӈ5zKJ쪴GGLdhl 8cyKeW0~B> ds] ډ\w^oMLYd(@zkT2TeT$..1j_m횵76ޠE0\M{1yýYE)&^h"xY |snJ.=zri _2ӠZ3tGB&p\NwZߋ;sR*r*!0| a:sd-s:١hRFX.c-2ǞMm [tȦ=x~.Og,獥jh4|--m(+cc-6H`S*)j1=IKuQNA64@s9c 0Qɭm!h屍y~ +&jr;a 9͹ wR1CZ.JKJ;8Ƕfk_wTFc^ +@|E u&JQ_: J6{/aqbޓ鲛N9p=|^!Ppf0U*3 yQVn3DLuP!_xPM-Z,Qf2xƥk -Uq/~G*z:č;I,6`er slː! yD34טNm((Xe!x޲zXT0?BK 96Iv=k9^B62@q;|eY5rpz?`lŊmģ-WeOfaI*{.qz&6:PY/$E WYXZ4P2 =\N3{ou Eu96r3ǮG?_5jl>B.^t_^J~;3E烥eO50C>% ! qMcCx {wJ*J VwX*V6^UתhdX/&|gR輳Ǐk0-[oni*aM6F) ۿa }?~n&eEhD&[*<93-Iok_)cj|T,tf?:n0oۭ<ީUlYi97Kcl˱$H*5I݊k_}|!4l&w^p50.V_Be%Y$e&R搸 }bB2 o/Sl/̥S? ,z<jEMA[ Iw8v~cNe8۲}SNxL3Η|Vrm9tC(%Gwx%w'CY F,Ea'&s ZjWY\xW=,zh/T@:TL*>gYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 aѦ]e^缰Rt / 幮UD>HSH ./Jv&PL@7W|paROtU,Y)sUܦ뛞ܡu>|3f 4`O< [^ q L֩t<*#N$U\ngF č`+D8QX$-?*v("t@61$ͻtx 7Ui8(2OEdZmi YaT D:J ,a/L04a6kOqq~R F…Z(hNG&5"_O &Q<@dv:șӎ!] RVKKy{SgT3c7{'`"[ Z=E95t}+Q)X]mО !o -̇8[p/V^t-^g%֑_˛x녴 S %$7gYZ7zXZִF! Gh]ŗXi%>W 6M$L'gȕ6iˍ!0em84Zo% Bلҫrvo _xl]6sP^ &{+26MCy_ a¹h$PA"Qxp} PJ~qKt@㑭^h.?t[Wu Et5CCP M_e^R19[|J'nZQdt^h7)f@`Mr}ؚY,%DК]DhK$|MxCB-Fo̾Ki$bx7ێ$9)y킃Cz\HHP$=}žEz.plGu}`gtC*cњ\bGzNϱL>j11YيcWA}1=A 8vǹj٧Sw9 Y[͜"Q՞j@~;'4P7ton(j・WrnܩRU$>02R qB<ƞ7R=BkI3LG3خz3XޤΌC:^nκ(S$ػYDUgY).ܜ5 p#҄I`eĨXwҿ=8,y9u[FCw=3ݤcmU܋^q $7١|aB,; Z3#@w-5B;:`e|Z4pQw7ıp](n]?JdVV)\GQьY`⧱o2 /v<>@.q ەМo4DO ` Ǫm'/Ge:ojJ?ޙkJ]=D|)*)"0uնvP⏐ckB nz9C$pb_i,FZzro+Ex'Yxf^-kaћ>TU(t:C\ybȩ Ņ鸘]p!t_"IyvRo0 M?KCH^_;-}/EF ׮2e"#cߺg"=& DZI= =ĨSKi_m@XN>p@n"n]ĠD-HRLQ Z|e|G2ZRq{ڑK*LMHV|DRDE]B9n.vz;[0 R+] 5EzLvEtS@ }tA|R;ތg4VpS~K*kL+|?E&oc:^WzfGrӡO~urn$I~ZuuwAmKwI 3Zs-NzvHPkg#+dSQG]"W:EWH*T\%r'fV5o 5 REy1 ƴ> W%fGfu22]g_e'O-QysCTgĠ"'}wjdm>1c ~ˀZWnU6Hɝ7e_<%[}`]Pmre⢛rU 2E}ѷ>!"[ؙ9 (7$a7:gn5(VJ_-9cAD光c-FatJtNBHztVc4eJAe*KT) `›O7ȇl~&cp;N}!OW_f0N{wn~K-] (*#S]ۣo[G[sdLEx;nh ׌c*FAA|Xfz} E[)yH|Jʛ}(@p݂ ]äh$8IEuL?f%IޚjsUUp@ (y/atŴZ ,8ۜEFCV'"E9N퀾qc  ΄y[iK9tM.$J4+%1+V)űv6)U?Ft|]6ss_d*D ׯw&OSTx@e0WcW 53&jֶ6yYl fb9f!?g[A಄σ8aFyDqBDG-i9/bf'2MUj`!_J p!"}1F1L9A6w-PCfpV1Mn{ VL sHAj!dPƕY?NI}'FA s\ z ulpҦ i;&B$U@EB$ UrKe(Y,@G wf^T߳M2YZ*p\b#::{{Q@"^Ȃ d31j-XJ6 oƋh(0mhsǂ>{sqљE:Ep.fOn7j;`jo"mȎ:;߻\gdz*xwq\)Viu{MŽ(&(`O9J8"`( T^aI&yc6$..Pe`͇bFZQ.:S mg\ 99@dK!'׷H;YU5S/Hrg0LS((q'W85*1WK8 QLٵY)|㿞5p ?Kb9Z 'BNXİ'1<̥VHǨ**1z)=]Xxi o]zbu8UQ:$8 \o܀/1o&pB9Yۯ>BcJ]B%7ۆ*R$Co}l3L,1#.B.U7-~7Kbщ/݃ʭIxlƜկ0ٲKCZ̰Vok ($!ϥMc{[ؓ(0;3M><}'ZO} LVKhDFWK"8{';q= }V㛰hp~DfS3 eGi^*'%Sv҄Ilɫec9]I=n3 \Od S͟m !:DUvԬL)ƙ(}C洰/q * Qbyy=+P`[ ɾV"rG&MKQN&,&leGf3T7ZWT W#y:B+^JEβ8ȸ\ڒdEX5xY.Vǚ\gC 'ˆx/UͨI50foE9)Axm;6ȾaՔ4 Kþ#N՗VnKw(p9EQYi!=.QU29ֲF `!t?yoاewоϾP,Ekb.*պ":?/ [Q*+ yto*NofTgW3 &d8Q2zvE 1f4xK"-'M((9D]$;davd;g/)$v5mQy!4lhk Ổ%8Fi [hi5|$]=Ti>[]J;6+}6;}eyzn^Aߪ†rkNd@S U/Q~u,u%n;kb4!7އ+}>@O_oPG2z|i61+]F+rda|\˻nΖ(W$U0<1<Ud<4vA-f6L :0_X.9D?dOr(:|Vh6';%,XOxLVD8B^B]BD*WK U8e nʱ|Ic_f߄ٰx[Y g\s5^r5i6;B>"ါЌ+;G~3_V|jjg5cX4<Eט޴B)ʨ_Gd[AU-(FW1p?%$֒kQ0n>uEj!#RPdb1\\s:_b?JJqfF7,•@* 佤ai띛hвἓB(Z(mx mb%zIVyި KE+q5c gvHv8^ho A-B^G>,ӗ)n+W$;m!h5o#_&e -Bᄀ6ma US,jFɸ"Q[`BX`^Ǣa0(/W{VJ+3jx h7?C-= c@Y1.}?SCz [.{ncb4bxu r4ݠitF^RDU}UTK 3jhWؿl4oH0~2;PfT KGp.DD5> p.Q[! O $Dzi7SSG /`&4,,GlS:EkNELe܁WM'&UC%;;S}EeB@ DL5wluIo<z}gH`$w1 eԣsL45yEzD+o`f+,k{ H(e%a7MtvL|UGIXw’cnEN[ hRXH.tݞ$3X @tJ뒛L2'YRu/Ō4#2(]tQC\S.ڐah'S B: iͳrV!@vM脟f-ՠ'Z )h1fYa+?/Z]L -_b1 k3"c%|,m-a1' 7q$>-A)2:I\t33XOpYvXc=)0=X gsbrK $nH> t?BT 3tf0: ÛnZCtJFswH,],ʰUbnoKn99aCz)Kw?U`Q'3S&r#'BP>H䪍j~%WS!.v9u|vr9pf\m0J&4:bᷛD?.Zkk1p L67Յ_*DP9?em`$/?ILB Ɉ%MKʆ FBE.)^4A"^.xIQ0DA?coL!p;`8b#6lpdC*/Ua7JJ:jϺQ` =TU#+FHS`c)PNSsv" OUٶFӲҔQ7*S_^i%- >6sj̎5ģMY!@w'Fg!?됗)H'n7W-YPtB5t'ŽLI{'\_;@Cҝz_DrZbbyFD؎u%45VaSP TQ̀(~2%D$%؎ jo&_iŌҡ7 8I?F&}CaP"~W St5O' HR u e1 =(t}G̒ic}z0f뵚^@ !erΩ P^([X@M+t\ٽ%~)"{|0f~K #sOgӔvA{RIfI4Ď*Bu3%@ gzNDx?]MvjFΏ5\!]=H1{PrpB>T ϊR͑~ӟN6 :Yq\.T~rַ; `s;b ?(, gB\sona%26#{JIwqA7D36:u]Eemes͢|c hWE8wBj) >50j%3_;A wB j.; Ҡdi6?4EU =4_ʶg=t  TSǕV{Ca Y(a;YXiY =jx~늂AN=9'nʏgh5哣?yYtπTg.;&Bh"4*k q&δ8kNH%3Hd} _UbHSm/~3.$DzE rMX -"F8۔W! h,ck˧;N@i/GI|&Q{'HpFl*S++55aF>AφgՅv;Y+, `tI7V.kX='3 qQV k ݍ2 @IڲSY\VP':A+=XgSZ~8!HL~ u^rS6?^9%'+& c$}4NO܂A0`wu|P9h/zyԂJE4RLYn]Gy(m+aydSi4p4QP*"V%sl2Ne`׾^N͜{Qm@Oѡ[Gk>)S#fBFF [eF땔.LImB} -4bhg44B݂=$I oU>-Zp.$aZ ]0~pMv2,pE?cY\Y,JYX]9yFEԼ<r*̚wC61E9>&"߶͗xl&=(TzC1qXTAd.Oe4NNcwTc|&v~r$PG܇aδ7g&VZ ;Ӈ}XS?8j<OP@%F /7;4]'91sXL ,'=05 0=C:x^X>yuBrcf(<*&U_Z܊*h *FxAQd,pqd _Si#-:Zӣ.3dY~'vc/tkuQ|m쇝ЎՄyٷ.)/7I X%k+z<}vщ0s5BM N Ehj8VSvH#Xy Z{tw3>W1)fK[Uc{Kwr{hRXEԔ-! B:Aou%O+MF;ѹJ<(: D+!&J/W(loY;)bCDޝ(rBml?V8O9;QhK(LH7#itF2ﲭ.crJw,@kG[-|`7=˃,\ ߰KPq8 MM{[ &Sli@ڿMs%nMꗳqhSf&6eW%ۯ*~ypc/9+C7^tBUK^8+NV1S>Bh@e󅈒]GvbiwGJ7زH8רs|x]? Y`Oh߫iȾ@jV605jIZ!ph\:`Y (R%v+ PzwK-fCS'MpEnE] g"Jv)Ԅ]-xgZwJy$ɜ;P o8@s*3;VL_hmK5L[sOmE;݉!XVpVݼg+,ٳ kڭ qIcz:!5F0+hٽnL545Mps!Y8^-zgTHCg噎js, p].rS#r1WajIq ̄ 67 %ȝ*KѲX$& ÏO僶֬& t`Z FgaQD:Gw*8~FKخ"`⋘5af؎%v)q[1/%AMqd,+q)qme|tTP,n3՞A ^{:׸̒!}DF ~|jÜ ޅJrB/7~{%S[>v&U\ }D{[RnB_)CKWȑP[8Spr!Y?뵔a:kDRO`0;{~|wN#[{@ ˔uH5/N7\4G AUF/ āzn|Ebp#Mfۋ>&B,Ywm ʈ[}m: zΓwk~TC[j©熃9( zԄ8bݹ'ANjyl~)XNz5Pb2INP7zT_"m!I3ˮ g=!#+A7FkN:{v[LӶzK0rK<#_R lV-Q,@~}MYNs"(U}0bW!H`SSa^V51l/{Q\@U9N{웙#Z Vفm9{uj߈iYEk.>,hFU$)X:ɼ4F,wWDۄVJ&-BWįrڲz >炉yكF\%$6'M`onP!hTu.Sv$ኊs'Q_y?V:qC& W^ܣ X\1t((G -+U]% bMaj$ s@?o#hWNw2I7t/8|tLqY{n!DV-ӛ/kբe.4'/g^&\ &oTdǐ]+ A!|9:p@A\weoaYa%Ots wV^vw̒!o*o]Ef@kvX_I1j P\#u'd;FV/G`v8rBe$b7? cY=f^xZ̭۠1JU?S2T).tlvw'VfNɄ[% ]>`@Sk+g3dFXsFzY_9eʫcDϱ 2%q5 fk˿/f.V"41}imB[?B(@țڕ:=2o 7Nj%>ZjBDbtqjbbwQ=wGCt5K)΢4st-qXIKGꫯ҅,PZquA*hʽ+:b8Oa߀n/&tʽKȪ?Qi U0V|Wv *ڬRbܐ6m͛*?-8}QJ=/^:.q,5Htww?_D{ "Y<=׷.=օAZti/W0q࿒Y% _Mo& r4˚ [.ǐh/]fUәMŇhXZUfVB&\H=j4bV X&i/u =e:ٞ ,%|- 6I}:0҄mssBC_wN[@Y%:2I4IP}Nd ޹ Ew6̞AÙgCko\S4_GF\Ѹ_pJ!X4>R*rF3?>B*?Lтѹƾ~LJWOD~욾c!蘏%g$d2=pVu&GέM$Vm?U8{p`ܳT#Kbab 2=3 9b^uG(Č?vWb5f#Y;?B\ٸ~39Hc 00Q \%N4&iUAex4Hho>§ sٷM6ePPdgW j/WA)#D?ZÎS`SKsjߺ9&) +*85c4ygFy\h gYS^:Ee=Ƶ~sUA%q>)08WW%&ͭ\j~l{`[0)L2L-U)寑<Cxl˷g֫Wr(6W'>0, ,*5מxM隍yo%PWE[ctƴw>n XtuַsIW"aIK[.Di:w>J)IΕI6C$nb؝X/C[R) -K ceA%t}D7`0}zqyK0\vɩۓlj& a0ɋL-BwnaYwP:dl s$=9RW Pa 1^ 6]6 q__1"\#9(pX%]$D[u^*uxQpNkxPh1PqmiʆDzB7>w`fIm*vS![@wEUڽJr6clKc۴#'ґ}[ч)bX<\if$k#@XzG -^qT6p>l؈=gs⒤Kll|XZrb͙mYt/H8VDծPDH-k 8ʫͰokcRoh-3%na~A\DvUkw(\=ϑ4Q[)"n*x/Hr Fb%&)Ls /ұX-^ʗf^y CB?Nׇ]<LnVӊzq{Wcy:<|:&b.cf1jbapk%WMu63ʟ(cX ?HjPgv El9647@c̈́`P&6׭JeFx$[)w ;ȁZ_CGFqMܦu cvP7()Pp̪-XȘz,]OLjh\fQYP})?)6c4oD˜*jڍݘcBܷ$//%t0Ao)F\~ 1G70f;gԕ0ybqji&f 6[Ꜹ(X £= / Ivv3t/Bo+n60om[ؽBC<_3$O*}$X *:d~Xuhğ(~Z#8=RájDp uqd\ `GHZBeY"F@zp QB3V͙,o>(+ )3B xh`XDьlΊ!bnZ7KMڰ5ءǵM/RXI䞛,3 ?scKY@(Ĵ]Zro Z9 3{|Wv7yFe8]hw7a=:( PLh*i߃n`8,; W&т.dËq_ Y[;:: ;B& [ߐMk匋6lG8_%% d9&w'Q#蝽  W,(7f m 06"bWɽcُsQc$WP*s9= y|im8{1`叨h*κL<9 GhMӢg#[E^l[C~em]qr0\5٦e T!"umʣUAx)j\m'V,+/!T ]iLWN8 > |R0H; p: $v@Tmx%`°HVkcH0B"4o,N87@cUy+yz]\;|te)?ڿTsg0ZحԨ#!G鈴US̚IIL`r; %vm|sULܐ[\M~޸\8]RB $!{'mJ5Q ;K(&Zľ޵p?C-HY)N&ճ$'jNT_PMH2$XGF .m;t _±8q}s \~:H~A@i3EB y1:}xCfl5mŌOfw)b}c!! s;k8Z9., )VO=ҕ< S6 :UReѳ is قHD"4lݻFĠ?lw1ҖFVV#90fݽFF&zBwBI*)1nQ9Gx!Yݫ3l)@دkN.#6(~,p 6<4ҏ !l>y2 AkK^K0`W~#G.>9+q!ϥ!`Ad,i,Yԣ,GWbU~Y}OT͹Z~io̟qU"B8M{>U \j9:F34O_u7ʵ95Xhx< Xr 0镯Dxځü'(! T21vh* r=.xk%0~wqW!?d F%.