SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 E1t\D ] HOL-Metis_Examples:threads=6elapsed=15.859cpu=65.980gc=7.9767zXZִF! ʆ]ŗXiɟDYK<;#&zFb4⾕_5QjEDM öJŋTؘzB6dz{Oe -ިvNVE;9Zf1YXV֠d Ja|PWZF"Mar&'cA(FS.H%|Ef͎OcMZn"#E-&yĝG@MFF CuQnY5#:oo Z8:6k/CiHɿ-ȣ+I<6 q,!7%sЪNWYn2HΆnsSmƣj&(&BiU$l)m x?JM5Q|Y 1 HOL-Metis_Examples  x2KHfmG_Z7 )M5Q)2{a)C]6܃`P'2Mo,M5ag@"7+V1,Egd%JMå DG6ZiTd1 55a֔ YLLdv8??Ƥ6sy(aǯ,x_rd,%HY\X$60q)U{v~* \2vb/H'#چ;7N=ou:B2CЋË(# <ܦ'@iTUqI=ͰÍ.mtuߟ_˯A=SaEclAݦ!/v75/@HGJ-?'C %S7j;% IV;4 loB3A5$*í[B_kG37K/eiY&1_ɾUmF_-Ņ񵸍28k 8l0}/#J͆: ?IEr%%eYL #Z=hS$$b![]I ;|#Xc/ܐIJO_ A裓'G0du ? tєl !Bbc扊abc迅i82t>E_f^ b4$*CJtr*"F /.6,n& j=J=I6ǫHf-ȁ6#U뮠Y@nsd3QoZ#@oJ/oy>hEǖrbw9VVF]-û$;AQΒ{YEh* !d,1'dTFICß;1[Uf\-lB\TpP,EsRY\df\ĘH՛]ۨ NU /p㛗~EqZ3U4Hf< ?p[%(6_3k#? щ H: p >29ZloD!7ٰ܁ԕsW!MwTgGKt: 15%*'.[4MFϛP \U. @b\AS%@Ŏ~4(%1Go_'AC?:Gej_O>}sRCD$tAy]Thg @̎&ѫa8>cm2}m@3 `X>Di~=' zy;1?(磐R2u~ %ټױK0.wiRzdEݰIViX4bzƌWAG(޵F)dh1FRro)%Hmp>#Aڦ~0VQjΥ;MWxzw@'ªEJ 1Z`m-g{_i8MgzI0P`wn~_b/9 ߐ T̛:(+_Cd )qY}>j -|  #Sza罨BqLG~M1WEpvJRtvB^b85I2!C}떉mx` rIs6>E/ZߛǗ;`j+E2gZ4=bVOYQE~# v>]MGhޣ(i1y+c-GŚ at[2ؾRqq$z5@~p*nA%Kv =LQ~iS+inf2>_EUoT:Q{TqVDÚ3cʆ&QQŦ"sd+ V G1#!ʹsoumg@)ylݽjvk'?X !xe\N27_7 9ܠƜXV6bLQ%>PfGKP|?f|q_#-t  >GY=)5KhgpH5-yKEUNB4: VeQiI Л~~Z WZ)g.}<_~P C}%֫.YK ^S;I ۟k9lx"P?d@Al *7M\ͳ>Y9[~ĨlpN+XyH/5_W6qv㩘ody$2CEҲj"*+qao܃7$l[Z2;Dg1xgFqD t"\. \z#=WV?mH݂yj8v#A<8W.̇5\|GqyBPYˢuuc<R^#}\%&cc̳=,O!r|tІ5ښMV#L71&~d%&y؝J,Ox#7 2puV/# >;[KQʹ-Zch }lb8U_}vʵkGI. 2'BaK.HytP't R~*XhIs*͆Hܛ S*hcBZңk@3_MєIZQq@ڮ- Cm?InV ڠՉrB/udžEK'򺋟킭6+{e|z}ƻ".i*j^_ uO $¾&q`Hr_ظfY6 +|0xFeb: ]XrxxĠomR>d;Gz]ԝojRY(e e_/.07G,vʢz{h[$Iw Q>8mI`[{v;S]E; DE3Ll"gkRc7RæC cu۫I&pӦfBaHݼdhQ,-SKLྑ~l5~ݴ2i@l5 §H'gL6hz~=?4.ĕ؍I/H`_"˩v:$CREdy?y a$i(+lG$Ycݤ%x>c@cS֗7fq6]vՈ0)VgP82nT֫7Ց)b{jTH(RuŽR\P2˂q ˨qDX̳qk 10>.Z{S|!SNwt<c]"ibr/h_}MۡJsjFFN9B)('} q،?"D[K<Dl=]"G~ }hE_Xw#l ^a9L5,n@w5fƅ9_DW<.S0D<_IRfpZM^#y:c'n `"՚~Tb]'=!.MVyU~6Tb|2`@lEU\$G$r|!ulT(kN=ǐ4g(K.$qV_!Ì f]Trdݡf7F*BG~؈Q^ZVMa Noidg!#gq3@7 B >^6vJ'Lgx&%QlܯGnAOrC{-]uG/*<դ _-fG:Y=lS)!@02ѷ6Fpaa j]UgT,ڹru&ZO_`tP5STBFɶ8NI:27,ڃQ~`%bKn@:sksATг=AP*Ѣ rۙzcYMZ)NƻR.^lydqzubFr7,[l{Z S[px&F2sͫgaG˗K)O!r`UlZ^Q͌\rV (-v#R 8#7e1} Ql. 8 +GT ^nz bEؔٳJyQ d"=r!)ZrEaؖP3#.!Hn~N٩G`Tmt42-7X)ۣ`85eB <$9*͋8[pyS=>,rH -CuCx ]@??؍YFf#T9vR]ثkS[H[c怌ᚯ}Jok+P..[] SYgS nڤ mr`;Y< [E%0doj^mFcJƺUimwHv #dQ}CbO,ps1W&H;9DC@W(~9>O;_⢙DùIlHg9rfnrm:Y<"ܮ[f}lJ<ajiR\&k4Z_&6M5pVAj~05҈9_t`pz#M4ɤiH=7Eá+bֺo7a~!wܹ (Ŝ̏y@2 O- n̛ӡ~.Wj>[~n9FHF(IkuZJ} Kۊ%jM%YZ.X SKՈ?fHZ)CqA)% r1'bpրLe%r^0-d1~5k=aF<oeS.qr<շɃ`VJ~3"dȨ뒃afOzLL(ܳ%"b18w-|Q'[.$lQCib\m )7f`k`ѣ a*{!YwBݗo%z3S+@!bD`:'C!CxA%=j;wA1o(Κ>!K 鹧|Ze>p[s,膡++Rh8'U苂f)O>/Oٙ,sgM5Ahu/)eTvE7Hu=yOc~.ǿ窢h;Y6ŭtWDmbȂgct5%%1bcs%?inc)w*5pB)Y/6.u߇h,O,NzW9g&̎hYG^5%Awtp\SAl;\- S9 #Յ$p!ƿ/3>rzHb`{FW+rHo!~=N-߂w7IY86 3*sQ?KeB>Ǥ4=~SQ|}{X)[$ѥt+:"S̪c92moK%{c1Aa: B,$[Hr\n"0<#39zݩVV>pߏ\0?ʻU;eLZqq?Cزr>RVWn$ zikְudCkZnF 8S6Y]W{a#{\B=*n}GGH?< k[HEHEAk8(+RU/Jj/";ɱ[Mɛ7`r'~%ۑcYaQ5nh١C]o3Щt"/< UOT!iX#QĶ^1^ ]+me];F@^ s~b@ 0K5@>ht+6A'jd-/f1E?V[㱍OkHv TTPnU 'ί,(B `RL;Ѭ2@P?L{~i5 ^89? 1[nt[aK3I]jX:dAAֻ5-!wՏ7& Ȭگn Wr?6!NV8)#/80l2{bZ›Q>/Ֆ}mn!~˦B)qbaZϟ^*bA{I>?>{҉r4-%kt0 .;; 4n!3sU#lj&4H5VP| ;O f8QWט3yj8)rPML-Y\ Ҧ$ bv +4Dpȑ'GtSb$mø)_ I>I1XCSgw-<}2y퀭@oیy]Z]ab4qK a}OC%ƴd{ź惶R~P^35zk _|&ZXL=!n!>z@ %np;3. bw3Smkc}clU\SK[Ws=`TVp3L hep˫ĊH+|r+lŁ G7aoEc<%HH_b_]yX8WחQ=z]ILäDqq~8Ĥ`%Hcxb]lsS֒ άx yve*#'lq¶;vԗpG"օ*_GK6H`n&QSIv_Ý UNR{tE_7UoáÑHQQ}v; æ$F];8J15Qp{Z͍*}FX dAНÈFX +^O[KUf!<3I0^Z7kT#_Ǻ?ŧm'>8Hca ^I*=M/ʈ g 4 0Ͼ7V36{϶Pu@zn9<[0[QOVP 'tXsp.3VCSr)dy@b\,&͎&y, qZ+67➠R-Z&VBn4$>n!SE=va+B [OiIA~҅dc$=pkX#zux1)1e(+OF-Af^1ϩ,<=2E*[]JHNx4!Qȵ4~{EJ=j9O:{tCFʵ)͊pΗ&jbtP*Q_XOB Ys; n(]EÎAj(wV8bU*g9p>g@ԩ1-"EkH I1 DOsr\M=j~_MD}6|HÀLkcb^OIi"D?`J;L*iraW+9 L]b`uE Pog!,_B,w ~Y0CUyaT5M) 9!+GU=}mVM? o@L2젬[^+%+NB#^Ɓ u7M杚eUݩH)nw:k@? f ,Q1x1@}iV>|ugjПHQm T7f%(h^'ŗs5 p7f /:]xu=ّ,5Rp)1zzRZ: 0$c*1wHoBB xXZӧbZj4S>w@y(TQ@/E7tEvcs J\kĨǾA$u3`C v4!,-CWRYfsx_0fq\QgԆ A܍'Ge `q"ԇw8%LJɍ.'Կq) "΢$NPp;7 kwtPJsjQh&ܐ@\J̰SH#j\U'kvuaVS"3w2A|)b$bbю,Z)po؈kFjo'/COA8~emՊ+s)v184 EwB&ね_zwNꑒמܦw;&? t7er WSpkv]]al&`55Ekp{R)6=epYv %4 SGՌfpEHme_Qr_F(fSv=0c(d.P%BwZH]i>͔X6RqwL<5)>gT4\9W>Hᄓ7d3vVV3,ώ/_Ub:z QMЖa{ב/'DaA;ѰDr5żSN3+|=G[w5h?fZDF@Hϵ-$(K f"t77nvS !rt ,RifD\ C\.WY"aĤKQa]hS+Ҙט}ǀNH ;'+ na̓'b_WFSy) Kn56XLڕ̰sd·' up!yC8*+$S r({%|>NBX%ǭ[>qqr֐qrieDCSjj'+3!niƜ!X9//:iMJw fR} iţ\-<bͫbs"&o|xЩb<0\.Gcx_ o?uFw1q==՞|ߑNd~sQB' T%DNܢ#S`SvH)Q$-K!jg褻0=; 2>DWDv)?/[[}\1?ڮ2"6XVrut,5]g 5 U4+|#H^\pפ!︶Ge%0lAWrWd 2zDvé@[8@@†DMZi#/ Jd'ޥ=QDanpuli!lgHAy?w 8wBxEL˟ P)ivry&3I?9OYEGksA>'lc $~*m }ӹ3f`1(rΓ~^" H/I^aZ"J I,UQf0K uex8bC5GA=)=뮦֗5"YᶝMhcƙ쐗ѱGQqN cSB8/V~./Nt)+=Ǘ [*}ZhVmƲ!8w$לפTC$ .u#LXCɈ/sWjEo 苾Ef)N֏ؽdȻ0X+S?XU H]K`=m֙Z ?BU]he$g$.vLe׻?,(-qwcE ~Rv mdN, sn߳4tzdv%`#}Ay=X"$KUնJ=q7^`RIЙln4 DV TyOSLr}Rךex/ۄɨVeYϜ<==ڱLLTӹwLnBTֶ[RcC<ꂬP5;PT ͣGQ׏)LM00ms ^!-ͤH13]l]j d69j*"EV#-/#*qCSi MISAP 'P\c3PۊyO'V"Bԡjm_7!t:-y1˰%zZkw2y4)%ݑ6*i"Ĕ1m)tkIIcx2}l{ubaE6Dͳd ~5Op_ bڏ$fl:dhva8/fGH 䭘 hU+1l_|e> bT;Ta{['>kakE)fbB(*l~4V˵:kum/dȡnA&m57p!"7q1 @ppJuiTpnHbyHY3M:nO`RӮ47pLrD.op5ɼe`ӄ)=9l'}7 Ͻ-A JX$,'Ğ958abA"+;_e.})5dY7=:)}f$! Z:fivb [w [#Q^<5M!)'}^,lMWLξ+ 74۝;._!jФJm]E0nb7CcOzڂ9ʀ53kv"mu bN5=="LQ=g3G6rH X4x0M9LK11NNFŭ]u"RύCm[4ܞh~D@S?vjnj1aQ&h~b'Q$N1nĦm¿ZijyMɔUfԹY՚pKH E7tZ6aSNJ@Үb7\ԶS2bfhAU]xzhʇ.>1,ZU> ya\+ԭV0LLd2jOP-ӤpRܝiGV?G'}Eؖ/ՙ)!M>巕I҆z%lv#@ګa04 p|1[?5<}iPjHıƺ'lPd@J)}˥wno-{~kϭ%2v zp #<+6K/!Z^jsTbр;W,?469<}Fv36`f%]NnZ+Zodܶ5EENzq%|˻Y;EϯH3ZxaCĦP#w'+ѽ2V2tկ0$'0Z86//N$}cT,'[z+چM,6 .CDhXH\P\澿v$̗t:T09@GF):BMwܭTL_0@xpr[?"ۋ#3?1w\%'Vc*1|oO) 'pgͱ+$ ǣWB|:OQojrTp>pb-Em!3\š#Uuy?J,Ӫhvj/,R'ATvVz'J zX}m4T7\Ez3wb q'˞z<2!j)`(nZ&~dVƫLJ(O yc?^&y7HV(F$TqU$G.Vz3 פx^i [!3)7%\DJ]).&ѧ0O#twW,ꄥ[͡q1zDGZIWRTU}! A(| Lka$f߱Q'괊Pb74/BE *y4_tdUK&vgm:Jf&a ^į޿s0Tߒ$6VW^1&.*=W;I_ާwC^ة}qPb j31^;_W\5`epPnAP9 /R>3)A\WZẌ"魠6[08><2by,5p5Ifzy\$4m3^ ,ͦ^Ͱ.ŬTUӗv: b>7A.%5#A|OS:>"43U0J@BiX_/jLB2+E3 :Uc| f/Ǎ9MYC9Hlp;; NwH/Ѕ_VVGW}d,1Me}yz5R $RRI}Ne3?n"0 6 ȳMӞHZ {fOn(E.\<0\~5E.GQx@޺J-WLHS Rnb AP+rԇKz`_."!Rua>b"-nfEc%=K3}gFw.CSqLp(ڨLHyT=w]% )aޟa1'o ,bWiA ?7LF'@)/Ҏ$Ľ6U^{B-S3w\K޼QchK)i1E8cUx^{|8%A GԔ㤰c+Kzv^-(Ւt8Y/opҏOfy)j2Ĵ=7-#X<.(Nd a0C ̖.;j'Tm)bp뭵(n6}G> :j܄P\j/ba3y0UȮJDt˥=h+_Mb|=y:S)>Rp܌P2t|elmLhY,Xbewűy}Twc-Bjɭ,B\{>Ya閩|k)<\v_3Q@MKkB& #^kg:Ob$Ģ3 =j'ޮ5M oϑOow!cm(b|X]4,>^ؿIxXq4H0>դiuLH7ǒ~"P){WXLByL}]sRJ:abGt:6O{jSȲg_6s0g%Z>Qt$EpNTAFU4ito7L0g[BLPL?Ŭ41{{b:+g`P-VG>C .wPs~ 7Or$;F-=1]_ph k8n+PGUQeMAkײIuE sȫ 98x|˸+f+f=A'cZ7G#[]"𾿝c }ߎay˜[!>G'C2GK0[-WGvCZj(wsu=aw QN!C2?A64lRJpO(D79mVA+ `R j{Z!"LomlWG,I(k3|]v| e}x~ hCۦp]%GIC1ۥw&!]!+TSEm%s2f1EQKKK8H/zxQ`T$N[w跃+ ;Z#`IiU ">dP_ݷQ8GWA|"Ƣtd2Ɵ]z 9pl-v#WRj Ygl VlUHIE|? qCŧ*_%>*eaי)Q:hTIٗ[L"vPX8׏3 {Ʉ~`/0:JaVR>NisT'A-bQ጖&&v6fXO@!cSm9:E^qqt ĕTH[V|K;I*}p>f Sqͳck˵ꆢ}f1@;bҺ?R4@$;(PJ]{r|OnA8#\\ #7a4ac~: ;}LqȿH'G0gZSrUKhJRx㬓~P6bZc5\ j1DDqk8ue[gļrM͚evyEONS\!(BkwʔDw/2k*1TA)j*ܞ͵VHU`?0w Y^e )S=cfVF%HM\72{rmV>H &UW7gR9[ r^>}vog'cF\lTW6WNƷP/I< # Gvn5_>$nA)@~Pruq@G؂ӨcS kvHvT^̚@x'@ nsNJ*bԳey}_CF^oPqlZw:WuߍN VDqq>?h7ِ@ފ{ QZ?O9ǍЪ$XP xc'⌟%LwFC&ͿL]|jٱnCQ˨z"]?ī"0HIs_8H$sC(ͥ!С/N̻b`Bjo݃8=aUvu6FnPe}mu{GB9>e"X-Sz-rӿ=Б?ŀX1#koic >ᣝƮ7TJ 7lM8x$W(hV>iS\Z日Y:_Jut\ITL7!9KhrfKNy\%/2o{L:j.~94㺭}E`/dYV+hl@^Tf(#%t{h]ÅEZ8>D3L3*T,K-HiseNW:`[T;tl}(KMT}%|'E`r6nnjv5xw[ְ6Oe!I(8e#trX_W?=7xZ[lVsǏ9#5 MOzX?8eOB!8F[06|fx$Í7\;F2E !>D#,Y\*erB zZrH"μ?Q)yk4'Ǧ2alg:V,Xl 8K[\B~kh*XxdHk+tz%"WUП[ ?B>I+=R 2QDw'T'g|8H[yx^Q nV85J|q}b!1{(_vTj\~+E(ܝ~G y`4,EV)Z\З9z!@]imֆ>U?,h#JckpIE5ӶK~5oD$εl 4 B{cC+_k|hS(9Ejbe){"Zu%p|@-TlHM)3˽wu4߾2XƎmMmmފ²ުfGq2SpGW# HsDvڻ>vwӝxjKJ5-S&p-22ڄ௰]6N/^Zl}o3_H>{l2$D'[N18C8=nx# J{i}Ϙ\,k<`Hg$i{e2鴲`읎8VRC[%gr)aEpVw+GnN_0Ἣ/2 ,pQ,Vʥ9; f1n˚N' um 2,'j]3FG=8M #9j %] # ԡ M蒉O(+V!9Hc&i֯\!>HT5lHָm&`88* 07m}v* NRNl|"5Im.h|0a2,QoiHk;³{n$0_CEzŢCD M٠<zaW2{N <"UmP\3/eү"@TΤ3`㷢ܕ57q=j&q-;sߎň=ti|VbLˏ6ryIA>iyމE?xu`ͥ?݄5Lf] hl; ^&o| e!E4aUT3rGP 04x_5|ߔР !6 lި״qqLP$dϏ §p6 eWk>odnq $ʶPϪj%r[ ͱfZ3VBuhXZc#Ԏ=MBC-/ |W5Ref'6Kh^iNjآ,!\@x*g& s*<3\~ts`Ae7#]Y5<cf ;u >,>ZIWx`34 xH’?"WUfCD&?ͨ4Rg0]>pI^D3S\` HIZ,Tr=5L5x#-FYѠ+ܸkn5QtبZSB8D9/An[X C$يDi xw*R V8Hb}^(dۦJU2=,O P}gQ1)]RTo5PV_=1[8Th<{8GAؙ4sADxO&bW`5S։;<,>ރ )(蹤%ao ݗCD;AcH&yO:k0kr AN,ʣ$ElrXA,X^`f;aE" Ӂz֯S(6pgq d[hZA_]t%cUʈLGѝ+oʕQNx|g Eap?[$3ϴٞk|F Aw\v=& Rp}庫i"z: #1f01UG8Xi({I[?R20e[л7d%nJ7#zR=`wHޯ,ŦpxN_L BҋX rpZskyaUOI#ưv /<cgV\lwuݞt>S+ne f[Xs]#Yp?&*O-Y n#bьKy9?sӏ f5Fh`Zx+ƻ?p2`i[Q/u1Pg2aOǸ6l!62 Bo䞒cd⑗ sՒvPFUa+?!DȄT{^\pW4y{;\$C%#Uf0b K\:~ MGeIJq HMGC9aݶg'yK9bIݽ}RQX҅Nii436(/;F0 ͠(ȭr.3X^nm?R1BO ޮx3!58! \QI>( m(׷pIڠH>>$h|ѳAuD݄N߂Ǽ~Aa&6E[|A\ZosXҽ6-x(gAL|._(p/32Y(gWq3H&I?KYU $ݘ&N~'<@ӡ+-YS]\lDKXI1UgWO*g@`Eí.QQ#nH/ۍ= ɎB)n8d/ D=d\_ 2=~`FV(_or{f^b`\BH..fS.ؒGP[~|'J݀ȇ ws(beѷJ97>/ApH&F:DJ{-{X]̫ש )([EǼs~2M3E!ro,'U?%Ȁ+nt¤- Kɴe0NdK<lO9FB/" m%MM+lݠ-/?t YcвVBpF[GuӒ!;7=DԯtJ!i^CTXQhqG8->k-̀5sյteVpZs{#d00//fyqM A%{J>w<}LR@Cɗﵕ?48^&Z ~$ IG崪?]U|o:a:TMau4.Qb|/7ygqE2:W׀=\B&\Vzzk,z"ϧ0>GԋHcqJTy[W!FRzrē,v+TI{%S~ rE>6l$Ko y˩՚}vj߀TUi--aNxl@nNt0 @TXQPySj\i~}jIݓS|E#A䀡H I],Bzb2]g䌶SKSXFHeb8OwdAYT#kO9DFF%׊NҎ`Y NhB `%ૣ) tqLC?-s diB< s9#-`PDBҋOa ެA t [rꐊHDΞy(~BotU}lpv#3l:N@XokQc ;S[X ?em\vF`BOh"k4SD]Oj2whCGBK 5HL11\v:W ~˟ y` qtOLpv!j|0>xeSzd4lUzu ܅S* Zl_?d$hٍ ͞O:JƣVMn9u@/EuD}!MIKy5(d  ڻs]gZ}vgO`$T-Φ'~rds#'s9S+Bý= r8ЦT|e5=j$J&rʃV]]MN,.t]77`]L1d~Ī5GSPl[p5{g%DX&<(WWf DؗIX}谲± gm訚:ز ?Wn- њ@{bw?t;SQolB^O^&vHO^n)c ?*؀/ؒ1nVyq$l޼̫P?OBh&e0T<#&qcFm?5?@_fLImDsbZ*ȿ6T |͕)I8 +?|Õ]f#OwԔ.2Zm%D3 KN2%׿-O"% xtѡA;\2|J2„  tjNH)\@ALP g!Cml#;M4Cm3[ b"]Ut3BI| "c[j~R?•Ǖ ;읨>80ięf+H-,0Oc[$§UXh5a'7wvW OxxfvVdkʀ4L\mu_Hѣ{"]T̙nAy$Y-&aŲi0o[y~eCղ3uKzIX' ){h!4e^=NJu`\d-xth#Mʁ}XyY zh9n"n.J $ 2Ԁ)R&".GB{Њ3Ym^e%[7TY۞֨\u}bn-H"KVrm+uwO©Zq>)sF]Yuy< d<[[ 9 8]C<V"NՇG_RFѢcjuV)ryNo 0+6:nEuF\k&]qRy0UsLMm)Wx4~iLZXw DyǕnV}B hHjgz!Gz8Z8)[C ܔn83+DK*}0̛bl 2OHU)6Mi* Z<&v3AØ4@tYQ>w\ _J%.Ϗ K q0[eh2ESuc֙WxxdRez:_`Dž c$֠%iAr)VU!jE]61ԠK3 ׶LbǧcM/pK r?\Ky^\]R¡svXh8qlXׂ8žV6ٍD$*X }=cKϥH_3Qi*1V ȥkMHvh /YG!tbJ )eCm߄ B8{Y=Bܑu2ZGoٯG'IL);*z[%eM NHM#: +^{ D)dch)FBD՘L TR!E=\]e"؊ --hއH]5b}r+ʜcI4"xhuY)+0{/Ὑ*%(<$5 #VPwgqlmxk=rlV>kx-PKv.0&Ok@+A&7r:ȴ*J݊@qc3ڐIۭ_o]Qn=m /ihk:RY_3K_ۓ erSd 0{Vkmo]m0HX]'yV4G/*of Q~<4ȌژgA2Y}4jcG @9ZJ].-o㙰ؐEK [^f.90 :.3 C2e2Ƶ G7CB%MbRXg'[g?z^I'~2 =ԡEk0*߉-rBHIyT_ǯ`")!Ŗ$({Ok@ z'"&oKTN+|E.(Z&۴h?3åZϲnK!x|?2k-q2 ~o 1[#;[]OR?r.׍4< Vp ޫͫ$}A.si_l@]6[PBD*{=餱pWx[dj>m34g=H_yDJͫ? T22gy톼zkqe4`8(2ST RgYwNgXޝQ MđO3N' y5\T/Uy\-:hM{z5l|j(%|^tdQ`[nS7DpV$׹WGdGSBXTC'gzv!l9Zf֚ fk% ٬FEpL/e^$_MYGO8 Sژ(v޹MWn+e3pTT'(fsw2(c!%Wޢ%ʺ2#yIn1PS: ob(omL:p@sslh-Ku&,\ VZ L3E {3c S aʒ<~L0!r;p& r"c -(ɁØeN+ &?LyDGjcd=ɥk E00/|lu'H 6س=  csw҈YlA7&;ጹcQ[L@p!|X"1ywт ו.PSU{kO0rJ@֍mM [sbaDŽ3Ւ&Ew eOnkb}yj~-EJxRVVC yA /`Ѷ̂5-$x_8cvCcu/ݲ(WAʲdUΖIeJ Ve\~ÄMT?lijّ ]kfM nH\!1CWWJGZteP=1,*-v aNvUߢ~-lNFZsk`06~aV[Ή?Q?CiABm92u(;_]ds!0)>NY!@OWe1#z481>b֬vGqVxkz}w`Z0|AXFpk!iTc ̆xxg^pP$6qA5/ͱ[z\YwuLޮ\4VI:|:$3 -=/_u?z r@ ;tɾ>Ն>*s'n\9+VX]*fjKMVPf+"8;儠+qRjya(Ѐ٫u{~+!CZPmR?LW4?08z{ le2NffLh5P㉯u _%Տ!&~M褮 "hU˺ZMܮg_='#H 󹠋! `NkG[kTZZE1KڟӀv<*Qk-"EW %;d0(gYZ7zXZִF! (]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMюjp ժab$\pam}vH tlJSJaez@WN\_+gU ɲՀ/ 0=t*wŗzvk@.݄DZ )&_ƴp)y\ RLvY+"7N'ėJ#(P?0hB!P|󯳥QDn\lzi^uj* LR?bA/?I/p`G NSNgYZ7zXZִF! FY]ŗXi%L&J?'%$p?G'#Mi^< T+0PibW,EV;/ER,^zƛ @(,{rY[ԣ=+hS<\ۻIjCcboc)t-! խtpIU%/*B,c<6Ù۫wh2s~bCLњQȖ~^sPٹ˸ [?qP%Jp@ѨbgZA+ Fd.rlEg2,*#Y)Yلlt!q!E#iWVTfjыuԿM;=ta,(zbE"l# Q g]z=Օh*P!p{\]kj15LJ=hw&h^T5*QSg ֳ 1!3~lcq>lEI|2u&TvƑBΩgV ʖ"w3 ry [(*j0ͿfL4Hw,C:y}Jk(N{#_/jXC_Ko*GmX%^}/lܙ ӛ$j&te-(ъė N)P DlxeL92IߵU7=kcKF.l0˼#>w$(+o,xF4 _Zdz*5 `nc5;u#`%̅ uNK,|VE5YrEl\#ؘ[x鄈Z9au!DE-FsrF&9UH-qr WJ.|lF)hpk͒\`Ԗr`⋉crW)=Y_M5S 3@Ռ=mg,7#ԶƩi9,?PG4tB`kKs ȁAiܾ &`|"D\#Tg*|[D}nq'q8(R=cx>6rzK'FgO]bO{C)F@gZpKJYm+1(&ZGnەfu֟&ALSQ RqClzq*>ψ6Ԑ}'^b@/5A`LZ,ێm PFWg$ˀ&Z~,pir;ݲ ptg=k0/RͥDfD0Te!$8v%gpIv;H2_XgYZ6453a9c075d97f4930938f408e1a5925e0e515749400524a2bf0062e34657c8242e59e39ce561b20 8112b346d345fdd1df303f366f2308e1ad40a1e5 0cdf6980063fd1aa93caf0f2c103ec507c60d585