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 )=, ] Incredible_Proof_Machine:threads=4elapsed=29.744cpu=107.172gc=9.972factor=3.607zXZִF! -H]ŗXiɟH)0%o躝(1ӫǃW%*X~d z(\)`>ߐbzQ;)r*2KCOltl(-D,'&hAy"𘡪%k/{"1:{6/L|GB<O7u?>5*nWMa*8y(KK 9%XuK`O:mBhoeT]b-Yy.e9-Ny<ܗBV;F^s.zM S%hS\'?{Omj &e{闩=:Zws\o[~kk0mjT$R?:)5bE Irqp?oI8ӝWx,=stm+aAdLǹRbyX*] #AURPsg}_ǐD.Ф_Ӡhjnw/mbrU 7EC9~R'h2R5и@ *ȹ[:75w–^#U&*g T[٣#y5:{;B_nq2bMI_8Ԝ#v4N#RA]RP R`o%zpCKugMHz]ƍI &{xc*Uq梴3:3S@Hwɮ7ʓ,0"rƆR|n>\E~yS=U%}S;C}y䠈ܓ^^o r6q7$QVɥRoYۘ, 3 Rm.d]_@&7B?ϱ_dt۝?T@%,B87t8>YH[ DϜe ^/N#-gRAaKjٔ@ܥ=Q=@M6hD5&/ICvRmj8ZC?؏X^ѯ=(-^+?r(MgXw;q +xjSC)B Zhmo]]XkZy|D3*_BjjlTs4(Pg< zpr`nP%1Њat<^͉Sz[\㞊NLʥg[ٍ]@C8A9ơ$V*[#;"AEU~#wqY$iۣ5g0E5…%RM|.ze^HnR#L@o]U;' *2pjǺMT*"LHV; fyifPRljNp756{*r_x-ee'QKפߦ tr@ݲhxJlȌd F(;jʗ~Wi'Z[ٿB}(nsAdgF`'79``mɷfND = Incredible_Proof_Machine  S=c5 tIncredible_Proof_MachineAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs7zXZִF! (]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmݑ 6ɬ ءc~S<| po|^ uݹ].U}[!X8Qδzc6Z#/zÑ߲M%5(,ɟpq gp:U7i/TW԰J Pt\b XN!Vn)SjOvqPoAÿ; tuH{9̽& =IqSҐWp /RH$n@`9Uf#' FߞǮ4mZ?sy 9yF4AODWL\ ѰQ[/0t ;&Yӱ+NkNYt :[nB? F\ΌFKW KAáH2sϐah\ꎐ(/u/%gFd3484:;hkqg&S?6T*LP9,VCbDf)dcbkt{ju N[aA]3+b`Տ4441xԌusS3JE{ʄ@ ۔$gYZ \=c5 Incredible_Proof_MachineAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hsy{WΞ51Wd5{zm~g#djiX6,sˡIB9͠0\0#$;p5[ \lmS͸,Sfّ4ī!wosN WFeƚ=h; AW[*Vq_clXٌH# 42wawg+H\t2$Fy!#gjSt=f(K(ܸ&^z h#H ήJotR#W3o@ၹ=%JwBS$V|.7<^n 𳦓Ǥ0rV ^u 2['jXqqtLXҌURBfՠKNP=Qy1i6/ LT*,Ѝ?|6XI~KUϿwiaʪͣ G˥8:ST/tp}^'p(>^WFGL.2T1TVk+[׿J\O}s @vu`EkXj@v0Xq:W;lSlht .&e)Ӧr6G0˭OWz);V6MFdǟgO xPD| sy 0y"-])3irT aO_H/KM_~#Y4yIIr*SAVѱ#lfqXjF#ӠLMGQzdW4@o܅:vוl0i&\s_Fwn{+ìW\S~FG5_ ݁\yAqu au똱_xYAi;ۃ|Ѕx) vg67gs&Q^xoX|I Pf#4=Є 2 1oڽ 'e̛=!dmb 0eFDK\֡+MvZGo6uK-NEI|McU=]J )lB (DRב1A¬˅68pZ G"'Gg'gighI.[ӹ-čYU|1"!z}W.}- }F9Zwc,ayx-+f>)c_6L٥Ov[CV]Bnf,a/ymX?.֘=-~[$zTƁ#R.9\kM?N17muaeO?=hv[jx4ѯ FU?0}r;@nw%aj[)"`:&jX(eG6gpWjI=n'ֱ뻞,|r k}%3p=3~tXC*|ba9d:$`{TFv%cb{ھ&:s> AG0C&J/`AYFX ,v k)rEW'N~@TVijp@U}K(B%} %g?輲-_40iq#\>rVXuh3NU)[q5-ve %7f CRMv K0Zt%>zQ>"7g K?vJTֳСS +R=i0W@PX mX i#N{ٱV0N3~WpC]Yud3ʑA8;&(eך\޾-V:w%>N'm&?`]@_}OWN*CG?o/F@0s|Z8uȓrUyO\*ek-L.lQ 4E@ 3\? |rE lL`,"r,DE^>TzB{XkSqh߲mۗMdw+B.X]!ǓWLĝK$js7u0{d'!D!bL(.1T)JQ M:!d(!|EbPgp{DJU"# $A.%ξ3m+e e\k"0ZF@pɔSdZ:ڎE-~ry`~~wv7nS>~ \admUs:O72[:krjƀ"o9~Pa.iy7V xY%6|aZD:,'ʶD e%~m6${4&`@sut/wʰ@}\ {2$&$[1Nn_8|j#];p'.gq`l%(dsS;)c#/Ҡ4pw#DJ?;3XybXzIEɊ9E"T*z+j LI/d1T󱢟9/oĖYm9;.{-S,qPF*ίr& ' &υܙRz 0̽ yrή!&4o-R(ȓl}?z\JXyrWbL23Ia4{C/~avcұ x)C#lZ+bC> _ [7`#;$u%OpVδ̭IaK̐ C[" ӿh|J&{I)4?l!M rm+YPYKM|"3|kD<-h6|[ͅdzT;]Q;)? '!9F $GCid%!kPRCId+oTh_rNgЇ.*k5`ްpӽ$| ~<̓8 rX} :}t̹YLD /I?MĚ)߹*9f-#Bߊ@^5ҮVh4h: dVK5B6P]#M} h' 0a0a܌0Os1{ >\zi4=Dca6d@\ x !C`>#@x+V0NMo8GSHhѨQ&fFv82@Mme!$͝iΘ4]p"'JAک o5p|;xu͜İDLO69e,QTPc6ۂ٤Wn2"d~.xUaТ $:;:N@br.*Ǚї/RAVˉA!ܜ`0U3g'5_Ѝ R0ME"pC>SߎK#QN!2мl  W/mAk"GYt+s;V22WpYJ0J@vaqD:rA*PW B9FPƃ¸΢A'5Ű/e^"bHhO//7* 5,Ulez']xxI?mba8ocmM7orRKQQCijX*A}Ru'.d$*cLmj*0?nhISSAKҋTO,Sq  4g.S 薼Uӈv \i$hR(oْ0G=s:ug[W<Ѩf~Czl}-V­6(9b9\ zʬHY{>U%R3Ÿgeq_6RkI\% 4e-@:MhR )7;d"8\w}sXj'n\KlX3.-F5׍Hl ݨBrF&TgplbW9?4:D tK,f|zp n̴~Fw(V& Q!5|QnR2sWNt;GftL?x8lWsb>h`Hd*gG"B$yćQ?\EJxϣPJ*NS8{?{p|Bww Acfp{N~D`zf)Th=Ks1"oqT*e{Xq`~5z{#X.aT!9bQTCA<4DK3am9K©8'iL{_ 1tJ;Wp}h9ٲbS&)gbMEㄣJZn*teq`q!} ;׈pm};]u7-[Xh:ňs>/f4J+$ZL\bҜѲ9L,F48flC1jcO+b2yk7vQq1޿I禦 > !m=& (*&^!-0ea} wƹ:iբ3!6!=5UCɽ=:%aBa5#IU1(=(*t'|)a8n! D6c<ӊ^ՖX 0a& UW [1^&MLte>7U^@%IH>({!J^):Ӷ)q5WdF-O߹Y| )Kx r`d oM8̢|ȅZT)Nh\7ͬGq;ICL~] ˶&,G⾟.LvŮ&AI}*h2ǒQ?L5wX#xspmz:Ol7,fѾy#H=|R(oHy'Xc ybtS:TOs8 1T_EMfoc(W(Cy+6w|S5E{PH5<4WGsV[Σ >)Zar.yMg⫠%#tgyHҗW:H ˻C,zXвOJRm쁕^q-҅kĊ7i5h1`[Uz7\ 9ܓ9-~ ҕY9.0PǓ!V 1X,ξomFFTtR!ZIƔ/Xe{f"7@ڞ D @ϩn)XxcDZ YCGvU2Z ;G9"t ЯAmF{9QS(8ۭM ߛZҸǢ՝ b=ƫk?Q3is:m\宇+a;N_< (+"c||zYYyuC`]}JS80|3J 8{?EBaY&(/v;+v#S VkL njԆsHk£HgGחjlF4ĩ!F/T"-[x'Sn6DK5aAKgAN_[%CQ=@\I'>Oł-QD%NKzlf,vyd2ϐu;*%(e`pFvFzt@kF/o,OG~U@5̞aZMeç8l2!Ɩ[9(F,ȊkV)4Ҫǣ'@6I"G7+b!`~jOy 0%/&_Fx˅gj wtq'Ms˓>y.7L59Gbj}眝of#e.M>~xo+7C 'L۾SArѺHcQp9"y*Z+п ͥ\ ƕ)(' 쫼M߫jpi0TPA(5]ΣQT:VWO[b?&UY"2km>HSJN~輰cLȵ2ЉS ynBuzSx1-~ ek+ M~(+:Hc`#Pd1RGu&մ0G5WJ600(3{; O'刢fʼn8#zJ\Ç`}d,g[*ޥIB8kLxMxNr#} #UVv@j_7Ss =0Gaz%+6"-f<^%c p{= B  y ˎ5]SnoZV֓C*ov;P OjT@ -}y _K,FzHr!HxX rĕVmk0d8ަP'<:&|6aKR Ow`SlJ'?kfX1 T3'jh{,}oGVnWQ6]X̮[xhWPq7CYh1P*bDWd~b~S.΄! !97&SmnU R&lEI9KRywj2k:H/@w #ڱ(i!3])q$ge)>,Њ}K1Yfߓ@m_KlG)lg dsoZBf:7uxC7Mr""3Sm^nȳA"{DH9R$) 4fu5%١y)(%c~?g^2e\ W|[wT:&k؆|Ir1Ix3lok\nr#IE5+JwXER\mW{!v%谋;_>K#f }=mJu-J))y|?5#:俏ɛBFUCQ<0S`g/|JDe9`_vi} &m"B)X?j+v[i6"\?\> BPQV x"f)bW4"qO|aIѱ[ *>r\\J7$Ζ_T5L>) HԔ5=_uj۽ObH8l 4*\1쮇uPL^W\qWH/eנ@=2Vݟ!_ՌP5BƯslNڋB_Pc:dU(}.G1ĉj>{ȸ| B醕=fl`Fd2ӄ<wiN2 +I4!>1J|c_ Q(i˴EUѤ56xi m¥b ,;SwM7~8/OGt_ٟ}-EXNQqRuIBR^DHVbN!'f՗SGSA^7ZȉAu{"ڢ}ZC9?iAlI펐r;UPC05ETxo|ޱW3D\Q`Wb+нw x2= <kWXtD1KXO )3tiZR<ء jI5҇pō}k={qW<@l(26B$Jo3V ](6B#eČ5=(GC+ @Z>w"qc| tepCfbj'`X'U=V ߵ-@;W^Xn=ZȾRJi;2+/zB?//XO5.%Ld|3EG uE (nB_)c^'hDP/:W ( M@R I4_6 r@I1$Ck)PHj{ņΓ9>zA/ح'(W1ʞi˱ HCع:|/e:!P9V"*AR{&nIkP g픃<vZ =t'(&m~p rsw&| P{˩y#j4vG)\T>"uuX  QcoȤ1hC^yʍ~RL){&SSA.O[v*8bQ_JL^[p&=}RszӴ;uzu}LT\XDdwD=G'Bm]>,ÜZ/Τ]dchu܆߶r6|M9}YwA2'c0os;o!lDCdӘ[ZсU&}xǻ-cF`YV%"ܩ l?rݏ2g JwJt,: @CAhkmVQXHz4ܱ7pPJRCWy$%7a&t[\P9V8%rLNz71|ѹOS!Ϣcj+vx#r?\hdC~[0Z #i H7#Jt7!֚* iL?'Ypr{7P%IhMS- 49Qj*5xLGSR|ϣ\.[+\s|V^2h=#1na>_GwdAWҩH 3:JZl{F¨}jQ)h;+^`SХbAѨQ vK-h:Z-5<]~Rc:9r\F׸ӗi")d foBB,RL@#`1|D\Ee- S!}@lgǥ6Nu1o3z2#?ϺX`x!~sR\9,LT]c Yaej_OvPbAWc:kru[ك;[N A B3jBy4B;%bSH_Du HxEN@KinN L7Įw^hYZDY;)WįɎRڎd {m[ 4Cr@0jY0HZ+CA hgiw4jCFk-A+՘蠟>Az"0 m\IGRlHfQ㻔&ns8bpͥ#6bՠ|,z{!f{jA^]UGnk_tG 6$;QA Z7r$^\4{_q L֮%H3jLQhPcd\,U vkIO(U4l /1JYz_mځDA2HY=$8nAEΈ Z%lMֳBQ0@ObK66auA؍*"&md_`f*3J[gح n8yk-۵~kebgϐΗ2"!;U J!∬T`P,>m!t (#3B^%9X sb:l*;)D@pZJs +fP4V}W[.( OTzg+}ܙw,Bsl!r~@B)r 0莊 6s}[Պ\B6>yj^ݑ5ej{-j`YߝP/ۨLJ7,2d:rݮiXRH&@S3EMtŏD#кC\ut䋊6NybڅЍ[x urۃg fkp tNպ?dv'Z7H&h4*n=;`}SVnp0vMyA!WLa3^!btƯ Ro1E90[&KQCݳ }B 뉅~Cx*1#!F4@>u^zڿ<.eW>{]~Iil BLQt 7-`<+iH|ql"{:@%DR3AEORJLד`˞SG$1nQȉޜo _VDEkr SHb ΁6ءaV=Q[X Iu=[sW9G/|5n[aL]]}`XyU*{zF9*ңѮr1&EAkro %<^P緷'IDjcu? IE#w60vTWy˭J!$-;6X[FʎsBz}lХّ!~"qȇX7L j5ﶂe<8vdfEYSA-򪣜~<3 ׯm!.w گ%}k{0k, ࿈֫qUYlF5?]|7xyaj5:Fc9dR|*XiK4gJ'V9TI:-NsO l]@2/!4Ӵ?N5L!K~n6?4T郹/қ#v O*5AݽiEh}~o]s" &^eGTfaf;&ΜhHea~|_( 3$\螕)I;L{#PEGD~x#pFz2%$+ !̝''..爘9xᮈ{=NKhs,\>&;\Sx]ۅ| ?s"ï^"4`/XX:(=Ew-{mAEc˖ W+=,\$O[Jct< ]4`Q~|Zf$׌Sm}O&EEUqŬ?+UWۤ|ye)I\%!Z3xb)T2B#[s+5Ebmtrʢ 1il;PrϠ0l>SI_f"6? 8Ik\5;>MWDdp.c1bx<%8R`_(:ƭGL\Joxǐ.KuNF }ǃH̩FTlcШ[S=:$SFYT+i7& ʰ³)`ż}sa%MʢRZ%®sw VsdVw@ -powO(*y4Vo@`8dT<9{z*),#PߗnT5⬢+:ʅB\ t dP j%PqafmmzDUHJu"qd,,wX7Q8ֺP-:9!gK]w"L8'f3oEG|'J.#AxWǷb m!⤾) #/\H+EGÌv1EPqI_@1`5 cjҲhFJ2&K7S6u$OˮNZ}a>QfJ~M]+% f"1>ǗkӜ*s5GMNTh;`E7$:%-5&{act^=߲p+ !CO p*]T=6C]hFɫQ0%˜5ǓxA;|wt>7$z*DLjQpdHlˍF Q؝H%=@*)-A.UٔgB㹒=;}LpQC2gz8Źf'AǞ\bU;دD1ƱO>&@詀E*V]`V)T}_ά&z. i<> DoӴmOr'?boeeb<C o/1ܧx>X[F9|>ӚDjC's/ltUƟW]U,6zXm̓Ύ%rťy` ՃwkP[H P~XY^%)l :!wĿb0z[gA#NϦv4Ck` @RO\vH_ИIN eHE*DÝZQ"y zbqꝒ(zVbGJl| ܎bv Z\gcynAYxz{GkcJ:N,[ITB9"$6X|<`7{Jr4ik0kQ1`je>-ѽZLVΟ;MM~q a7q>&]5k<'j[q84yHfg@# nz&³( |Xcq3=ϭE IRјC(#׳ |F s5As3(xC/".ǣeCJ=E` ȱ . 4ϧ: $1-LuD&R$( ~0ȏ*WՓ:|pW8nPZkHf_=q)4juj'@+&fΣk>~e6iA#=0#QRr.jzir#cVj;> 1^ahx%PV[1z慴#+rҨ!5ھLw;J^ ?y}C6܏~ Z(YcvTsfeRXeuH{F_TrϘBj]5ڿac'6>wi}E456͟YqSNv#Bj}8JWKυ23Y!BPA(+SK1D7-qL+7]MkX0Z/GEI) 7s)6mbD]}Rf)#dm^N [Vfn%Wًk Hnݠz73&"h|Pu 61NH(p!56JqoKK1wyaY8inE~'IzsRAZ7wPlDP毒3_ _jc#=AtFCK֑puεwʺR0U(irada|jlo:=ozS ocbf 1޵Apa8ܚWP3r~;HS!ﰐVBTp>2fp4m`%d 0s;uG[cLo5αEČŔ5}(c%([T`Ij[u 8]9\Ts݋tLAō+Dh)Ct"Ĺ"ɔvD-_oxa4͆EeAjCybJZ=`-LFz gYa ,b>}m"ҕ[ [ZidŒ0B_ͱX $o_B]C8cRDϊ&kc13&qq-Όg1O>qCuY0_Y^4m_Uf4|TPήa tM#cnU~xs) xsUp$ дk09{Ƽ)7ݨr>lJ5 ЖZj@wo%n^Vc̃6x=-ԩۦxedil٧~y2WP*bj"R%e>#LJJZfC{#HKbm+@"zKUip=na0k{M.UO=NXqĘ:~I[8U,@&9oUAIWqNbans꣄]ĕYܣ#BaAޱGnPAc75԰Re:'bI]mUIQ>ٝ) ˂}6 V$3icP/ykdP UrF),qmmKހl]=6|($:~wdBtZtd1cj ,`ͳOcΈS?fX'!-xt%9|#p'Չ-UmBɫz`6թg. {p eK5XD"))c@lZ$Ǟ j139?3Ƈ@yܪH;ҏD56 3@^ '@z8d@9=<,}{c4@BPJ] U\TumQwyB)He a>SyWf >@Ⱦh:I0VA7Rr&J7&..U&h_n䨇 `֖aӰsisဨow ۧxB1ۀ EH@˷O<48ENk 'l$:߂{c$n)<F =^hs@v##Pl|Q9xLz;gsf1T@i 3 r@??ZfeطrX1F虙wW 1qT2kpåjl%z-̍E0c^#m8&85ɧI6Bm1P]GIUS ^Y@E (X!_X|Cu(HVN(}GZNF4L=,QJruwsvTPB]0&]<R ґn.u^~ gLe.1۹I(|0>%cF/ bNDHyơ) '3v>}.pNH~ۢYMVyԳ!d=KH\hDJY9!{.*X2S4\&W>s_b:N.~gDV8,R[K?;*]$mnT]ʘgO'V<S֌]9^Y`<,+868ȶf~0'ښZuBsz뷐aLGe/erl#:)45R5\/N<', K,KWbbt"I14yI8 bV=\)f^u?s@f۞))"l?ZC?YaЧE`%j36R8zVXzn9f^TԦ YT )@d y>^qNI/3:k322xʯ'[gvS3jnI٨ی D_S4\G f`P0^5_$=lp>B e<$Eヌg^4L-]@_c[ay~q՜y$}} .Vu1V[d1qĈi(єbf4.T>A^\÷8Uhhw#yf4cjڻ=~K"~2s IV)(| ڪaFLN%9(^**NMqBK&j4Kj;$55b̨&16v2d[UxWmc6YuR Lq2WΫoCO\6j2ܘw4*w?黫1U5]?;>"3١s}V!il0~'GӋmM$yf>Y:\N%-Qn/>_ Q\/QHtiA5qElA_d?r_̮TLf5壠!=6ԔplJUXPe Q0*cIO޻[\p*'aANdnT)[b"G6+I59 Q*ޠ}TQOHK#Blt ݟ0-k/_v㱟YAѦ+8v.Pit8 # U" W%n%&X[Q/ƠKمXzf4Co&峢YʋK@;[XP'F #`w<|ِ>Ōz&-Nq {zt?. RQ0۳1eޕ, Ybʴ9o?E0h^fK{zdm@rs jomQ0*IR:a ]! J_HǙ5g\SSr}(AEtvC.>=IkmU2D~U1WʏK.J;u @E .sﶽU*} |mV$5J _6Pgj'[hwSS90Bݢ0c̷‚4'ۍi:scmV%ʽ$9Ȧ-fo9X-Ƒ0D9 ٟ eZms\}A v&tu0(cUI7z8cre="kfW}cpENwf1.݈ObHNFҍσN&=BAnĶę~o/59ZP Q'nt"RLƾt3lSBW-W>:]$n\?2g*uθ!cA^'OFmvU$Z%`7`Jrg>yXߚן5x|PPʀ;w 8yUcrF炫XwQTg^P8j376v>g'/'">x0f<¨Q٬eY,`?~5UO䃼h%ae?- 11܈`6VEY !\XZ( UOc%M F%]ҥ$,=VyɼYO]# p-'6)IzU>JyR݇jXPn_ z<-@w|l_=wJ~f'J_?0O< d&vYCqƢj0 o뱡\O&HX\DƇɆZ|]3HB6 >۬Uf>Wvw;sB2|B:ojsnD"I=v݄ 1 6g#z?%wgB.ߧ!HO<|e@7ۿt/pL:h`!m$Bm1R#,?T@C?QCV;ʟB]>ByWmdX,6S[a뇢1`MQ7XvxBe~# j>߷*m'ז.qsΟc͕ЩwE>g95VI=S퀑r$GAM\L^wI܆TqdA&Q yDޏxC'U zAs] -V=y쟹*E5ʉVqJYfʋLHvЧ y.LNh~BbU! 6D6XQ˰/(Ę[p=3ُ.yHD~"w 3#c|QU{HibKRfy-dT4#3%j'(0(190/"M䃇ىvݮRHZegxo>LYʜɍEkvB *%@%dwg{tCF^oqƼahPUG3KЬ g <,{T`JnM܆ ͺ,QĎhVHYxD8c?VodOS7LjIto,"zq8#lu&)h/dʶA}irŃt3Coӈi a6$=BgX*p7ָGa^KG1,Z Ӑo0~=x.oM΢ekQDܿ2ܰFWD,ܷL@x :1H֮OϡߧVespxU+RY29u73%`H_?2?y4A(LM7A*{oOq{NJu٭j|1xlaJCρ1 1V_| _dʿPV(1v-.Pp9K\M4Vx Gi:M(~.E?]51P-0l>oiǦX8E°sNYhCQ'rQRJ ];"l(Ӧu*OG4=_3i{9'PՓ?*(0Ž1+2%!|S [i4ʨ/y%Z*/^#)I?}6cfBk{}s4lNsyV#-Uo!po87{IOƏ܈M43ǭ_]4qr3o]:F+y8ݫL$vWiG IƐ5p&x[\<`M ;R7|H(`gw+$W@ZǠA⹁ӳ1vp zHfZ1c<'&LO? 38O!u!e ˱Jx`ؗevo"U{lT֓w]b}pY O)L'?1`,GL)NE8.cϲ!_vn\n9R/Rk *C.D۵dݻLlbP}M1X#9קGTn~[]L/ȪT ^q$p/%x! qFV.ΓenYbAsL( \wz04+LKfI Q2 0gveUWIbAs]}ݢOO&{WpJD=2NvzmxGʐ{SR4 ܯ{S y]g-;y̵QdLdu2 rƻLo@@]>%S H qJݜBI8qJY>{QbaR袝gL'`k7ibS3C+KCl"5iN?avх)naτXpƚ?b!C~/XoS*@H%,#m3]PKPY8Z=sIrͽw Y&K*qF46J$CpaÎlyl`ƫB,a~x1e ³oXeh9C bnvRyKJT) gk>~ZJN)LPao!>eeDլ*qb9?iV@IJ;$B|)#3U}ct?@pgNyMFfn5{hN%Y(i A*ޮ$b~m?R56K+ho彍Y%~j4RYd&YՄr6rAf/v;y-Xo4Cc(tZ[GPN!W&ԾI8qJm=r?odu-Oo.ԝ_2}nSP}$_;ƂAn|Wب1`6#I;ÖTxBy҄߾H_t_*a,p"/p!lŶO]ٚ^3"`4qfB N}?\k?hؤ% #iukwV=_EE6L P5u7;Q rֺe@M@4MCk6c ro>/Ԣ\\jiuL"{l:!޷y_|9 "MtP@+Z#!$1#[b2gk5PktͻM&f.Ķf@vH&K)e{`3݃imjd(y5ݮdu2kRY|K/bfHv[Ѵ%;BIxAISE AZlt]-Qw3[| ֌^YSRKDEQC~v=u4Wu$y1)fKˑ(fNᆳjS%L~/Rk=ȹ)jTGHnF3b']w{gIwP%4=p8h$.D$1pgeҞpDwB&zxNt4L XR Aw?$vf x9BFLhIOgcc-""Fbk?W)^@U (G;eG2J#dc{ ^\2+QFASp]Tqu.ħ[!)B,\;nÞyzϨ`C] i{]X< VCQ=y~)ƕbXpd>%g?Ec~Gt2wc"ڦ%~@Ra3, [6emc& r9-ohz %4`9#02⯀.rLyX)W /k޲0a~'-c/;A:>lZI`kf SIdμs-V P {gm~dߎEϧh|C2$JC*޳xa Cx/g&hhy玲?nxDeZ&GRub׷.fX n6xt9YQ4%9d̠J7`>#GV.:;u;/ Z*pʆ*DDsA ѥT7%;T_4q.smKN3\5D}R/-z.m-'V')z6,ƝjɛE Vuz=Ŭj+ qٙꙶ (AR0c{͇%f8 pv) [?y!'q}}MCxgRD3!Mp΍3u(UӎG7=VQY [Z3pxk,âzD@R̅F˛K뱠>S!uҚ9V.PO]jXczO2"̇i/ Ӣhte_F]1֬/r[h/"=iޭ_XӬ]Ԋ;1L5^ "`5AnG-絓}}wbL~s@s|d')D'TJC> ׻uěQFz[)ouJk@^|hG?~ BJVCބBސ[=$w)1Ęԓ+z J&;|YvE=Fp"$<=! 90<_^cD4]0l^s@`hcm]v;$XMGY/AP=W@<9Z?Nn U}1[g=)ST#65Ly{ZV臢ak4&tzpr3Y! SR53`PEOŝ0ւh ]y>ot)H@:~gͅ+pTMs;<`)/ۂ*u!9_#d^$C w4| Dά`0@]~iH(*msN7%;cΨ~N5=R>#h ;3%bY 7[Tz*OSyŚ_G/cZь >,g范71Mh ?L)oJr𩵞YIg@d֭HLpot[% 21) 13u1 u!qҦ6&# RyA !kn}1 hD)ԫR%fO, T)ŸEҒ[QǾ6$E6xJjz?9"vs5¼()_5Wב4"yxԃkw xZJqGQ)!0nC ~,Èzʎr,Pm cWiê:3k4H Cٺ1\\{Ve[R~wD@Z܋䠊"'r&|PPf١*+[>DXH!3Qzq;Uce^ ;RT=z8&Փ 71V>~Pdd`q{[ՑB)F O20LNwsV}sG\Rr^Pk7Ҿ*aТ`Θ=uC,7;˃fYaP֚7wafR JV%D kuS9S5R$+'}Y8\l .YyB}cҤ3DNц;uqn}E 7yPoX"3H-9e;Yd5D,8*/ݖRBSw @SR˸1 H`?t2]dLvew0ZڎL'h^᎗m * c ҷj"q1D,=H=L4F02㾟gp*-$*+gYUzd{ Oӳpi Fg-;SiQQPƿ Ȅ@I7&`mу~: :/HnoiNj,c 0Ke?bΚ'&䈾s;x[1{f,2K +1OΝO7]em`.,Km3+r/<'muՌƍ u'~ a L2syuQ1Hw3 `b;(|ʓ(>(%%TҺ4(;"+1,QTv輏ڤ>Yz4EPO1[p0G VKpfUǚ5/8g$'h=Ko. /.8]*n{fzv7km-x/*C!֋ᙑN8׬&N:Z oRwQ@!h }.e7"5cZ|2xQ*l>*aXM.S!(Y(2puMReQoJdtcsh6w8f,iXϙ~" Rw9oseM9rc"w4^If= D1K(#/(/ G ۡL3 CP3z2.EzAq2c?YKovw ii7-&g얖yh KF5RZFԿ,m 7m53ڦB>};~uI!ffNs`a ,hGUR6Z0ߞv5/$@*,U_(jwb=9M+ c@jX|ʠG9vw{X~8 ea)Aheu]dj0!io~ +4(jo钀NW-"='C%Z9b' wgq9<^РEQ(8![3}]>j3{}F0Q(Xx4PM|+( )ҏ֔e["hub+!byQYv.XxP9)PȒ3)/x{063lJ̽(`ѓяϢf8deY-=W<opw°}E-ة'?{,S: u_9H"g;7' 71)ʓzPe3v 7n*Cd邹2Rv bs2drh qR {1@OmBO9Pq1H0į2\krLRkN2ChgYZ7zXZִF! ෑ ]ŗXi%L!l.Ln5X{K`W8ţ̰Ůgu%<'wEcO̿x]{|4s}?Y ̕mD'?߂콠aHHd%"dD0mIl' niA6}ZխΝ&:@}~mק܏} 5!,6(/1zӠaX):a|6h~5 MWAr>O׆٩UDGH.Q9C SKT22r*^H,%Y+AHr:%` 4oKQI*dH)nnL!oc=<*zj h'tx&Rm mtmyd67;j)5ac+.SֽDϖlt^PHS}&Аis+f?Y`l??+n1wU`LMC:ΕR]{b'B Ihy7'\Bg@K(#Fx e-UM?'?Z"+)s-SJh17CySY N%$E2`6Ǹet?4 M бc)]oX͂pg6ઓ̝ b ѱmٟU@ִ ָBuϧ j̺@S;܌J_o, }8u,XDBA˄Nƿf< n*d|)qE5M>F<=k -:Dƣ g]TX)<" :?K.ŌKb%lz{JvdL" b߲ :U+,)L~d*(mϜd+>Vʗ\ptʍ9>|$[z S@xG̘5I2O%S$vOp~lwbc+9QMZ>kx';tщ="a-O{YƖCdǨZk_*tO`w/\$@a\J/uaxrEB!Q#P i34qQvQ/Y4t Yk0.*=(=G-b m?ۚf >r|x`RK6XOSbC}AJ:SPbS=*)]*%1SisP]ȵIɆ.ƙzFөDDH T&y7;-ϘGO|H e.C0?LC{az\P @‘(/l" ]J g>yh c󙊯csW:XSI^f,y\"A>UvH_9S\Zbe6Eul޺3N  aEѤS-pJɸIq2P& dLv:wK3B}׍p NB;OwDTA;^@y38w^k0aUt,(7;-jzF뵍0\4|{RM>8LPd@ֈ(UCr1jP5]xk1.XMۙJOw֍F &z=;& V7ob 8AʲdP\[6{ nIm3K=b#_`w,#su=E(klO "gW/0rlRtEf~_N=YcuKމڝ-qˣ7q=#:p;.DلSKP|@3 8l(O>6M9ZA}A 3TLmx({ (pC˓̋1ߌLӒ2.EFQC! PxQ躀0oK߫*=f4]'NHb9^B~HNQQүʾ Q)|1p<1Xr^Bzt0dcih>Y2A7ZcsK{;Y8#J5g-}Fv990MHczм$CeյZC>gYZbd7f71460bcfdae47a1f3bba079360a76686b5998215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d