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  %=xL$| ] Incredible_Proof_Machine:threads=4elapsed=35.515cpu=125.480gc=11.7407zXZִF! ߑ]]ŗXiɟH)0%oB&*S|}5Y!*jJMc +A$Z5;UR%N.68k}BeզSB{MO3ϙNyخ''L5(|"فs+|Lj~/^2rb">EfnO')U3 沒Dk[v) ;ª\ 184,bDdd7X;;-2qYYmM(ZPA.?tYU #ОZx2c"5~,M/IMD|s!]ޱ9s4} ~֬*o_5q&Ceγ W<k{+9޶4"wl*M[ rR/P%צ]u!6^BU zg-9pqV79بHPTd#7VP؜6R f%8޻~E!@WގwfRe d[iDL L ~c = 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.hsl!eHejB8R|caĴUᛶs;$]*' JR`n :)s!I5XS3jjgW W[H?a,sݙy2;d6J8I)X g e< RdӚ^YRmw Fx!VO*J(Rt:d.?Sw\xK%P|)X!N:~(u>t-{W  6auSaS8;dވs!w,w4-P82w?ô2lS"{ )EѰ%gpvZ g)o*N2׫V~t`5X=ij9/ka.*޵E͆x OՊ*8\O`CڛIS긗+tYt/mj6ۮ#߄Sږ WD6LO?>EM"}J퀥M:v Rِ8t l}sC=^4J{_Cp JHCݽӏH&T;|AN9mCЯ"B +qe{X50)=C$}m*)gi-}10}^@;~@4]$>_R*’Q;HwC=GN#a" 42D87䨒li3bb 8 3\OԚB[[']Q7T2X]MW[3׻\"l(ҩW͗ڬ2ƢS>O# +JE*+k7`_h.L/8h0Z?Gȓ>ƀjFc7u$6YL|(9$+gRo?ӌ\:j~bRW} Ϣ0hE|yǖ/RbF-d&W7a 'll@;"aׇmQ{P_.*VԎRb%~. MUb*2ĩZX\XޣL~gzh8!]ڃjZ>:`0$265޼;e y}Ur \#է\e-lm"%`b`UvΊN- ./6#)4Gnf> r }*laZ yp oAW?+k3$]Pfl B3C2( ln,5TU~y[8?U3;#y+t9.k&5BU6/=Gdā"f _ dfiuq:'Uzц!Ʒ̒H2uȞ!rK& SNI=U3 L@s1ℨh[B̥"oBD0'2`˨F5H4#K% }e 2l48M=!Y&_ý=[3n3D4{GPt!DDsljա;Ywqh y+`/" փl(9,kb1ւR@9[{r _/}RN@Z/yRJ'p}h1 }S/bmFoz6O1jЇWƥ0 =2>CI ae)O0Zz\[j*[tڬK@mޜ#Ώbh}4>ToEw܆IN*ɺ M3`;Cm9?I(4"s wt>%\V'po~I0Vt];Fp0S:0Ff7j#/2W|fX&HQ&csulL2t 4 7LHkpGq,,S; YB55@N ȴf̤FtRWR<ѲiY$FhzBe+W63uqo7LSeCYvt1Yg"hBA9cykNtb0^#34&Rj>pT|6UyJ6lj')a>r]ާc힐 ±%nUy1r>BsȖ<>6'u&6ihUScUs /+`tZz{yX9蜊n'6J+)ltpݼ>8+DF|p‚lOw9cc@Jp{/"6ñ[L٬zku?R;1CdaEO%umx8p_G1@FfX,YHmls@zhfe>w OҮ&:̾G?GE9%|::`' 8OŜe$*Â%yp2C(2N~)?ܜX=1fրH_,MJLNݧZ[R4/*\WL9 tD3TL!;‡vf˙R!4 K_:KPgM۰KE 9A"~v "U@}Rވ+lھUe ep62QNQʹȽq[ݷ3qt(] ] oZ XbH̓1(^(@./$qbL;ݬ:_lfX[myN$ KdQG[M ݼQ…)ÎxR^ ^XN!]Šg5.%٥}ã$a-$>¡!ԖL5;U*ZHq(kuy @YZRuc1*Zŕ0;QgL!кLvn}"J4 \C;b rmspH'Qmr^{ʳQbk( oXax^V[R!l\v!qO,dq((%ÿE^΅gѧby kpj?i*$,a4ٳPd+{c(3'Q=drO604L;eA8-Pr+jm_&SQ-&Nq ;fx`{? \X`t.GO`%6a4B{(Q@;IIee٩v IJP=HuhkK<_*xo$2F6'a %H>n-GpL H7Y\,e힧Ls(䅑e>#u掺b=~Qmxe,c^:N%&xRW&6I;,SR)4RϐX0Kgi"? Hq6?ih~"GFC< 禺!'W!l 5|ο3څ-sRIْm7iAkY^#vE# JֿD5۞5zA̵7D{6J15]w` Hs#5R';,T/!tu R SY9?-# QSpE])-{Ks0Q\vQo=d_ o\&i7eò:AF5\r'7eYhWZYF(`?yyKw y /+M?RLeKVjޣɔAb~k ɸ@1޾_|kH 0Os_z0m ) ^\zxpRcio++kwJѫY8l=75iǯS7Siy ǽ?YP d&MEg'O\ 徬Ca@70}*P"Lݎ (q:FP|IME{O{ԗIu%>VI9Ǧ)*O4ȠM֠k#&fH݀@g_ȳ@&OaϺ/(iM2 >̶̹'"Zq8,#~xE]? )~ḫ"i8_CyJ`ArrdMx%V}gMo)dv<*'AdC([|>\@v٢b-wώ;buuAk4s5"v /{a-E\` )Bq"T=[bVlp;p0LK@n{ruuѿ(hA-h:qnѭ92jV{qBP!^O.r5n+i%-ڞ]6_J."t|4+*UJ#DG|eДNVX"ePr?H '~Ń۪sK k?mb Le p \bc ZKS`1z +{˶JE^4KM)EJ|C%O&X<=,N[^rdw(R|d;aa Ŵ0+C8[)ryS3 !Œ^Bۼ23A(f0ԶeK?jg]D2%Ωp9hִWˮ8ٝ<_7M fjPrvyxYm 1xHH$ق3ZEUT8w,t4N&y&@%MXn,@31x͞wfRNZ&G$PX[S:J?s'<8 N5iTi/ o\&{0w}|*kCfq|NhuDI+2Vl-!?X!!{ &$ϋ|x;g=._E8*ǟ^&2s[l5?/4V2M;Y&eNk,_L#u(l y` oU(}Hj i+oGdZGf6 i!CKg0TF̥TjGn9 ~^apឈ\ljopv V^{ID(._2jr8$ۀX 2[m)kyb1?l;"L4twF s[yvnY+VZ\cU_ ;_}W!=)3@/P2kLx $"dP<Ȝ_%tYb-t @GA͈N\w0ssN0ƢcS$A5Cɮ9/Kj@_Qx&Y{DÐfjxpbX{փľײ`P'bS%6IahZnV Jhr[V*mRjPRלʒIpT5Tl_XE{%5`u+QRLHg(@l< ?a 6_RсTgOi)1Wpu' v7\ɩ di[  / j}<| ),m(rIk}*S}qH31"϶H2ڪU15qP~2Y )jSwUn ZC67 7mJp|L^@˒3 iȢT .C)-/ʼn,:rp w$;8l}'oG+#zbtѫl sB[S5ƗQA|!ns;2hԸtՁ d{ =D b!42nfG+@.9E&Pa+('6-k[WƢ.f7؆A ɴdM_x0ڏhG=S!ziIQG-3t|6BH$5:*ˮ|I*PzX.ᒦ KHt+kӘt1PSu }kyi >(cuq(5ʕr_]Y mHu-<$cA{qq<cBOhV |E>95Ռh+ QOk;׈JqR:tcXeۑԕVfyBY_e3Zϟf_KkP+FyApg5X"PZOa%-|ھ!@u$CnxwD#7E $hSPJW%t{jK2vvOh%94N 0g!(xv.m0o\<@%)_k]l磊I 4]? @?w:cz!e" A|ym EY"`9BU)њ<'(:T r[[j'5bD(Qb mS}?WWkzN yvo}LV2c@fybN PDoaU!*%6"'} "r62W]'&4&|qpގ~Ο6?c>r#.4Pn0zp x]]Gٿ`bJq1u3_pHzi+S9Jyͻ>+Q2\/ԕ4ؕ Ărlh YS0]:lՆtO[nfLiKt}{u)"# P5J6_鶔b q20/IvRVYaNf"9kHda" 暘q4\KTH )RybnYd昕B(R[%Tⵗ*?&W"p/%Dg ]6Ka*VV;gbXrERۣ&:S{Ă?S{CT F #g߲9 :ec/r?>tDepEiVGRnoj5D㛿jYowAg~avS$|8IAVG١p.u=8ww촏J s@4 zx`Z_כʼP0e@Y'Ol,{CjŚke ކ_EOp*IK77}[9#bxZ=:Dlhw5#$C@.23hy" Mn8a&\,D:^QbXt 3h2.x@[UQCjto>o efka^OxRه-V(< !m}ST%ë7yn%b\r^+4*T| V`#^i77Bڔ+^$Vh$^ M\ z&W{œ q fAuzPta/gs&"ZCQYVt.n ^ Mn=2MY1 GgH2?L.D$ kc-pS`[?4rhk ^Z8i&:KӺ/V:p*nf%߿hj%06 [ X PH1/ZI %YP]@N8H36f|!ϖ[y9f}j" -ﷺ?vUM`=)3rX`akwd%Tem6lߊtip\JhqY-կ]s 94 ~+wge6,lj4N'7PIW(~bjta=NM{jz:YR֢`zE7KU-}v^bT'y"Kvb) u-_2O"gAp殜DuFy? Zɸ[b p|m%hT5X稇gF/UoHd-?R"NٝP _߫PN7UUF.r')ks~+FGl@:dP5rm7#M@_.ѱL|VqYerJm猡 x3.Ѭ`}XWG vbB7_U _|} ab \P 2,]l W@?zK87[ KAIrLguovz TT%ĔWO4ϻ0nNĚ=;@"d*WNy_[v[Q|ޅV>n\SvDwޒc3t+zM/|u|u%}*~2)uꝣ_Itd:G1M }B A8UxVasoV4.E= d%x@վU}Yinn72* 1/N{='ŧZg,qjA"vz,fw\:x9vDsE&Zph`eљf,&7X6Iy~ QCMl PS޲ $S>dnD愑w+dpKlDFI}uZF~ 3uD-*n?|3r!*zXNmK4 +&44Ԡ͕eifsQ_llkX|)Q- BՎrvBJcTB"4iyYw(j8B^/n L3rz*Gk?8$a:(:9-j9bI9Y^Pɟ/}I}tL\̑ˢo)U߈_Y&Unz+ć,ʍXpgp̢P|*PT[jxy!]Wi&;Û]̟vvZ+B&MM63~c  Xsv9`?% fcGރjVʏ>9>GH\_x9]\c;1V ?|3V.gD">!Cެ240ꄳ4lK<ϠU f&G\p' y(;ٲb/oS?|buspम:F`OeJF bhWK|#;3E\ [F6T/lU1lV8`Q`4η~ |_m C0 WBvrț]Ʃ}&PAc o:|R{ih O5w2i]y2{@\;/Xl^>݇#(cLFX][]iҵJV*Ke hޏ*=Ek8Т"ƍj%𑫴uRt%!,:dґz,3I. q:5\mN9YѮ@KPpg73B8L4]$\n&K"1mQ~@Qn;l~(B |H\γFnj$oژ>rA)Jk' XDCuOg:mAg_@\=TS?6{YVnn-1ԙM} kޅ4A0l#lGjV;َ$'ۋv|_'x'GRN01!iv9EK?Cэ9 g%~S$~*0|u 6S ^pzr_k;R8/<8*K"*2e!:hP+XhP/LQh+9eX?g>+ab޲_PeM+›L{zyN+"M=5(;Th3@lAJ0{q3Y53_IY2T[_,,g=IWhR30t}qBE;[?.lܔ{'j\ xr4s#[<?g1?ΟZJԮQ?ne\ sx6s9jtgIJV !nM o<bsZ*NR3IꢉK'yG[D+ w^/s;kE%%%zIԣS#,DyKj9`c%rEfi/F=Z6љĮWI/h]fOSvsTߊ_+᥵*e scxUD7-.y*< mKԀ++b)d>w{hSB$#Y{ȧEY{m IS.vS& D72ܻh{cÿ=7f#G4۾V*3mY #ބhU<IX׾3RABmyT|HiŹ?}L1쿵~UIׅ^[~JRϤpa,| 41y~*pMvK]S[$ hMAmJMKXZ~:T &C=)lH;x 5W3 ;@+hyŀmɡG M1?iO:)?<^3Ib1kG5li.n+6/ 5ue+`%=7U3g`l?`!MnN* y}EA Mk}W.W#x>C8F{ (K? Lz"8:ȍw_PrHo꣱*H2"7u6ƾ b+l:"#֭Kr$B!WiIu|@y %8k)N1wkcuF"dI~YPekυP:U*C+2HAgGTΊrru SI\Uk}cksUr({*._nim)8Y" [_ ;: Evl70>6֍]X[9:^nDzĶBQ FK7OjS̸%ŝ0fhBd7L]bS ?OljB?7JD-W)b-Z qy4 ӾB_T@ l-bjDnОdX(ŇɭZ9 QucG}uuF%zRQQ峅2R-Ψ AאSfuU'HEF@95'ۍ['bWз8̝}97+ݷwih=aŲ:;㠞>h~(AF$htb^aQ#>|mD|65~lڵk{VuS`P/^5ҹWBډ[e?qh4{,8]ӏAo Rq <}[;J|$ zmvM'XuAFԇ,V2g9dHtZkҪX1_). Ss;8^B6ÆJR^tG0Gk'|3`=쒫/{Iֶ,}!?ڔQҡ$gBF;-)ϱG>zqHh!֥Kk(QhK= ^Ω#@>~6&&@K *ىMWlB 4Bm TK8 G;goTJd,䥀,)5&YF[dF uJZgCDфVŬ:>[~eل)@3V k&||CnOs*{3_x:MN noĩA#巌he${ xt t %Ous1%*c: ya^l[g/vcb3 Nv=r4=&b^RvZy'ÒGmNHDu p2N()t⪣_8O*ʃ-@_>,c79B>xI:9[d O֥ ZՌw>g~tA3),>Hc&$I2j1 P|`lsBN= RfO&ÊJh>މ1$`ȁW dr{J Sq\n?tDk4u\1,(nU:,iOqbM =?&V+Ql$$,`^zX9r׿ uTPiE΂z=#nƆz_wKs-dޟ[dTIQ6n_"gdLq\ lQfonDCEQA,WHf 3c,g(#@cs</lXGןzpʚx ̽ ڥV.XӤ&Nz}!a%9G֣gCa='+g=-*<^Dz w2h0ԦFP!wDur/7EaT_9u2;ơ" NNJ%wQfdcFfIЏxtz5;3/{H+UtهTg!R#%=$y>44F $^Tֿ6.Ӥ5{`z$۔rH'Iؼw|&}0 <rqs*5YƝ+eϲ XQݔp#׀M*޻螙f>{>,qȦNJ~Z1'ˍ[, h%Wp+RDҮ0@Zu2aFK~ׄY΄[AL -+7p[(r+32G= IDھ`C7޷w{q3ۢqh9#42}O*:_0>Jv!Bo8BS%O@C8!0r[4_>2|!M'xhKQ%WYd0o?oCc-"ak5c{Ef);LdD4O*{GpJt00Eܘm`թQ8?y<&iyT{%Dh΍%FQ|=ߡ3Jgv`DJ4gLS{ WY(7"N#N6 5s.UC̓T@a'8Sdb99NQd.o]D~\`mXQUU`uNN3c{U61dj!qb(u&-`"}0ЩK㽛{O ̒DApV:r"ٷ_hRw ?u'N\{Nb(M4!唞4߱ժ)bF)w%{s8 둒$ʋەg %Jz#< bJH .*ҳh[57,͒O(LH( ZhI21Qew~^Z) ܼpBpB!~qpBc3+͝)EĞIyƗk%܁U*{Pi2y r"&%7!D7$&V5:4 6Ht6=A/mʜ3cС r=RhctՍکAnpp0Wh6cUW5}4乚|ˡ/EL߰yUVN/K?Pzˇ&ğwdB4mb]nԏ8Ϛm&4\~GsR]S]:L'I!sR< BQU(t8Q/)$?3"".i: !>$˒,sZAx6:B?eU[Խ/ۋQCj,{̕FGȀm^sIY+/.4<ƣB,>m`#C3(F 's̴BB1Q] B/NF: pFknX˃}PK-`/iV 4Jci^\_O{z1߷u;ϴ= ɺC-Mk YNgG-a,hhK:i>˫<4qbڥNJhӦ+H%嗀^x '!Sv8'pwv'Uf6pKpϸ[reXDdEK= g-DRV/)Vƾ-.5ZBֶԻȶY&Ys6I-KV)(w׃!3 '7R@z!ibMqjJB9r=t EeU74F?W6g͞h(!C dryu<dpwEJx D(6 }5GN"Oh|֔[P4'< S9 u"Iaڞ^M[OXOy L]'cIP_aIY!xBp,U7ʡ Y/ϝ8W  %{q]BET2Bw$fL,*fxS%kr#872EqE.7qx(l_tZoOLzsv#:r֡a℘ 'G8KӋ -^r_f. :ӅQN3)>,v*-^)uP,n}b;*kF!NM},p)STS8c7ݭA/ckA,Q7HBW.ulT k ,f(]4@A+-9+>mnw~̵m gI]wZI1~N'l%iO'o`2J&n,mnuRtdE~Flf.#z"l,m|% B6aTHb9@]l$g]q#Üݿ&ci+Փ6]e>`e*f8m>FMKiK(f0`}eCQ7!lҞ*[(lG?%.ݻrTaelh0!>P(jm&z'|qqA;Ը Чtw\ذQMt FG-L;,ɂA ::7?BL&5_^ߏr0?5gbAZzl0 a2Dyדxež`;F1y6xkW_jFr芓#$>}kEŰ?л%]ϝNdV0#(*ΎxGP K)>[3*VC(DAðX0Ze{'0dqova#MpokHb<7{{x8&IR)"τREm~`e^jًJߎX0*p|hMx4S{׍'ɴ&ŽN}&"MݭѪ#l߫},÷ýI[ sN,Zlϙ\L?~Tfw,bjIJ0H=]'Ýw~~!nD@3D2zl P<#Jt2n7?w6[X䲹>[1R"~pLHG82ww `1jF\ ¸yK}Fm_c4Oܥlm] ? -ke@ƀ,2gi&ImD{dORݾGdV_k  S- >e>m5<)J1cٟMlZ9l,` Wkb\8Ao$m_:kWX"G 4MW)s(Q@+R`*)SK*wZ=ѹyvY&b|5dDi<zHAu {/?WyQ̎"TJ;e[S/1/rXrO$e9!&n;FAgiR(5btϡIϽXukd|#8gˡħT!?h*- .W=S.T).hŹ@ !{Jnj2[1 ># 4umai&r@Et*Oj`ט,< T!O]vQd ZqJ$ZE#ϲzLu[a*{CUjaK/JGZa&~dm4]仡0ڌwG.fؖ=p_q0^`-D}) zrIْXkn?g_Pbgro6\_pAa`hiiikCwSJdQYNaRj'?4{ZT6JtX{&[b$420Գ ~$7϶%`iBn&ҳƥ:ɎVBsC=9XЅ\8J|,T\lF$*R. .Q 0ߐU[/X7z$pV ~ ne,(gG_P<' W%{.b&qN,nd.-wd*`rUnk=Po,4lk==YKrpSnh]6$Ͱe _ƚ?)hǬ:3Ao}KF t6D&V٭Iw~y$paG+ՉQO9WR>  2~ N>Ii˭j]h8X q4IְOgXi#ÌSO~5#XF6^1gIĮ[ǚy\Oa9I6MՁ1cY{ۂ~˸+72\[q1'=%ͩ(k 96痴8mٚ`(YP d$"Ƿ%C!.Kz#jȟzD?7}><~ *~qI" dnR0TmM3h[J>ވ= >mMO@"!qTc' T%Y_ ɢȔզ#~Dʄ k 7r68bao!Dޘ@rf^wcИH*"Ѽ!9 IW޻@,,]mȋ S8 mй7_J)ß %C|@<}Uz#+pINi(P@45u;aJƴFZv gTހcsdiWjLl_D0^; 3^%TdH[t^^!~Z7g.[,!ƧZ6>.ë3EΝޱ#$Qi~/p#vx(~jGaߟPgۃOuqMVi$q+ti\׷R!S+ETBKgLq}ĕHDǃ/)uszel|^i?؀}@`~D8}Z6`=P\t2E^. ٚfD&-ߕƫ`*.}n%G2-Nw>QDohEH[ݫU}Nq07 H_Ȅ$xoҢjtٜP!DzfA^0vwuK1Ec=xm']Sy`ᔟp.߲, 1ѧo#Τ,0 {@~PD#$ At?V4g,&ygGjHT85/F2mpYT/_E6WTYɨoM4-.X~VNlќ>27G (xWYȸݳnmE\5j]aH/OAiw0=)U迗%ьjs٘cnPy̪ pi^٤JR⒖/3mV8\ f/qWScjKRvl#:D,YF\v?+IM+ĞPś`9Z(!mt F991 =ʍ(9c)F%FR6ӆ=>'75zkXtq92#{`>##}~VTŌHcܫ$K\#yMG|npCM? +ojd^ӃSI?dNC$`0s,.Zkw5PZ -̆3類nkWZɺ J(Ty{g` F'qد9)<ꧬ 1_6DmaiK!Ab/b%<ƥR^.1+Wot"@1@g,Wǻzc;SͿ9r!j| `H7bid4NщwquV,8ͩ_xooc~18Sif /nbj`7ŮT'~KVѳ8*Ì8T6elV؈^D 2L&'L75cGNgMp,y. G# X-d)'r=+ɯ$!Kݟ6W¯ų>T,~P|4a?V1&R}к0}BCl8z&+^V&]e,?bp4cfΆeԕ؈sףR+/j'at1rTIݵT?`Y6 ț ]o6 45_9jA^#&ĞtA(m 53(mjJӼؙxk?8OcC#NFL҈ҏ^"wM4{"95OpQ4^5tp*q`?gm?\TݰikkALUD؃mg3ц*Tk . hqC]E[ϐh,vFXKP7՜*ɘ[&cF  !nu!t J%} z0پ壪)B*w7/-G "qA>c™Q栳eLE(7\&.#Y4~81mF"]ڌ G»e&x(MYu>c¬$`wrNQ(J q^`ߨ:Ji5PqNE=Ƭ$_-F0cyc |/a0;ئ՘BGTK8k sxFT[+` *r  kxp^g`ڨx~]R8Zkӭ]ܬ2OkSuUg8nPfST"füоh]fT8duܳwح9S[f`tde8p}ǿ<eeB38'$!xޘܯY|jw'jl,|ӆ].\-aHh* 㪺lJĶAL/.Xt:e/p7> ch;LA'cByW<!fth<^:'HjteNqbb;jöhڬ/ׅ*K.Lw˰!gťXۂ#Zؽ\BCeߠyv'za1$רۻY'!ҁn61@kDoc 4HJ}܌<6T~&9mj rw+Ifkad@TJ  ?SOf %fց3:YC~#!>>}]B2l"Pމxs"l9WM9y dNW% bsu?nDxp ޳srhꏵLՉg\vWE Z KϕH@V -X+O~3 fgY8da̟%UPYE%f/DXe >)M%{#<"6hC "WTIo>eg<#XŤ.`g:tĦZL=LsR1B{$d,Z{ ᒑNYy%?JZAOpʥ`#&Ձxp7˸nCfk5TAhkx{JGO2m% lC ,ًGzN-~ /)yȁjxJeEo sw]XC0m'BlX 1>'sc~ֿQb:@;TJYo(sU%{XaCKI^JʠkyeZ#d#~!xͅO{[v\'uEmYP( YdtDCڰTdm#ARyY`& Δ9P3\.6rk`éX~A&3tg+cܴ:nUISy<瓬MƂ>L=jtқ Vfkl R>JS(4sFܝ\&#`^9Gs#m*6h@cõ{vbuc5sц4ȨYCcC8̨61 ?r0k W$o@ E-nVt*6bc9˩הtɑ:]rnq16s^-eoE5%ºt0zϷ3oxd}<%!B؍_ndxɱ% 1iz x c&Dhu4ק.A-dbcd c2u:ht‼#(D5.&.w\+:Sëv@aK oRlkN*{<{@"x֧Lx{mKN_ODW^(( y mJ u ~ߪVc̫\Djy{/ |0~oI1uTT5 h"tD5"!Hp۲QcLe2GgI,XCpIOPj:Q n̷BOr ~2O5x#puϠ ]YҞGO4UK/r%$?^4V`h(SuڞEJx¢{aUj4EQԌ%hw!Q>3],ɨ+mq^͛'R1gR0 x  tW)88wFVf.۩" u#VvyèT4Aǯ䎛Pʰn.b*32K3.J18m4Z 脃p+B# SkJg*_wfIf藄:4:i);\ V_t)"`SbՀ~׉cQÍ3⩤li|bWv \ȅN&g(# |WcBQd¢ zr|F6gm"IiFA5h'so@N 7W7E֡7?XE =79F$qL`T^wvavJ́ ,],_Qq_zHIuVi!EBb ]>Q ,^ #@p9g5Ur:|mᫀ2xwͪG=2/Ƕc԰I4֔؃t5$OTAca!w93p9`r}ϪMci#-?5:9f*lEEJ3HSc._h }!5䃆u* ם)GDwP@p,D:p܇.M2Ϳe8J ,1r-sخH"[%qjoPv$/ 튒#(#]ag/> N>Iey)],2,gIɹ΅2w1pP W4 35\mFp:W<נ,'e1m|RYU)]6R!SbL,xŠS\,!74sq+=ԂfRMJo^yo,Ι&ij!W.42,Բ9 Cꎪ(x^ E9(r џӦbը< 1wDx^J ebSRܝsJodk/;3h )^|뱰,u29S2\qip>hA+PKϒnʵ4yªEtӲ̐=Us ?5CQv:1ߒ 6F IXo1, ;i0vq ,jZseai9r![]T~`$ p4{rn3@͌6PY>cʗk%vQ^ɂfy܌X|E4 V7¤vw&@Rв<-׫,z罚Ѫ|W(Mڪl#$}ߢw{Z<4a:0o h*ԛшM4R A:]mQe9Zu\vz IEmCSՕwF鉯7.YLk1w2YI~/[j,F5Jc\|_m'PNMVrGKzXpN{#ʥʠ(f9$%q_O$6Z:^~BٳtC#+p1x勖?M@pmkgzD?c|*pUSqkL ;mZ5@#nE LJ :6b~Q @~JɜapIBLRpJbš)gneU_YV}C&MΡKGl LO2@(#b` 83X@m) q8pv<ٻ–qaТvlO $X>F`,- )Dt0qON< 9 s/jBdV`͟:$#ctV~` yeQ ^[sBcm5#^?AAGZV0ዯ'Wv`PIAO#0 YtMne$ ~[%__(DŢ3R^ UbcvV16S[PRpwR>=3i(4UDQ"y9d",=ׅp5t$$jLWY 51/~j,;HZb*]/{#w&q-Vw(Oze{#Xx^ `MTj`hFƺa]!k,LivBn&31X4# Sֲm;LUwNzbа݈#dZ8 -|FGq|Z 5z W:_rvҺJS$=tjTJ0> ,3cjƀ;So>ATD{Ҭ,SV/5/5c\-g|BEǺj +5N^ b5b~ָ:y^I'&ZQߖInn_qUuf/DbRuOkADl")&Xaj7޲&5*pTUyc8\W8`MtSna#h;D*&Oڣk*Y-S{uSfx&G+v4slrƊ))-O;9RߥXA{  $~lf\kx`lk N=tiİ^"GDҸ-BYtgo~#ll?Ev>B?U;\uQPrJZud2йVh:'8} ~-![a9)mn+?;vrP<Bݞïsmƒ EKh\3kdnb=`Ut8Ek&iۚR,y%G/+%rT+Dn7>UTlMmt ϵ~!ɋ7Drx5}&EBv"xG`bNmqu/7N._q]aDuD6+伸8(Flűd=HsH@e:RD9žDDZpLd%yhܞ! | CDĩB^0OՈIMqbp+ҋ $_/hq|{!KH[ȪuPOmYd<Ç +-bVDJ]᧻l8(Jc}\"φ$2w@o]0c&DϺɍ2FjKW}>*|"ֿdd Wx!jD(NnzOeisGu&՚h5A) ][͈s^;w{䎳F^ivu|opَ DOod""f :lgW! (Y}X %^{vR;夕?| n]gG'-*.$לZ*%B2}L<$5zQ?}GAhB¨.@Z%l ']w\ e&+B&ʑ^Ď$l.t}%8 @1+,{_#eYG-c^ڨy[ &A!?zg߁sa(k7FxOdJh2)))%k%k(g`/ ]Gu#IxnmpJPMMd~IЪr[aN S7[/S_ʯ+eA6mXK7q,-{*]͂co='wfeͦbR 0ELߦW-M/XZ6ʬ&L'F{S@hkW]|xr9Tlj^K 0Fzk@D\-Ww`j#EĦ:)~^D6| (K~TA@p!^aNo#& %|)@<ĵ`f9 NWٲr^_UT~8*3k Lnz5Rs/Tk5ON;iHʄ7cģ߯]BPwE_AVcR*,[RTDo2 +.DߢrnxXɳ n^QT1H;Z~ l".7<*G0GL6Y6Sh7GI$ y \㥱|[?$R%\I***:I@~DbŚE}D;bDC0*se#$dȦ1!yjH<:H.aAŝJK Ӗ{ӱybe7 rpk'[k1)}tdHkLFwrP1Y90+A+ gYZ7zXZִF! ]ŗXi%L&3jqTdԢO)kY,n`#;LX(;p4-+ͪ|4RT1SL+VWi|XW0 `BDDERPx.Y)KJ=s) ksTKܲ%cmeP XAU;ͳPzg:I)C*j\9.% L {dLP[Il.=ym1.DvkKjS$wQt9kp^̊!t774pКQF6繕XB77,ow5h~p[|)֝>Z-.@nRqO۫akl: +1W><)]IuÞ,1{ '7n h<=DL>dx0y #U㓳oLZk!P+',='.934Q% dΌTh5!> 3b]{zJ8tsIؾ*GԙF6 $5Y9L:7" 8|&2JVb6G sZā"ޠO  BEӪw(d 4kGOt]} tc{Έ9VmbɯLUW9!u(FX&b =rO -g1gžpQ‡kr̋;]Nc|kk$'goũ~Pi, @%nk>x `znIx&=D.x1ux2fJ>5Y&(@k)2{bu=aT|zV7IP)og,نghWeY47>qILЈ41L[bPvT#F"*u%xdMFF/JW8lMGuuDCॿ]suu(U aTȮI3H4aAa@1[珶xksCl s55Qŗ^,v08vͅ{B \n"1 PZ[bG` 7H0᰾{LU IILN/QoH1~]{aXFsb62k5@V8qHN>q}L ҡ͎f)|$QEj1CHJI-VR@qs( F\/#5԰ʟ{/LTCɜ:l={Հܰ>vj 3u}n6uFUWD'RpoH㔬NΌTxu~%SKF#70u!ݜ1^ioiWgC?VD8)4E0nx_|y"j8 e:,qB}kĉ4U$`YV(A8}}h:6oCF:48Ҳ|-#llsT@ēQUX"7BVw/@2eք:zx3|ڏJ+i"a(rpO+=elByTA2meBNH X 0 7B<R3:P!Wv@:`|rØ|sMN>@@2X&lX%$?Z*pە ޾9Nֿ/Ҿά>Ar4=w<'}h>U$|/n4_qyT2zw21$} сBWȳm'R gc'dOhDvF^=Z7gL;ضG3~@v+jc FcE*)^Yq/AWoԝ7>_͘Eg 0HӒ9Ŀ9";B1KBEH& QcOXc2iF;&VT>1 #ghPD4P]DdOڰƍk25@RbEcj+h˶h/~WxY4Yüf ސ&xn%r`U*;[4Stռ4L8צBOčҥR]g|P!f&pp?o`'N r8p /[U;X7}X$'ʿGd8~j;2vwsk:F  \ m|PΣh3 =b>nϢ>H UX-」nhZ@"-bqܝ{.wt- ~dֳЧU6+pU9yfy<@J:kM?*_Ox#z|7ߝƽK)ԻuAQ6#I˵"{S);2"w{7SZ "F,=l3:)EZlM 9|!VJ,&Kš?r7{# 7z/_mu*O+uZ@ݥ~:Za#_ٟlyf&Z?J63vjz]߉U4 Z##jf[svX0%fт0@ZdgYZ2fab02196908ae7f93e3140c4536745c63175e779aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b