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 ::5d ]S HOL-Nominal-Examples:threads=2elapsed=560.695cpu=1017.036gc=103.560factor=1.817zXZִF! ᆩ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FE;kH+isQ8nwC`^*xC^QFK*(#nS!ƌ N˓ ldEp[`?ڢ1՛$@6֧CS{;^ _+R}%Id>ֽd&itR1G vn9 x̂B{Ʋ{zva`K8$K-f+ll'=$ Å;r`;QL%2._phlRwXf*ظ&zHW h^uX9)g[uiMbq'Nz,: 8#:Y.?K|m+(&[q̏>Sn7B]JxdYcVcC-Z)8&Vj2n&[TF/Nmxk6_^1h.Y!T} jf'i7WƅC N;;/6BPyKq,0{N= y)f [ #Uf,Ęu\Ҋ!UN[I$m 9"JBvl$)QęZ"u)SJ<IG-2rke:!xNˑ 7{]5Aǽ+0EƢyUnX|5*_Ĵ>Wޥ𧡍t S" Dڠ}Z!% 5г4@u{bUT7{/wO?~lAATob^tQܴM<l:-#OP^fLOÌZ0l](r"FjJ[˂b3An\g& ]qc D7=>VWCΗpvRL9 Y$)4>\AƖz!ELx[T鳝ˇ>>WfҋU|ws,2~ޠ*v$CyqH7l;pڲt68b^s 0x=c1OQ7A&@SF :w~1;SI-oDW{!K Vz!]+RLK+IChUa_9K3J>hR_\~Ku4qVek.~mVD)8+DLNts~|ɖb+F*k-9pkz*7쾔%d4Yꍏgz-{\$ /ݵY=M -p֕yApBQf8K雹 vM! 0+UH#?HĜl'gy^.&Zhg /X)H.pO9yxq]^aѐ}dUC\re Kt6!J<*e nG{ˡQ7WZ}sH#Yzտ_l7~Te f kԯH$\߻J[s(@(y(9Y? X^zp`|LbH^%ue Kz$I&Jy;z 'NsPYݓaWl$+Ԥ?1N vm{(My>+shv5ԉji1@8 1=6612C֫oŒ0 P~'2!WiS DAm[|F=;"̐ˣ#Y({i܊39rﭥ)7AHPyA̋>i/qQz?E'(5 +8J j t8/3EPr/,&lk@_اLȭEKrI5ؠ肂fTDZ൪ݮm!^m2t7 I B%,cP2l)_#=B^%,rdyגHfpay/JxDWx8G]\\m7 zH[x Y_ɃI1' 5 HOL-Nominal-Examples  DEr4 ndujÎ|b;5F|<eߜB 7%^$~PA .TۻV,e- drf_|#S" 6$ӎyE􋎛6?}UuN@; D2L+ǃ *I:X f ^XU0Yg8x ؗJ6N#D'& 0De {!tZ! bŁkjP19F1(ˉ ;~?Uc bboˍǟ= +7u5F 񴡹s,$$y\,T"^̷?#l:jJJ>c psJ 7ڃm]#6:z<0+BTt>~g'O,HȽ$sǩ* R-^k_3xP|JYwMș^ײI [CҒ:y[f\qvyI[1|VBIw;B@M]rtu/|=Cgr?L~߇W}˿yI5OZk'ͰD 4=yf3(P z!Z*g;bͪF  E]BvoG5)x"RBtXܼ}hD] m) .ܘ.i JͶx+\zYHѲ\^8g -sd iJA$6U 헔 e[ͷև}Mn(^.MHc'!FW,\F|S_ȡ"5l>vD6a VH7y*;aT<^!ʷbJk ?޼)TŐ}au}N𸐵ѭ-u/O}D#ukGIRt>j.? 0毢lŶ%8pO"bTl[;>(u( RQ{)y>kSEmfEX _݃ؔkx|}G>yuZg2O /lo!~ThH4ͩ)t"_#?4~֣gm'׌4zr7~0m#\^_t4(c ,m Gtx1ȅ ע<:Z`?;A,S!XuOч\Z_\dq9`D tP} s!QR(" L (S"f̰Ya{쩼Ii~]tg1Hq!zyTO9.Y#G^$gC|U]`[6xyh;ҋ8rlݛ@;|Ƙh`W-z+Z߯jD?:ʸgW~`#\Fɏn?[l6oH}-w4޵5+3R(ozqc]ظNob\5@ TwU5bk]1G,-Y(>?1ӖDk Q:$)ƞXQ{qxEI^7A @mA0S=Tڳ6$mvx,;ч+04jj#T\{n*MC O;^!_6ƘO%N!u>֟O{ WoL6XW9^;g.1d3r,:I`.'n1ʑbp_% OϾYǫ`R!ԪeF u[#@fK[%S冁\LR&Cܗvqn sp1w.q'JcjX8=oEZf [.T`PѦ zδ'?3`.LlNB{Vކ~b:Y[p[wJtШ.D.~J‚Ο`%{a )D2iTqU57\"cDK\tP$ʛ5>`7 T>I5^,%&D4O _U\ԪŦ ԑA?~'PAgs7.!^;]YW{+3#'hU0{\A@ʌo-7ZafEVm?^;g$#ϩ:.< L;cáI-υd+9T/XmoڇPh >;j d=P=6\eIA.OreJK+htb)UϺ2͡K ; 腋cEݨݭuxw,Z2q?pK|3ih#Kd3N:""o~%R>x %HZE޵ɘzۢv<>'Lt\rWdB=myN]$i_]CNvPoFbICq ^{<.k q?3ǽ۴\>/dq IX?zCT\V'ѥ7Urסwq,&8 ^]fwʬS,w@N{s%P;yn& C%ݻeqU<( WVu4h1(;Evn}ULySaD3gYZ7zXZִF! ۅ~]ŗXi%>U 0>Ž XFZn0aQ\-]X\VS[uY4- C&wܐw?ȣ=w[M܂fuՐ̴VcV)U9@΁8C5SiX Ch0!0{2/huc7LWm-s Q;J 8` Ҽt@EX.1&'l.;WiD;DI`6MmaGݽ]ϣ~zwm \`&z.#CFр˳Su\V O5f)?b 6^C;w6{ďwO%',S[JGL zgbT\\x'mJ|5D(Oɍ֏@ 6^jLyȷn%İ"q(q+çօcQa< %싲sy4Zc޵՜A9Jiu'tG S#p}syPNMRpL$eqK7VjRjm:R6?Q!TU h"f9.;J_XIJ$ODCYnr๹=mNv^퉀ݤ U[2FB Ke " VS} nOz®d~¯ώpf41~ZN\QdS/9ʌ%ڔUo49ȄS<Œ޳ s)M@Vly.H"Ir+XMLUM/T\hQ @n/+~}2pHtUsϬNL`h$ c$an 87z#϶/ et^`NbPeKUQu%dTec:Tķ:FvYFh<>Dfsʢ.H$'6d/tJuPRêlZݬ՟A{15n{Ð,lwlM3b)ҁw2_P%|ޖqk&FaquN3k #+C3^L[ݐo1AB.c6+烈3+lbv/Y M̂cN 7N)~n>`XJBRXYփei+ }yHsE0XmYTiTRdn/_"`&OɃ5̹Et[΂ԫߘk[#(a>ĕ/QTO 5KMi,}dgKh]錘rWu-6Z$uUUw˱2 M!۲ #`8fw,pB%SH#/B"PIĦldn ?#c|0|!J EZv4|Дy{Q|ߨ\Ì]W} V(92OƵlg5"*n OɁM"M $j3VK((;T@Uq†*u} zQ2ܺ>O0TAc%{}Si'˙S*_4*vyA߶(;El -~9(&݉}:~ %׀՞;/Bt7'8d\~7#lJʿizic}H»Lۣa*wMO؏b}DZ@ VY@v|%ݲ&> Tgw؏r9Eu1uMճFN5MLFKN +iF8պk6 m3 ^pq u)K`o6x_Gg)@Ni8My492Gw9%Ŭ_; BkR%K]?ɰ~ gYjC _ipK^:Yኍz7 ς;PtRVgkv$jcxnn hr*I"QMg8 wK8o)1_<ç%nL*q;QtD0ΦC>xiKt:{SBlf'eIsb X)"cZK2L4{%qxO!'gՋ9|d~/2.HG#nd )i7VDtpjwY ={]gy,>8M5EVFG3`DJRh43[pJ:0L>~Q=="L5//A+g)blxp*OJB=$S͎kL1(LgOT i fe@5߈^ztR,Ri]#64<}AU Xiϸ ɪ^iNU ͟k5|B>9tUqa8/?O;GZ-{U@iOʊ&]a{e*ՆA@nf;D'Z v&9 M`91HgјY[.G;|r^ wxdckY G>&<0KI"#̚b~>^r*Q5%b센(/ |k-K:*=jd`6?u`B!-W(:alQ?@aDŽU"-q$5wR[CPT@`<`=EG\9YAemq?=TkO!IuϿu;)Jk ߔ„mBb@3v5AP<[6\#c@3Q65GdB5Size ǡO(++1L 1qO AbO^QM''7b;օIU:lQ%c-a2_+Er_hG,*ĵ PXl/ ^L=ѧ!@ѕW KܣپJs- ?TUe28Tڭ[ރ)|IsE yqDᇻS*qN胛,uvBU(%kr0dϐ [v^#HQx$z%lsh)#kP2Fψ=%% R>nq,RWjM"דwxlm g@kQaB2`$N*Ӱ(@ ^kTU7 :g!7v\,L2vIc/`%)/3KRLiz]FT 6MA͆/WESlwhWnL[+L-ǩ%,}5[?eZo1Cz" p3Rd8S \BDC{ZcxV-JJ,pg  {5wB٢W0`旂Ov62q@Nx]B~vZ $#:-Ji"D5 *ێN̄%| 55bɻE.zIxgBM p*Is;^|j nGκi>V}gԐi D&}G xTANNLe ptQ.p-u"ԝ]IGl6G!!RO ޕz{nҕ6wG3}0Œduִ݁&^(AG#ȋ-tսntzˀu\s/OK*aJC|#ׇ#~|H/C'!9h65.ex(>=P~%Tv eO_-ϖY*(M4Ȓ3*ts=AѥmYJ CU |k6 Z>b᚝Éi\ݷigK$T*ܵxPXGGruƲey+-<,)d;ub1k6dN]w]QH"=B@6Df'gsNIs>4)`rq|!0Wxy6az[Мr8cı΃frOM}UTm*ԛz߇S$(pXWc[VZvMvKK䗕c K͎S}$WI@94PÅOӍ,\+FvȑPG|c4qK-M]%7'~3CjII$}V`ODSMi5= 0eS lw5?yc/ {S<}"iG.e+!nChfu˘շ{XDcOԔ*GF6ūI@-oэDjYiC/Aqa㨍wx_N񒗄M)[QODpL)M~HIiln%Bߢ1uXAUyrv15qӗELi7K&y}W1/?e]P*4@x Uwݒ/鋝0^yZ?+W&h-4 $mi4|4ɐ-G60{8N70"E9C<ڃnXl0[L=?р9m&YE6+yKPK4(P_lW-[>/I~W.AjIWGFn`7';eK$ — s'!Є.rrKz+cJ]ϴ20!EN7)D`ce<@F9Gd_A01/RnZ,S݁m97jm^1PpdKCczhie)T]Q7Hq&t<}DžT (G12Q ̎QQdpJA֩d~FMjdytLUh;ÿ ԙ=k72lK !.k^'G53S* $׹kNax 8}Yhhz11\ {t_p|,{!zZ(XW4ɵQUM%BRTAٳl#A\;<Z?ke0ܷJeWK2bTÛq@)op͐ PPv+ݒSI]7RMV W:\apG cKMpmEL$F̔m48'-wy+%Ћdv[.^8:[̥_ٌ53a@hS(v/'(-|?՛/h-o7AF#['؝ yp!QW૪!<`؟%t,Aā%Y`&)/-P 3뎢zz3#,(_ҹ̦WLdz% AtUޖPީxHvlo{)|x.V~y!]n'XcJ#=6ӝdHĶ-7zAoqe=g掗ַGDV _1e/!#iQT?mJj{k}S(ZVq d RL{CFvWam ^ʐDꙂf!.V/i=? axT69ӶdS4RP Aޏ -W_ɔ󦴛:NᤔxT ;bes;|C|=(pa!Tu$oRn+ac5z>]&.IS)e h|a*|UMwߊDJnp0;׭(Y5œfpF  .'hGkοmP)%RQ> |2&YYl0p(f0ס<^0UV>r5R c O߾eDžy&5>ߤ!?HqOBLdc s)ڏ0ޯ]@sD6Y5Ѧ;8J>E4 ,^w[#6i6Im6u!0'&8b$pI_n+' T8iJ jVX Ą0\@GM+k:aMXr.zTB%%H+B;?y2iJ.;aam&uMd/MP{t x R󞞾,r t\nl7(p!ʒ9*m];4ƮhOpG!Z+jR(Fbuc<Eǫ~F[&heZ}sΆZ|4 ^Dz dkWÄpv P, ݟT~MCi`sP:1dS-ܿ,o}PrV,6'(4;<3 ̆@&GgZ$b Vp6u )i@\ߚ5msj$Q DCp 8cF_B%e 'y}\ߪHl0WL3 9N%Ivw13LʐufqZ +П oKExÙX?}6lZߚI?dڭ3W&Yڇp&DDIW-Yͨ#8aV?7@>c k`{sQM^#lռ!{mf:N @L dYٻg3%^[йBsP"Ѯ.P 4S\?FY^wi lP4=!a-d4aй\8wen-z3Pn;r%)Z?D|LbO %1TjdxD[zo2a[iL?FW-ݼmj8wL]D<+4'r<_7pߌO9G PK$n܊nFR0/̗KO]řOk$)f6' 9A`!}F+2sĩwk[Rbg9BONae5UUܨ t#.:l4;",W#b bxn _eOS4H ˠ˂/OܡKTU4e;cjOjٳ*j%g֣GRN޻R* ذf d"ҫ1^S~}"u~0@Q !1b&ҠJB >v=>^`?cJ@?NvB+?%'S^uHA*cC-729 x:-?lN>YE f,ꩌS[Zv*6BfUm.6?m9N6=ȁ:GW&h-@i}aFÇO ]40*<+tq|+a2l;=:-5'$l ,1yo)Svs'24Z{Ź_eC[|0-V^!X Jp/XA)>lBKI3x*# BFx7821SU>m۠g3U3Vp+yi`}ћxA2 hh;4pB|3q I8hvb]" sփT8v۴q6|XF'[<ZtI([6P֤ClG9=:%s~3쨨oIZ8I83J6H\ +߅/ - +n &A{[MC{>h>[5{jKT J.jǝE5^6\;)?~;{vIQb3%/[盝G4 xfTZ+fε8߫mzx>io>QżJT+.aIbއ(no*;1iA\V[ "|v +'iPπ_/SNc4bpSqCbs$-O񧡺cy[pS^x]&a!/mOxC#X-5mL0`;+/= xmُg0| =t`J# eNuVg]A!b*D$ ήЈ0U6"C@7 XUM\9ФP#jBrJGH mh9@Rd$Kb͘T^⦮w:F7< Y\[cWg[Fv,T%Z _? Hz89@a*\U9V?EeqH|"Ɗuպ5\s^\8Yx!uý? ͗p72̄PhBF'V6L> KY(夸X:!9_?Ne?- / T_cj4 RLFdԹxbc lQTї 6{ݦFjaʾF4)3v:(dxesiMFEQ,A#^D l,1 @8 8`>DxI@^i1` oٰ@$%ݪQkD8& %=kؠ!HlkHH [0h95N!qǰQ}Niq?<#mY-\:CK8R вzm+) eԺq 8܄Ȍ hue먍 QxĢn['/I| fPcC m xnHKu\иLSB厂|Tsӛz>2pݶTE}lϨG t.fȮ dkVJ&|!ꗔUdJd_-#gD%"!%ݎi w# DzgĘP/6=%SWBhaȎ3֞fq< fG%cTcE3LX~e]~ Ec53g!s@#㵵`)U5-ˆq_j `-%p.s|Eۘn!`%SV ̅YL;TxŲ^FO6"ipheqch(B% 7 ]6B)'8AQdtɰu(W*:)UD`X`$k5g MfFƣMכ7FڡjYwO`Y3]䳸$ͱNX/4MiVPDOx4ABE~/P`)# @*},CcŴS;W6nR0>dv?9,5 t311)z `Uց5eMF#V}+ r)]PjҼ$a.ѶB1.z/G2;\'fC"5,m*V<#Xs#C6&9I7Uw;Iǁl$v%ؾpzo{R ljIw\&MZ1$VQi6'~& (Hu-#B2όFc'OHA&3Kw498GΒJqo? yT<'}ɝbdU+z=%d:z7 0c>*Ԗ7N<.Tw61kL*Q) -X}b-*G)a2T6BWٰ|O2;S6)_JCt ٦#1zZMGxiYj@0-Sn+L=U=|mwhu=qk;[5-^yX_3|¨\Ԙ֑GU+r Locq3vnXwW*yPf2pq + >m8+ྲྀm=l) $Z|爜 ȅ=veq;+C-{1%Wu_wv0Krk./#~z?(%@"P8#M؊L(Ooj do׌u*Lwj ϔpbڌq ?wdQV.ZģzLYFnPG58U! UbsUf0 -X@!Db0@ܰZ\n}y3n >”^CTh}[]VquhQG^(t@e@@/&jDA MQB&ZF&1Xg&H_[n?J`7,i#p "q\Ny~*Ź`KBH\5a*6eP:$h2pM^J[!?XwL #o ʺ?deAym.W'Ufupё;wo^/ AαM/5~tje7g =J,V2x[̍EM_PTRSN a"bD7C4uWK yM(~gܸx ,'tb (W^H\۶߅´+oYɈ.T:Mn~!xpڶ±eU]?ٰ*@/H? FD5)8qxA@ɍ4ѵt 3!qZN:Gj'YQI)Sz;8_VM"&y.VG/UL`<7;X<y zIW":]Rg_]+cFR @=F# ~2eeY{ҙ*BNJ$\ ԛ8p.;(>A g{#a$\ V\,@R`5 n"DJYD&T%ݓg8: OAOgI h>yhrq! 3_7['Z G>6Nl?A8>P#BC[Of` ϨVw } M[PC Kah(fHQ1E'B"JD\eh~Tz%xO3+&r::L5m8# /o_N7P@lH˿^vv=.<&ACv5}7t6f{'w,T!(Ĥ Us|`5fl0H`:'O'\;=34n5.A6n_9U4JW}7<.ډ9'Bb0؝8L8'F &pU|% ?b7p+o9m%i$]ҲѼ=]&.RZlf7Ͷk@8|^' I h쵍l6%v2Y)QX,xפxiU.Iu./ .&$s20쉻~9xO89}k`Q2FGH=j{_Sx1aF2<l2O+mfp&,T`H&Pzs/ė↶fk-z*-%i Jgg % *Wu%ĥMgRSeR](w/H ; W2mVs Y[qhsJ_]w?6z 1 [!1q=CV# ̐_jb OX?.. 6{еe(#-) YDSV`T7Wo78+mv1lL 11#7ܓi_z "e{hpl U‰ĊHil"25L/I<)Yj7ѽmxb{E7SA0ѓxZ7e0SN,%J=1y>jsd*~l:(.塧7ՊdRH}v&S7\Qâ)!Ϊ?>u/u@%sHABKѼ=mLݱoEƑjՓ4LKwJ0HmfJ`(nf S$Rƞی^oZ- h?.,ez#dPAtcwC Sc,Œt`# ;j?FSи%>R:g̃Km߸5gqq7)[{` "Bk3۷=#T lsyj5Iw)EV R;+w2?%_Y0 &q!Wl - 7>Xi"K!Wm6})ѩnfO8, x>*bT"9cg̎ᬀ+ 8QG-[ic[=Ɇ.9[heF;l?{>|ZPW .'m3FӼ»(/S9P&zr9hJ`$62t J GǷT /%IMŽj\DjZ(FcGӓl/j3BG@(ʢ?"ã #''y3[SQ2pDDT| #\mN:?"8h* g4WmR2*~(wc z-` ʃq*ƒ!FD8rQI+R7)~$TEG Bi])v+=1md97p ]>ϝ5Iߖl̷"7kQhކi4|~nSrFCrEѷ+ȴi:2&v\FSiٽ'o]t $"r[eOJ(}n=zru].tk$/F2DDy7Q84ɹ\Ì-BT-.yϿ4ywݛ; <14Ŵ$JLJoȆJw[!TH3N$I<3{*+aU+Ai]Z)둨9=['\,1>yuZ7#bKB@# |!l_<moNQ@OCc5qtm_m $9Pʙ %l,fe"˦S%mz #eTT\3@ ́߂&137%=B9){=NL͇ɳkKi@C 42n7Z|9^0RN,`oTKMi]e[T0qtktE(ԑ7eG4 ~l-,j;Os̥S5%b;[0e&a8 HNYcjg$9޻c|x muT܊G; +vScFI.~v9$,Hs6ChdKIES7'AsлceGjlwr;j][Ea]l\Nd&//#F+X[ZKXtVfB^3$|A!k| ke#ՠոw3 eo1g3 ]|J|:aktbƖ2D2S\(`G@jf--D0[XcRq5aYJ˂8nئ7\AL&`TO{)|_A _kKJCћaCYAK=jMCCp"PriSTwf( 'r4m/ZBR*}kVϋ n`TZ֚XDJe6mn9`Ө ^g,R#1xqP}qp@?2ns+LZWv1h}i=ARWRs;\r!HN ̘~ڛD,#s.F0#*3\ V2uz.BVnnPtGńhӎK"!l 3Zԭ_|QŖxhY(E~o0Q?]8Cs[4:~yô] y?b!i+SŠHWYʘR߈T(X?84Ns=Aq ,5isu~c⻖D.D \%D<ݯf9a՞!ZiP0nvVJ+Y}";VD?}\fh/l?3Ͻ>\FSl:cIn܈2JMBInwU"^Gu Pa=5DX0KQql/>=kK!0IQymC/ o6FmoIu*ow񪠍dnjkKMs)Py\tNDXWؕ N`LN%78 Vt+y旒ETFQjj'2Y,*FͭM U)M$oA؂ʥ ,vˆ d_&ӻ޳xzwʵ\ݾy#GRǸts;X\ba03 iw$аWIɖqRSLKEV.#:ab vHQ'@#pzE1oamL Z? Rޘx7 HyV4?odPͤ>uze]GƣY'Ţ'T_nil+q.V:=P/ِfLGt菌ƒTΦv\F/~#o7Iؼ{&Tce,o/쟧M0 P̘j]OPe =_k7̳0t%piV뎜X|pBB7{%E'^pO@VڗV\@dpn|*t[.Cc缈Dc0%KuC"q"F^!(:Knn;(Օ|W؈itRg.$u+7xd:-BYꎡx<_Yɕ3Ǿ7' 7]L)>Ǣc$Ei DN6|D;KNeˀģ5Ms5cs?\ƌqd o,,Lbس7͞ƣ%9̙D8eQ>UnAp 1M`sQbⳡevpz8J|lcǑj`= _k j`Pخ@j1,]fʟj ڨv"A@NEuql;Ai#;a ǴTծ;1ߺ=/wqҩaun]$L [Gb܉a/)o /$!$%0ϬE)`Ce1Cjf~%,B #ڽYhv,w qПbd9~A& w3zXE_JM)r gl&~~x\Px_'tcc' O*4i޽=O8ŷxz Qрu8X$ĄYSä[p)ˬ( jm׹sɒy0:&Xhԃf@G#mc <|LN" < zz _qՁ1NJn#9dV"26 hXUowQi9vs,pU'DeDt 9̿oH%ibpX_*ܚʓ͉T? 8d% z*om"VDTTgŅA{2vjP"`0ċhܔ|r;͂7ZI.icHdsK%O7LO5#k,(L4BMCc9kibWŚ1S=7B5F@$Es҆u[7TMNfoĔq4?&!xY"6!k{*Y4ua#Ǧt?vgpos t0,6|C'T4kO[f. STdCj7V&/eCk gȉh{Z{@uĒV!}6>63gK&|q1Du2=NV*- '\3iw*&8_]#cذ{9ci84_j0D_K Hq(NYDX⟣k*31C׫G~ic3M4.."Nگk"\?0HqJ{l%-2mU24Uȡi]u4cda}$exR33ؑQVz<!Utd"(Fh(a1b)TzZ8 IUE_)dV`xKs^Ec-&} ^ u/W XRUTe I'iK= g 5_"&Cq8!E$Jg-R֕XatG E!Hρ8PߺlGq2$Y$i<kRyO>Fm隟 J,ʫ} 7JN|nXyR> c5IgGʎ+? ϗ"Xxxzf/jo]L}L䐷p {űgAug)D< wCtI9I -)OXȂ1X>sN>Au4ϣV1bzPS-@C(UɽX?N*EM2LEVt^erSۮ7X 1,]bf*DsPS쪰3B^e |&1xi:UF %Net2^,7@1}yadϗo 5uI .ɦR5kp 'ghn4S|!rY9iX}j;2%yq * ]ew ]\TnIjsC'3;rɔdiףx{Ϧa(od}?qrh'L1fՏ1*0LR9<ŧI提xPb5ůȉ pp)sN53-w;`r5o e nѠ PVŽv0Lś)YWʒ ;r sZ'lPj=Wk F#IL(L@{k=}%j'G35PlU{SahewҸK喙&?1Yff'+T(#B&p5 %dFꞖJ[9L%a³FufH(jC&>}sc天(.T,)<3>1!BT%* @0RMD'O?[,`!O;vIK/Pljnxqf ;пCꖢv+GPC;bS~Nj儴 frOZ'%V =  S@|}_ zE\-(1mlyKhCη:)/E619;RzIcTH˵ю.6@+c"ȎRjunGʛg ʋtp̟ `ʒܤƜ{ ' {1n%BgVF'kT}:s95Zntq Gh [NGGK~hPd_r?tzm}[xϤ ֡l1 ts8eA|hPc p~MgkPn|i;-OkB{\t~aԳϣ5*\Kv\X3,(ّvd,8yV2ȀcVâP90 H8@H!" !ܫ3g\kYs__Po3D%NIFx>@}פl -^h(wpyt/[I(V^h(ǹ,栌C_Y-L dt} >zSN1*_l+%& Q\dsI @[!B8otEnw7%x<=z|Un!>9,>ŏ}rJy6OђC_Q8k!h^ƚ$*)v5l;~O_Ì[R (NB+J=>KΨ*dDځz$FDFRޏrT@^YUthBO<|י[+ Х~{'R}Zߕ%x&;W zr˻'y'rt3]Y覫wOTK kS /v}=)Ni:MnJƉi^^{fz͘\[1 Z̈cͼ=^jYƂ;%&6)qtMryAt'co7 d'.vҬm8.|5^ۍ=.ӧf' n6Ϝ-@wy>/d lHA=uҨ&EزLZtߞ3h-ԭTÏ<0CӱdlJO9dX(1|ĸ)aw/ /^CRI@&J{O]6F:@K|+|<԰Nh[,eba2scߤr[<r-ѤThi\Dy<#퀢O%őʣ^N=KY0 uwˮw]MZ <\њB/ ۶)"0-KeQBѝ0Rj$ĽxxdG&1˸aN9/h۬b3BO }Ui?WEwK ,PMEcrP<"~b=jYZv?%΢)5w|84a\ t yi ИoeqI G`VؿNxZ%o-Y"Y/9w嗽1؅K*,EjUe4ɖ5c[g!%kq|Qeg֟ZYV'{ܢۉ$)-F1Jof2lS*C`VO"6mсL:?p/E|38k 76vUi(G ӴNFvhb!.S\c i<PQ$vA~rET^E3m057kI]0Y Fifd,8q5! TDgiPp;XI2هjJ~ϡ(X-R !a9G*At u۰IrR Ztkns,LJt,o$@wd_ $yLm4 kRGvaX5{m՘0 mtQ`.4V3!pWFv@:{:^ȉy|g#\I9;+ :)'"'ZVb7.m)H~LJIG,]t ef]]\*LlL;ЪƑ{Ip6Jz̹FL3qEP5Gk:"RNNXSf3;nr K&Ql>XoƙGp'LlfۏyQ.JfG> cX(!!>Жskl7 8HRѩ~%] dT S1b-_1K*oN):Aqb`҂vqިٳpgOR g;2@xߍtzQss 6$>?WhS8+{n.t^dp)-MIJW/"ZXE-$\Wc&g ԷdcȓR\; ib::Hc-s)($l Ә_Qðlm`BH2avr91W1,<{}rĪ)b cL5ȀsC% z_ҍscKf{dw+uc%ZL$8XoBhhv}vՑ}:bu U/zo(zhy֋Qf?%6;#{EuR0m[{)+ZeZ{leԱ䒀@A$و"\sW9QgrrUK|:waY/-k][KZ8irF\22{MRCǠ'jj{$R<+2k.=Fq6HAS|6ɝ!#Ԏv<8 2;:1h%t LXE hRtx)h-|`ڑEӬ2-7 W#2W%/ gOT#5ON \#$ȅ0dS=d]z6б*e\NݵJK:[.FZjkOZp0`g#ݯTSCcDכmi$UqochTYq9夶qJW焢fv1z?x>\^W^PLW2k)R?K!C㹱|CaIy~<XRgvvQro Q fD3V$PBBX6,\t0/ t%Fsө1в) Eqf#9mNZ9۬k"g ^$2zޘ{d~ wn 0<g3cpirk%si29tC(p6GBL# ?4 d:5tK*3:e72|;(! UD#d|u]ZA3ؼÍ@J;JX9~<9KkV$uL> ߛD] -%eaDř|Zj7 WN,95%MOp'H)3ػ? 2nwE'MPh(U w#?kOY=QT}SXx@' 4j FURtDPGNVi4}*5Zi'+iA'3 @ S3` %A]fg.vE|- =>+)='_ 5{f}nEzm*ǟvGͭ0r O ]&{e GOEy`o 7(mgTBPܚ+/8:AASxլ •viº]{1t +);vRe1>'Ge@tS@ΙN!%&NovI4f]9ol%mo_o`E4 H%=6.x]i@M[xԗX{ZjJӉ\c}|ӕT(I״U%Ěe/ek[ *ָ@1VS>ZbE%%b4N^q&|!bkʏ:ߩ-B1R^8W]"TMVw4Q-Qipc.'2lF楼|`T^"Rai{!?⊩wmjm$L $mfIP̀ \1 SۖET[D"kyv\l%_eg5g^hW^ͯT U-v{E$ewfI8-._{'TN 6A%/~F4X QkV׺¾C\;&x35(Gtp싋깹?C_PKP%Hb2)|h߰ {~ʒ7HL1Rް$: ?= = ,tp'2~H!1=Bx-K2-LAJy|v)4rEP-cgis綠Gw=E+a'"H"ѺXw8wJ|yϙ~r(Jj85- fey-Hm h R 1EL]xfL'[vCDVwl%Y_N'ՓvZWZ24ߴ=Ȩ@Ui̿x=jYs! 5-W3Y5iAFε nE8ΠjXvңwq;LQUԽdكG tF+$*j];PS ZRJk>-Qp1LJVwj:hKțKf&\5jbPȪG9./R4ɵn@,?="]!/ {bogۺj=lD/KiRq,7n}o="{׀z'[7wUX1P'OStfO] TwBEh˴h,T+)> k69gT;}A՘΋r>Qte 0k$4aؤltp"ߤ>Th@5_| ќEë)Ⱥ6{RsYsX#I̎&I`!YW{VcDGh^(5`IJ+ os<{AMn#5Tu)Ph1qu3$DO;Y|$tY0|p8ҠEޞA!Bto-<=6o5T]=zn%M(0^utr[T:H͂!)Uc+̇]亽ylrb R#(}i8TsrY4%x?`C _R-AWk_O[ɚ@﬉H:2h+Ƣ"ug#o[V6X0(6wRMy"ͥgtq#JT`y 1@\6 |A'ݟaH~@ٮ rݑwI\7u<%D•FlQ<n?X^$dLDd/ܛM WӼ"?rw+KNʏ 1y;*Á|VhÏRY.fޱזpݓUs\ULioV! $/ٳDm9S9@R/%Qo|&]˞UkFAi´M -u#`kDyL_Kotݬ'jL}}cO0c .R946R9hƎrXުHIlIK-E&UG[4(A[Gy%Iqyk ڠ COv{&o(+6J]bUz+>~az d'p"\F+Y.!1I*KiM٫M⩧ZCNpN+V8+S(Ը-2r!X=g&@!_ΌdIU먺'#__t!t}@tKAZ]f#Ե80A"#kE 5ݘKe9U"&IAG`\\)xAg*bSǩd0m MNKTkNs:T^%n?{&!W 4Ulb™z>-H/Xl1B9D=̓⚵&W~2N3cd3q2s~@+L 3haF̖`C9ZNy /0D*"y`|J^&-l(ȅAoq5xC|/_C##&`S%[NIVz.~Ѧw@E||(< EW4_3A͵ƪ6-f7\b_xM]a<+si6 tio]eW݄3gxM;^$Я;h*W 5<VhA݋'g@2gYZ98a1cd61b087553adc4b850c56770be9ce4fa5571770e7d42e284900cf7be1fa0dd3341bffb6e5a0 3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46 8d449bf485228cc9b63005d9ee3a814c099de91f 5a96b9c4d45e9718c577d160954bce248ff2795b