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  O Oq% ,D ]/]HOL-Analysis:threads=8elapsed=316.572cpu=1918.776gc=166.877factor=6.067zXZִF! _^]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpk!h|#l *0 wʚ˽,rcKb "yTZxPtى8)*st| 9oxkfHVc2Mn|HP-SzcjXۅL#Ƭ,6 z.a}媜ٕGig]~waZ:yfI WÁT OSwB' .0)+ #െ>l=yH/>U+h2%yv_wCH ǒP΂k/KodH0M EҺ9d/Bͽ$t rYGn".?\0??ۛ3ebGǧC&UөXgha盰LVUy׋>Zί-9H1峚}%p!qI.3*N!y?4#: +XGntH{ YR#1{h ;o~;N[9l5 <1X8Rwe?̧XTVJ+a&;ʼnn_c_Ŋ=;˳]ö"9`=qk k(`a&!]GĢ$4N769JOjh|"a)ya7৊`_9~xWU>.S!?ؖ)0? PT0OD^((@رɌˢ^>IW }+GV3Yy Pu % HOL-Analysis  :Wvb d+f]/$N\XtSL=oNd $2F~3# 6$a}}pa5g᰿Bѫ@\Lez $VBkm>-.jwEքԲ>z71?Yw Ѡi nr{³TjL>!xQbM[rEU_Pzޢ6Ϩo2 ~-Ͷdzm*$qӒL2?i.Cdlo BjSM\kuɉkA҅DA<Y,HVʘUŢ62)Ua[G5̰Vh GTj33^BŴ>j:Or'/ם2봴Ĕ"5et[MQ?3yisxUَa@cS ,fjz*fQi+Rn/|dwK8ıLS ) i.4?!v ]א$X$G"[Mo2SABQǤ̿grN 'nDM0b,0Ŗ1 X'am[Ogx]tהĮ< @TcW6_zgBA~yQQ9"CWHXLVj,]svkuFyD(/\Ӎ`aU//@opqʦ:g/* ?M[K{Ϸ(j?n :kd4%٬zK7[.Xfd]+%-NR@Y) jZ ]g +*;j= =S@^ gѻhD9 YHN&;#j9I5D="}i\ꪪum)wG a?SGe_LQB"u=+GYNs~9^:@VtCTf %WΖݫ7uhjN{H^vLdJeٵ[._R~*.Ć{9umU{MpQ(҉7{L c/*{Iu0ޱN]g$FhXIU5E+N`1WZ_N-\@)2l< }KŅzh1 z5-M"4;:x!~9ܼs!K. [2"Ɯ$_J4yMc*WzW}H8nE5>{'.2MŜ!wL݁x̝&GnǔY ėTK0enжKcؽAPg%D`[5uuㄺ*Xn 6z? 5mrȘ񋄧\d9[p0Kt LWW:bX}kuϮK49J%석%T$Ĺ j{Q@`ߺwH| 4 Ni1$8+T-.R8 vː?*\*61n '6) D$!q?%r/dwFs:7[ׇ8vWļJ׆d>m޺׻'6.*$5jH;\0Npd nq"M,8'yO"yi#%68XkV[e\KW`]u4)Y^)Xx~OS>CMw-8b#Vā~kILhop9to]C=&fyVLԩ:Eut;`ZZ|;ŵǒFMiOXpD\#CQ !85 aÛ#15W@(FąESL'RnlxϬ''@@MKE FzjOl^ĻPisrG &ho7SNt`ƽ=h%@xKNt4bp[ռnOgm~sr pRÇ{ |mkګrڃ"/5R1~P0kAN'aWq>Kh*\ ~h=FIЀLCiXN/}NU] (Z5=|%ͻJHյ nGW̑OO<4b@[Ύғ]4`4+|tP /` Ҷ?SF)Ne|K@GXOط<"9r~wY]qI[:`-{Xd:裧^ٮZԊ!^2Ȏd=7O՞9oiq䔜kMD^;R)-2RT:CJS]8];a.7杹Hq7L"Wk9Eq9?. lEV3` 3 5ATT48/dƋ3H\$6S9쒙<SXaFm+Imqڇ]lop]Udu)n4(qYh({KU3 wsz+7e6?Kω}3) ._}d؆k~%PA5G9#\b:#J]ԕu3hJJHpU+# NSuJTIӌByh [-*LQD]&UV@zC{L]?Lk.5&TzxWB[Vk쎍ezcA?i.Mw_y>R_; [+WORRG GdT^Mw\Z/BHPf֣C=g]0vMJbi6Zϵh6YEE<' &MHqlk70{ˤ}3ImU[M ^!x :Wm|I"`5Zd$?:KD&\DHmMHw5^F`x< ȴxrT1`a`wO7HS走KяE5:ӌ8C) Ȟ阎7hJ|x2`bI­Nߩ ~Wy`e9Gd 0F"08pÉ ⌵M|.bS+x5Qَ֓kj3o 1 e`+ Wr9aL/@; Jla#D~f6=XoR,|\ *6*26L4IʻZE\PbKZYz?I*t5c:Ҳ(&mX2˄o*8o~ՊW§U9_&@?h.Jz L\Gkqvy!n)ڌHMݎó&GjEXjW7v(s5Ko0Py'[2?Y  ؛yF˕ۚg\ Q=&0RqO/j~͢7$*Ï pfFh.(bcF堣k %GE_l+fC+(BK͎ڧ^o>p8V9sՒSjPQlJeD.2tq!4rIBȇt.B|uэQA1:j.CХSg!xX.zƷ_aړkR}rxXäxwc;g(} hrkW>I1;ck[FtpK? \q(T&? m2˻g/E~#4Yj;oQ!A 0ĴY1A=kZ_|{i};9aM~xC65Xv̓݁ z%y4,qdLK6X@5av:lr-d2h٪zG5I{¨I*PpF9Ģ? `:r:!OЊL6a  e!k_H1Qpw:yH4b!I +C".7D~ :Q+@ *s?xt 5}^SC1Ͷ<1"rC֢9I+hHXU!:ņSL4 h+N2G)VۨIx+cc7ȨH nB&|ZxȆ2q:l6 2ȿHp\3f"Kc}(s?HSBJ7BpFAy "*w`$ZcvaطRre@ @v26H0PpR34rA䶻(DZW[LPPZԼ<I%!ƾe NA4^6/[<ڈnF"jU ,YG k>zMQ-$POχ͚H9mflSlw:0"#>b=e\tkM*0F383Vaetq! {qѦ lR$Bor_+k@Ƚ@i̦Sn_F?'TmklZssmsx #ǖ?)==΀#fZ#ԉ%Vʱ 4& ?HwJ&ovb3c~uQ*}']-G[~9 6SdBX ^s8 ᇏgf95:>l'㣓o66 dxTxB_(UBfVڝ50Pl8ڞI}x8M !7pH7[!;epFI #cRǻM'~fB39f&}] Znn>&z;.moyx{qfswB:S^lZd9H ~ˍ^OlU\K ?_wcM0ɷqO]̤檃|e)/D: j'|kl5 k >5paURKM+23 1S]EZ9E1ԣdEBW( ]2Ft6fm n2H[rٻȤ웱J 'fGAhvTGK(q«P흒 !;yHxB+d-w>]B!̕x1,u~ Nx,,or[o| | Zezb8vx "yB[v<&Aæ$`@ $>d2N`sh@Q5`xZg8'/r,%Y %ۮ6_x Ȩ!I>HLe i%G3HN;@;(% N 6I  Z5BJZW`mO qC/S !+)ҝ*_EC?RGfmwUB?2n\R>2U6HX o/3b=o< "ܮʠ|oѝ/x_Csvt#^Ó)Fx?\GIjdi1dv8mycDɖ2Os|}`k齠8P!$߹,AX!UB  U̙P"e"OK\#){$,K|&2Ķ6|Pv^bMVjuW.Tģ@q%<aM奯6}TxK}t]E8GsU}*LpÙf LV4U\ft`xiy8=@EFӢ[@hf{'@ _ϙR?]k,o\}̵+bЮ%~'5a3o1kF2o~üA  *`_*ZdY܀굦ov*dv].t`Y>=:ȃ)?VsNk,G$)2i"p"#{T2oL꿴TDvD70~Ei4 E:`.U[魜fԺ\߇0&?ny IQQ$6zO`ʍUoO3zMrAE|+t~׫ޝJUijުq'Z FpG:MUe@S$ /;2PYb^kiQeJΣ-=mkt,/ (hX g KG 2~fwhFiwI3c;Yl/aaZjh0wk Կ2Jn.!k":@A%Q-90HlPuP,*Ȯ17^gp@xr=总fP68aTRX:F7&;|A!`?sbd婥MRwGոC><}HB8AJ=0#4΂i |G|\ l/n#AB82m9)!@;Ѡ6E_!7Z>Fue1f+: >8Mu&F",Mơ )ˢq7D_.ZYZDc'(ML):HiqbU+?js.X}."g Si4@X+ŊziUg!FAGx y+^<v|gGE/Wwqz}SJ,}X'0.h*n [4]'24u"A*|*[/)N؜+%.,+i$\v&U3}@7 my~UՎ&{{[m71Pk J~Cy:5PȞ7r-Jg\G?LXv9޶ũ½{ь3gQۂ#`ѶZnLbQvqy[6R`6omլ9E|?׏WhY9k`<0 \b$Y4͂>틥Eo[~JS2f\T Ų\y 74=Z}ǁ κ'j ҏ Ȅ).a :+1MOC܉覺E_mE(ipEc(m 7䒻)Fh@I%]*}1LT]K}Zƌo"+xB:]Kɂ z4rŪ-I4#Ge!u3ݭOdSi#9[:]mR^TU q}u)TA.(h*,_LK7ZnK1sI*/rѽ'ҥuiFMM3%ĨߴZj|[Iv#iTްI=ĩ8k:Cp!d`RV!nFN>gCҌQQ8!?e-B, ! 6?ܝoknEUv=me:p8r R \縃[Z> %'ab ;ЁG|Nc u]jCVJLa ,S_doЙvqpe6E,. ?Qz &Z|e.V_;J!XdIf/yqCƉ4 }Sզj4&*M@7z{WTfix+ ,JI᎒!1OEcJkl'-Ct%85ZvSDхg&1^YYHvou(L hGx%mjɬzܷރ2fx62oE>ˡ2_~jY 8 "ڧ"6DZ읛AZEKyEA.ox䖅xA#{/[݀߯BRҍ}O`01V9N6sK 1?m~\̥ gʢ$ c>W9|Gh%lxvܐ'UOohsÞ9ZЌ%e|6eRzbifc8cޯ2 (|SbJ5ЂenSvyUK'shW-9@5"A kW=s#z@W؈)bkt݆DæJ>HƦve&֟PZ[t4r.dro 8]8m>$E8ҮΙ`T[Dde)lƗsZvDZJ4CO{]|c`Zn@5cg2L[˳lv69sF*ž)kw,j昶HW5i OF|P!-T'<!|lI  kuY@q0#WK]:Vd|tsl0L7oaq .vk"QsOA@ƧtS0r}Lk!msD_!,6vrb߅ֻc8FM6({3qu<%."M}BBS-צF=ez :H-LJ*afj$'rYP&vі稖ӊ}r^߰"<mfDxoAO2@'GX],l9".o(n umtR~-l%[|(NANK}q~{M[ yGhpI宨(q+?ZՒ`&VEZɚ,X8}Wn3Z ȯDS,e͵^Mj"יn&=J~l*h&" :ZLEkxØ?61F(QXg"􁗿 2Yf0 NR0 \{tԑcCK{^c3v5392)dim~I7M~-Rv`\ςot kF<< Gb%q☢fV=ysڔMt9OxnDhWIicL6rK7y:c?zg W55v갔$F] {b@s !ڭ |}ɩ T kJ$>?/.[>"ŐI]=;Ul-xX#sqNCi]ְ!hCyLVt͂cgV`yo A4~@島.{CY9Orxn9-8x\:BQog-a7|EG8`3"DgT<0n`Reг^AXh3ӭܻm;ڠsDҞS! 9䪟&F{w aIn~Զgkʑ/.ݨ~`u-,^!r׮ӈ?;yu~i]` OY\&zV2V*NDI{$ $ʂ-?)66 m?F%0)~[M=;3J΂ύ~`ue1m+?EJh=X gU ss^KSήlS`r9eaB8hn9~bէ_LJ'ʼn6ܡǐ{Q7=q*x|νdqԫہrbyFiER[B1(Ir9G ; ?.AI:@A>>tit3hqW0qlͦd@uJTUDxfsF^W̨) \LLfDߌ!N:Pu1j$  W/&xΉ7VdzCu_H]$-3Os$n>+1[a|#'#G]&BL uC}::Θ烸bH{xbG퉹hFDUaFа!3!ٕ&Qdu,}j('% Ng>sϐ@]f&swda_8g'}+ͯuSI,!#-2٧._-9P6sg_&!_ h&'Ϗݼ(&̕򜊻&LX^&Rn>/EۻugĹB`YCEuJdOȲIi$<5iCa8ᔓI3#ߺbPhݶ MI/™%Ԃt$=7[UPQ:HD"1J?ϙ5<^",P6eVjܲ%cs~V`]Ћ|@۟p/lRl>+a2MxCCGjw;oj*Hd31`CBO7,! UFeN{f'9 k-6bkf;jWfMiFN˸@OfM΢}uu W&,[.4*pup>2KA4PsI8jO -a }LxG)1䵫Nd5vVxhFM6T~[ !pǀи,̜y`UonQJmI/WO5mWK{81k6Q0B;Vxo!fkuڒ:-4gZɰdn^͕c[T$D̹Reuuܘ_ϫ3[Y'P.t̑^?喏>ի.&JGkTJW aKTg,gHٳNA!;jqjNA#0m=Ѫn`|KVEE-[MAlA*qTb/ yncy 'd r^.Nj{jљ2V!xHX!t*ng[ k]S'>h8e!t2ds ?3o(z]e+ŗO#j$dX!wض,T6?G!NR.t#Ψy Փ̣VC(S;_=Or$̃ L+{)c2IfDgb[ p ()v:'%dfQNU7rO,U`3X嵤k,sr g#6tinBMxd@ 0n -+ o|P G Eapnq!*ٽEU@l2a[9Y=UJa䣪0ֳ90Gy HAs@[xt6 6G #L"@cl K/q`wyFtpxϱcWbdfx"jXDT&`ca;4[dL#gnhM@Dds\6؞Eo)ţmU,}' 6.V_7I_ߕ'ܣE8g tإbbeQQ{̼pHuQB%o^oSr;ui5ȭ} oᛠ)wwytQvߣkKlr3 < <Y,e%ѲxZQª܅iǨ^a |Zk(li&).M ~/}ℙKՆʫoat-oŔ3lN)*Y EpPrHGn,G/yMi D2+DŽЖ$?Sr1;sO9,؍nA|NPq*]RnKpAajwdr#+ ±;}T.B&d4F>|6:|x/R.[!u+ſj "S:m˜#S/]03.\Wyf=3%FY|ghbnI~r?#^1}xMLJ-Y! HC$օ#䲇c7Q܎oqbYt_:|Jq*)p-h8Bah0$,@z/bx/\DQThhYzB-x '`GLJc ]2ow#$XSM gR5D3o:ɢGPG/7bh\lw 9ѩmbr@5`u8YgMnG‰)wX~f u &dMs%֊ B<ذp6^Z'5H<. )?~-x Lzxmcw`DOHVbw_S >L%d録N Y=b#wxӂv>3iQg_"UM/D_%Zſ(ҳ`n.cphƳ{,`d*ESp{ĕXs~98s4ǖ~]e/c]B4 ,֥k[Z9|Lz¯R&SjS'%۴}4 Zs:;ڄhk'cb`]^ﴶߴ+I©<'raH3`BOTOY0_)i wݢ0y{\fH5>ѽV5R.iTkLj8JZw.0mH䫥hˣ0l5h H }4RD)}e7GF}q۳ˈ3AV^}]y #۝w<:)l0$}SgC=PGV!FSdC (G$!VCA9g:Fʽ׻Ğ̡{D\BOxJb4%k.RBr~vbo8aFd~'sQ=ƒ_ҕm*:h9p =opo"HY@k2_5 TB[@󯳛ϱ܉E(Q\m^*vT_Vut([b({i{,De :4tuΒt^[/A~"xNlw~ͬkO7Z*m*!C>kf y3 ڄ^)Տ}FqmE8@^f|BNdkVwZ$5tY+{H2(fiyފE YJ>˫.lz̷?ؖ-w9 [{.6u]!]+G;n+(]^\|c Mf e/ ǧv><%aFV} zj8QXޕwڀgp&Qʇ*J\}8\'E'Ky,y5(i ML# 4cz8ތxT\WTsGFS?MТi`WNJt`#_sClh7Zߝ]d^ݵ dՀdt4n ;*7\9-r\yHM?HFp8ؠ5JaWc~?*WTxЩrێ*ӊ^Kk\JrHwVVYȕ ^w6>aC jҩz+_BS eaA+#[6 -LVZ2UJV=C,"ZC/1p}"_欑cE(1t{4 `*?$ʎQzWJfpK5y~asJ6&q= NAZ=Zj8:[%Ԕg{CtM!pnY˜!\BOKS)?w3aaC; :?>R "s҅{:nF "ɬYф̥ DyrIMg2⮙I'tc%2'{~9Cׯ%BW9~SJ4z#xozj(K7riIv6Ī.qoϫȑ|-p>W*Rȕ}g*_kqUKLJbhAeMp5("u~0K\5n(e8Ο*n˾65nS&aywh,Qʆ9#ЙezIi6 ^[ͫϗhG)0>- z:9k\ ˭s&Vo܏oNdBWk; =G0N\͔z>H~z+ubp(bԘfj{fbbg9gW-8=KToW!~+_k\k|қCzerq^NN ,T*,ۄm=G4kG'IuTWlrRI2|hAo;<񛫎TC.hT9' ׸bɑ<4˯V2?JB MΥ !ԃj:9x/+) 2I;r\b3s  R?Goߋ8j~u˓BW2SȩBXD8q<^r CSŽrsJS.1|!!$U@譃!Cc"fR!ӯl[\1O}>YWTE~'~j'4mr1M^\+G-XK<]si-3P2wJdg^m^~1wW0%}i?|H_}!i7sH×}R}eGkKD;tR|iqμl 8F)V׵]i/؉dfGX^6ôZ!JN<,0#[uP$BlROlR!}s-|*{|* xRqt(}bJ ]4ibbԅ74P@=N]=ǵa؁iY-yBs=oA%!:眫ꪆ8̑A5vN[u#l7Ƈ_XÙ)W?Ӄ6XўpqbՈF&@j*Chttf;*`SU~L) {l` {e]bfmcՓ4;Bԅ\8sܼ?n#i}o~s`é.0ֺk'TwRZ^Y ; G 8 (L)ڰ>vߧ1/[y>zT|D ?C Ug8cV3n%<y-!5X+9((靉OPmh׵0p-Vi03pZoA)(k`K 9%^y2"y %bk+Y[ 娅'?ZB; ;lQ]]gʡb )Y 0E$CtL|wF5npoG-X.Kdr_hv_&Nja8ogUq151*̝e*@s`V}g󜊇QkVę!$@g;l[Hq<|zoxp\pŽ.W+v{kŊjMzj^Vp2f[_ќ~wT`aw>L+S?/ %Ieq+Tj:A%2f4t_˯]$NPϙHB*"@,_?:i DBb3UA:H!GpBz"Fߣ_ U&EtGos!٧)+S9r9}`}M2Z$$kyN!B4wD03![DOXZ+xЂQy!4.8%a дcr1,9@F0@8%V )jŮdm.Y+8m+8|(yتh0r"$#+fj6y2fy77h{/7Sk%r&/272+[a[ˎCnڴخkt($'V/B|n,v3"սecF20ATnT[#4Dm1X=[05i32#!F6ȲLmPOȩG5|AitQ{14fj81$A I$aK1t~]$;)\&(ƏoE=~Jw+j}?HJ T=2 `[2f7F!p2b,7phȟZ:6!A{Q7qY/8dޫ#w',KOnj2VSUc!me1cR()ڕ%\-CƋD{P$y" 'd硣4ׄeFzyk Lo%G">OG]XOdzSCIe:u.نsn0ٗzXFe6ke3 v*`P靱gwr5R*& le ֒1tax}-m]~ُ"n9LZ̨rhFm Jxڀ %5p EN:5?]bBGa-`gzD0>mrn઻sQ ])^K@5f}u 3YTle {i#>ךF!ݖÑ.X0VZwǵZN$EvpEk5*Q12Z#z[t|[_fg Ɋ,a% roT|cot*њ@{HwU,]dVY"RG`A{>x )'7!IX"`s:'cfFɷE7Bi QYM9U9p,)vݔye+HZ9n'Uӗ7F ${mؤş]7U_wo8hCcN\<]tf㎬U駶l 6c[Z wus"W 2 o[0/D A7Pm*Aq:SE^aSab@- 85Za&$}3i| \Q~$+u7y`ڑq)jk97h($<.54jQ|9o荲;(&.f|P.lVF= iG:+UV1oMG7_*tus}(ӝ!d ST]H=D#Z: (P&)wUJg* /J$zݡ.e\AǢpɅZSkP|d~xE>wE%^9m|qR, /0Y<:7GAmh8Z|7x1`J{KuoSF ulDi+k 700 n_DLp UڎH1ʀOE+E~ 9/J %/4{>_Yڵ{Gx 7?EѪY;fִR}_F vy_Yi>GL4zԮSc<Ǔ٬•2 Il6=y? :۷Vw J2o ,PT.csR XoJY_/WMUXJe/듓OMصu"ǃN0%8HTյ rX{R7\Ĵ< <ʠi `1^`f4s#ß1!9Wש5w۱,PbhDtG7 0Eܿ6L3X*_%FV)Fhx_\ %wH*xZ\S'+/9@Η?呴3Q.w&U,;`eСEE&VLM'lZXvV##7?J\;"ދxߩ[&CPhk5flv.[']Y&̓9p%툋j.Hl{ MQ"C&DV,Dfbª[|2hϊM@, CG6 q bϻx9LdޟsRdd_eA'g_yV8EKؖd`_ۦbBd*9^?&52$=I舂+~Jɲ=Ob zoJ!UI`>ax&?t |,hEzq1РWLMtS*áI'޾%ˊ :\S|YDAchL*hŅ*f_(`U~t~ WI鵀.v.Ð~Ya>~fCBWǶ̂e |E!$ϽyX_!%8;XC'KD63'G. ;o;?r ZGS}f4'=&/ۉo3dG^Ie- ThWŰwhY[5^9flt4E"ў?HՃ4`yqM:2x䣨؟LŨEKlUo.'-ԟ0WSug~KRIi6>=]\ʔ-6žIs'V0A!V^7=|m|,֨hA`b/x+ K!rCtdhzrc(#::,;ٺbʓ%FdSwNC|)N3&o{Zkh_ŖsɱIjtWԴiEz5 t  MH\bp66 qq1C'7ݥȈ;j3&4rsD~  QcNU!ұ0#3V1NMٙ<<"7Lv<֮iU_VzZt}" 8eRfcm+f/u$Q\&3j j;˚RsCnRfZϓhpgƻ,.Gg:v؎1|ct3NQxpbS" ʺۅBi KgV!~ؓOBݟ*UB> C rڳifE\t5Bުr槪N`USz5 =& )[4~AK[~ڭzX.η.zO«AHԈ#%zPR \ L r5#_H-`,kFV7F!C#M;mkNx%/{zV4{[A&Up}:>=m[ʊdE@\ƙ1pߘm6Y;!Ʊ"'B<$6n8-pqFs%J0YO1fb G^CW-B;x7[U&xU!ѢO4{6}@z.u*|9uFٚ3\mAj]7`;lL=4nm9 S&S[xu]-!u58Fq(S7$ 6 lHF292TVbef'w؂ G_LS`r~kqqKeAPL)bTveys^~ጠ|gN'8>P˪G8on7NxQ,\niH{ql^|*'pl 22Đ?f *4p/gua;yIЌo1! Y[/ʢl_r=Q,&:06J~\3A T yo=r+'Jr/ݜg͋SDA#M[wHzߑ%cP.U|oLEq""CBEnTBv dOE0=W?x^RnCz>.斶3?iCy;(g5y#]nE=SA?s3mkpT F5&ǫ'HfŲ%?Wv 1}NY|wso5mq%a륡aĻ`8SB şAs4ɢ&>v@ǽ~wp4nRHfyL2oAZ^rci~"&yU6<_r`)jZZ-[=ۢSN 6k$!IHj3$¨F{MoDsW7O̧͊KW̹hZ*vr!*(5IBgr_VA`;BVh㾲 HE"dV獒@|Eʏo[oDgh9iaK dBCW_6 G[tVhf0ΟZAc^^ ~X}v۱"`ĉN<#sT:#%|`6sFKsTr3H $"[a zU\]PX_3?ᵍ DZ6BKNQ&OQcDz\l>* h VoM2#@~!>8JTDCyrhL\q Ҡ'Y GJt7^wQiՎ 毿tV}䦿69(/Pn G  `~h=({W2D.2j_+v"HN D@C' @ѧDDuDE(Tis]@NaɁpI}rwSDJ \_TR9Ĝ\-0u݂3PJN_XyO+5Ts};>v&œS7 1X٠3?M45 $䮊"̎K;& 5|:3k̄WH:J@KF:Z (BӤ%(]ᩄR9d0=rM{UeGt6URX{%^REˊ?B/ F7Ψov|]pj.Cti#}| w:,ҙA߫7AQGa /%wߔ.2g8g9p/W)uE@p}-,?N Trݶ ĥR$6ϕoDHPH{Q0麷FAnْЇۙv`!ܗZ\4ƸBCN gXB 6> ['zpy/-ǥ[20Zx7>ĺ#.TfuU 4w-ۈf LyLWOmhMfv?s"Ђ;76Xї~bs$G9^6 `ܲJn@G^]Y2>S(iMjmh<%,@.Þ&M~A9ܴ۠ C`] -ν6AP V9eE2DtWS:QᅏG:nkC@5eS_:s u%nG|(ԸG ʾUSM. 5c'Vo8)ڙ"R pxu+c\ekkKM8?=C%mY-H-/ N.v3q~u7n [[ Yq&AլB88/f=8a7fEoZOXT@LVt.=Y{(HbDŽt)](菨qz_ݮѽp\&q\yFS < j7o˲*R܎+2(Dd\&B_4#ea*>cJCOԠio{vC؉nuv_0K}uŋJ!Yf`ƵGl/‘"L]5pC;poef[AxSFmܲ;9vm@m5\B/hJT"M;x |-=EE|V VW{7sE]~JKx&NBZiz3ؚ0ozᙅbbp]yUхGtYa?ŕ\^ձpLB2TA&+gV.? v ԅͩs*w UBToR rS3tD7eo&b  R8|mIL`j8+j O;F_S$b@8ɜU+Ll'lSr Vh:Vac>8QgihH?J:${R2< ㄾ;]qHR>Sq)7J߃ԇf+P4Mxn/ͥ6_.X͸9g:}8P J;ub&i:^.ِXF :m'Q=clV,A0/)Pꆗ-9nkDmʶ4ZGf`C괣n\u:vKFM(r@%1OD ЈaF1go;o'J0ZRiӡ; ߮,3,k<1P!$7k`DImR)vLy|뻃=[Ř?ؙ}\Vra勰lJ_+bX9{-XrMwcpmMwt Ry;~8*a [eդvECwQz gZj]:֠IX$;Gc4H'nf z#,-;h,ߌdN+OUxU[I&/P˜M ' )OāȐ~#B\h?mصwMAiR* rf1Qi}&ٌg4< G/*YwRBsv{tN3w7TctA{6D}ŋD0_.N\46ŋaM5-/%”rq.6٩EoBNjxRSt=hSAz+vۇL?8' e$}? +Q+,rqN"trk Q;O?dVTXvl9|cF?ʎDr~p冨nR  NQGn]p=KEqJ)5[ܱ-2w32wG&o`uvKq*ìS}X}2ơW6~uxhĂЕz2B㰏3+%(=h3vwSl&xUW/hf [B2=o Y5X[=;My;ڐ*0qgZeJFh$5Y/plsx +B;!] p4(8 nצU7PMLqV \sW1?*0x>W=,'S4#wsw\k;1 bAM*yj7 {C^F#G!ѿT 3i;#AJee}%R$xsbآaF\m4)L`f;24l82wMk\ժ S6TP,CѢC d{QHjJK"sD"ϣ~;ny+sNZ6=?if}a-d8HCi6N{BT%C/*YyElI+;S&'<9j'(*bM·I B~PrSe$)׋R5p6CīĨW<{j9)Bg,(]}2;\UZG1g[=H]:5XhEq[Ge]ANy̹Grs\/H ٕ qh⤣jZL.ЕӜON+DL2lb[ G!q!nh; ɽnɢkٞ p=f F~qtX(Iy~Mr|xԐb_C $m^<<[6B*Ğ v*:M3}R95(y*0p1Q'׷"V,vܳ$CT-ܚg M)/BvvX~)Mo3&jƑ_EVe9x c|ȣ=tW9!>5`J:XjgdTžpm$)KKKH8U+ ?p*WF*ɽj<?F*,mL5 _hP9w|G5=(ՎlkW,LWVH/]0y9T"НXCZ}Z 4_iFHm+eLG={3O;cNPjD+sL!>siK]{n2-Xـ.>e'U İF& O'BeuN.::3Ȯ|/#jK!F\9=k ,t7=z@x %djH*=6O]IGzu9׵w2cY΂Cݒ K5bhՔְ5$M@j%fPŘ %7T@(AS^cxrPn1N>ǫK=_u,XX1K[Ti! e{{2k^DdGAe$>5׫BV(*lG&،b.ldDeRքTC6/sxS]syr X#瑁Z0szL0N@TXj;p9t] QE)7YdDlh'Dž#w9Xd\G~ b*R ܬ㜦 B|+k"?rU7mM5^Ԑڿ#a!l0l^Nҡ' Iit)B=-aZ$0-c&[paйHDăӁu %M!rG{gT/M.K>hwmrxBVRxǑyu,yaX\WDh z.k%#hc GJ!|ڜxf% 0Eew$wzqGj6rI| LmkKLxj|7ǐJ\^ٌ, ȋ( C?Oeo̕p'>LX6a,,JWz8ފl;ٚ XRk5FGݕ;GNp,9QVK}l6߷"2cSUh^~:jcL%*V~ ,-BėIš _BLb^:xG! Vl3/MFQ#E[5/w@ X(ĄUS]@sXT A4FR"l xCBٰJ$}`b)zƫ(KfT--Ov320U~]^noɴ3[3"p;E YdF;mY h 6Șs%Ijta`AxjaL{3 gO QHhYC ~ -@ƞ@0^C}zҺZA8c\ uyv~7`z;b&k q .ᾚ7A!{C7ƛVm[b4#EYQS-#ZYq&]A7=۬ _%¿[kbrc7ԥ 3:Vb*vDѢM奍w,&+yipGj$Ϟ:ofoEfpRFY8\|=bUuߥ (芝,"Fa&@gc u) 3:a+m׃5YfrTyLiHY{ԅBMGz:`yuR9HP!Wxڪ#g#*5@֕+ױoQcvπ}(=]MϽ|l3qS;ݤ#BlJ}\aw{Kձp>hsk^kWGPr1|ppfXmL 2a^E:S[|="Ďo-,_=pr&gfSs rSf%Q.O!s;J`XU?U& 6:#}mdc߸\} _[SdR!gnH,~Q$|d+`Zbsؖ`͝ y#v=}ľRBg Ys^%2|[P3ȱAmB N>4Hs n?fQnk [oYl Ǿ{%Z/mV+|P "mb Ə&mU!xmO(ke4Թe*?*5b[\,rrT(AB)qBkD+24Ë? Vʁ,naf5d3EO0LkOPr'$]8>nErlggM{}К6r9"^w;7YNNAlp "ϛ"Rޅe}BE1k~#|0gNKJǝoԮ*zgp(_*r  -ϑ+Zˑؙ11vAv,ʣRǶnkL! 9 -  IFvam`4^[ɐC!oI&Ҥsy >f)NC<vSU(=*ʨQ'ft  !r'8"/ۡK`+r尻V܀ķ&j|K?hc5PyQ{t>i;ՓW!B s!pH/`~;âtO@s &铻3=ꒇ 'a'0UFu)6#R,4tjS) c-%')85,mBs8ZSWOP 틌sO({MJ6(h2q]I@>:g>7<5'Pݗ ۩[H1q ܦN!M3Ac%jO8uRL,X]s&pIav %+n=ͮyUm:8M;xF$ٮfmNsq(ֶ+s$cWQa/-Ł:Mn6n?n.}d4u6d޲CCh@7A^z؜U>wj/v^r/CL#' Gq(}{Q9͒n+75K,{e=уNJ=+ rZ7zL?y@\7X,\8 +wmZRғE:f;OJA$W+K7@y6McVzQC&ji7K3*'v^0pi 27Ƨ~֑.!ʅh=N^`'}XdAuDE(a7L;cCA(9=-ףR}߬V덧/ϐ6M X4pU_Q^ϳ*tyG!d @vዿ*Oz^)m2 '6 U 괇ϼuK**E(jY fDt> KLt|% +<3uMTr1!8ydJ=_qHk]{~8^SU>7 R:% sJ؄>C\ELΔP'U)X xf5@ 2Bn`]N1q ;']3dd}=xhȖabh6Vw:+:S}m Gzig6YuMzzu3F徼\S{-Vf1.r\wMǓSj *Iާӳ*Eڭ .Y=Ȉ-XWK{t@hVQD2\(~0:JG8j8)(ͤl:9TrUT;@J Fq== pƟLNT ErN^_=W} 7֍?i-ߎ7e N/*GsҘ3q02)2{dh5ciX n4M*O6Kc+U8IJ2yS =nQudC[ZeXUqaEAv$uTnv2,,\wn"RoucOB q,#q^ﮓ6k=4[hK;4ruќ9N`F$laH^Rߌi4iU&zvf/ӕpbt?j `{[Pta`F<x_67I9dtJDݒ#PɻDq󫡴DκZE|4#V/o6X4]qLxϷC퉼)[c++E]r%8 ⷽr . #Z>-ivY)m*$fHz9f}:A8YhsO+򕠷ơmA ~WfldR.)#ܶ(ɑ1o1oج4=y@1p_2v|m;m&u5w$Ë%ӹ/F$ħr^D@W{ R"g֓!g!+bˢj).GJ< ~q؝/\)rd[7"8JUOt$xeKQQQ sLI~1R5qk Dzi J> dRTx4FZ|q|S\$B_u1C@EH1 `'xߝXgֹt``5&v$ɣ@gn>~F4x3_6yl {R~_i2D t2e7S0@Έ@MNi+W>#p $(ǕmYQQuP--NX.Svsu8Wtqfn6X{$t.  ߚZM21>RTp0X/I-`$yG95br(ߏ3QPL|7A]CY1g֟`h]j̀<گ(NgǕ`6bvkJ+p=pjVۄ9򬱹R١HowEyQrJl/J?cpo١] &+IӯB#)r:XuSWf /KRb )?K8 ZRjK]G9RO%`#xk ԫ]zzZ@ZtdM]㚰B"$E5W:BofUvEH fSW#vzXćNw @S覀="f}fE- _*sRs=Ğ C(Vi`=VĻLM/ͽ_k?sv\Qe*:OlsT6Ƭs+qpd+Ɓ@unIyi*U>2@/ ۶502~>ˆ)Ӫ|Ulxq.L+\ON֒tJ'MѾ~ =^巣؀ƥ0 Dey3BAu9W \L?DYfP샣mXWy h=76 ASTݘ`q!׈z@)dEzԷQ4Aꈊf^7JNhQ t$FTU=[/UlM)DQEy%Zb  =anҸ>jxOe jnWoIzm [7(YvkcK4-'-6̌7Or5*YS ggu|E嵚ꄚ*x&Q H[DhclaJ#w/D^Rm}3e%ݵ]h ]`Zf jZz$rO*2<!}:X#D:&) >"8c̅LYB Ģ<1v7##7#y#r4`U޶Ws#Zz(3h!z xE7&G3͍0Jz |jџpy^]Ay.V%j1 &󿡕z]ol \6׼۩ C\w@ZUatZ)8QZGMdBk OwZ wJrO܈ $(`bMLjh|$dyF|V$uoC'l*&_a`74z' tXp,dAScäE{+XOg HV|u1>Ñ52Zƙq7qtyܷzW'ӓ^LOKO Q wxi3Ɂʋ95f}kEnC`1B'6d*CT]K7l;= 'G*w?+dڭ)lC}) Bjքy6L WHZQRW`/Dd`Ql*g]fg9P;5!m#$/K%rAWq 밢<__Dxv!r}Se C i.oڽNKRZ[.Q؈@q\E0ry Gv91ywɸaФ%#0yt}toNG̱!ZH#Bi.nxn1G(3MA>vzCB=a`uDw˒}ڤa[ݞ_1rt T|iW8;M)pȸ턿nQP$W9ɳbt&rOiLn^-;Hf+> {RHP7iB=L#sDiL%Ƴgq^\)g{[w}j;fg\c#0<0暲Vl@}3AZ=Z$\mYZqGhY8ISjXp H3te}2ӏLdU_/#@U&Y&½c2tüYtw?riv^7,I0Jq)?BVzŠORH79ƺft$5[3y(N1NELeՅN+tYY4$,]>\N;`Y7&FF_ȁCvs{BbяY{܂F%Sf`ώcyc۵2]V_T~_?eUmK (lBLh)Ti^ ij'Ƙ7c!`ԻsOT÷v$ T߸L8zOZ3|*s g$莑RోDƬk7 { Wpqay.vZ管k\g]ɭPINV@xhOvE:%F ?$Đ( Wk-:zj1 X$t~.cEra^x6գ_J_rPso?%]P}*{%ErcRQ%:Vз@ CN-ά<'"j=;Ԗa<4l }!*G'2_23{y bI~nӯzAl:NcEfۀϗ@qq%mg  /RhVê:z(ڐUyi<(ĝOӫr#)Y^tS8ՠcWSD&bLkŤZ2ڋHD^dHfquƥ3O(D3Qϱ㻝 _B̿ڰKֻQj?Mm ]jMw7v`ۂ8"9UhnM`=م郎&J:d̬[N(ܫE*ϾPY'ٴ*1Z( ay·.VƬv`Ҽ f} dkG Q"}9d)؂0vxRI #Cһ@@JHlh/J&ц_p}-o3 bNoQbbgBDcdi?Pbe6]L:|g_ 0Nn~tu. -/Mu;"U`BvEic7T\ӱ`[s~mB\q Ja$hacKblx\~h󄽑R\֦@>dBx5TZQG϶I,E7}Ko*5T;wn2.F!hf70ǸpwBD|pK5KwfƫL ,F"cAj(P"I2qFHoَ`NՑm9(-m}ۘ5nC9'2m:)=%єl`VoP}z΅?u8;^ڱ 1 80+Y.}΋P"S+Ou6Ƣ\knJwI-U{;4CIPrn\js39A#ϮK.J;G5jĥ XD>/0Q#Y[b+׌bP#ʂ"eMRo,PǀDjE/!Y&Oyҡ/!rRԓ]Yv1lyђ$u#+0J- $n[}ɝ3ZsPςßfS&g]xuEr_$ĊNWcrքȐ92瘾_/!.ā/\s{q`{aTVݯD[HQXW?S(5SΤPzG#Oi~@hYҗ,d L(}ً٣[^ ѐoGdv6k4/9͆2E ,}ˀxuY+ӳf? `uZQlDd=Q~)h{4CA,Lz2fŨ Zd n y)!uc69Ʋa{Ӕ: 1lwFgjxҢ_e*P4`eZ]r݇t^X?J:IҽMoHǢ&i,KL:@c*2pLp;K68SRJzh]GCUHs0}@FząѠ{>^1IazڣnCN"rPx_/0 "-.DFRý/oK r~uō]ؐ]3М>h:)ląrׇ֍HS1ĵ/.Jٽ<'][0=" 픻lD!1%KY;,*pqGk3=Iȗ</c:w9nWn,y) Q}36EL(#}kb C6BsIl5 _W!됢" E_FBdf헺/&{ךunS5f };$G$64 KARt"vtza I8$LJƍ.>,E,lThT9ɵys*B&iVPtN{>7[Cr89a45srbCOFݗn4M]ːP"pUJ<ė'Gbye;ʹVsj{F*}i<%AĎY#4dkz]m^qSK3ˢ[g ,%7$nU  1:ϝVowA(mGeKZPN"&O0>-.BDCsMM αS)t X+ɀ' @ b02»!{;fp,_8[r#C̴F,#BBhԹ* .]95jE~mOܜ(4 ѻ[#Ueij aUdʡ\K*GbUS!RİLfBүD1M=UF(V:-i p "ט#\gԡH7@NYrgRE](VlԳ(