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  !\|D ]]]HOL-Proofs:threads=2elapsed=1000.722cpu=1893.192gc=149.784factor=1.897zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba[>&R*2Jc& nAqq75 @ 0FWտӓW'O: ' "&v^ kBSiO*e4CGF7K5xڌ#}+HZL2ÎSk2u#'Q8xGܺ^>\=LvxٞO &5Tz 2|*S&@`Ahd-sWv ;+SR?=Y‹wGSh(RAֽ%RQPEH*T+J_!CR;aSIY@:.,Sc%P:c& %trV,}BtQɎ~DBn#X:cbt]B\ck&_p4$khmBdi~p-h,}3mݣA\@ eg=_]Vfh`\RnnO O%C57כ#ftA7YX ;PY!}ex-_#tHc"p擳}iϤp,es/R 5b32Ј)fPs>dD7fU|\ui&栄y7Ai>ڷgbRUh֗,8yS}Y?r&yg?0 <}W>i#tó墻±v19w Zvf TL!Hi Ju/Mk| ֎1{6GkCBn> [}ΝuϫpVR8_ ut2')w}^RY/P&ērP/6t ,.F28Ȁ LGB67H//}h?ZBmuxą׺l -168o^Xf!|) Hi0Cr O?~8I]ޒn t!sfJA82  ! HOL-Proofs  xKPOQqb*Tr:(Epu(ϖ]Sb} b`(k5j )YFC:ŧ*yz 6\"US`ݸgMXE Է"8eG'x!mBhzUt@,3׌?kqnQ.dz҂ꐚC 1O~sw`JWåd浃ZdÚ4y6y"9>ny4%2+K,#^e<LS'4{lBF%毪r3`u_wS΅V4?T^s )vni sy+^ix:?Z؝~gr?l sđÎ(Dd 'ꅺbXR0WŰ׽kWoFx'PnC+ :d(FyI ȥcAHWF㯧M;tmbP㉗e FyZs-ّZ\ L۠!ܚZ؏jKn4T,0,(]s}D8k\ͩ!eҼJ-  A7mȾ>uBe%EaG5I0fw5ryHs!:J-- Sv :ٺo! kk1d)3#Gaw FoE?n9WU@YOufL+%nښnٱ3޵qg%Ps_z<\crTL~N^6C݃Ct\PR^T:EE }Wm],j&XTLB(qQJ^vۦG(׬FgVgob6YQ>ݙ^K<ܞWCPXԌ('% eGUٯ3F=nW?4BvҦ~Oʊ(UBl#O>@Pk=\-q"9۔^| h~Ȉ/~Ki5 <7;_]Orźn2گ}?JUumP.URNh\ݻWNin j\7дj6Y,{yP58ذIN\ipH$Nga,kdGUIQt_bEHǼL8)Cw K>/GP*^OyKn.QWEF%F/{ S(D{z"0+_1 eFS4VGE* uwTDܮǀ~dkF=:; B/K\@({ޯ .I0fAչln0v o!&4V2IR] M 埥4[::x+GȀ>iQpo$0k,g$K_vBM|zDI4 +{Z;dvеmd#gFj'|p޻4M}VHp?c9nE)6ċ ݴk6RK n+a w+d+D?V10jv}Ā_6fa)ijj / y9piyNܒ}{wG;}up#I/SĿio^|ƄMThPLqm_";=1sx)fmflAvq 8QzwjJ؀`AH8JYؓ7$.߽qN$?92}}3=瘶VzHuh1v4r<.]7I1C}413>CvWr<&nz޴]u w2s(8F$G^c)@yڙY"7{LKDbB =}ȀC#=i^i2Lo;량?q H2DݑoFUm8T"5 7ӟ9I2#*fIL 0{IFO4OBN?Yj ]|OT+غUB*i)jmv,9Խ@ۜ 3`)4IGÒp$}z݁ ̏Fo:8.]%&%, &i&xxZ0̱8VSuϢzoV7Pv6i22=/hX_uzLRswqXtgtk'e6^)g=?ؓff=`ۣ=%% FYY֗YGxO^ףfiJ^g!W_%jEk3vH̢..iZ<Q+d|vM%#Yk#ğ9'&U%oY3.mZAQ]1z4 !gCٛ$F>7_1&܅;!R[f ?LEnKa6ں Kr Ώi^rVōL7rMG2@4}>LI}XoX# }*ߥhhoHM#4|F3˴J0xɏfl[.6ݯ>9Fβܝ 8G׋ӔqZΛHAEZV'!*|=s6bT"Ч#u΢%֋6,֢Bgqy "LvZ؍D>E_~@ '{r2KP|('i~9$6_KF7DgڭVVS?".=ЯÀS..f1j7}u ;/:)2"$I?*5#ރOY#e/ZEp䔺]bBxW9NOr"R7v9ɠlbRlg;Hs?tԧză^M:Om5oпd; QG^c6lIx G(i[-˞[a|],+B Sar+|#G jMܜRUj Icg rq}}T Pr`eqڟ7LG? i ƭ 6|4iQР2zst^:5hCG-nξ`=jc˃ZMI~"L<ʈBo.خ䌁, 2?nuيo]>?OBSv5쿎v;'M9D o[@!ꂧ D(muM Y5/ ר;2ȵH+@4ޫޕQ:cR~>JO`'Ol쮭)gR1`>Ϯb-j$v%b܀c݅`WYtk?˯sĎn\_vtV 9cQ}eE iDv2GОt1I78;N `9@Ek5,'GTqX9Q;7ѩo~:٤,bi~mI* =ʇѿlWVRS]HAdmtP֞HyRBZ]E77?IWt؄(m) Jfu/6ır8aMRe>~ \ɋnL{_kTg2Jva3]8yߘ -O^[w2nmA~+e\- /ձV/KgYZ7zXZִF! X]ŗXiɟ29aoʼz[%U>EM!!*W sEچBpIMW1рΖ}S]ӆy9p݅|]ݜKUKO}{mGH}MR|67kBaS-ƙ,5,k$KUlNlq!(%BԤ職Rѣ~tRM-i1V=K?Iu`F:3U]( =a[!3Սu;ʣj=w}ʇ9ERNzr'nG_TWWD[Z!גvq4= ! ­ v0w3,^rŎx/>"sLwS8$JHеhu2~xS@o*VwDYrMv2P;sxb>ͧ{O(B\=Vk;/GQ~XhF`sV-{<+;7+V]"1"d'PRNx![e?R6 [K;]cNZ#%nǂk 0yg "A8|8 j׸o#Vͥ#VˉOvK4F=@׬o32`JK cB%ݘB. ,O&ԫOG2upxxzZva%C |mMHnYx9 {̩Ĺl a˥ N- ]fqMی|ߏ\|Z|κ\}dsnZ<wAjRӸxM |AE,`Qy8!"3$I, !O;ppC}su5+> =O+上Bj6Տ j<^Ӱx!I} wYI*k־nsGRꌶ<\^(PlYaZgS6ؚ6ӿ6'f.ɨ]1%?>Q$j/ReU!efbcmU%^]rM3 _ca]88i  [7niqhbZLBd/%KN}_a %4 ) @#oz\ XO[ߝ 8KKՄҧSYu9U_E i Sx@o UX erccY=ȀedwN" EtJTG~1&M<]tCi=R.U`{M >q2 ]mʯ)7`!.a4Y)BJڋ n,ܡu?ۃvİ+qXYd"wgmT([-DzݣMN"qUUe93]OAgj5!Y2| #5h)$bt=b$ 2ӱgYZ7zXZִF! []ŗXi%;4v Esev4˚z8'j:o@^怪p2yE>'//aN |KyS74`)z狴3? ؙgn2sOUd VSKyRYZ_C ^UIj<@^ eStoKݧ9hF%^Mq5יDAF}0aDysBQ >?y-V&1󂧂YX9f9@uO8mfiS8Xp7C]9s5e"GK?i5Ǹ-@Ԋ`+"BvpYuH\[;seH-eryԃAg0`Hy'DLpzz-k8W 8`B$| y28c}5LyK¢[=䁅"8?X0>H/^OƆ|ʓ^Rpp΍lSQ5 YCwաeVm/Pآ7TO=:2\UrA4|nUUePl-hnoS@%`nlݽpD]Ud%q؉)zu}OCU onġA]_0h)oKGjz T9C {D+sN=鬘r5sDF/-JpF~8&LhkmUyt4nh? |JI$<(M!?- #3=W,h 5"Ҙ. f5֍l >aڨ2C$cS(_Ҳ9xlUsŮCD Bj,Qc#`Xqw?RA^3]|psNmurp9tLOuJE]4%`rrD~;$:'?n1-bqI΍ӸU r%E2L!;YjM`g6 ίd % ,)>Q!mXhbhT+jW& ^ a٘p nEl('IRzݹɉ% 7rT_$Ddـ'e<N̩pg ʦPR_/,8'}iRHT{" ?e$=ԃB]fh/gkWՉ0nVk @2TzNtX'0[+#z١89703NgQn}޿;"Ya)où[WrW: ΅Ua P0R \rty?]:PWn?Aڕ" )Pj#\'īo gǭ?1~]x8v1= 씔F!WB৸VzLO|HֻJu0+3ȴw+_6 ĂdAݣ VzC4JryV53w6eγcmV"$C#n0 g686U6Gۦ=h(r(Ml+&QK,)]Fdb;9aCH )k+:u;k-ħk |bPX۸=v`yǖg9ÎVP_,9 ~n@lBG\3$@n*;m:3TA M`2쨮XDHgʾQv]sߤ}^a?04 -J:t8m[.%綻9., m׆!헍f6ρ=lՙ -he觅x?\ilc}hU:r u(VK Ĝ9lL$8G?X d-:]N#vURF6]CQ~w"(j֧hܕGť sHlV N #~5{5!3|BaLImhX#i`_:]ʳT.)a/&JmɸsoA|pB)ďF8-2AG@cdckVkZ/xYI]wLCnoɪO[# P~j(?9аyڵ.Z-Vt)GPx^˔.6s' ˡ[l,Eܳx3'F og:N`ASe*$kkNkA 2gDi,6ʆ{09 4C ͘iOkC/⹬[D K^'{"^}Ɓ?{V[Juq g ^P.&PbiO z %soM(BM!A\ f~})DEjϩoV7{oJVa4҄UIl+#rvgXPg..1Ng%y[ʬcE75j9`m[92"HP0j yDRB"y1mt*L$A3p,v\S8ǟy-Mr_ 8ov`f%wÇ$8:6:鄘њ'}3]J5ۖy"gʊ siHcvS$xZM*wI1mÎUe [V f(Z~ȇT&h'-\Vڮ[G+ vX=8/kC[Qb]nS9R=>O]Fq,`)A0:*}-0v=hKLp>\NS ~ZZ:p KFU̗#6 #xkwatޯtk {7ќOj*3 )s]hTTѼ]z m_^`tڛZ-n{Q 1zK3X͙ҜJ)(vTcd1<S[:M&/UbEƩ:ĝo> }>ƩѢt*#YAmY/};a4I;J{XhXꜣ' w2m^~aJu{L  1ըq4eښZâi4Oՙ jɺ|"8*E`p)~7qHH}!#L`5W&/(?cj[~QYvL&8F31/Z 冀5WA".i/5 _zJ"+2FV@ާ0GM5&Enq3m SLOeT^Or*4}Gc)Qtnn {^SjRS8S"KX:5ce. ;$d]},nX|Z,2v G>. zmvjdPuI^ W}I$OjͿR=A&%+wJZ1x[%[:H끨\02w5B}i8ɤ?֋×/]nxP@2&{h R@|,kgTt>mֶ֍Bt\> 8n /E+Yjˉġ&cYn wvZ@-B];ʖդնsF+Ix7M3uW(WxJ-\/ 'ژjE# WAj)/{֬ef el!Ԓ,e F 6ipX>g[-Qk ͯj {w%/Vp)hڲiqCK@0ZZYWF8bmIѮyv艒ƪm$peJ hڂNwn@AF-3]{X >^? {5 :XGfWEEoq~-U&RaeD1sCBc1u">{CPjG85rٹ|MjZX B4E(58: LnnW3c`ڐfTfj{vƓ(Ba 8C%]"tkM5S ÍC˔n1ԠZc9i>N D?ъƈh94b]O9-מm\2iHjB>temgvv}Lu{H|&v`xN3oBug Jl8/2p,݅]V6sVWt~I׬|hn3N:m}f³z-x_e5.6');YNe5ƽu5Db@y0y:'HI~º?v'! "= (ŗn<)Ro 6`K@j=LS1J"a盎U cct:NE.#qV6`]w FRE",n0@An;,?M 3rR/ٟL flCx 6ڠOZ$Rk/Vv\O5 /]Ge zQ!D\w0T# oc""dݻ۲WPjiOy-붕mI7E*c&{{貳JC^LI}s/ɀ:+ hŬV4n1ʷ?OQ/ >NOQNkv6곕Pȡk%95S{VSѨ-2*CCU~RJ\}vwwLY2g+ܩ@$*c*1C|̿\tpE}[ U/,FB-$yY:M0"Uiz'|Q"όѤ;B@fp5sUB;#awP-6"{0`jfLCSl.nQkNۧ`SjEQ1 Mb*SGϔQ#SߡlIIkTha)dq B͂ҭ(db!`fD/V?rc"vVD  RǛq] p$5jT0@D{`䋌()nWb687 R%DUJP ?[@nw} pR:<גvyIӜX )qn亊 U-çtHuLq((ǜM7/ӎ,ыIZJתq%wL)i1ԛ!؍cs֟iJ=-@ŌMP(';9t(`$xkєe1K=0P"f#Jk ^=b]|h(x&KyJ(؈QOēm!:d\t@꬗a&f(Gzq+YM@=U"`"280/]%y.]$4l'vCՊb&hA0mmfA]<_4;aASncz[~yOD bpanD]Oʈ\`;XC h)Hp9ƌD?A,%djHV9a{X_R֘f\CB*X u1b \GQԺՏɅtV.f@o|'imioKRYkp!#,јT0Uu`eVdd`plza憾/XAqKԙr X:8ʏR/Ñ#7AjBI=СO*=T6L_iˈ4Ҋwc!^޿rF0of]8=+N ]nR}>/"5VVbFdP+CN+ʠ@@|f#%|u,MXlu,pWp"zD/^{r" &!h{|iufe20D$R(S#@SI6,^%㕲 pWNZ9̭2KśLg5@92swD,]g@(jn$/n -z9V{d+!3ELpO]DZ% VMm$^Q8lf ZjKxNdbg-$[BL$x3*+Hu )Ws%90qEH(d;&p\ź)D_(nD*Qj(rTNss6BP4az[}K+cLi+W*Vl _<8YD 8 H㈌ǕV0l*bRGz&;La-Sa$2cOMO"h{бӆgn8>DY#ܡ{~$6 ‡;th@x NWĈ5 U%|-9'0ɁK&&cm_e F)1k)t$öՙ z2jvO_wp(.r9hR'd5D>>46&;ilʌzoZJƷ@&vE׷]{ ;"qjg>`Db0zPx+ bdJ #"Q#8= Bp'1Qsv}SRZ繁BJ;̯$ƪ0<*opcظ Ғ٦ȱT: Qc7)˂z/"\ dgd8p,tzD(kFUUf>0?^ϔq[v=oNX>ek-%F_-kg]BgkՃ![>Kxi2sF S loyIzSm{;5'e(?TuH}x H/PA cx,gYE|Z]ptŸ4NCRMGά7Y(VlmmvM?͆lX}s2,ZO(UXw?Ye'B[J{t@BjɘYF|= 7l/M:6+0.L,͓A m]l5tz>A!ZuJlсtxE1=2NIb0X,#q{2}GIy:JNc RE, %ޝX6>T[}:/bR zٸL?EVcٛ4ͨ򠯶T3 3G D Ac t0UD$#/c׷>ËYwL7hƒ~mܵ"TR$/%Ty6X/tU;<`$`=K/[\@{PSyƉi^tkп+Ai"x2-) -H-&4tˣwFo[ uX6E -[5|ad֟(j:Rhdcu[5iݎZd;BX:ٗP1`*3~i뙺XBy5̌q POz!U9w [\˃ihi}%r\Sߍt$tkЩTr w>0'nK 4S,E^PA Z;G#ԳigE_(a)nLŢb!68ÿbH Wrwz _\ VU6U6uO]㟂U"C=7h2)zd't4#9#(XGZ>'F2Ԅn_sGpur޲C@YB뵇UoSxnW1&v=ڹTGL3Vk6NqK J }\&LN;X2@FZ˶tav~<0C0?kTGX|˱O"+x/J1 GtH]wY?2XJm+_M1 mQ" !giV=9Njcr`i<UIHM0N/)Zӛ>;c!l=WiG/oE1-;XGb՞ƫ},2.0* C4g^AQ`EW@5h5]nPU=CV":Nok;h;P;?oD5D,WZꮄ"3˲F-*7$djABjы'U<,n`jgg-\hX -m/柤z?` zH^Uɤ̪;5Iźk:(Ү9k -|++Duv =ETӿ zdxvQ)мiBv Q 9 n75Yz81rY{K~x;kb /1^f։p@/&Z$8'n0\nJW6=51RPIƩw0\M* (nWO40zc *ي0Ԩ^HшB0Ss*:`q$؟&G9nF']YPH 5Ζreڧlr-7PǸA-.K(h0]+~șS:=ޗm(ٟw1c<`͝rYH:mk!|nVePaZx*[?Bԫ.>\O Xz6Z΋ˤ~6R6;#\)h^=OERz*a$huoP$\D(='84?>tȔ;j]@[U }v[-Vt~8fŸA fc4kKe+о5_4dlV5=E_yf]{X}#Ch~oe7n&ؤ l5˱ML_d]cR$~0MorF,aeI sdi:π k*]fzxB/ Eu9Q""k$_;%0QL/c,C@#eHV CO9-hKn9m2 GK -qӧ>CQg=o1i*ݪpcʺbveD̪5x{ki96!h֎@~7@uo yd~tحi¿o㜎[mb  ϱ},p -cɞ`xXń^+>^(=7griQĂ"kvԶZlB·9d3\1}$s>d᫮_ǴR3ǓZ7.(=|۲GKiƠ{Z<=kuG{?QAMi)%$9piT% _!Z?e4\Hx jp;q wΞ=qXw!C []f~[""w% *ifwu8XBh"=ΘBAxRk$z)@UO*;'0WD$0ȼ6@<֫SKkA1>PQިz?7\[eH'{uC)8fVq1,a7x!&qžp 9(glfos(FDXQyfm.X'.3փ+B1j98&1[JY<%W&*>oB돝6 HFoy>_\wL[vqkiMչRG #\0_ZVхf"LyvXIQ.[4e :hu=x9qx5QMjN!/*xԡ W,UۘydVTR@C"SIĻ+r;'2V1qI>8U:e1 (%]1޶X]b2Hi6+0Щ/,ω0>?5Rȋ{Pp'Dd NWz5-6e.8eS6rD 71Urƨ3&EI溎lorEtO}mJxEÏA9=07SnZ'ӆT*$5q׳GmUUWd){~|M̏V3ptr1}L$j;Xi\ ۠ `$`^Fns))Kjb:y`Sg *"JF;9eMZ X)oz'.G`aѷQ|;/LχP#wn?⇝_E0,xvƾ$ 1ΔmGv4D?@A}]މ7{]KTG>5.Jw $8i"589ۦ|H0'A,țt??&C:NLumƝxk}EXv;(ܗ$(FqM ,cE+i:9uD[y)bl6(hNA\0Xi[e'f8G"r_$%g|"BٓP d?`] 3lȾҺWga9[[ttǽ BmUEQ%Ɩ1Q`%)><#.!?UwU)'ʫHa"4KGM*;k4->wgWZQaΫ._*Nke$zaeOFp>(U_;kchL㏪Y)}d=΄hdj O?EU߃A߼Vſ`I^ziVsʬL)/^m[52}Qz$vźD=n0.BZۙk Myr7ߧ¬ ;Ĥ6RkPY"wg72 B;>H-1KOŭ +FǺĈ2"߹/ke*0J⓭}[un8O&K1^$W`b ;"MfK%[IJcs`bA16~iˮ|fNؖ#?q7r[9А\"GA)$jO2 = _l : r0\olӡ}6uOrHͨ\Y/PC#cD;.m| p }cB1w2 =#q5="0_,S&bf+P()K_Vp><35z]Fc$yE8nnн|)doZ .ſ_f^ `D֢? FLzEWՏDGo C hDH7R nŇRqy]VGF?9 [~|8op1k!IaGjczZ2ҔjťEqӭ^M%乩ˊ؍{&^7h haU@&gf9%1?AXF Ol4=(,^9FuVk2#pspeՙOѮ'‘9z)Gmk6}Q1\u&-'\vdh ״xbSRrY}{iN{tK#j6Q0,% b3`Zm_sWG!Ut5,Vn7fc@N :%+n nK^<)5],j+՗/k[枓]ZXuswwHE.=V5NxDw$wfprpRãclA"6F^Oҏ4)g\u3Wno{q9`pץzUT,(!W 3qTK$跗= &_7U#,`U裁6(DT ޭKBv M#F_#ޕ]GUy]:GOVw\!LjatXwl O#9] ts $y1f]I2SC1hI ,PP%T\R1 BB|boS6"и^ Zyr _=CusQv DLq]3pEWZh~4+WS:F֍*|"0ɨ}!\k(zQyDxF9<=5aubn1v^L+pk!U|oo'S_B&պ"}$ :ٚHȃFK'|/* :XL h@8Gp _)XW 59T@X&;1ʌC )H!Eju.[B^ z٧XMP vUgu[ M5* *%?@xp9;&U\u [nj[Җ89X.Ѡa[0jE{cQ)A춻"f܅QY^}i H7Y {%rm@ڒϒ:6}zo%aY>h=ϭ3Tw!^ •Ԣ :WQ2/M亲19D3;VnpsB'4>/( L;tidFkZeW!GcI;^:y"5tm,Lptћ*m'c-ͫ+ɭI)Qէ&;xbڌ] I3 GˀI}jrK ]S  E DE* te?xP, "΀ Զ7Z`|#v,Z7ĞӺxkn,Ss"}/^vߎa)\2#ђcҎ'*D:9o6" ]8jpMmޢrC-b3)8ڬQ]2I>y2'5*7+Zq~QVD6cM5GZ_T"2:VFxz*'E?bCq*2CGWIgP3q{ax)H0Ba +lk7jʹg Qe B0)/s46~K(~+&7Ы)k$PJ$^1'[Z֪›SxZ>0LYc Z@@=?!F+-Ϭ!1+%1]=:YX VsotVm/#* Yf1p$:g-^#t'{ۺ9]֣%%WJK>⻢l 陛F`pH1`bY_8| r` +&PA AaZp YՕ\ega_d:YɠC̭B*̎"mv'Kb{>" :ǁP" ;Y0 r"πBogFf秸}ͳxAN QhD>n<$OjZfy_`9Ql";[lepV+TIyo)t6ۢdtf?_'.>GE2 /Ge#꒲hJ߻Fv0 n_iEd98 A73مR\t}WvauC +7td|Yz,fJZX-D Gɟy<}\x!<뾦|;;3kg lSw?X8p!bOsnkMa0(-rR2#P-fBAӂKS<5;ϷL΅2Q|ᆿ<;\PFMr!:FNLjyfc"oېy2z 3Qw!LF[YPʖ礼5XiiPGXuo^%bbRе>hqV׍$0Ĝ;F1V@ہj _HOZ #1=O"JRm^'a BPP|"8N7uRD'u XCR b>]qb50tfԆ6L]^+7uí}Y܀.ӜF@|Wfiʐ6H)+^؜BmK[!PQI('հb'g/#[WSn`Tp%G6# 6bS.'sD-Ed0>d!]BXjqƑ53TT-{: ZLImjb'--l5iF٤^Kg9 ==}T;.TC*\Ls1S D_˴ppG_1#CiP*|>7:7❿PFp8 9AK2Rе"۔x8_iw,sEí; f\Mfd&U$5>̘?S=w̹$Gf`m`q 5va\ CDpW w@S:6H/f%x0b3g^cx/ =s=owR*k,d">@GTfz\l/ ZwUGeaoBID]񍅴{31ұ X5?)Lbqʼn3 HhYq_trn{zӐy/A8^NHFGPLq0<5vdȿ1 ] YLg8Ώpkcŋ.y+.m~ S FvMYz, L {Jg!7pҚ>?73RىN+/Q s-0hU}(|>>O'KwJtǶz;Еޡ)KFrq(УFK4j}MZ3QP*=>#ϒ |+doEZްEU2\KRl=WmpykllG D7#{p5室V"Tt-J@ G3\i1x"mM? z+#,#]9㱉Aя¿y6V-8ժH`mK!JpkDu~#OHjLr$AhqY_~Y ȎV/ j’aт?R&x1y{Ѥ6E"QYk? {a(V0dD&6G n=fC Cwf%t}^B-Foq_ޜ 6HTM1B׻C^w PFEJlgLЕGl+;8^dm92Yp%x5]7BKjW3I&gXi&(Wt%Znj!gX*$ UMf*&) %Kc(ru+l/./B_΢I;BS2z؀X+{L{<M~ ܨcnܟ;eYRJ(]Шv%]C=R4SڰSx hlIb.2{0QdF,Xc# y(lPWb i}A*̶*7q@NnIQj_'ë8I>ܧ[^ 6f&ś@|*C-΀ʔBp}"lg= y|{؀jix.d"\ ΅qjXSg!(Bu*0KVNh2v׷ň;O7ֈըL~Mf؈v1 hmLSmol<hOBϮE.ZFjZrXQP櫦A; P,F- naO6 RݍصytU+IV{)~osͅD:D(- (ct?wGߐ(]7%aIqC\HG#K(.Z` vTX3=hJoP/1^_W,atfj 3k8}ʒŝ'-EP2e}Xuuslu{TѕJs@jH9& ߤ=@, JօmF[% %,1,E%ᜲ6Lvl#`?[f0g U4C,@Ky&{ ]9vtKJ *EAiyZs)K G'~ryeDA_c#z% ur@1ivPT` aX,}I [^>Έ 2L$(OLMQHB)-lNة0?]VÔk)!;- .s(xXI[9nRfLf%.G(*bYߔv!lZCXXV;@CyFc"n\yΚoV-/Bl),vlVᄇӡD7AeQUiu[D ;ǝ]3$a0Lqw` G=4!K_:96qΊ;{YP2z#_K_\ю)!rF^C8"$?]马'UMQlz0~kVY|KEyax) P5ՇQ*o, t] %7J^_o&x|䗛 Kzy4Q(m2m({xUæ}}q$S0T6RK$~ n2$5F&˂*T1Pp;%Jӫ=art+l؋\risNfƞtdNwL4a?4_|Y#5IoXimG]jqN׭^ v} _1>+--yRΥ2DE#ջs\܌Vq8mݯs]'~+RIؘ=r+1x {CŲ%L5.M|4Icȓ(-r-*Xݬ'^ڋmV ay\`:z^лll!l<"-ןj f9_\ׅ\Õ?vogq}/}S#^+Zf7vCEn*,~8F u(.仾XTѱ\cIyWN= `K~JdB-€/?Pڐɴ}T;n;XfǨ%Qx4@'z]O0IwO8+!էS^2Κf^ Fd_sp֛~`uL鞓hX*wIF]e]cu[iAț͔:JJeȎ'tMoę;މBJ"Pq웨jCm־?{L9'YeE?J֌ Ю9_14v)݆5J`udG7!j#C}Rjcr*%'xWŽ"|Nnv'dq ߤUkUy6ԊѧtǪd #_TAoD"3^q0pȭ ZnkQ mNgGkQ@q0H[Y זr,~{sw.}Y4헽Tp ??c4Q FcR=uQ|EDwck#N4(Δ{xsYY7K+f@a(\3?u_8-A_))50C#0h4YousEzC\ʤ: ˜cE1tq3N&׉<\ܶQ"lӤVvHbǒhe/Jb.EqQl .Sٯ?ÿlsj @ Ex-mpˆ $2[ΰ5zUd+~}o'J{/qKZ8ShW!{6d(٨8,INT{c%7)rrv't(]q'^bfsX Mp'lîӒDV/jW0H]x~ uLBd1dYUVnÝ3Z\E9S&Jp4ă$C3coy/ߦC[cB{zH2l.ܿDI)<,Rvj bi]"f\j ~}fW>Y;[RVQ/x7b63Y}Bw'ٗQV}uvfS=8~CW?ޡ)\X=!ĖPĆzsR`+Da5$^^F&# GSG$[H˝}@ie2"EF ]wz;.#7J"m㑖beφCM(苓L{`Okx6},׀;waK`u 1qa2t %u ]sf&o _XH*p;VǪG/&N•Zz8⯇E2s@$~;a''μ@ OL=5-n9-NeXөt*}:vVI< A/}l3 )>=HP6uL裪B(rh2t8ѢgR3F:$p9S!+8yk)Gy48x ) 1ʚTW]cAkD? SRjޮGn$f)xXD Oqm@W Sk`GFLvmU6J5$ˎ~nGb' ɡiDr+-pTVcDBF.xY X0KN`ߋ8mk\BDn^5͸@_+-\$zOffA<!kƑΥ p&ݪXӬ;Ω,皪_Q1|07[GhY٦YBܺ8E")ű JF>eHVn1i@YvI4~q5r%~9k&A/|Nr &L^AsJҮ~喱%V]CxY4jٯuG#2hu1n~ Rk]m+J|8"V1U_u:w`u4يNzn񘣝q-%Aɵu SXyD8 06Tv};D*U\+ky}C҂ D?b&c[שFH tkzIˊ܋'d^l{b[6:E_'7ݹ}:P5klz|_ӆZ=]Uq_y)+<GV2F-5^QIOchηk`Wc/%XnfyT݃=/mC+FOkmr^AFaVmA#ɀMAC%S?hBjQX mkl$+8R v+e"T fJ%x_8bn 80՗8GUNR%).tE>0;n)`:]މ΅Oy rt0XeEpa1$@^-̼?`B5ԥUl 00 e`T qvHPڴ?>ۑf?#ԻXTgSN.2`Ds/:MVv̷hB /c{t!{'UQZRH#hfjk?|Pjt2ÁgA*FΞ^5@Sf8v.)3[ c?E|= E$C-L޶Dz[\rtG8e}čq–qN=o7$"n;.r p* #1=k\tɮ_df t`|*DF %%FSym5ʈVt!(խ.nӰ^|UESålpb~߮5-DC.k SJ+B9[C\ GЁg LBsZCEsg1|IVo,$*9<3rG2/ٝݠQ īzL|*wvp>/6ʣtq$T T5>[e WXI۱CLmiwNVlC ~y0n#fߊC^8Ņ#W4"YF+/hg4UcypڙVM5˫2@Z ]M蘫iOkb,!SwoKszYAF|4I޴{h`Bvߦaꏸ}4> M\Xb-hY\?UaDTZn Nm R.ї2F؞9/>H[Izf&,]vQsxeOjMCq4IZ \BV-Hk聐3Rz~6^Ǹg`!.„睾/"p I'J΁-"z cؿ^ѹxǬ(GkUI-, cnJs SQEQ*R~( G^,#2؉&mg۲PlwH2Q:S@,9{;$YRP`I7A%DL;`;ᛀPVWΞK[dlQ ISWi;怕Q'Khh}kHl+Z&Ec0cIɔ^~ؕh&1g):1/`Lj^Y{hЃouI~B*Ẉs(<0.Xtk'W&R=mG Vͤ([%E12/ Y#; i2AQ&/ "TE` /3}ˌ2%nWNSG81ܲeȜHgl)vV:> 1V1[aԢxKoK(-Gz\%1:( w64Uk[ <=%ޙ -7+i'uG-8-lQ`aw2fWxUJԊKD03MdfoL5dO!) g|~fB"ҪpGF+f.M95/XA@櫨詮蟹20)@!oq`WIxm2OIoœ#ZjJW3%R&ڜloR%mts(:F!r"q|g3/WFV}ߢPtX/~!&vxAexP*X=Nag0 BD|z^pañ7Ky1r`v,3a73SAX]9#$ .UIԚ`L9G 8?ԋQL "MȔ#f][m_qvN돌8m1ͱ3GRg*_c9F(r9\ =;6x[S^0y)ClRN G`X?2@SW)C]Y*󠼩 17p$ń>~^3,4D[Oeo 1Y.c kjl'")&,g.^Ȋ>zԕb|եrfvX[`Ad {ND#,\"p.O "wνǢ*[4 n'q<߶lѻ=``NtBAfsZsVөLz`e/6nӛ4|i;i r >EmtJxX-(Woh2p}3:{pU6U'`3:^⦺Jϗ4֮0[5͵7}mhױҭ[@+qW;n~Q{$nm'm! Ёo5dm?[t5wGvƖ8Jg2YFR9Х2sXx֗vwh~-|jtΩPCHrfF{zjh4ac )˫rvo4xm.M[MݷWU;)@Ep(upP`Kv]^,T"pZR^>7ˊ$)֥ڌlRkATw T+I2"Ԩ1M^:~*7dG.cBO[[v=284r$ɰ$n=;};dcMyqw!-*]RHpLy&XCͼ k4?,/>w.PEre.nYvp7N(~CJ@3OC2D AҴ4Ė$I jAXNX"d7~,)blז3O#w`W 8|)P"5F$/,fz&zN $`Pz\ԓO̠=aV1yM59Ebf24t] /ƁG=W rGQv";&Z:%*[x{V }(=*PmȊ# j..p9^vLԐ6ds6|:/7{)u3R"<3q<,YckHU? IfEŚ2c+%  {Y+p?(b9[x!ڴj7FvO#3-2p2`'qeZFkИHmSWK#\ɓ*]q,W&aIFw-@@A.f6adPIn qq|tLv.ԟ9Ss 0sWҨ-ڬgG #vϱJТ=:tqIJ%gxQ(d'[s+UD14P>-(8Q)N`ZU]^؊78ׅo9N[:ЌߨW!y QX\E”Jx7EYQsn^9ᙼh)1$kT)/g z&ElV,B#]rkԘ@Z)\O8Ov/L0iW0hbu&#ʏˈg{ML#}%wJ`=+kpeKqfDžHՉf|(EL)SUtc kUݤSϧ0>.A #AzY^Eg/C/X5o&ύl.Bƒ3FY?X3l/&RR0v yM=i?$D{`rRJT>-1Qz ELJ8]~0mS-l)q™JvdFjv}b&EdQF4oD`h7CBWW ҵ<`0ZTG׼e7"IߧE %{ IͬS_UGdW?[g%ഢ=``VgvrhIF*̗j4o<`a3 xn"K-њhhyXJrġ?)uPDPln=>4`z=rlPgRghwSvPf1Jq&G_뚥fAQx<ӣ ~SB#ZU;UӟL$||5b`E5`g,!-~[ :y@TXcoSaløaءz#2jƥ\:2 ,32~xNab)l)Q**L6B)&IёLpɍiHX},2Wys1A7meļMb2ٜkq|$֒®5$"-WXVjEBݪ`H0ްtu\t'of1eP< U?uV"1]Y"@I#=ц+ w7$! *mMj=VJ;•.A2~R۫n8R‡:]H7wOVFYA-΁y9\`J(u)gQCӇ0{<+[jiNz͕`抜wmyc6]Jִ" 3Sz2Y :Z_R+uMQ$3J'mn4J fđ dm O/4vm3݊qC)ǽe0}fjU <+tc4 qn_M?xGĮ~uJa_"P=pl{u,둭OmrXLi W x^s0%(onNtX7h0j93OludoR %}O¢,,VH^9FxB̔n3$SXi!tu«v±ԉڕEHcL,gUY@ NToXKL}[?SGrb=Yr>ey0}n^'xx_o>mܓwAB5?YEVbREB!o.jK|SWU$!DLܐ\\Z .'Q MJڒF404_?\8wyJy1F3`Yze[%ehg#5]4} OtN.T=`sȡUADc*I%)ۧYAၔk|-](IJ#E[SDϕMG2DuÞ+^tf¢Eߓ;RB򗠿7XLMozt!o͆yzHBzh>dʾuHRvY=}lz3 Oor& $6o-[^sTϾ Mw X$[3bDSܥv77$0z Ļ'퍂Ы}hJOri־ċp ;=aņQg<ЀເY .k 8~BL Fvb-ſ~#0t`x%Bo7Z>8j TOeL<2營3OM[MtêAD=MnV+uш*6ꌒ^cPNWHwg yq>)#J-ޣ$bF|K`F \$tiO a6< BEIm;@cĻgED0Hlڡ` w *'f9a"Y le}_AW Aǻ@!:dZ}$I63qiߊ2@LBi:ykj~1.i+Ć 8X'b z$'SAM=&@f/G}Z-Ą z9Z0<M倘Wtm7_km4_Jw#=Bzf7k3>ex}EJܪ `w7 O'fO+E}=K1*، Nz92瞝ȉfk-/VҀxHc17P9h:M?ϙ٘{$b#F䎾٘Ѕs6J~Jy|dbc 3֞Ԁ*Ϥ֒m!t4ߘty~!yFo\rVx=2d⊂~fRw& 都}|pi 0լkqܤ19ښ[lNV|Cif(dlqNFR}@czMP$^+*0 cƑ" }NN~%7 0Li:}j[OK%;8TpO;7fr>cc. mB=4py:n# յBv~#')svPHӾ(嶗-iߝɟdK 9_K-!͓g܀V}sϊxhV_tC\AupD2KjZo͸*%hXDAF= [y@1>X]tK5T*!I_e V@oҪJBfT4͝T.pN̷ڜT\}dkЭL&qC1[ [ނ?v-Ƀƥ3"oZSuQ F^3Rr/}6ʟ* b Q:tk\r3,m,3Avd'ugGŁ-F?)Ё=Φ ~:5$:ĘRjpuGڢ#9pC. I/X왎O iskFI [2m ^/;N#]u_}/{YgmQoਾI|3B8 T_Q{Ÿ`ug??!>Xb<?G_n qG8oZ+2>߫uEݶo1>3^h_ϮBg6"q_!EGO$ RqjY:D([bPᔦDpusՉl~T(HfHr۟qug„v4ni!aӝR)A]`ma@PBe&IҾT| 􀈫83sG*eK7IWQo?NQtLxoz EJB4^ы1PX &ژ5ߦδ$(f"ixTȽKcF FuQN?bSYn*sL$T+1@/6JY |魵Ȇ':jt|,UcmOP'Nps/FjAqW Z2E,8/J̦( x=IiO)'0NullO__,'>fWT)Ď^5-] CXψi2Ĉ.Ͼwi[TZ)uH\ܹ/9[/ 2%K@oj̯{WRPV_Kr?)X)L`^ c(D:-7[HC߲3o0w|[t$H"N@#$rۄ+>cTx[~{æ>q3T;k;6YǙIu-Z@=}(9 |Y{Hzw6);ͤH:Ond(Go̰Ybx)M9 }E7k7n֪5ݤ\3E Gq)ÿ/yQNγi`kUZݒ&Pc7X-6HssQةTlD'ţιJ&2(Wt!_8bg7DB( SAlכz31S7 RQn.ϼP2ffp WV%m2_>v?L%KPu-Bvn3~6ha xDX$%=`oX7VG4oV4"묅KHx˺N4!,6lVt8hD[=rF *BG=hL ݻT QcM; GmWʚ&/R%C6m0e݀m7.-D:>f쉭7壖y@0Afe a{(m%η:l3Rsٙ`6чЁ$(IW"T'#1.}/60vcbaKJ,(e} dl"Gv詅΃~ݜkelo݅'OS+wK*1] =V)ooƼTG&! YZ_@K1(ż{ozz :첺5^C;]%Ga}]8@0sVH#cRT$aծ Z ~9q1qد Rd@`AV 2?F st& |jƌbPPR{?pI>g@kd ڬ|ёq^VCRjf1-@xBaG_b$i9v$Gu}q _4;Y0,b 5~;`}CoS TSl+PZ;pDVsQ3{[S\ i1LwєB׏\_%20xAϡ@q}_y( N&!%w7 z(Ƣ2)yRQK G]"jOUaU:HeKTbgu+ݓ<6a]*ݨ9ڻq4Uħ|9epH=ep_OsLmqy׾ۅ$`]MNd+) *(l^dtS]nP`(,L9̴_zcvd5|q5KQ0g-lp3T p]ץ\P2;n$x* ^14MӭdP1=ycZv;'yF77 nS (JU)g~gn `k㙐@c'iRU}¹@a: ߶"^q"!v.FymqmMQ\`Tre4hݪ-8(s;—G^ܜAF'"D2U'B8Tqؖgl8KNY*Z%m-s;6R`bd--4JX YbiŠȡ Byr(a_vmԨȁӏ @L͠yqH!M+S̊osYΡħ ,Mg+~H'H]xpePXaYt+@N1~_\hz[@6CvE]1ھAhB gb= c'!ElB\`2Ø ͹&J^ k N+lywGPʲhx0˛-+`ht1~K, E\֤`~y?ɍ#Z t|_13{J*6믳5*Np >""t8iySF𚳥kLH>K2Ӓȳ7$;uԒVɩ!]Ck5_Q'.76;*H=m?(Y 5xr5ȘQeѫ а4֗ oʳFǑ  b@HlӘG gYZ2d887827de13d7128891b26f02cc79e9511d449a61532b7245075d4ea33812447b32dabbeba07b4ab9f9892eafe3f7dce7e3f214e600238180c65ee3