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  ` ,t ]/ PropResPI:threads=4elapsed=13.879cpu=29.920gc=1.056factor=2.167zXZִF! l]ŗXiɟH)0%o|**&h$&Nib}K?se6m-a0ŹStFu([6@-fW%]0_?SX46>FNamDYb[{_ G^UgV::V bRKA.xl7nِx~"[6 UT[1htno7S;6 @Lp 9"iSÉMMadv+"2?!>hό9mjڮkNAAicF%'ltB{· ֹQkv*jT{, aD3ִ  t,[v3$)qL[ !a[t0ϻ,CIjF2:p!;lUmw`iJ?'Dvȅ D#m#`v\,z%ICzeC d{P莖Q3 H4b΋۹ :2Rs@nH::𰁂 E?(?x$%{9շ..L;]Z*11e@(Æl7`p 9 9=`_ $`pR) <0yu];Z6ɧdqޤΕF Qv s rO [*}D2~sڮyg3~ s/ڧ2* 6'³ V_Vߣre:KưC5r Vo0w{9]p|[|m /;)R͢dLr,XZ"aXS4<1yߪOiRvb ,sE"WE <4UFɈ&d,"ЮYIC:VsQMٳvq7پagŶF_))S=m1Z=]]ҝ.WLЧO(&He.C9 FOPpOf 'pdb3$<=Khg]6SEƶK |H^DbKCb<ϔ̇U)   PropResPI  }~=]@d4 bYouYD~S6PZؾ`6>PJ6O` L?}`Sw\bɭk- #_;vz6#eb$bLEJgj8ى*&q؏d0Ã'.x;uĸ16xZ7xԸvo_KJͿޣQOeMotJ^060vfA|+^@O߼:T:ؒ#LE f4l0C-K45lkvV6y-'gPMשWhҬ4g~|l*EƾzgŭkG?rjwF&{1ج&3w|;٫>Q/iU=O<= _(6l&&ǘdZmny[,'I:`UcQX(6ělS_'DX8+^Nƕ^<=VUY%З)ܔywByגzǹx\]ZDZrQR{w'NdruLQ-p9?pw%|g#6#+sgxoRnƊTou 7h#r@ >+.YQ"h|(X"qyt/{M<%MwSTXCA6k`v$w "a9h͍)XzZ)܀)A5T]Em$DoCh [9Y=}cv +S#/hrRVA+2!@G /,OsJNr{JYQZD5ND;6m0$5?d; a`t!o)9"%!ceo uVw.l=>Z]\h4m+u\VPb߃QǠL? ^k#n$0|:.)LO+UMYS㱫ELgմr%ٽ%.5wiɭbGo5CsXA1}gsT$4M=>\x~^k)p+ l]r$|lkH>usD>!캎=O֑(Ja`g܍4q[z_߶W TZ/| `TWBW Y(ںTc mݫMl" WPp sޡ҇H=L; [lKB8F&hs' Q#0aGR j\bX(s $SP-|kwʘ@e`ih]$5M.֥roI/D;qEl?G(nqWlơdp n+*F%s3P,F6{鴨%*r,4 =Mhcy.ODvh=_g=U_'Ucp`yeT ;G̀* FR7Qt|ۙ7.mne(l3460j]jLEmB3^hZdqOf+$gA8y@C=(?@B5m;UU rGkJBEa_Xc"S%qr׳]BÈ 3M'>u}@ĹuPн ziú); XT-I\$Wb']]^I*¢LH^tDM% '~&bd]a{$c%.82%H+fnR]F*S2?l;\YrLN('XGut2ZIWL t'k4*"/J3+ń?IOr.-ُj園"P.!;/mwRAY'0_v Ōρ JVWim0V8TiLr9 :\? ,BTɕ]_H~O%T, uWy((ٚj(:oC0T3鱹_"Dp\3#AKpX0r 4NLSEq&V_/l]K'N3?3beQǟ^)ߔh5Uđt5ޅf)_>ѫzN{=ͶdWn 38U[!WNծ%ʿ"9%ǧPܜT 8z`8Nbvk+5WolίSwh /0B=\x jkduY yKuW icKpk+9GDUUyFh>ՠY25͈[wch0Zo 18kY8 Z=-?=up]A.NX>,|{c._3,k06^s'{[ޫԴ]#h(!i"dL&s;*v-S?{0GH7HWAe^k!j[<u6-[M٫=&ݟ q\R>x$958Q?P[ nWG~'(4 ltFx6.,&KOwÑpu9)zSFֻuh;D> ZP"9Z훓G>Ë E-VnL,F#%({ٮTx>KvɸIyF|tto_Ԫ#6>Lb_D`^On|xbkjh^Tkάɋ"9ojBd$;VbW #" пC,t]]w:yKKh焗"7J|T|}mѬ#廣"(agM6h~Gh[(Jx8AI鉰z٘vХj4,QJ}_@a(.5(GU$tNj/LܹH Y sCS­z{0`B}*6uESvൈ9:&r.{u!ɍJ05ًꃋĔcs|*sIiq /#b%Hn/#tUQ̄M֑OSMtFHc鞮oƯ< r)*wz&B!ͬ(TtR˥g^ljgptZ@{mpFH*T{Pk< &O<. > aœ1ɛ@Ԏ'aڅڵbWQ5u']ޑmm ?Bq p@VNKzG1S0Tc텍 7HSXۭڽy@1V&  Q9HWQ4GK&J zvc 9diEŃ'WeLګ~{ wda,mWilCN>;S"tWD[ñG8m9z6mZ>w#+K1tPt#L?DLozۍS،XrN9f.Z~d̮U -|eհӖrlnS:SgemǪ$n{/2WJꕺ~y wkvEiK솳?(! gNO&4 [D-M> x䅙F!M=wLrR{Pd-36؏*ٹ /Ԍu[ {$#T塠lQfeI߅A/ .` 'i|`Fk?+ғD= KJMxK@aK+zSB̆z('v^KeyrLosoJP#RO0DJRw:k$J A a AK11uwW8j-]M:=@%>bv%ICB erxmi{[??ILbȯꧬ%*e< [H0#wI@c(= Uo{vSZUꃑ:_v lƊAnvրcg'!6Zi"H_?o0:'bh?1ب2UpIq w5l-뜂Bb"q۱YϒF2|l2}I~o.*^87e3%AU*٫8';'V]\ UŇ we-Hof&T#CIcF#+|'(#"~b]$*lRN5]v cuc`=IN2°Lep)!A 4U`(In.*?BJSؗs'X6O5o?6Df)HR|z-'MDo8ӹ[#s)U$ݞls+%[1->,>q!fpNdhFT.F{8& 2b2C<ɻ0N+QmCwt Zz2*š[wCwȏ>%"X y$b] {A ,Q%e. (HcKײn{cI!2Z0Cݑf ϥUHNL<{UT"zCEZm\.H"!/tK6'T0q@bnNR86RoM>,#/3VP_4PƒAF&F鄁%P- !~8AOthu 3ĥMȩoX],,/OӘ1B=&"M#AK)t)Bxd~^kxnWu X(̔Wn>:\LޮtTBͷ6$BL8(K$:v4( GWyevx4/"σf'U{'r|-}:ۦoH=l^xa]/E(ݧ.fu4L/6g1mj4c$mspZ@^iG҅ReU%orQdڐ˅e@\;:mE:8s֔YAD;[~(V!Wiy K۵kU¡ʻ.>cRGQ||j+uw2&G.`bO&Tv rsސ~/ _ rV2Yf.ƎAOR"FDl9EeIxWocˋߎ٨へ@B*QtZLj3…SػX6Z*kMɠõYUrY6CKz.g]]J\GSCrtCCŽ;Q8+D'2fa֑$ WJQo*ӷK^\Ԗk3Q2}bahWɘ?k`k^&iY&#wo!d}M\8XO4տ"'Ǎ!ٵV A飤p`g\'1jВ`4{fjo+ui/פ.yKvOJ2$ ۛJ%`y,#uH 袉^u\QzB~VZHJT$,H5?-On$Q -ҕQK$cE^uБ@=: (G maAR9$U0|*u뾭aopZ O HA'@`j[DAAdY]M(@bC>6=URHt V{Ʒ8JiI)s~L?±%W1l[Fb19J߱} ߏ#Ji9=)_+r,;,:[u^b$'`N0hr?SO{V-RP{BK͙dƧRRb_ی{viumF|&JrCf`&&)<[.޺0Mď3%?b-/OnDNMEN.J5WE>^4ӫ ?@zM VIvlqY_v4\<+EpnN`tFs(#/%;%xJ!]z%mm Z"ޙwVhc`{= Rp3׊_a;?%p ~ix 3K\܉;?oaġ,A%Q+`I <3vWU98]9A$6o?ӥ5mKF)ϴ{rt?81uy%?dΗc,@Hb`Dډ6c(%XwM6'`чs¬>l\sGs"w91vbdD8MX =CNwev|d~SEN כlz?MӋ6wf.M`^{ D%,3L%Bmm Kմb|̫Be}SNF{tRCoh ppyuwavrX~.¼_.k%N`Njd?qa@z#z(Nq5WI_'zU8"D80wӚ;s(R9^( qL\mP^lu.;fs"x2= ij%ib%V 4(?½m1͉5jk:0"ܾTu!Ϳ)ٲs\u dJ*FUBƐ҆3aUriƾsV]BRl+<aGY'}rzt<*Sj7]iZo uH(ωtVjk͔KS*- *rhMcl#ln0"Q6Es7qn\XbŬXnjQ\!F0FIژo6;P%Q8V!qW>Pa?zOFd1ɵ Aj~!t mx\,h">K%Gy]c%1mn1i%t_BVp|U]?roBpzT}F,qhxyQ7XF727Ѻ36 H !0R}Fc=MVQײ,xn%JY T!ҢUZY V ,ixdXT#h1&Q/C(> $fD `UKoz?=r(A bfwʸ^-qsHv5 ROnCZ(:MG#DݶF 8xzh["UKU"$0SeǕ :,7\o819lMWdf@p(#EvKPaD_s25(|"oZ$ּ`ڏC<1a$UXx˴M|P|f7^ca14b2n"*XYFX!~~%sDfjL-iK&s@Zٓ9R@LYk6]sE먠@'¿oo9tk(e b8m]8tPZN|F-P:JV$4}P9F[6d]Q5O3^˻J(Xg{$+ )ayg2~aWs:ּyhZC1 RCix fi H&ey-hhH(D5;ZlJ'e7ɡK ))= NdÒi.VL#vCo,~w]S [fma_LDQ*aDs! ε1HanpɳS}Xzh) }zV+ yHeGdiF/圧;kn,o }Q4IK7}>1(9ʸ ~Yʒԉq#WoY I9^|ǞIս7π *myg,K_Ts9 Rt"6QG7=Z#q=RU~  )Br} kgc u} yͼzl y%̼N]Ϩn}@ya!‹ fJԩ^K!q*yOBzj9/1ō87*nOcȭy=cN4 %A>\ѩL!r^I`ka#gr{N>y+Cƻ0v¹B7!3plƫ>IʄcK-{* $M<=yfFo:U%cQ?Q꒨tJȶ|-7E=@*me/I5B<7:cΫ$4"b%& 3&\PIs#@JvaT*3_$+M\UDà|v"3;8 "Xݖ8w *;e&eyӮC}-Ed!2*GRx]W4Dy Hl9n(#;MY/lցc$aD.i cM0'Yz=ryZxF- *9վd@O=ֵ>RH{y|eQX ҇s#Kejm/*ǪDB!FdqKF&S;"ehy!E?g閂e"@̴\% +"^JI5mv&98g^+`Y3;gc4yg޵#AA^~,NW l7)$~uKzuZ EYZ$ȿ^ͭ>߲VE"if(vvV @zvbxvD"Z*ffO(G˰E]Ca OS˝gG!z?5VkDkǻw/Up2&XqSh6L䘢H'e&&;3p,>aw8G; j+ \xnx+΅n;4-*oSly6LZ Sw-a˓*mgcD1~Hr @wq|cO>ԍ:.VUWDF`{)}Ok$|a@U Y?=z@FOwv6 M66#$ց4#4։/0f0PȍڱKnҪs̸G2ޟ ܪwyD:t3)zooڭs],Օ/Z700^٥)VWDVE0jJ{5.q7M@|hr-?=+n99Ds C6即! / &٣n-lS-\09PUQ],*Τ7x[%Pct`KcԘ&+|)OL$aG|Lc5|L 3@(a: TZb CuI[St}0{-}>v&RRD"( |{t܋)1j$\Y&?jv 쇔+Ol\ЮṯWiBI5Jͫ %n0-C1Yxkn6bpX9fNxܨhS[uCɏXBn7ؕSf/Lҍj{3ՑI^N!L{dsrB&=brKTwc'9!@ fVsdv43`sxE;nG7`+eo6Ĩ ilۑo̮5)j BT"Q+pl .T,a)6fٰwM?(#X갨Ԭk]CEX Nçerd3t)HƢ ^wt!6cYa1(n8OHg*l47G' Չ|R;ٔhOk %U-},XHC~ފzS_I$~ߐ\jɷyn2h ۾?B *uJUz]my?v}75>hiE5C@h_D*(MBb lvX?!P`A](a$i_ E8U̖*Gǫ 0Z"NTW*ح<s]]PI%z 4W -\ S#@3eaiA ;~&=ٟs@)-ʈ1n$(ͫ"`z7V A: H$D(N4։Ğ`QP~84spo),IwYI=x6|S3ITr);-+6lPhJZr!-#V95d 2vco;#+cs)""oԠzGhKuwijMѤDT2 ‚7e ʱT0.+i FH[wpиx#hhYb\a|DwqYZcm&t[.w=O „fbxΒ+= e /Fk! zW(%|[Jஎ&w@I|A,+X2*5*|z]Tʨ7b$e%(o럮|6$H=OW쎅#m4%@E-C'-Ha|fSixx5pFq6@2#^BOZ4r.$˼y-|H}X k?gaEц}"-7u6==3~Rj/llt8ڟX=dEoVT-(]ezSdF\#1-}NnVoȭV^>KnוU/uR\ UeX.7Vw5=űN@X)kNJ^Rߟl^早FyEEĩ~`0OcXG_)%Ms/M5l8r5$5kh-au*|y$snL_m T,&nl^|whzFv/(4UtlBkؒ"GEmY;sY4^FԢ;ckaVu ݧ=,;$Yjۭ^yq#ձi'=aW|O -agݏ Y5hwN y5}S1ҋvaKK(np L%"6QvVR"ΑOv:˕䢰)>/n[Ӄ; '|Us*Lmg;oIhSR5 Tɨ{DA,h]\ĵv iBqVUO ڙN3[Ky면3,ʲ&Rz"$6-M#D$fX?_+ Dd'\w<\B-w7G:yϢt#ˉ-D+!B4(5òԓwR qVӅ*RI8܌ eiSD)#r 1xz $+z ?mx)y.61N@oqOdKeVՂŷu&\B6Z;`Y9[ĕ|pAsu<31۵C;g U\Fg_  *3gO^b/& )ɽ x:-Ɔh Kw0G6!k<6:B_LK5x'q?̲>J1Ձf!0[ڎoe9n?;m)^֟o?|{nC`|R͑i8Qiƻ '3h]Ђdcr7oq'xpcw)SSSWBA5FҞ2**U)eVP~ejcMm%g;9ŶW8SW%Q;#X,MY &TC be 8IQ)xV71Wl.}a-hAQ:i+5f1 ]?w_UdmY;V8@CЭs,,#wmN^~[qM8'X 5_ WkU>94O=e! /e齪"ybpOh65 nUlUǝ,e*;sHݪ3!*N2{K|,{\ih;X=U=1R]6{epM%Λ D_@ע=wߴw c2r@ 5EWtFCJn=_zӼaHiy5r{7#Hiփ;Aɜx_+cH6(V?۷VQE-9J2-ߜ&gJºEn.9gp!uJUhqp^vh ;i);Zn9u88mPPPe;o_b JT oY8%W>W} >3.>犘/0"@r22 7zVV4^:8|}BC#G%2рPh˕J dEx"NQwxN~%h5WoDVLNy-5 3ՇR0mM LBf{N}%x"ݨwPu{SchQ}\(Rqڮdfg$ƆZ\lA^[mK|Y"+1Z09T~t3(?MdKM‡:f-yX?sXWmsx nrڅw3 V@g<2ulb h5YЎ|9[ ح",2oIMQ @V|;fk\F;f /{XL#c3go]gxln* ˒!G:3'dk s _7A7xŏa0|HV ()ߍxޡqk ~7K cZHAv˄iIFc΋}/@8X(Vn:Wp_yyhk\V@gvRBf;LQQvknVB Nc!QMY\pq:_{B+-R0pFH'#_tx!@dRQڑ )L/PhOgԎ/ðlhYFqݾxbt&KJ?\DnoݩAd{IK2Π}y7{9%Hag Z;L-ѽQ`C%-#6PlѸ`'7n7u$@,%@4r1:r[={ ;%¢}HՖag"5F#9(h\ Enʓ7ɿ|ʘ+On](ΆbsFOk-'q :hbNuY)cd*V0֋o6pbi}u79KB+qM|' $T-8S"k.Zw-7C՞ 3HYH}d9R79a )p# 6z.r~ӓEڣ$g),n |$3zF8y;A0݈. P-&hopU _ٓ5:RGf:UD~G3ȃss E-Q7'ԌͮgfᇪF-r"RR?Gt/s=qģvQ\yQb㯂} ;f{ise^ZMI=\g#w`GeΘg 1|mSm`l}[Yr[6F/SBlH໑3Prݘ;`d,1)gI\@+|{+N]yWOyA!UZ1u?] +*j_O]ty#BtaJ:^ Rm%'1mEb ~tsd ]VJ)NecI'Np;9  D_7=z\-y!CDIoer"4-Y/:haC3&L4 Ăbsթc.c8Y\ u}eLP}kG/h&(&nVx%@Br&kVP;ʞc~A7DΡCPҰbkϴ+")A8U?KL%)\ytŎV4(tQas1{@pn+1 ))-HyYI[ڎEr!৾ T])w9_a)Dh_!pKVWuE̞5QjH%_Ljv) \?InLE< ~Mn떐pE\CG6$BR -j-Or@Yb|Fpۍ8O}񺢾RcfH9zz΃mf-荵M51"O@6קʋ.-7i)|&WT9S-|"b>f7_ 2Xfgh'"{tԒȥ&m724;?\p(eCE#֋vDۙr'p#5IɔN~ׄ(Ҍ].Y!I4_84nCn9=) S!DU_jVRiw%gY)7k@!8#וbTWn/ڈLPUH힆VN̋cG|HQ# 2^9;@ZӪf#;bT /:-DV\2dC˸sjͧH) H,gQ5/ ֕B"Z/f;l(^]Ư祳y~=w`6 A80yzݾ+,/5[Dc,vx1!E+n96:K{O0p°_ v6[Q;.\gԤCY Lu@|փm[nmTz m7xY"ꃋPm ͜HW d2^G3t;<#ڦNQI*]_ a;֐֟spKjG3lObE 3wl:1NkG(w:+#0uL|t6^ns]q#b'tM+o$bj[v"yuxWesixĺgv Q0O=B_rЌ5ksZ@0%#8K:F+(kYJ"HJbn׫vxK<%IRH;>B c@ ` IV8òtiC#n1 QTmWӉ[GpWYbR5~J >Ȋu\ؚߜBl{RL((`(B0J cx0c0^ʟnCt*0s%i BC,X;ikmMi &0˺wq2!EJg cnf& /Hz^b0\B!|D}VqԀQBJ$ S &j!|zy[zk^_4"Jyua &l[V? )@4Epr'X,:?0/.ID` xї`'v++8o8X LvL;fj* Csd<̯u>DBݦiG[$Y%^5Z*o#@ 9"<z.kNLLs #4ʚ~up x1%Ɍ"4gQ 0i5?}p'2Pj$N]űWp (p|up}oY^9oqr&O ;W s Wao/Cp`?#%uid(0(ѴD@!^">$;pN Ptk,ɪ'80y/Dؘ(פ+n0C>)Or6yyU5B5|FeH_Wwt[)n/o*6ZHb۵S{]% 4kt$͗ }+Mm'Nd(1(UQ^ Qoyuk\}n 857[%Pa4 x\f"u˲(d+MGBUY@Т- 6%"Ʋ؜NjaswY+sOZZUb#ډƴbH!,؜s-LI)}( [H`(Ժw%]}LVZ njh]lJܠb~I |#1C:wB;7.ίafImF@ai̘YJ&B9곽Ғ1ّۗxW6{NkHA;;}. P`6r)8"x<0krFԌZ氷V)ӐR ჸ? GLs 6*(Mi.)k >O5Gbt$=|%qVW2_bA1-Rvӵ HG/Z>?{1E 5m(hlD}U(BSU8? fB 1E XɐFmȭ/Џ7q T@~`r UD4qw h#k!ņGun ׀Ym4UC8qF1TlXqG˺ Hz=&le.޺{7 D &榟tXaM}/1# fP`Z{` SC)I{VZ|TJQ  jqU]JP [\A82}iM9!rEN h4ep,h$H›%1C({5 0>gPi5dѣ̵t XpFh3+]OQ&|j8fNѝXq "WgTFry$`IGliJ}Ժ:]>s|P֔)&\%(_, |պ#] LZTߏvb:iUQCwP^~cӳc' Cx)B R۵;@ե]JGz' ̓Ş B8i p;/q`% KNO۶D-h,?q0\Qv> 2WM 6 uvʳW{l!;*vF˛ 'qCLΔWӪ+ @ p TnS7KX\Fg~<}jir`hz`zf!WIT 2da]_vJ7bQ&|ˬPbwz 4;hT!J@JQk莹FРۮ؅l?ӏcFYH1,G*- YeP'2:<;K>??ݠB" 5]XR#.sY`2P dWӝi ,5BZ3bp)l~Ms5HTT~ bd7&Wu*xCp{/l6`7!(QMI=ƪ6Su}ǿ-:b70o)ڤ?[|Hƴ:V_2ו-=(w/by#~a*j/ɬ5d:4aV6*cXbE7W&Npl&S*gj' X<׋ۗ[IlyTGN@3dxre")ܡuH֙sh=tQVz-'lgOT+\Ea -QB)[q r&0_s$$f]8ԳOmMԉ2D?Ot%H/TnW)na[ӄ$Ė օ7xD"-4WqtQm-- µ^Eo3ӆ7eR u e;rD$J-}0=\S$oFlֈ:2apP%R6[5'k|E]YuP@t|8B|~:cW5zVc1M YԏI`$%f|+1]H`uqHqYXsXjnt[8q:AY(C"L4:0*ؚ$#[v74fGD'j+ '$o1)E/MU9̽ot{G-y7-b6>PNfkТ 6L#Xbp,:ضJK~E}f5ϴ3/A[0;WTɶ -mU}Dwp[ G5puFOeUtx0=; ٿ \?Ƒ{иk*yÑPkEspYU"4)*U@$@k%k\RwR켧}hZ<2@,cabYVV1M𶣈-_:/4cRxVJ Χ4،>M K"ӥȕ:ӌi2NuΖwR/je|ԞJ Pe3;_%qCԙ(4H5>a;J{\XMb`B@._1NRy16Qtа/sTs!Nuc@pA7$i~}9JP̅65!kgP~U,KMVBx7 Ŝ΄g*X8\9yQIbݛ'/<D 9}Z2q'(R_ZĚؕ*#5!g]U|;d~g9pa9*g{ϟ< ha8W%hC`8R8,Sw)œT09O=V8eȶ~cJ\tsdXyK()˶͐^$YvYi5=tǠ1P,k)x~`Oԟk ',(ۙoe6a 3 nX (uByՅf4HP^t7XtA4Ӂ~mÔ826M)-(Ă%I"4J>[L* ?LcP)L`KY*dM?[ŌZ@`'PbkrGIh/e2ox7p P*=:)=NY,\#V C՟a5L>c>P{+(95Rqyv/tO'1*')"|nŴi^zX Ǧ3$H)N6 Cud̆_Sk 8U1EH ! ŸfRΞ17=fw7Cx2zIZ`ovrc;/Ǟ3R Lz`Haܗ7'%-zèfʽؿY2܉ɞLMPF旌}oi l\X3?$*cTg( u avdFL(T5+.edB o|Hp], D Eל7!>^링pm#2g$H.K&?l'N@Y2%1[9H^g}M0ef|ly7T<̼;F2UDwo+w` 3G׾]s`Md2)1%4l 5\|԰Fxh=VL--`]@O_!p  |A䑿ppeYL$kB V02/S>,Z C"lnts#Ȝp6[C ڥ,=wurzaes`l+Cašā^)/%0ߢ#̦KwƸ=|zhRxY- G]WBs7y}m\[jðg6Q d TWڏ%zNZ[Nfg@DU4"c4Ʒ*?*'G/̳[{:JCϓ3b 2/NXpҽIoq1_P5fjN#A|aoc +vB6G~l8B8`iޢ,x77hn "M>S'}:$\ tnQ 4Zo)/1)6[K(גIo#s6Z_k/w⭔GykDS%֗x{TQ K~? e HI:&^?]l?N`nP.GL$n@7;jB3w7`pm1].^ ZO˦O;ܡ ͫ/N). Cޘ&>:ixAP.zđ$zu8X@ʶs]l2_KrN>6Ui.m^sVi`w0IBFХxQĉ֐O'A >ymӨ-R%t+vsm/g5lKii>jSh`]d1aǹfˤ,͈K/*/pxØYHbE?/1wo wĬ ̪7S=p q:fvzs^g MmNEr8]O]x;OW0óiuEs$'FӀ9H%rݑnؤ ~[/ &x?Չ%cԍ_I/mL7ڙwJ?;_n22P^=9? Ζc47eNs9U*? +P3?>>w)Fesqmm@sEM)@a Ąswc;{U#˺F7|IIbW>T@ҏmOf4'2~(R@൨'_4چxi9#)ܕɋ6]ˤ)ʲlaM\st%~y)G7?m;1z@4^#(;X#R|*O\4ԤCzjQ~ꫳKEѺa6N+R;c+ v |΋ *RdNWq梌(RWo p> 4^oW~ŵ6?N-CɗdлyE:]'_LXrjx*$N$˯c`q;rm\:}]+G ]3.? b-*͛vV7ΘϏCk9Cst̙2KHri e.}a1je=M]Y$M{2uM \;!=Dn CސbxaQ3 k">tq; ZGA^)S~[Jvmy ud}n:5]/bE.OX&Zɤhbea 7OrJtvjicL7RXtvs|&C,3ߓѱҼ)@+}tG50vg26; ܱ;heDGmU7#~+fKs)[_{ɽ>@YHgMvk}0ŨN/E aJrOpM`CT7JҌ ;Ji;)}P^k̥3-CςW_ Dg26*x ^5"߱gYZ3444cd451427f68fb5642c6d843aed855a134e448215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61