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  D#4ld ]S]Collections:threads=4elapsed=263.129cpu=675.316gc=59.432factor=2.577zXZִF! `!S]ŗXf[&rԿP6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QCg 8#=+CollectionsCollections.Impl_Bit_Setcode/export1.ML@#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML ZZ##O+ LCollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! . ]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QCgYZ .#=+ tCollectionsCollections.Impl_Bit_Setcode/export1.ML7zXZִF! (.]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""yu5+|(uYT"0YMrEW⽍O$5ޟ按֖zdX~4s_'c +5Cb`;A0~"IheGl&<>LJK'Zc +,z NЂO:V%Qi)I.YčP{ { K/碕M^}smƂu- D^:,I'Yº̛.}ňP+iXz^v]"='Sܚ+d\vǰ*q[*WD).+x [we5VB'7t_%D3"< *lW!%vx@GjseGxd *x5LewxeϒB3C aMbu>ӷl&ªg9^)v8B/$zfnc.fm"XkxZk~. > d;y?:Yi_5_ֻP^Y._"z*ZOh0CĿU\|2"85Few~,1H0rfG[62ԝd^wJ;784LEqDΨsQ/3ów(Iͭmx^u? >d&Bϸ5%45+< qM?ئW bzovk0kg6mL_|(]k^t"|ܐsp V@NT.N>A9B-93]/4FvDJFQ :,mPd@.A*F*_em([M6ۢnL a3{:i`-:#PG=ZT]u9V.R'Q/-8jf+[LbkuF|o3B~$Cm7xJR2(}@!er jZ#ͮ{oVk/jy.ysǐ45D[kxGO"RϱݗʉoItUP*5mR0bc6SJ/2uڅJ&/dM * B_n7 BWIyмE.f׊N@ _:hyzv#V f]fF*>ߙ5p\02[zx`B7ȕ-@d?VSwXzC 1 vy;Kiqc7k?Or15KD*Rinp=DN\Lv;DdI[*_}QvhҨx SG1Ƕ$yP.@ $t*]2vXY](qDžp4q?)'_?aV$Nb 8FR@lʣЕ[rK 1OkT(-l\=l%AF͜{uXz>a_46Kc$u VT!>: 60軟 Z"D嗦?v<7&X F!A'tNQϬeoH09ckexzuʪF"@p@3(SHpIC\ l3Wy*Kd8 rv!{Ј%bFY ٔн:f&2ޜ'$Zbe[e jXnF%Y N8P ;%"v10OW;Oo(ϝن_֌)c* %8SM9&7cL(Y:xN/S`4eTKjߧc2٧6SvF? r} Ǝ[4= plYX7 yü%a@X=FG|RI N9kE9L@Jy;dHŎ9cD`:kk1CV]Qv^.6^K[-SޮP]~W59?֫HdEj"KCOc툘S{缁]]&v7*DB$+;dͣ$;wc=k BK8u!Z!|; ێ#D4""DdMK*k\us͎0m"kNSn٧k0H(ԸQN Tm ͐!g!YE&2d:,`TW n@~ 0jG`CVNͿr n眇D4LB@zG;2cqӎiСN;履[Q@_fԻ o2uӛ EhU&j&{@-ϝsR?Vڼ[-,ES4j (㱅CD\- IDSm 6=J㣳Z~,aLAj{ƴ5 鵇S솶,2~mBTD9[]A~Ldޮ֦KYS!SRF͏ R,^kd_@zWsVFY;;*N1&az- II'|iN٧q"쐦C'tDWKg " iMX`D!_b0A}æ jˈ1Zur:ކO 1)y6OlCsqd'4='zAgj aW#W 'P4; [L)aow;wluEA.g3Ĵs1VjDQe#JG~ƈNH13 "v "6?.mk"ФH}o7+- pЛԵϫvTA:jǮ:}LbcI0' Ix'GGqE4>?TxגE4G8D[%>"BjoqڇjZ%CB+ а[X\k=pCGv%|U7뿙V` F KavPܒcKY= cԧl!@Ti$& I+zRllH E3y\IԥcxˏޔJhg+V^ d+L꺞?$%D6obcء7][ŲpQg!~$!>f ?qϴB:D!zRB҆nf%y+'y\]y#ڱ|}vy @_t0|RJpkUZ-Kw<` o8l:~FoqEW1>QNbDz =]Bu(.YI8?| -/Y8Z}' K[Ɗ"CFt^<7!{,Z"nm GW:#iն 3#5kՠԌ=^w0wq6K`F܉b+ُ ޳U/[`F?"FapnW'{~7Z.lxn?QMP bT1BrB鞵-x&MXYNmämY1S,0eFEi%yMUnABR)"8d*4@fJNm9hjJ]y^VJ尞,/JRw*=cP;p\Qu.a19 4Ofn Që9Kyӎڅݱ_F=r"" e+J|;L͊LϧYV5p.ʘ[.=H5ERD՝@ho?yr(ma\tM0X;}|"Ihe g sBeWt!sd V-۞t jHi}Iu!@rl/uK妏ԝzlAx[MP*.SG7*k`76 lF20 6F᪌fq!$ &[zgY^9A2:d;qe #q`u7Ugcm~Ӱ ;S yq*7΃0}-ntjeWⴗtI_eľz$UbLy`y]b({;]U}_TQ7Sb-uiT!&wE4-Ѷ _蘋7/@F)Ѯ20ى9`B2/hI8NU<,~t_W7s'&ya649 6*@52[8ipRziI7~wsǥ*b<-C҅)N]q4|j8 U Ek^I/M">Xj@% +N8dR"oMmaw#>cCRWNr<1tJ E% \.KA:+*K&x( +2}ўOii}5x]V#uO;,9Ln|V_#u!y$U\hP_㦇C?(Dur|7yUƝOΤ4m vE,xZ)"+YSUX WիLySѩ\9dB#pU!,g+nL1N}X)au4=jn{! ;PdwȝFO3e_1v/uing!Q @) sEN{ HS~]:_ -h_<@ D}޺֫y\rGSBYaDUR; 龎74O qg;1G6D% m(Icr)Q~2 3MҮ,m.`Cpe=+4 r`_77FlK&r# s"~ > ?^TT٬X&0tzH"O[n3#x] gu-GݮIM5mOJ%kCЬf[xPERJ[^X}L GpswbB5mI?$eHQ: yyZU5/8/y[%rz8C@W{WBŌ%3ċ'4.D5#).aO} nl'cz`QĕP!A'0k],資| ,Ip=yJ7\'8s.bvg͙sjbeoTpr&;?҄en_%[8BV"Q/JY$MYwN9:ݵp{ICӉ^vG]%P$msf*9'()'o~vH9PMc=X\5?i>M6Lyo";L'^y쪞E] kd˗5CX;"w?eЧh61 AXo_s4$TD%Bk(?+k~iF.Q:!ET0rRFUG֕]zoA7,$ywigKmW)m,#o%;UQwdlEUOYm>7E.$#w$""sCweU#bg|օAzo,*ǽƍiw'XvM.GiP MU=k9!W pn%5q 2^&TƓ;7=J.CW-8bPڡff#)9`{֎mbݵfVk*5VI{=(9~pN!2齠7s]G}i(dDyo%7aiF 'tWDÊs1k箑퇈9n'?\`\CW@)\*ɡ|j/8d4twwLi!" P]MjygI]j⌹z-␬)H !.?5x^ovkiҀPq䤂 lz'fGuq\ CeY NF@P"uyK$2K=~,ڰo P&Ja ]  X>~7&0 4Ndܲ A=yݲ%zI >Rb!hjv2V- %x>ga<=Y rʧ.(1"';k8zv{)gCCgteȢଵl(eh5# 6z9Iv),F[ߏָmLy.3' \qt,3uBA5Qίgǭ_n>s6N04ZRZclMq8x/ (gTS{(alty^H EJѶY*ߣnpagsTrbL&}EI$[rjS}䵦۩ѥ3I'Ύbߘ;CB4/gYZ7zXZִF! ']ŗXiɟlAC/B[QZR[}ۏL0N qӋop-8K~L}A^rTo/8߭- `ϼ|ÓNAm`ϩGrelgm׌TȝiA@ū(O.N$_ɕ$ DcMAO !.~'@hf2T jH+`qD_.t+kd?gyĆ 9+;||ABvCtO4Ƴy>|20٬7L"yu1w^Ɔ"`D:RFC俔@g3=ǵN=6R>LqcpC Rr, Gtz`>J)0˖(,+Qc۪$Tg\F;||mD~֬2bP^^e?Fd.OePĭ(8FyȽjV)WܶR_WB`M'<%W|Du6(FϚtg):\M0H|NI}LGj,إ=7>fw z"ˡӔ_.0{F;=#Sz2&Jiv 5G/I׮و~Qe|PtI B]Uy#֌*Xtd(-0q/6<~4 >Yb ;ܬ ^;w[Uk4.oZ &d{ɇF"2O8h}JF, %BΧN6mW,;d5( |]CYSÆtmJ̖KY2 *NU 9j :85)3#4x0=W 8`Tzx6-AI9a4D!u#nIV%_sHY^6z,9Q 47*/cߏ$˜ծ,s5A[=RSqq1."魤 G ؙ*X,gx73jQvڂRqֻK;?6(ĦX52n^e-^߃KU=XZґcѡC<)L[>s2;mm/Ӎb)Hpji~vwB oX}Ǯ"R՗b_-ĕÂlOkb B` +Ȣ4$UgM ?l(:D;4UZ BLrJ y|%a?|Z"!+pܯVD1(gRʹQ;[/ai?:*3xƊOGSs.g|K2NZ:(5.d+d4^4 0_Êzx#)ub_ $v(wZF#cvh Lq\¯J Rma(.]$~eaS™͈3S_H,9;[$!FKO»JgYZ7zXZִF! ZF]ŗXi%L /Gm c'hq&xAG,5' Y6.{LS@Uɉ`KW:D->M퇇P;tAIs^+tLK%!o+[YNߏ#c=N@+kN3MՑ%4$[=bӪ:{n2I05jgZӹV5 )"9eeT(dn2=XXgFa)a@@faA?{#\Vp&+஺vv? H)|5"45㞮u{kݺfN;]|dQ=<ћW.V22Rcƍ/@d܁&K[9-]ÎQ4x;[xxPTvt*w`28ս? Cfm_p:CMA+*ei8!0^N ބ%ݥ-X+pl}&4A "z1&Źh?eֻKb%sj¡ v?F߱Ed3PdB,b"*"A ? s>mysqH,YkaDrm 5WX5{]qfda eSt*2cd}ls'S^X@xgȸ8up]f5+ Ӏ=ŋ)MWkb|߾={[ +\( hl@ :C.b%FHOGo֑uRdLg_.?aNW4*Acĕyw!3tr%Y{<VjuQyR°(/@ܐWV*r,Y^W`Bs~EhК6p@~%Ӗ5e͏s /`O v|lWc{5-LQ_H 4eޮnfN\χV^eJ`v12 -wKWᔡ^v 7iIF.6wq/=nTX4N`~ i훝$XIL/-fIݥvZ"})^LI. Iաusc;B. GԔrevX &[EXٸ 64Gm\BҶ}@|:md]  ";u]<(5̈́|Liow1g7oqpٮx Ϛ&}=ÅS2cxW̞P2DZ:4Up㏋1,̙֝OR?D6: ynBjmؼ־f yڰ .>YVu3N / B?TIRl^Gt}Oj \XB' ùھ1Ӎ+xh0|P,޸wBKҧK/. QƇ;sˉCKsL[c~:9{]樝qo:9KvڐcIlIBIpACwAlm8@1{8AZW.;蠈Rb2Xu$Oa}G 3&m)H` ]I ڔZ$=IG}n4U8T:ibWUcQYR* dOClСDi|)t X?Kw_m(1ZL2hm>˓z' 4ܠ5xs+mEZHhl4`4Iu-|f-Q3w>bʿ"1#0]rJiA*>=gϲA7Ѱ{oXCb}4 !"7bP"]Oݽ,C+(ߩ,еk7B$}秎^.?P !|7#&l R?zNP9w)+hHM*{K~0D(-=K㗊r_Z:@"FsPb[}ڃWBs@.F_BlL bl#hsdkzfGNfNٕ*TxV'ɥZfKU*#O^1 fOY8$m+Oz(aA}N)9>e3s]T mvS|G 6U{n>x|xtIII2J!3[GQ[ij6c,!ԕ>Iѭ_9Yet*,6| r@ȯ&o&Z!x)D"c>kEb װ»qXE_*I03xx!x5DXP5=tG2 ]|0it1E% :L <)DEl1%IR<Ɏ i^ |S[ϲٶ)o2|ҿepE&Db kS"< 8d!ҩ5;zN۱>+Uf8&.]@e4i]]E)I?Y괊"*~=Pc"No^m)2г :Xp]ZVB"9y?/ A@mNxT<[tasQ)Ԗ(opCDCgqv+-tbNT@?*y@E|j3Zoؼ&ށItWd܁o!whr?fѷA|s<#|"9x*'P6+!@G]l1d^t(_w[r\ #WB=2ǗVpyثe~jYҫiQX̪A&IJ9ZdJ!}N0F{VXfk1߃|rT{eܳ\\Í;JVKooܶ~jb^{[uJ. W~rseowN7ZFK4o^g/K,ov]߄ePyh5qqnyu a8L^HZ8wA1 mI_~ǢUOlbpwꂂ*`.M .^| ?P)!9tD~pnܐ.A}}|#jNj)&5>_JF(Ŀ$Ѿ.A{b!2/['hD7v\e$3ut?&B% U[gԆ~rJs{|.ZozD*Fto@5OvLPStX%Hi4  R5.e( ۛʚdzwbBj#9dXD(feӝx{6xl!,L! H‘==OBlPfyny2w&ixTrD͍; nP՛=-S-7˒ 㯐WVyh565~\/ns35M E5]KOm~U{6FE%*Sk \BѯT%3\ENlL]>!oL/vpMfcr չ45Jnb1՞sHbP oJ{+tO'B I"N{[&|7OXwl#2kGe"G$?},kf`t ~Tªnߋy3-t\i:\5JO-2HԜݼA~K%Oֆ4cL'<]^iꂷyjb+fķx̧r>e?=mj'3VG{"\^dIqC} FG>0֒_ {"ЊFe0˄8qyA6#-2[ ʓȁT;RmHG3Ci9rڏVb|ļUVX!$4z_ϰ<ygGۃPy%5_ Õtx a8Zl, Ѐǹدa(ӟu5) Trik{N &~[rz2<#n ^UNB-?6d=#l)/Q`4|3lbSζ{ b>v**̉a5?~J#͊D2,HIٮWX6쏗 b[_Û,BN>eFlS+{_s]ml5 ;j@fX;c#aS; J1wv[3!uLf`7ުDM~ML~]#9G.^`x̰'.ߺ>=ݥ6:6`oucPϺ9|0RRw&\cBq7$} mqO^;nq wf@P7Eٝ}YuU(fܴjxpH#3ÆmFYhHԂh?Қdɜ@f[-0l GL*A <se@i`O~&_3N+Kwmjxeށ_ NL^͊:>|fգV+ L|c_G,^_pLr\4*wJTM;>LvdN/ NjqػWiN`A@WZ^F# DI.JjvW F7KIuenwT2Wx;7.m2kWW2_PWSs#ܔǣGvc`w)sݗ3_fv-Iwz. w[e ^ C+Ƹ=*#2WB/6kRc/`N6slW2fqϙ9yY-7/+NĂ8%S@(T@h%{W ?efx#R3F(Wk*$ȲQ>ۗC\RܵmΑ "vQw;|O7R1^-llk_b65 ǻ3t~i02+Va J W$:iR&ۨPe}\0#,[8u? .ǔUxzNixiHpb_&{2vD!y1ۥSìZWֿ!|{=AL};Y-LaJ|eK*]tDۧmto0ug7}nL|.!a&et bG=ʓ?T9<_kL5KTwS?~oԎhV[@+؜&\ u ڍj_9ANMcRX~1CǺNX#izTzKJ‘C<>T xz:\2W[eT5K3N ؽ%B+ &I_/Z_rmaZmKAsH?"=5e=|̽ p _a)[i}i%pZD8b̾v=6ݛF\'\2h]2"ڌځ}tQyp{GVh%{Piv^ y<\@ݒݒ1\ ^&0S*nєZekKQj6 LH S6tFDUl#ӭdĜC;=}YV2V#$&0w`{Q%J>ꀣde\VuҫĪ{g폧W|oJލ)=QG:1^fw0?r'9X5K?ן**շD1{Q?[z &Ict~68u`_)͉-ͬ>ӗN{-lphyxWG;зXb_fh;ͲP'D5q b*% MY#KznWmW|<]T f͏pĶ 4jd&Rlv.jNzoY׿ 8lKKp%2>$Dd'>FbJ3Ѡ_HaNS k#XLWo㧤 p7U ?Wq\]AG.OGH_DBJ&3΋|"U,cJ˻*J 1D_YR> >lm!ee_I _!/ĎOYZkFxHKL{%K25ͼu~*<@+O)0o(8sovCNt#@l-P͌g`?햔RlٖO?ɚ4i>8ڋWG(2?& :&Y/FX%/L&!- }Q;X HuD21H% cY%q;p*!F?0u]8INN|`obua*xI(IȩlFKBT+EqfX/"-XrNB\frS;-u(u@CTL?fZlaSw,]Ո3mB~#NWC>5aKmxt0 j>F8{O|M 2lfY wXݮw"Q$WXY_ˆ֚T{=w$BN4r4uʩzۢYma<̬x;豺0 =ydVƈw3AP:lP2x8n1U<2[Y3SM8h!ʪ0Ŝ،TjSPwI+0 RW4ؘvLd6X#pjpΑ/ْG';% !d./Cau/H0$z`d2B7) ˏ| xv(w?8!8++l9*kYl}'f4(DgÉ9Xr~#ˤhl@`>v6A7Qp=r^( @!̉kBm9=_^IZD\t6la@h»j"J$<d3^+=UxhHܹݧMw&^sNJfr*T p7qhFinF W78(TYVš㤥 Lt=fJއ<:F*ڙ劬= D.#jĚdȘϾgoO0y}geř r*c24-vH<8I .$ 7]?BJ[e G8G/x$.}S?rq(R@. Z|8Hz;B0  lugHh0_#%``B|8}8&F0A@*!t"!"MMCDtà g!x*^! }oPf "Υ%}"BcH88T5ƸV4;L:;r :¸x_D`JZcAS=6{v8e o27PN3zy}a/|t=t#[m{[E^v:¡^|O':Ipo ?hxoSVX}6M:_g2gD9[>aUɎK3sTҚ\;g`X++'5ǰiNZQ6uK9{ ͖߮޼.fn9LMɩsU7 oO!܎;pDx]*q*NԇOn:9joT),L%h4M L4KWk:~ ًs^h5C~v^07;1'>C/:ZКjyný8bHrR6`fnG8'\T;Yy[_Yollu\Jr鍣u>ZL򇢔q~'RlJ( ‘rkF*`!]p7|:bGt8zօ*7DHkbI@4[ѧmCpm*a; :]=]Î#;w_yl6y4#U&ۍux26viJAI+e9V}8|+v@{I՚upϩcaNzm: 0}/򬭯h4Xz't{xjv@5}+oja qep]Auay+hA-[g{롨]2yP;_\]V?vU(IWDRkԹk"Q*6I`F3/Hjmum!Ӛ-⿏v=;!{BPqE˚0F:k-=Yx{BjšG]NⲒ;XBi2ayڊVa'5l0MB(Qo9_N+Z5%tbN|B i'mvtAA `)M7z{JeL:m1zK C `G0 V=Yr#ާԀa|3[.qqaSFY<#ߜdh~{%1(LKkl1{JIV:#HE<oc L\AX$ ҨI#nh-@8sd<8ȓ;='|ն[VSXȆk)N"~BovQr+1- N28f G_ou`Iw.]#ׇRDrjB"Y*KXO\ _zz.AscLv@^>hŤ8dq ݯc C8wm?)u\'jSِ+r%#D Hm;EPyRzP{!)@e'c[^7*wB_NrnWo]SQfWrhTG9ҳHEx4F(Z:fd61NR!ldgޘ"v8"(<!z4^O4n b:X:p9#RD Xz*YF^)S{bG^pPZIκڑE$oEW6Es2ul.wtYHF]5{0Y:(=m}g c6(*%unW_-ɹ5 ýJF| C d`0RUgrn;~qA98rf=[BbtSyOrԝaޓ_4tP_#xG\:Yqn_-Ļ=nA@Ӵ (;6o 01/myn(p_^رl*8OJ#?BQzPka^sJ>(7 ]m$V,N&Qݺcf-|#j"HVC[zt|QNS?ٛh:>q&a'@7kʑ z %1Z׼,p|*Nj.&(כI7m`gsw0*w@=J9R.q.#LpO.TS9I,KAj\kQHǓ djj:x 9(O2u"*iQ`I=c]her1] a9}m]sY [t=gh4rX4^!'a:Ύx,AFjtLķC$p"U %h}n']*,>/}+! E" ɍ#%Q vyȑGUa`722f#35zk!֢^R)}{JS !@^]Du~Yi03F Dҽh-G6x[lp?ʒ\U"{،Lp7M㓟ia-fZc [*U5llbM/SBADR{@65 9ь-('fR8EpїSItW5vo ]~ﮑ&¨zAP&/73L^ީ؅&qۑoYYoWɁ(DiP9>"#`+&Hp#Jp6>=oM򄏹blDWQT |ɖ| &ؐnqw_(Q2# :(=UTr/ qNmub@ӕ3eW%DT:lx Kaԩ St l{myz!w 먗fykl\2_:-$aWE0~86>\7n?+wӴ8G(- klܙ*]kETE- r鏴~  ޲3}8@݉QId΍Pq=N2v/*iM,C;$8QtӌэYHhëbOWk#ܡ:'ʳϩ>b_%HmCk c+1٠6vV?>LO)1ץ@tߞ edD= WRvы"]iaĀX}7;Jf_ CZ9I Rpt3qw;`k-+:v f<ɛ"z&͸#X.a;rtE.&Fl9^)o8=z6K1 zeM(ZggC`kZN(9T#5X\EY ^C.i{Dn;9Bbi*g"M? 8jtəY2.)N9sSAHek9vyNK~ZF üfcm4ul(4T(Dk)\pG-W\f4%KE[5%Giܬ eS4!OIy1E@4/g=6:vWxUBj \oUDK2Mp}3]bX%  ˨ES_hg-( Ӣ?HatηO檣)oKIwÔqL>8)S ` xpT#5;4#Os9fߺ瓪n}A?ްyh` XC<صc:5ϼ!(O"*#A|3Vp]sxTn!"՞Vȵxű%6gi g!mwF}wdtJ?G:423I8/F r+{]e{zr5&=G zw+U5A K 68(^£6!hr8Q FyF>̵EyCF 29_L,Nོ@>qxZI8 ,&%w\anwD? W7{lxv݊a|-^E5 Zm ^1ŗE+S)b.~Nœt/*k?('§U=> WV7ɱow%(3)+ 1>wpy l_ ^OnVuǨl<9'2U(1Q-&u :;wkIM-]V[żZ6*,j\3Y+2/"J۠zڱgYZ211a6d9a347d25281dfc4e328b0d439bc1ec1a38d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 e41e34dd2653d34a26d51a619d5ebfce818a4545 31a3753b20b0f5487f78ecaf6a279c68590632657c1b0dafd4f5b403cea11b8f60a3c07a09a135de