SQLite format 3@ . BBh77otableisabelle_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 ^ t ]]Category3:threads=2elapsed=882.304cpu=1548.244gc=79.312factor=1.757zXZִF! %]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo "jDz>Sa~B;cKWi moXfn$gd OnܜQu +,KMe}=ivD#]{K> ;w5~ooW?n$:sڛ_/ 9 {Mx FHf"6roC4Cm4٪!$b;TկjyJy¿ӵ7sٙcᕠt( t @+̞4a?ÃEN銰`1 j,=UDO[,qCR ʄ4a{;\X=}Hr7)us`qe<;Ҵu#A8ߺzrTW'fR_IJnAZe(?:sas~J!M$ȆE7E Dޭ&L7KyHs%58G?3m3I';{{+ lqVk>67<=\B҃3&@)tZ0G\{ָ_]*Dzj~ )@,:36_!57֫N/Ol^/|#9*#W-4QnZ U!\!faqwٕݜj`<1]HnU[93Mv2#݄eD< ; {ݘPAxWx;OT( ,ܙ '' zT~KʢƆmұEβ݄yp*dkYɃTwtڭ 1U=S%w R8akAXv-oZ'XG$[@(>f 51i(;VM+}U ,F"{a?.Yķò;y$p0~0 m#%dO8N`4@{c}ӗrw&>RqR,. i{.|yMibh%e Qt}I&5W^@k=yͶi.ά29P!v@DV/@C0VE-XM@# 4@H3 I=)s Xі霭y:V\v+ SgWoO&'߿\!%s8/BF~bv}B_h)LʓĹpCV^ԧ=c ݐup7q1!HP~#Q>!ҡ/zEyVAF6fq({=㮓Z;Kj"qX~K +2}D9l֤ȸʴ$٦@Y[axRb!JDa_NeĥJx+&x8L"[p jৣG1 UkVkؘ7R *YgmZld}(ޫm6A>k˖6%a;?P|D;1^@p>/*J"vR:na_{ip(w^Ͼ k()oŽMU:{ G"}eV(=7 `9X4}CdGVHC ƈxM9s鉃pNJ?ʉWKy| xӈSXx(bLFqwvʐtSw0(z*?%:[Ɠڎ{!Tc0 냧$ 00<;o`ڗ rH7:ܐ\ޮ}tp!H# /y}{߯N&.LZ3sQ.Ee`Kh9Ӻ@繓a%oC֢@aamZo}e7o1jl=|Qhm<&^:5_e2)CGqrF돥WO1QmbDoui=O?'AC9+k1Ek|Q'2\bL=9:T&d6?YԳ00C%2D&أu)U4RVE",CX=7I-;}wpfD2;o"$di ~u(D`gwCۿmהW T}U#\ RI9xE<FקVxLW֯( |-.dg@:uoolD t3>4Gdƹ!21Z»tLB=" EkhR >˸5\.AQ2mUPv\?m(+ vrd2bjl"K,FK΀EٷrU6I.@v s{L9ưrP <Ֆ Ͷ[R a{_l?Z GnxW m.;_D}>p>6`7nC744Dѧ8|eJ|gtÊ- `?n */P]6U5ya6O?r]a5CZA̓ևo;.=JBsm70!Q6O& U WZ DԎpI$a W d2Dkus;eTr(k B6m侺jK!E ;yF>!]gwy' " Wh L 5OS[k*ܶ@Sdc Zd5_~ 5Z?1FgwL.so̰+(SQLjѣ$T[)ulf&@QEUӞjt~S3!MyۣތI64o QUhSL_v>/5͕^!9bbKH$msf3tyQ3Ĉ{ŇHD]`Ύ|~bz+9D.Q*XcZ;\Qoa6C(e| [̚e߷OtFN\}aj )D0#{D-(ƴ0UK҇0h[~Z 2' ڭ,6-2"uu b*9s) x'&$xp؀<#!VO߇~L=':M֨( ZtG=ZN1 ǥxGuO8c5~Fbw1Qu]qEd"]XlxҨu.b王@IS=RhY3#4isQ>.-_p4Vf=Cőu)o˛ǚJW8uytnQstxEL 쳠"̑qv2ܴ츬E'^5GސC~2tO ,uCȓ BXW mZM|k: R(2+/MC$Ý2{JA Fᔟ=nRL|j)mԂЋC|xE'Iܧo~([X 6{Rַ.h3)&{E/6ٕóShW[F}>㟒C4xs< i(sՎLϧA8>ϺcDooemŽmBj.)hSk  qaK)]跞y-CUîdJeUmN);9Ҕ * 4 ީ+K:! c\욠A˙S.~pfD=_s7'#4炍ʨ};@(8kcBFpeTA=(RCc1/@+RGkga|@,gO)T6.{mX}Z/t2݌@pޒ@ySiy!Jמ[?y%etɩх'3lTZg`@42JNޞJ_-ݔLr0'd;.8OpX(!{?^xhQ$TaN\/@Cdn˄Bkfw5` 6q+"}Vְ?,ǪB QY;|KLW b>dzQp蛣1L=lGݰǂn5}hMc[cP?g.G6*`_P4:æEl6u_sBZ 7pSwvl2S>xp%ĨsFrHf me(jⴸI'w qy6$gˎ}DeJ(YC/oVBڪ^ p RJ4Q)ᣓd#g(Su-҉JAޖ8ZMtltZ0QR{ R`&A Z]{-Tٚ ΫFR\$f z{|h0* $/:; ͢;15J9K&*$ݠ$gr(N ¯sLǦ'~gص@vI+:ϋ=)O3c#xPukF9 $~- 0ߵE)ɥؘkSs+XfLT]_笾uc k~b;GZXdTZpwo9-YJB)\z|94aRUNRj|= Pm"}1^MHuH?xہLOIqdm 3wmBsL,7oXd$z|LNT5sRґP<}>/sG%A J3(VKDNE?N*m>6~ Rؿ nz53x/ОUt`NziRYY/[N-3%dJo BHIAm߇ h~ovNK֛HCp֒%~*Ɛ=.]s+<:cdlc8`n)]޿2%;OʨѦ-V} )Bx$Nːu'ǧR锊WȰS#bLS*ta^ԠDXsJҘzea?ok(̊>HKB Mh9LY˅4f:^^o=P^[1@l"#-JWN" TӤVfTd&2,;%/WZ)QW .afUF8Vo ÇLh 7fMч([,J[gT3"TS6B p=?~'|}`46DZfͿ[cÜ6F8^˚4D/| AuzTI }PH7'iKh+L=k!_uU^-C"ى)?a`w_ڵfITf}hNK>y[&rщ mk`l;\+^1*Yvjhޭ`jy̻x SP/ ~FDA5}WlN%W&V_.u\X7~CJj෎'AZr"hG+TA͑;-q%̥*4Ʌ6⇱;.C 8B)u֨\~2~0^wn5-d!NaiɟF|䞍@S!@QW+k~bʙb {5ir~3W?C30dGܿXg^~lؑ1{L\rUIkBFArLt+쨭%XQ_4b_mޝ:{{BhE1"ٹ(AH 2 wYn~VFgk7/>{Ia$wqnECкLnXXqOD?VT0IZ3C[%4 T'W W8.|_KM\#p_.T32eX.~tI|VO?lSEy|9{4 Wy:O0FuGSO;386ڲ7SQ_P'X$jJ//=m=TlJ⯏1sD_ CNYL'_co/bi*5XSG!"5HV^/TV_1 nVpQ2jk&=o?'ŵO[f3g `6+DFIo3Z {m<@|hO=۝Z\@H_tKݚT>.> ;=/I W8D)$jh]C*? i%0cq-/rsiђ %&;HF D3@*\ij_ 52X ϋ{t3QЎ2 fx!<=Rlc(RQ<fjXggaWR,n?uw"XXȄ8Сng\u<KBɈ҇L7vޜC[']͌F;֮ÞY( H[5'~A 6lS@\+v$Tm~hM;Fʍ%Z80V*Sk(d{Gj"^ZD%rPo˧SM̎9֖oP7TaG5ylt3c:6R[m|cwJɼRH:MˍCN27=%%JP6lF79y{ AasxLx.DlSΖVFoGua :d1%&c=wN 0+87d\kk{?]IhU@~jܯp/{4 q#:D=Q1ڥ"YcrN,`KchuZ/Fd.FkdT#渇qЧpz[C!p3f &QN-~ofeԻ1>U2pwHrBx(ASb's6C%W[[$!dqX&U1'Փ&!/;v9CJ~ J^x죧ztrh*'WqEh4gV8b1Q"(߾'(|I;fƷI>X5Xyd=Rv@u4|!1t,ˑ3MV1 +`>D;~Sg1ϽDJjhwqS11NTz-ܟG7p] *tH'`9okj2tiZN)xٺ\E)23w)b߆,G q^UT{T)TF1r'HJua=>nz1*LZBdƍQe]*Pu=-kn+w=|+rK#9е>W[5@Tpm^}~30@.(ѲP4A, l<.b :vЈ,+BohT!;'Rmyԛֱg >L" vЦh JLоu}6Y*@ûFkp9˶$a6 ç2)%E :3V FΛȨ'Mn):[| 0ӔNp>%4-$Z Lc,q݉@ 7?YPR7əq5zOU@åZP<IX+b&T-6:$Pg6մ L='ω#^H.Nt^:R3L3d~&%Ǩ~+ߊD&UpR"C4RxXL˯-ޱgYZ7zXZִF! ]ŗXiɟy>ZrV<7SY6;9mԫRSGI+Xd=d}zR6joZY8 uMoM=eyZ^S|#12hoҭ>3pDȜ>a!'/MkKuգ4%Y<_[nQ,&F8)~n XWobi|%m+J l gYZ7zXZִF! ?>]ŗXi%9(R7֒a(GCse~xrm3ʨye/dɅ̽Atf2!e@"-Q#R G/U_I+g3w5/תFuhQ |?6u͓ϓƒKY͢L\6 X:G)ASwiPbܵWa  \D =LS 1eI?{I iI0\ߙ1~ABC|R/ &xR:C1#7~q-=?剴n$;֦Hrym@R/Ji(Xb|V p>) 7#f?smBR0؃]W* 7~Bh">;*f2,éuQA #"@T%LjQM{:)9η7rxCP"_Zk8;}Eb+dX~ Q) ;k'Bk,4p&k#[\Y%{!c,T3o 59g+R.irPLEr5]5 /J׎w}'MP~8é[T+\|KOqPd_M*a=P}R"x{p#ɵC!V-HEW \C{3j&MY, 9઒\2+ÂcKsZX7^v}-hgV 5R.q RkW. ]-$/ ,\HztHx$ٔ1B<-?&VL?5K-q&E-^dˑ5&>d&oxT~7@VvA_hT7^_~&U V#ըՏ7FLZ«s7`'>H}#3CSFr+It实mfk Wbx]t6F@h뵸>ˏs%ʸ9Z;vr2ڤ<~10X7fb9ٯ9Z1Y9[ZLR=׈E#LYS,;Xw|Xx_(~/a_f%g![ jEͷaĚ3_A)J2>o(<'S9A܂d⸶͋΋]Cf^ S0OD}jF`Id<FIO(]Z|N#Q/]eOZWTzZM^:DT(W_AL*_YZ + |>-S_0\\b3pI;4_.&K6Lxτ` ]mo4 Lu9GO#I϶ T.aY|y?kMKے};y4#~'Tѵџf|aE&K=ml:OTu:(` M0mk0+c3k2 Xqi2/iz%䩏e> ,ZA\cXr D?[ eLYkb2)2!,uFtw.Z2"H$T/v*Ih@xX9B#<FRtx}sMj4p=[fq $0oB2,eL*8Md%|V4@@Hnph|ԇգ5r _w+q.C2Z-t϶TZq[2$CuFO}2r9o wx,t`}c[dW7B'n/[Ǹ(k9>U1$g[i 1FЏci֡'&ȋ"Ή2lj'9OA5߂ZOk콝FOJNKqX B#*5Z~@[k{XmQ0xй:PQ9{Z%!)}# hrZiɘNDZ!ԻשiTR"k%mS'aBEB`%+=;7۱IkM|'}k::2Mz|k7F$ғd(4 N֗ W`Ϩ#_]˃J5+B h\ B{o}ILDÅٔw& q(<sP#!ܠv/ͷO8ʯR<0fwuI-z`.<"F-d ȋf~&v\m v^@1ꔚ&C& ͉*rUy`Kk/zȧ&FAld (%Z#pw5ʅkd9\mRK05awacN@HWM Gwޜ0O>:<)V{6"ԾɖI˾WWlE57CStC}-FO:VFcdFXJmo[X:>cn\U_F|ԝL6]yo=v8EnFΗ’~NR6L3o:p1W%ѿ'N)ôb׶ib/`&Z~Lzm-<1wz'pi?+$Nz,tcLVaa@:AssIS0Ч?VӪ oIB6N#E=͞lI7ris(Lܻ"U~yJފϛG`?q)hni!DN9%W#\y &S N@t sn~xS7C Rꄲjtg-7? l~),dc)nm0=$sJwR' ˫'aGvMgt²fnI2fzkYuqbǖʅybMnl8az[jV(F/B4KX~d d7U.'3m c& u.Ӵ)=7 ̀Swi @<.1h.6\BĪoY;I?a44ݗ'4|j"M J'"h+a;:+Ɗ-]ʐ/}a̳GeЬH/2{\dnB; e&d5XIQۤ cY9}[rA':/P1F%qe?%s,\ =kF)\j aCH_?I!ޛKB zB qVSr&vUFJ8zc Hă\WJgĊk]dF3-,t=R7Ŏ14X@\{ PܼX/n;ʓ*ٺ5~?SU)zz:nHߍeB `k~Dp+ԫX7(j+IyƦ ]LCP1IZ?1앆[:?ج% f>W <^DfjSe nƆVS!nGg3غaMwq32RF!8Wz'F qem15`=mrCY#bFֈe0&fO>]iaIf _(Hjn^g1ga@TNdi[İ8Y:X]IReIO 9^CB`f h·e*83k 'lXy;\*F1fh. YR @Cpl}S/2 s]BD"7!&tTl?绱O8W86ojk %}L6J Pyߨ\N?i->M+Zɢ]ȠG2J#6Sȧ+e';;,/#J66ҵ/`ފbI`K/zh)S`T&AhGmPnTe#l:Z,|F~1@5 բ'/ql[r6Z͎4."ټHuR6ڈ?u/;2[Ιc8P s>Vy$ կ2v8XD0II|%U0^^4CHv66Ɣm W,L|^єe .L#Q0׍:d#hN J@c||F@%MA^CȲ7SDKzsHq{$gf%İYu$7$ pv\aY2w޴Z@zy5bc*>h-DXnA11%o Ej>:{B$H8IJ~(/IAKQ-/BiDTZ {*-͓IpߴdV5e\KǍVoLr޿uaځ% :NvHUG;}W~\gmAs ꌔ (h~P+55ĕu𧄿g+v$#(]Z*P Ÿ/H?IN;.dk(ӝՏa%=TXF8db7AN%~f(`ˮal&tQjy /)< 8;HSzA: o8(Ͼ+[ْ]dOC޹옽 w,cl%Y j/v\ e 5/K!p+u7\LP'[dOu}zA@]c,KOɴ.ȥ=>,Ѕ1'w{~c's$ D`-:Y n8[#$‘.縠9ak z!Yh ,vtg=_k?X-U!BΈ1h`=?hk$wHV幧E=~F G˿9ǃm-09>+dC BuXiU RHPn.s@*HO6о局}I<`kG>aTÓ%mٜGۛx)7>X/_lf5JU0]!sgLva؜P+ihFt _m{/.XC4S>xBe|eO?aw:! &V\J.׼%.`??&P ƒG$ =g UTEC-J]QS6A465T(ݿXH`_kD^t/8N{T\]?X6.T(}zSu{0~<!3 V-Uaޚ P8M3r'EIf툯<_zmXb$ j:$+R;%OߖWx߷9 Qor-D\xVIh0n6v9CaE ձCV9)JN֖ߚ!G]cB]veI!.1̢|}:_Ռr:u| qǜ2+֮{Ze ijVj:cT.(AɈ1s -\ችv!*blyGiit0p_(GCM$nŒG5a)9y 4hW<zDb<-}p^Je.(,ݝqM;l&)n#ul܊!\]5u;c;bLbι5 g'wES='-Ğya*)a:o?S+,: q[PEbIal >+yѷ8SPxc5br|u!N@Xς[9$+ԃPZh5J.K+I9܌q}%^9'{ǚV-=JW s-M46i+x/0Bg0'fK){až %+H1XRӶH}3­̌+*Ҙru8X`@rađK"pC# h)N7o=%p뙉R p*Ǧ@y|gjqM18Y ^!CVlώg/g q;2AHTj=԰O ی-ǽ b 9@]PӾ+B+4젿i뜱ֵ#'&g_cAQw3 xK^NB /2;o$c]p QlAgi#o6ڹ_kgD?h R;BgK?sT48kSww_^͓рD:t)EObab6ښi+Efd$1ZIDP-8 C~CBqPOMo.3. U=0i:=R˜YѧRD'=-T&ZF mv7#:ڍΐm_d`Kv)d^a$+4((nz@YLBa4kC@BFi*{ul& u bwOIsZZ/R" CJ u1%WxU|,d6++(HJ^QN ~j6]bȗa |9VbUdd2祉FHo.hvϺ]z3x.J~MJ&eOIkV.OF`l9Ě JR &'z+-zA?y]ܖhك'xѨ\%Wm8/óg&KjHF)àWae^ XOݶ-v8E BR7!"-ܪ iZY!'9)Z/hBvGDL {2nHCw*9z7Ϯ8d'p>c e>k\2ܰ+1ϭRv1_*+=j85.FodC#E%s'I9L ]'S|Gv9k=:MaX)H]v0s .[ ]n%+x=jqEfB /H1RT:?jƍw䴱@z*?f6 -鼢K"sx Aw4S>Ul5&:xΐ6ӔrizC`? ;K=cϟbqC?ħFi|~Q*0Rݥs9s3acܠ:.AQM;~}(57ԕ)<4efd(y2{imIaȞ<~jjZ!A ɺk5 g$ :꯽g.4@ΟrkxFat@/B*ll 3})4*bWRA|?(s6;£|t˜lpZ5$AEgMMu.ii,ͅ<›I揣SjFMٯp?aF_'G&"p\Fux7{08>i6D+"dRVPb Qk|}1&ֽ-eeTA$Qqű*8$4pSViN<֔rAs>ߎ~NitY^6؛>/لu(4YFeRLI b0m& {mU{Ԇ7&zziZU"֫Suf)8q͉cw-OhƐ7 KƻÔ+Pߤ`;6Ih0,=v/*!DH*uȘ$ҕ nෂaÜ$|E5ϰ!VYDa)kRrpX%T/QVBhDMO+V->ZMZ%1gd  d;Ypu6˕_b}k 8S@P |*wŎ}ZO̒YU۠ ?ۂ <}z49"dVb> f鑥,Z&"Z]9w֥;6X~"-Riq)Ulg|M%m%ճ\(odnҕ% Z@g(`L˜z_6ԸzHaFKZ_ZUKd-_VkVѰ) u!ȟsb]ʽM2(цCEQU`IFo Q~܍es  Soʠx>^Q2c? c_k YҀ.Mϡ6u˥zԜi-={QO;а(W$s|r>d_1ބfUM7ZeQkfxhMDNLPo(8]6p:3ķQX.6ok^ Z0H5#أ[ڨϝj&p49O8zP2d!FO 1;B+ay *_=uZɚ<7b H8X < IԵNG}%naK?ɍNۃXagJ҂ o"L+B\ O)8iJDi C=AA>QwJt{׹1B!e 5?V! p`Ռ볝ưqP 4[f4 Чum+RLӹIʥ } ݷePRGV",ā$K[> =:Ί{2Fk`M%-ƫ- CJ ৢMǤ+l.x9!f#&e~<14dMLW|quKgLnAMY5ˈYL];M %(BF- %CKxQĉ0U+=J3ϜS]˲hJ-vݩV oa ™ MŦo+& _͝2a g,c .!+z%j F4rzv*[Ys'&WrKY*Bq'`.|p#:w)0ٖ^ 'Ftw\Mם}MoK8,Fl踠; &IK0( NvE"> 9 \h:7JQuWX)Si4-cY"7On$y˫)es 8#IziF ⍻r7) hɛ.3|jJZ*)DC\!D)-F]5 AmP+} e?K&ҞK-a{9EܮO̡\IȂ (Ε*mp8Lm<:l"K"Ym7bg,K$}-)t&1|UxU,Xi:3qVm΍rܬRY ҵTwRD3oA95EL/+ hPŔݹ"tnƠLlb!V:mҳb3d3aNϋV ø:\s̓K hq;2d n,1°Zڊw,jeEm[d%z-⓪\ xvCBc;yeUWk J'=:{V j_FADIX7Mwf0WBc=Թ̩ ßtk49!Jth'K#@<~ޱqVtL:#!n'q#{ L`8y3YQDXͯ ՏFQo.P8.:^cI$bé?ۼ CWVZ>w.XI?.^CE+a|Rl y% R)FѨFXʃY Sg*`k#8VahC]gw{;;/|s3L㯵53!5#5eժѰ,MeVvt,ϝ~5n,2Ρ&砧/] +} 1dTYD k5MU49N>垞9FveBw LOߝރZ㽰#%hIȄͨGK!.!Ш+>P5|W'b<+ 283pD 9x [bYNaNCkˢtp==uFB+hIaz"Ǻ {Ɍיd p '}y -ؤ'Xr)@G[.sE'숃|x5yr2%Mc-J=8xZy}2'X4l&֩ZM\_rӵ5Co)D#pHIZ?}6] o~EJTFf  ~-c!L!rY"z$1΃9U m 8(X Z=cYDt8|=*$c+aߝlwxёS dF/pMTP4ܻ4mu`MD ZEB,@ <^D{ sά Z'~ {Ia&4G! tW>{suOsQ$aF,NvO3[uw0lYbQy"Fa([0Fϧ6v cD<xP(&\6qLVyhAg=yA˜GڈrTuRJZ;R,/ gʹ ؅ F4Ð^)2 C%7)_&H%W{s?BB`hwE($goqM __:T߫gD3bx'CH~yay0.smͰ eP/Ӫ3xfKr7YF 4DLXv{&WM\P4ѿfƒ@|Vǵn.=Ha,1y}6oD&'ƛ2hP84@#]#)RbcU廣⋲xRóTupP{, _{_e2҉3w~ҵ=xT\JEo󍾿U~Zpft[l5SWU #+OE:`i xִK+% ق)F3J5=kc%" ;3z K7 {NeОXIWӔ냐t@\H uMnvKq'hl.Dͼ£=[UL:WKJHլ%4%.{G X pWKxXƨ-oR)L%%pDq&x͛}=3a,検D[լpĘ) Z0{9 IC ۶(S=Ā;bO_-G]#}|E~,%t&V,qF'SC:@̟md„؄A- kV'Bм`{+[g>̗V* nqZ1{{%'SsIA DFPʟL(zt,es1zk+F#5'ev)ˡ*K+bu6sys_x(vAc j5=iZn[@+GY:M o3n%k͡NG[enk-zs&PGΒ}V0[XǍq_+ /pB\:1"ƒ1-&9 TIC5 [Ga{t !Ŵ x;CKuO_hc|%w)w{]غ'60Nrg vX,|5D׉<|" |!%n 'DRSw+ dԲ6ŎG7e 2(CГBʜ7A:Nn{ =? |93OO֝2ɿ6욑]-_ͲV* Z.?ZfFCڤloTt7QjWn cj ܚ~:Z2ph燷ph&Ӓ&\׈Yⓨd\\OdFXwMl|Sh?1Jb~>/:|E(hHe :YΕfEwQ@U;\jP ½.z:l*El<qjpq9椽*i-L`7;>ţzd顼.u7"Dp/t"z'F P)3YKYљ8R ,n)CYkBÄԇ;7%yrߍ A!GMr#%BʖL{$o\&&zf}|vRC`t`c 9@Lsi;s>gۃT0n 1݋dG2!WByB<М2  5$QL} : {'1B*?wPz%`0J3 ye8Nm>u(V%K4z7-_򜔑HEvQk-c8Rj1= |yaoA y,1X@ޏ O$3tV zZ-7Dk q{x+-♯4>=(M[C_W0z0BePN",+֒n}up`f]>kf!#9b[6ǁs"@'[rq9LSZ/OXPVbS47¾2LX9x ٚ (wcjW)+fqY>P[EXNP]Hdy$$̱?3)IO9x9 1T1 |iOͷX&T̡:N&VypΨT& NWݞ /D~&&vҰ$#:CAfDOɐ{Yؘ$4KAxy%7VڡcLaZ`O"Z K1;eKazVMlxC/>b! hǫxw0vث4]เ=IWB>Ӣw:Ti޾%E6~zO6t븥u3W.Nݦ: و3ry~IE/2,!0Z{#,Iv?Y$ ^&bb}QLlDCV ]̲aK]l2Kp!U( UXNo/9osb:^BVZb^Iڭ+ w^=lI=Gl`tα+go:nTb;.UCݵQ?_:6iYGj͘вB@"x͊TfwcY ,E`SDr?T:>Oz<8[&"7.uj(s pp *(m>Mº.I=m^1K?%V#H 15ѬOdGmANVaBy13#! p_'GT)aO 0@PGt_6خsMZP?)*yfFuHbp(,cA^du\iellh\pT+szT-R-櫋:WG yCh_Fʓo+Si32#߱;Q{3xSpWRU{I.aRXl%(ĩo9ҵ0:]&!7ue?Hҽ!ɩ酼Qxҡ<3xr8+.=S%<;dle\]9NZ{*E Fٜ+iuf!5y}̋;홧HHYKzWe[z/ҼpoВ.rr79^5X+e h Wr^o:BBIKh3?,R8aڋJپR^^K zxɅRf2@oEab Ke Uy+Q;k|(*l뤵 SXG̀'=&K#E#F{vr_th˫ `-Q睿; rBBj=;`j\ghGBoԶ)6)z(C<e͘vCd8mUYS: f&u OCY! oQ 7\$+dd鱿󑙳oBVA}.c;,_%R5Me`%"5*@3Ov&5m`EZ~%EC⇘ ~9sMJ"+z6}ēQ݉U@{& ?aS`uU} `FƫKĆ@pat{ P0%5֛}. yk.~mz8 K~m[%6S % !GxT윪}P$@ܷt6B e؃Q[evC,!Gv]kQI^Uۖv_may~ՐڊNWxӖ1\0l Ͻd. e9eT3.>IGݚ5|DSTepe¼tdGo-x1e`ϢcS#IxR4l>a /8b֠g+K;3}ؖ]a ;a+^|\uzp6gUFUYv_=HwG`}!fz(-?xRӲM]%J GaGq{3A\tZ|I5zPZ Uњ=IsdA`^f\^{#-B " 0E;4@,Y;'7)PaQC{޻Zj\1멎LnToCVr{$Lr /~%S'e攠۞Ix}ph|v3 V[n|Gm^.f =?l]~x$p^zF0Jl o=@>:]rF* !1w>’;h]AQ| I"{u hx0Kf3JSak&:_~֚ B-^\i6-:qaDAΎ<BLAԛPVcD'_]᮴/?XEQ0+wRCN55$T/s㕑9~H_OS ݸg"h& 'ioN { sz8a@eLph+?B`S5 opT5|2+$eX_R ,mrlK=@,'!hѕOHpJS.` w\G?QaiQ62Pj%y[CI N jdf͜Lc -zyW,LRTB1!٨`("&rikl#H%=xʹ$#3rN\nVG>4I 9D{UycxSmLLhQ]cr3U4mka}5q?_M5K;hdGPO)ϭʐ6Adgp`1m Wg,96x(3 +*B;ڲ4YMvu8%ү1c2,̧lff:&1>d н 6[-+Ҡ97j4OnApG#G,-Ogl`>^cW[׻ϢIRamNdXO BCzkL2 pv"'7$q̪#O[":_lUjזkz/`&;ۜ*q[M+T5pzToɵ}^ƺ v wNg%qb'wDwq*T#GBxsX&`1%EPh5~*Ao̳=_vhJO&r"8%CbWaÌrZq\Rs ʧJ`Sl}b}T'#yMQsygI~uܟ}>G:@)xI XNBzD(8 2K@q^9dKGؐUa˽ӧhIwJo~d̉NjV%ظTP_ ;g'3QUufbyK}548CWy g[wxmյ߁6o`vsu+#kئkWGD)P` 5(G>#AdWY|z-46Ot_¿GGQW7Jr?9`]<=Ժ4ηa45ڢkpwZ,T4a}.#A~5sxnxc:.(1PEmdQs_N NsQA&$ͣbR]*9K=IvPM'p?=ZNfg]4S~Per{Ce> /XHI2]F~brܫ-̉6wӟ&ЩQTc,9 @fkNvr/Q©^T=)^Z:H-<miRGɚ!\p%o"aUڮ%޾bZզ:%4g,%.r'[[t\.7;PweݢX&RE x ]Ru&"6f_It[rm+^! !`I;}$r}XZR~S?Hr+kܤFf5͆!sZc~.Y;#h9,<[03l_u4:AVޡoWN:3ۋ`(-4ہjW : Z<=ybQz=`yd}ednz>Q94nܬ:c#-k'?eWp}%\s\̝֋2שǑ tWZ.d⧐xg?i.mse4hiyaFFQ "/HdN㮱,jClUWAqM;>=i 0+"uX ;X1tD?X<ƢJA[P;0pf߭kK U^yڊˮ pdsp .kKQP8yρ:GJ˄_Y[I)s MOX0=}J η[g %``M!.&TjM J5QߣOõ ."%zrM3"4Wfh!(6Va7nF|O9h=ư264$d:̥v.Y~SuIc\0hg?/ȥuUc?)s|t4*M|ռ49auWo?8poAwR ikw}GH*Ph=<}|蒳bY -oL{`p7c¾Δ |%!,a(c]oh+[<yjFGNG> "Ӣ箱E* $Gy0v1_&fm.>!9.ytg G:T|[H";jrYS$1XHܯe,8tt%ҨrrG/5J(x\3x[-BmiA"k|IYC|YL78R m ]Q>t_0q#!lte,WA/Q`h )#`g-\h|XuuDŽ{ȊsHuutc4JF׈kɋ,'%xvyDGS#jxm2faj*#X.j~ޏ.(n$,ğO>ǯ@AjUs2Y~:T|Kl1uLcg4GccFAsú%ŠO+jpt6B&kUsVE~cnC%?+|Ɯy-jHeð_6 /f۹P4VE@ 23 (},(Wvo2 hikNDU*Wwa}TG{̎{*3y%amb9S-ezxVn~!Hqײ5dΥOmd7;*.~0~ ۬]oUӬ&A=zrR[/wEk,1}ndTg靌x_aa\pL5X-!tQ 6QHHo}iR:HM$0w0!-Ͽ5ijGQ Z 5rE*ig@I_G9#!7 K]j[1O !HEnjӚ\JxseA@}T9Pi\גwL9f&2gWX;rԯ7KpDQ 'վsV6bc-De*_ݪ,VǕЀPCx"d_I ㏙>Ez `х*o[;.OٸPHc]`v݀SR2Vs"xu#F&w8ϏyX;/|t;n}\`'˨C'Cd0k.@ UNxDbtlt%Mޘ2Vڍ`fvم R 7k 6 ``{rv,%r= no=*gx/4zg<"^*359`֜`ilg)5e8)y^bh+^Ļŵj6Aar޳%A$PVҏL@PxSYhڜe)G5{A#S ; 0gj-BzL}+xpodor ~qwcVcϓt%QO+@U=O!184%~B?2*>-f~lCOgeP(!pW٫fmĚ)c$-2!&uC[KCMTP=AnbU;XQeYKv'erϏP\hJkvVnvKl*@l*v-'#<$Q #lxTiaIwyp(jA:7df.a^MqJ-6c6fr~޺V0/7Uwy.Hwο?$X_0@jCΖ~E6DG%HY™%:殏4HAoԷ-usn絸CHQPu}.Sh,+t]n!gu&hOgBTaVVkuyL)h$[}Qtc^enCCI z;YvPjaF 1$6jlaox558/x찤OD~͝Lzh.}vH>֭>yn HC6it+# BG H+kN_9jh0iW LpqM῿`0榶t`-a ј2n7g'bȈƥ)>=-_3_MCz9}%Qf#?CZ\(Z7Rjcvg7Tk4\G,"R/TG%+i!1Wլ KgH^$f+}qoD(%ilIEh>oZjL$.GrbV6 #,rߒBΥٷH=^氒>x8~XUZBb\Mm .i<^YdA aۡ͠iۧ7.?k:-L9']bh!E!+jRe,DI:^&c$CCȃ]*Jj0srAG$Wl\X^^kcTi+yЄQ֗nsLuKӺh}WPm=QM\S|K\cV\P%u~'`Gv 2'ӦazFQc_2[1ٙسW>ݑ5GL􀴆tWݔHx忲73x6k@Lw;NƦfަjWe>͌x>ryqO7ŝz0.WΧ60N#4ck V ]K8Pv&EaoR;Q ˾P{y'GhG91O+&}3UU'vVĨ޴(>(Q3K*f'BLFSbQ/m~Z ?A'Y<ӫaE(jOձpʼ:u A{c ͌gsXq=\ Mb6vKs+j.\PfseL1ef O/p£=ŧV' E,SMծGRt箄JwlO4zѡj6̌| y4.h نc}XѠ IT&-H%#˖*egׂRGfrŌ7RZ#09%h^4τ|A4E87[[7A&F; D$c3zt'J΃:,7j`4 7<Jwy)4I_eE v1,vك/t/xouPDh˜~(f":|IPbʷI ^0^c+'vC,B>P>W9'-*>$[·d&z]CU;d Y6L5-5! !V%ف|?b 8+JJs]dVr(OI!R/BA;¹4-2ecU~|4%9'ҟqX{Rlfq&tgȴGk?YN&vW:6 #jg=j_6_3)陽J1ϯ;|NEwe(ݝAF!2GeZ н?Xe!<Ƕ;Wκ6> a_vi[YOf,E܁ZjEs$R^1:`yNI%p(KQ5Ft^ebh띧Q \ˈXIX7ĿI!f}* ѥ' "kKy!eqUs`<1Ewr<'LUЕuLp.>ѭ03l NW~1m) vwURnB<LU#ОV4P=1?";EHHU;*QcL|hݡRÁ=1 1/ fVho^t`vD0?'Am#ݫXD2).m‘w$*rV͚Rgo"'͙$7`I,.I^:;@V#ȰyWG3 ,y@io2G{)Ӑ~Du3>|}' 6ւ-G=y(d3qoAV-Bk"ީ<֯7C>޷D% Xs#ր]Y}h&$ i,<Zh3Mޜf'Vo/#j!I*,: {ឲ߀-Eխ̷U$KE~OrD`|!t`*L+=nh2d9Xd OA`'?k"½dzSU{ aQ =SAD >91I2[am%!wHqꁿ'c-=Ytf>Ryf1c@ג< \N74Rbs3=GyQ!ܗ'6)v(!pW;HEIrzZa+z]uCjj MTF:HD֫ՐeW+F$3M3ԱǓ Uц2/9h_ZL53zL+;Ne'@OTNt tvX7↪.)Uy3mȯv ͙j:߾":5If۵ zGbv`Kş,`OSNj@|-J8;S~ڡS 4M "ܢ8KA}$+-*x/ uvIzKr$| JroBFz'Y*cO!4El],$$8 .ri;%qŇ#]$ mb_V7Js+:KLU@ RUА5bek &ԥʴk % AI֨_4j4EK7|&LAQzX,[ajmuK !C1q} #APnvaz&nk\mIbf, kuVi&kP6OE|bx՝=k n %䃖_ڲw++/BTl Oxbů*(#r}LvyK?\ ƜPrlRp'U.= =0yڅEΚ%{,û k %hfDxAXLjC وx'49˰\Y}'KY..<ɖcAMFP*1\˂QS7~ޣ ZPOݬ\|<$^tvMxth@<άgXe /8uSl=џ+G̳xb,!3H@GǼWW~H˂!5n㍧$Kz%1" Љ?m hTJ-zʼ>(.fґp >^8xq#O]$ܰ{QʟԑN{.xV?8/ }*)Lzn\ciU_D;'yA& =]ϥ kBKtrRg5.e?V{ɩwmg핍^^ odд${a}-i%_`e}It5\WNˁsCk&Y|e|8(Nl@R_`woGh΂VLg(+Q g/P1M kbnL ʓWƕ+wG:TevL~nC B0s2깦N=Q"i睮](T!||b51G3RK@ʜh| Q;mzcOݬ#ʼn8bG0kmṻ۞["́RV%;6LOhMwl3a~WWи`-댟*SbfT ŨղaXUW9Q?2!R1ј=5~?;c}"$~FT(m밻 8;x6E4Q5EOhsH-'PrDtS ]cy_??oe'ZV8]ҥ{HfQ7d =Oc#]t?؁Yb  D#8!(1̿\KA)&3WbƴvKNgk$ T%4.0F+xum&fGAwB}= eEzc]ޜGٸn!nAX`4lepzT^pDj%Cb N[FΨtrϒnX޸G# =ǃݝW",2s,Zt? DL7: QԸwZЧ ]oԜ6ʳNq 2m܏'~^[4^1+q=ּabgE%uׁf?/OӐ.$AG.޷Jѭ&/-ד|mS1Q:k8 H cqSCJ;_V =hs3(?oV >`AUALv!XWm}޳r\c0Z@chǼCXw;-Y+d+ݴ $b!gy<͝%U89;jWEָ!~1։+P3Q?p0%iy%>602rJ5OJ&GXgunw%n)H3GA;|>|G]{\4Z~  9Dɏh Tw&h'V,mﻝ?F暋Wy e#g4VZw%|F6k/͠$[!eh#-?`3'u {[7 z P IF)ݫFؕں; &d` _'>uFò9\nnS]֦PV&g!0OH/gFNI8GY˚3^3E3vy7E^Xu6dc5q!;$YKMe4uCsWMڞlS$9kTOi-sG;jy_PH[ı;'lr7$/\>HPDpi>R2ߙ{h(h#vqcv1jƳl~* S֌D".rGAxD'v:zi 1_@9,+('U\!xl>>Q!^֖mPrdtF[GA1]i_aqԵ#.=4suZ {&sՈq4)";bcj81\F*Y9ry啱 ~.eRvZRYeXfۦ7Z?H5ĸEXv;'r$f! ; qӘ!KI՟q*GBO,rrК0ԈXTxi{^RV]0Njpthr1{&Ãc7iz9(}"^Q7mȱDAnr81Stj5"0T(kGRL&¸;1ؑTmwltD%k^>${%Ό(.RhڿEwziTtH O]@0}{@mPEo7/_;b7"6X1DyI_eNn <[F&h#b. ,U7iY] `CuKWyʍ㺶b܊^6+B-!]>Y"6DŽ*ő04/bT?~PY@F&D&Ttv*%^&Vh ۞ Cdʊfq׃wiܫ7!ٽyƐ38t$ TIH⽳P\dDifbxsL /M SZki09/2lQ$ JavtnpJMw"(/|< ϋUxe8~Y!iC"y/!&}#Goߡ"uڑ(7bdoo>9V"Щَ]|6'Q==$NK@w|׏,ewOC$Ѥ'䷽ڵs 4CZpKN$\R!X}w_`~47W$wO<߀2t1W@'2fޠ`ùĖ'"{qS10k4^9VBɝ`SLO123,rݤ^&ƢےwL Eta1X R" @w=I u߿)f^+oKwu(o41Ox oA]ZqdɢrĹTh٨2{tNO ˰E m ]XLPW W؂|g\S1c%/y-і߽θ:Oܸ5/HG5bf'z]Bbc/WNقt݅X*D\q/m[gHb+79zb* ~L>4ʑisTm{n~ Bƺї6,\\;2Nf q<&`2zӊ#bο#Ihmy2_HşL}eD;5[iu SifA ,̷.Qfs‰%>4ƚ@GBw3i$T7Q0W@uX@lž|⤿ ;ȌP2#HO Ӟw@4Mjl&ջ0f$ PXqHb@f RCQViĶa9qr^?Or|\>l.ު9szN5hcsNN%#V#Ϣ="펊d:3(w;tjK }oR#Kdcqawn5?Qe+7~z2ЯX16FY׍;T5D2oy$f*&zv0::k֝oN͋ALPXZ NBb̕_݊A6ڎQq̪^OevГD7W5;bWfug 3i$ɺX1|DLg [T"Cg=#Irʉ0LaQwsfiS{A o#H% [RHz*٣tqhDqmE}6|cLʼnʖEY "=zqk~tp jkz); "b 8}2.ޙ`BJIO[]ޙOV)VV44y'YK>Un;YE23,\tյ R3΋ 0p?.7ҙh"d6Iѫ']^BUZ,[La^30AFurUxAUQjIM.(=kR5;RBlkU^+3ҍh.pn)3i[3 Jhj/^VɖH}؊;H5amN^U6@_@bF ><=]U`>.%zBLf %PQWĤhaN0Ia?gymP@ᨫDgXѡ[9{6 p hjbƱ 'p\uP_E%‚~ kEǍb>3b7ȊȒoG0#v[$w,qOĀI F!V &WEB%ľt3pvv>PO+${x_ .."bqsPiz9Nsg<>y {C]Jq|OG;7PW}ESwݰ!Y]>^HOUA~9{ 8>bUxd~l `7?C,az@P/uzWoF:|$ƝesSTdY0C>nsc@viHP$[*T6~g7{Johʜ\li< \bF89i;ؖzG.r:ό^&@H fyq$]n֣ZkpdIyjCm`Ժ/W C qG ;'^`uz&{Ҳ@%~XMFSXWaMǺI)|Xc4;-k߆#[|:g&&GWk}nXRFjyh0an!_EZٞi! V-FNϾC0p+դg);`qo(~Ϋ(G "/kНfV jT'i.t0ƌl?G?pGqb\hd<'r!#i0{Zgl :M |H`ygQIX$" >O) ]5#q5xaا7-(HWq|n sg3֯Ң#aN9n΄ы837CM`!v84@]=*뤏O&j vKKތE*`1?R# |е_̼ޔd&R l7g 6Aify36.ҍ>vzGQ%cu=5OgXjHbό668gL. 3t@אD.o,H;DE6 ƣv .ZQ1XAf,oD)e^(%S@$l^S {da.2@H[.Z=z#Y;I/}TivIGZ;FUisMtmf:*Sf;/Va ;WvyIr"^uiK΄u'r) ȔH-Idp4ƝdZK}+Z؄ͱ q]._aG񯮹単leHV&E,;TC-ɗ$5ϯOꏊ݊t\D`=s4S,xo]p4ψTl7bNz2 ]v3tpN:ʁg}˸G\x OguPpq)39d2gf mF%@ rzB/Fq[EK"sIh7\q,Lwe}Z>IS ~&D`:lt%tsqxʟ% C)dD=Ʀ~hoа܆dCz7!J[&(7LuZo}/=gKR+zN҅C= )^9)vy\3.?9WDWi 3NG74rɐmnM`yA}=CogC)֫f $w ڊa+.܎]4MZ=KEٺZ?:e,U`Fd +:K:cGvK 0ؗ2b#̟~ aT#vJ~.Au!#!֦@8Jiu]-$An:}Np sKongek- ϼώ_Jb.,pj/G2maI."Hq&jc]Hیjɭy-; 'ݱӣd?Bra珈иKt:)u|1v\Jr3 ?csGs9V]/@-e/* 5cAViӻa`FZ$L;% m8ٳ2b µ76v%t85a̲%H^Rb.wY^r͵N~Hwpڵ 6dbyhVQ>|au2%4J x9Xe^% BWmj~v"Sƚhl{l☫ V xEco乕 wc DVv<zn730IǸp:5:Ĝu$/Q >q=3KQF=w:G;Ϝs|.=fNŗ07 /}3γC.e!;dL. Gi^H^⧌$ Ҵ,a6h~s6P%ŌmBIuNE(%/vP~{2 a&U[L3>f!_d\8|\aaE g>R.swþ_Y@8%M-Xh^YԄϣ1 p+!.$pBh܀Rx(" O6k,jg.IS34\}!#BG@2OhBTeCr .u ~. Bؖ"%Ь-s^[}*I} ))X DID9fϊ4 }^ݝtijI+-jvH}/ރqzcWZ\HCg˓^ta.=#"s0ϋռjs,lXym%6.=W4q_^rJCA: H#B=| .v~s{q0u"M&:-PZ6 ;S Xm^Bq܌"rwۼVJ/I)Vƫ145<4SE45J:jf5g[!߭"#׆18A9MRa~RD@AZMdsl(\,tC =j/'?}l*7W!MrpJ^0=||4U UM 1: EF,RnPr۰pO*OϗfPIfol<28YVA,`e'ܚ\@gYZ11e7fdf309630824fa6e914fb6ace6218a5d929e2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8afd73aa4305f6c81d1b7c7daca3b1eb4bdc1ceceaf