SQLite format 3@ -.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ss7,\\ ]/ HOL-Proofs-Extraction:threads=6elapsed=101.502cpu=199.732gc=11.228factor=1.977zXZִF! (P]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm A6ânΖ (l`W9ݩ D/dߔ!jzKts>f3M&oL7l*Ļ9 YxdAЭN1 l P;Z/->qF{SF'@JYܓ*}'okV1{Kc%x<$HCk *Aa.dk9(G>ԇ]tM󋸿Ot84+Jӱ.~RUs$ (}d<|Q5z;3˨>8[ PuRgYZ7zXZִF! ]ŗXiɟ1˦r#l*1#>Q 4tT5dZKrwң'Gr5CG=OSgo8^kf =)WMj]q}W^`Z~\sHlLJw;~'=zB|W@^I[U ZF.)OwN&~ k'2F7ߓ >"gb ɏ[eN5yo4 /`Vk P(ο4D33; A$ C)ɤ0>bC>/s:ZU 'xlo;A>3umHW=w"sG М j'iA=4vx0#<e^p ,jgYZ7zXZִF! g]ŗXi%;i{RfUtRj^ 0 W~t4{_k >tc)tPx GWZ6>PA4XVԱqDUzGq(A`4ZoޒFX RYr5ZKn5Va2 ڠ"ދSȒ<ɋz='лAՐ9s/0KysI~*j rۋ(Ed_K"|QnzIX1X4Vvae MAQL헣Xgefsxj}#69kH(I+M8naI]6WXc$ťj8d:H;M`zCY驩{ji Ǟ_\7\.ӥ>dH:eVuA Ե!qmUqY<"0(v!2Ġ-97;/ͯѩNb*܁Ĝ߿㸥.ͿxSWYzU` TK[#eDeI| MrwŔy%M/]l]wNT [ ^`O 7oZ#w#FtܕK!Q}>O.0yQ[ɦ%O`{\6- ~dզ俺~7ׁ ڢ_(,AC@Y'U -2詇GALgl-%mVs92l(\AAMFQ7QoMkK+z[o74Bx;N@-2+k Ԏ=Z U7ռ+i?e~CL\H,is^^^eH❢iT]]!Ӽ!4mrlb\9*({<*RǷ̑wRՒᆶXeҒPo>ܱ!9tpmL .w S̈Opy^zmVsT>nO%L-&ǵ2CoJ\쵋aTF/#i9C=1Kz0Շə cGca>*Ax?iB6N' ye[f ;tFuY`oNTO-1@5;cB)dD&і{X9:uiV1S {{zAB8mI 26e@f]M- 7 HOL-Proofs-Extraction F7I% HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument.tex7zXZִF! =]A-MՋhvG"uIBm5Rg6%jA+۞:CK.AZ1/GEnmzG@at@pUAY"I,OJh/@}dG1J\VC:5 &dq"+kL.ݺǥ Z9*Եhۚi`QQztlg{tKkF4N5z{Iz!dgW,TeVLŎ0xd]f}OH3ѫl!d0.H7E% HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument.tex7zXZִF! -]A-MՋhvG"uIBm5F㝴uy|啡m!魑ז'T H ݘ{=.e-\BbkbG_;Z{%*ɿdj\1(8 %.Y%]+^{wS-bR ݨ>lpf 7(q;:2z9R2%a6מO2wvte}d#F@c_ l`l4}h ed;$]aбR,w$bv,?^=%ЁfG8#< YB!H)n1,O 8 *#A0ebکc1N% -xvQB ?ޢPv+L14:*=e7|J AB/F g tLrZS аR*1q"ȇF?I:cT9>#XK`enC4As_`9ʰh״aKxKv ]2VTP2 ;ճƗ! ʃFaQDs;6YI~>>͖ik7oѹue<SNO%roff~Dn.W $"Xz56(Zbu ]p8VӎN[K1ٖ'N*62)GpݳzÊ#MP0=HG{vY؋O1:B% ,ud[41,_3jt97}l?s}{7ǧG4Y y5PA_>.8zt¡R({]G |>a{qbY6|p`'a+#2FiӐ_ .qPP"?60CP}cR}3ZY;`'Y2h8[ ^r8@\a!0Qp7E% dHOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument.tex7zXZִF! ʾ]A-MՋhvG"uIBm5GqK_n({3} E#dMǩ%tK"kY`E6;akS dxߦq܆W-rO'Q vo^ysNGwMVP?3尩D*90F[,`2Dg z$nNUd"MHޝ"\P|3aaU"ӄ-PSۙ]2a{tQVLbH4m']8\+} ]czK~mi^-+uJX{ .)1K +\9M         <Q > r y   03;75%HOL-Proofs-ExtractionHOL-Library.Multisetdocument.texO7]%HOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument.texN7[%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higman_Extractiondocument.texT7g%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument.texA7A%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Utildocument.texF7K%HOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument.tex D7G%HOL-Proofs-ExtractionHOL-Proofs-Extraction.QuotRemdocument.tex ?7=%HOL-Proofs-ExtractionHOL-Library.Cancellationdocument.tex D7G%HOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument.tex B7C%HOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument.tex B7C%HOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument.texG7M%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument.texG7M%HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument.texD7G%HOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument.texT7g%HOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument.texE7I%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument.texC7E%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument.texB7E% HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument.tex7X7V;*D_6FĨCT! MZeaa BTԧdŘFh=)-Au%; Fel#Pk}dnğATlCǽQ׭Xۘ$AvopH.m%EiO <)x4/QզLM:_R y$Ja/s3lm"B}C%g)w+=+Cĉ^7,!~M4r!_T&Ah-tu>`7գ@?.둏;tP _cYI` (6 ]bp*m\xJci$LYKNrlQ -3N6)]KH,^@z@"1}V }sn)dmyְhW~ r~k3QuC(kQ z.4i#gIg(|")8?ZUB]GaK2w<@ ^G K| ŀrZ-p\6$TJ( zΘ:5ZZy`~1)Pl+W K*2^o S6aX6~iA-!\6?U TXW*tr Ô R\SO7 XP Na7c犺 +s57ԅ|KK$q4Zt&PPXVJoى]wTC^$WUcP%\MGHPl QTYisD,}h"˜hF&t&ZȣDN-*PN)+3 g/s7ӊ.@!@aLej(pH@f㺋]a  { ͓%Ib+ ?g澯f_"?y߇2!+([rɨTq'\s jFij`uR*tzF0ZSo_U]%hKE&h9N~?13gtXP&9Sn:)WB&`GOgmxȓJJs=bb=db\+\C +֧ʍm$kU395Mj qOи$GVĿ z ]#bŖqrqQ-ڝŒ\1}D] ) :Vm Q!c=KA|{ЊjO"~m"ٔTV,;0I&XxD<ҵ*\U鲓41Q?houJbA W(&A2&!ybRgo@l/HBakJP$ 9?oM? 2hH_Ckr~n5PȜᘵS.[jE0xĽyD뇖:0(-%)! OxosA/#\h4?^:H6_]1 7h\ffHF/U 7٥ DY*LwZK?#5lj:9 k*JkݟRt.HoAhv=Dw +#-tk@0Y6$Z\} ޲ŞQ޻=vj\zuktJKfN ;k/8*0<5n CLp\.iPP&=W ԋuJS XuC l{CG2%wQ#nCʆ{NHH9 ab M)b.Kjj3%o]jմff- CY8!i F7'Dhil.OSC:#1GqB9>E۬?e ZBuE-Q&M1PU]\y?+ d ys<|&y +)歷2k`I{,oq}xZ]> sG jꕼ'fōp 0G*-_{];p[fs@Va#vz`j3|MW) @ "{ z 1#Ҭ(r%SuC\ᨘE:aurk+uWurKAuVJj-*{^{Ʒ|d͝+G- UhC3QgV+'LE(n  mW(1l.zl0,&L=L9<"M\9&f"T{msLAг8JO{Nj.N)% 1}ţDY7&bW\,~ei3&*pPO7D$87K̝ pC )jX/({%q3h=@8~׎g1})S;ݙ)ZKsM~ͫFk_'cq 梌&{c4}̔:'/1a*%xD k_l)jfy!!,G/.e"S*=W˕D)ucLc(}XQi0#:߂lZL. T}U3ji>J& 1P"ElM%HOFṷ설tqEN{El&4mܓŚIC;;yH6J}6&Zٚʟ߇͍H1A ZTV-mZ?ƨj /aӼPlGpz(X3p/[\"U P?y?D *0|.)Y?_r>=.3Dʽr }vϵkxa2oJB[_j"aS+pZX[&dX#MAs0Nzq"t,jE \zRX `C)\;-W%G I_F &uV_/] -oOu9Nm̧xtë m0hk.,tڣSXdo <}e˜KT MGhOLhgLAcn.z_k9+%x(D5N břY7%o| 7 ϯFCFRQg鞞NLm?kQ³9 b5cbx}pr3>2F#2ڠc _ʦq7I=ݜːHT ^j][z.) ŔgYZiq&Eh9*U#2U G P)9G"f0%_ԿJgc_S HS Y7?֋O6.7ujZP+A~gS[BdhE@  `Ғlhcu|3C>_7凅 mr;F>Kwjol͗@x & qOO4+!-[ {Fq2w)@F:3?+]vćDst~1ZWҐ|LhtC#'6Ɠ+ƠD5n ݏmGb"lOJse^5"0|dS,K&Vu݅CmY1 $0tBїc1i*j刹o"$]}@.:Gc֩HM'",)N~t-*KUݥ$JTݰ>Y)Pz&o%xrKV2﵃{Yl레T V?Mѯ l-,SǑ)6kƥ?YI=sLV* (|1ewy$ՋJA9)\m#Wp'ӨZMԗIuPw{@so7yz]Cb )tp^:$ rG+'PO<:4bPqc OVEGrZU@ H(cPp*{#6)ݝ*.#eK4%Cx̱᫞I&t6xK1#Fؼ< ZV Xv->O]O_$::$؇U|rȑH+XuB|Nwj!F1HB 6)i5n Cp+7<7=]fZ+Q$)S+_woZ,EY3d,u|GѡîEDK՚dـeYajV9XGc 6?RhP:)kKR5K㴙/Xv> ,N-N? 9 UVK^Ya<*Uˡ!QeY jkNHHU1v53wb%uJrhG.,E2 We/ܯB7OVgb|u|>z^!y!!=v;S7a0FO jUmwb&7L͞'o;Fˆ\9g{sȒސNTK'ĭ"ҊK<ŻWϣ=+)D4Qs#^XwÜ/jv'Z+f;JdHMh  p9ú&M'jg < U:|FY\= 8޽(;I0r#lZty^˸zS΁2[1FrɝWcs0P :4ZG2_cQB?0ݘa#.N6%rjFhT=S+a~-.**v85^ )EˤSWmkDW.3eSs[}2} @,m>b9% e #)N6Rldq\=\?AD3hHG#*N9$'8媊-S7琙kگаcet 1C s|~Mn7Ru<1!%Z4As-< ]~se!,x>ѯ#v:C]eM&U H}7-}<q uܑ0 &wDʙ/%$47ŰTĻ!*eʥѽ`=/h]`oQH+-%Z0Q{leƺIVR(FenM+?o'#8Tcz$5l_2ݏo0pN{3+6:p]oibpsULjAV^BPXS~V?0Qek{aRb6JTr 1D]F }nPCb;;͵p?ͶG`E1vT3|Ac3Z劒B YR~14ȱ^uUXٖH_y`˚>xC颥?,\Ys^!7acUYHW[J~g`h tl[ cifA1&%E&jb+!/ Hl$!!'!o-\~Z9璘5J.'qLg(`a>(/h!kDIȪVDi?j{!4:S& 58>ZUٸʞ(Mw7b b6ԑӜ__d Dt^cгƹ=L!V?;) F>__KPfEGlXN۳YCnVug5[ J;`JiOU}P- $x 5Cf |x&rtto?:(m#02MU5EpSRL~h9@\NJ%tY;In'ƱgYZCܳJlJJo56-:s܎H{v;|+;]Xo( Q J"z_ eWӟnHz_xqJ) ?S1k tAU$`aH{݋^^c5Jt֨k!j{E(ޥΔsNr, ?N!.ZBT?HUiB} wby,n,}֧JV?<䅚},:mЍ)vHn 3$TQZnlVD|m/:8QzITy6֯~A'o@+,YwWwT.vKozHrp9]΢mpZWe\O,oc ttSTH~ˠoh)k.WpEqjoB~чPD‹v&ą>ufA^?<*RdԠ=5iX[o0>3M?4m|fn2s (͌&_T-RgP&'#C~0w2W@0' +"ԗ0A[a5>e k)WωӰ.7/N۰ca`61l֓ 8"!4|ݖS۠(IVF[!yo:()Tx"lW Ԫ !q&ÓZܰ .ek_ߺ74e_57HCbrJ>l75;@B/ʃq3l 0ԯ( 05m2_T˄eoSb@=4P^T. ;"x;K]%N$]'齒0׹JM$W7>XWmkfO 1FβtO'mr(H9mκfm\D 톯 ^,U]B#_4ɠ㽊NPG YL=?mIVOe(פaM`ohFox+'_G(5/yͭʙ?N`'wFkFm@Ek#F4^?k6_ND,bNыTwPnmwҠ3jJHGqڳ~ /9 C:5xKn@`Ac)b=`ܧ K._a KRe[{,H_I_)J@?LQ"3rgt~/i3x1>U\&m+P,BPkc :nHP;l=<[Xr>NA J *gu^M($ˀl\lɦ>̛IPzgF,i3j -D kY |l~RMyZz EXO]U=W G𜍒 ȁr {M#Э8 o;68%0As'6n+z'ZP|/])`tgkW Wg,3Ɂ=Fɹț{|ÈK}?~ )#gVTOR}#d9tcV1hE:lA]oT%GMi=uL>s"|#Neto֜Y"#[C!iJ+)Des@0N3z!o|uѐǂof0څ M| 27oz(>^uKi^G$ 'Y؅U /j:UGoɮ 9ѿJo$wỹ &j>q3޵k'-ڨ19qCz/Mj7R t!|+${rCߥt.ꂺ"Dot/D0-iڊ]!g(Y7pey+1;u$xµ0%նRNs'%Aэ^^O1 lwxT={nyEWMOdJ`TAHoLyV|C;B$j8^JOa9V9 䵙1韧MO l;q(ia`[An[5`FPw-vBJQI[~Ko Q=в!NN^ F;P-4-WF RD~`ْ߲K*"u("Q4"Kρw]c g_{z^QC*I]f Pv.Ӡsƛk2}­3P`5w(-wGA YWyH:~85vi _X0e DULi!` 쨂:Ɓ: FW F9ÚxMB4C4ϢQ&DDb^}R>CA$|EK-'ݹn,)-9BT-p&s,-ZZ,u \e'[ʮ>L ?A$Rt5EF-y\Ry,8EgiDF C Ks7)cP ]EU˨}[8mY/xNqI}dib#vU ).% :%t~D4 "=%\-[VjhC"a inLqp*xt[M//,.&y-b6A 5yI;%(B5@H1С  h{𺠮pؾv\soM;*aЧDLl@~g] 1Bk,ZhK/5x`^C"3نE0AEԁA] uAxo?- =<׻`iK;ib>uS>A?cZR3+ +ol؝*դ;/Zh)p1c Mqq]NѥQfdWZ aA+FyqQ! aTQn~i@&Tʝ/K;iNY/yڭ@PrPB [w.MQJ%`GjnRMJoO(*SPuӂ,»ʷ{GnGRupDBG. 8SizB =VR"xݡe6>"bB]sj!z,w݂RC DC0$dh Q!yi.&_~$ytDR3 =$dh0=x`3a;z[T}Z'G ggVO\mIL! %er:67nЬ8 ;JpΪ8D zY>̈́}ebjVY-`]-^8b (sArU][m3?܇B"߽5R^B"Z9Vd՛2wHj1p$3HϣbWpWD%xk$٫ ]`AܽlY߮З0:Wg:SqK֣ꗫpǻYZ'p\GVBV: f`5w}pbCe.`̧$o6čB%4բZ[eQBb&s|^C&Mʡy&EXFXwMNmL^4j.Ǜ0d?+\7wT sgޮhdԺvRy(G"7q|M%P2jLLռ#Wbwm/q"!X%9Hv,C?Ӛ:'^_ yX ./{^bƪC$1%".iU8q2IYA[}xgؖqKԣ>ewB^E{H^hjA=)Vmm\y"t9@LscٱU<V.* Pj4Ss}v -̲>*qe:q([9bbt38$Ix4݅  "L}> VPULʼnFaAK39ara .gPgMQ0莸 \`C9Q$^j-_IGsK&nkl\VRM8S? Hi 3_g!\k7aظF !g̐@$E~ǓїkUm_7TϯgFoBu7$6 ٖ$}n0zᦗyFq'*O@&{Jk;V{h;r VYS:B+#ƚ1 ֹ'\>.;S]5hH4Qg8 iwɧVkEױzU\len-xKԄ^Ɩ I~{A8h;aIb;)e2:v#sSġ")xv~d@ޜG|W\shgP>ڢɏ@t +cBX T!gY}61(>4 o\W*V; Lɢ]WuGkB),Y 3T-D3ҙ-=;48BV.yJaY}Lk2qkfWdXן*/ X<͇И*dpkL'Xc6GRqggߦ`[h[QzieG96*VSjh:ŦdEcT讪@g_ 4lEU l3ǖ0ϒʨ` hmž~1 8qTL -}o(2~uxB@eeR6BS/&1Em,*YЉBݞ {tOr L(Ҁ榑>ڛ{$`wC6<9D1(j!wsĸ0&)&\}#ju|.n R]Ԅbe<3p06ᆳYG"Qv`H yg~.QlZwJ!@7oR;ĴԐ߄3%էq~fs#TkNnjэ:3a[J4fkL ҎEJA0Ta (͎c% N+F=k7Pj͆Rx]T˱7⯊,ڃaݓ$ jXwkOzE*b\j*nI(MnB`?1J!|U3OxƗkl/HNٞ0!+Na2֍*BU̺DC%GJhp9DB!ueޒ`G 8It+y[Yz6훔@Bǘc]'%>BJ D4Y^u [ۂc.i*uvs\}d4Nз19f,?"Np `v߿8}s>؏pSc/;9ط1J&wɈ$DST2H+Տ`|ny9ۮHYF^AN/72o]Ⱥm*[ܧD*z=*`$YGLg1Ek ZI.?qh,CYja@;× Cɶs{q]%Pў;b\.I6};c3|j\߰eiwP 6[Y T5ٵC2+ f@UG //fx?qUFX`̴s3vX٩j="Re_Pȡq TZzN65gL?˘rmJ >a (4٤*XK {o#Cuuxr+wB/`y)ܳBfXl[<^jz$B趘u,p$2Wl2.L~EyZZ/. q׫nc/ ڏ[Xt `؏+[MI-&>c5œ6,- rKV]Gwl·WUOƌqILF<>HMNJ̭a:AvB L$J$ϹM"K^2D4SZH S[3iGryE\;0H G%>f*wS^W>qX1Wy4@YY]X¸6z;ƃeTjΨC +y+s 2ogKC@VAw!y$`c&AR4 w;YTrmF]vm7j[j-Z ;>d`׍ӮNd"ҪLA@M@­3y/p \hMY}n*i|W7fyĕeeKרn1e<,M9 Z52jkzĸJٓqŝ2| 6M "'XdvTy=\Y %] @egˬmn0w1ZBYc-2D#Ԋnhl tlSJp Irbm aDuJ mT)ߴNz1TnW`_[<yy8{L24AO(#s]yI//èzx;; k8wlV2'֣m4MAJbHMG}evM r*o xbL}ric_e2s FsDhPq׈4Vⱨ&fs һiӡ{w&[ǽ,ߨAW\ C[%I8F3$r"kٚf|+;Ljw}.k9swyO&GZWLJ4̂vstۅc}_ -+ΌeHHHr߼*^Ҍ-)OjW,s7P< Sk ފheh<( X!Cos`i(j$%FaZ4aKFsX1tG]UĬ>EJbϾ7fĽw ,ł)&s W}O[2kv c% @֖U^$Vjɕk&C*tIp@jâ4EA~գu|k.M{LFP??ts'RVTKxE\fW.s>6W> I6!lܛcۊ4sVeF 8%+<*b L?vDKG ޱhB;}ļKއq[su\=qWRyUзy(B[NuqW2׎00(saXVa )N!K=:My=Ly48O>n 6zpU^΁[r,oX$1Q|;.\;x3;uf37I򵧶G^q;yQP;SIr=g\r<`lY~3++Q[%|F_"٨f]J1 \A2Jٗ7hb|)6uZ3b ھ^f8U) 7Ibd1:vJ{J z+ѝy;C iM[f^+}Z<[OI$CXG^/:SM[5v&1>%`U8F&> DNT *rѵB·RU,vRgXZ2@q7vnwXvdBBZ ]xld* 9%eox 'T)ܸѕ'e SLCwJTSXҾfĠ3#wi$\YQxDfw`"9cgM;|*Rbb)4X^9 \gCJp谋y#- .'^  dV>QaH5 o+_A ^'-wm]?=9Dhc6J-A7_P&sGIzdpN92ҹ(WȆp0-~Huax&^ 0mO*̷Ϸ>[vj`#N΍T :eY2s PߍLMKh)RfP@5!|_m2_4LMZ~ڳ6m$:J;|Ivhy)pl?ˉG..g!w-6ݢA#2_~T}iV`v2,HvU~r LLA~_ ȱTxEwzuBƥZؠY6K01{(R2h!R:2Lߊ-p CUώ67aQ=ڈSQ7rc5mG9 Y^?r[|#'66Dh(춋R!{ޱ?`V?Ĝwͺ+'!\ړaXpϏzϏ| A 1pO["=voDiaf ĔIvlfNs`= tCmDaщ.X c曳b-ʰFtOlDZk& >>5YX 2މzH( sWQZ(:&޷ `BduԷ**`EXWLJRВzDˣIbc$ke9$}ma_V~ MbZ`q[]ײMF;2[JkmjuGX,]ayЇ+>,DyYz\L;)C,x0AvEcOl.'] V,cct{`Z8kLifU~˂d[ぷ. O̩>6`󴼙3tn[ydlD-_ P\U+tZ#OҼֶ)KV\;u2 wg$VM|rN C!reyu9'g[ ?*V=J6M N~/N>֨ 3zXS"q)͝q?w:Tqj5@s·Oh"fK ƀrU9*nh5Ka:W7_2b Pxָxli\ 9ۑvi jhsG7k:yZlĸ\хgGZ&⼖([(Gf`)HY;`lR#GQr0\J(%kQR8](u7v 8kV* IXV\Ae84+,ԶZpd/*ؿ[ªw({d$W!Kʅ8%5 }XsWy9¥:m`aLz&ȸDB4j^LZm ia$OuY^(u}s"x+8?`\ZOr,o+de[Y峴v]Q. gYZ  F7I% HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument.tex7zXZִF! =]A-MՋhvG"uIBm5Rg6%jA+۞:CK.AZ1/GEnmzG@at@pUAY"I,OJh/@}dG1J\VC:5 &dq"+kL.ݺǥ Z9*Եhۚi`QQztlg{tKkF4N5z{Iz!dgW,TeVLŎ0xd]f}OH3ѫl!d0.H7E% HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument.tex7zXZִF! -]A-MՋhvG"uIBm5F㝴uy|啡m!魑ז'T H ݘ{=.e-\BbkbG_;Z{%*ɿdj\1(8 %.Y%]+^{wS-bR ݨ>lpf 7(q;:2z9R2%a6מO2wvte}d#F@c_ l`l4}h ed;$]aбR,w$bv,?^=%ЁfG8#< YB!H)n1,O 8 *#A0ebکc1N% -xvQB ?ޢPv+L14:*=e7|J AB/F g tLrZS аR*1q"ȇF?I:cT9>#XK`enC4As_`9ʰh״aKxKv ]2VTP2 ;ճƗ! ʃFaQDs;6YI~>>͖ik7oѹue<SNO%roff~Dn.W $"Xz56(Zbu ]p8VӎN[K1ٖ'N*62)GpݳzÊ#MP0=HG{vY؋O1:B% ,ud[41,_3jt97}l?s}{7ǧG4Y y5PA_>.8zt¡R({]G |>a{qbY6|p`'a+#2FiӐ_ .qPP"?60CP}cR}3ZY;`'Y2h8[ ^r8@\a!0Qp7E% dHOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument.tex7zXZִF! ʾ]A-MՋhvG"uIBm5GqK_n({3} E#dMǩ%tK"kY`E6;akS dxߦq܆W-rO'Q vo^ysNGwMVP?3尩D*90F[,`2Dg z$nNUd"MHޝ"\P|3aaU"ӄ-PSۙ]2a{tQVLbH4m']8\+} ]czK~mi^-+uJX{ .)1K +\9MJҽVgۀP #Qv0.Wۭ6l B7g% dHOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex7zXZִF! (]A-MՋhvG"uIBm5A!Vf- VE7ޛ^Mw3AoyVQv9'h+L8 SώΒ̵6|ߣr-ncC$pB2" 3jLp5V9o8r|DǞ Y]mtu +VpWgXᐊG4a3u\M I,$U[7]QDohLR6?!qi]*'k|A:t KBPtb`hP Ï%c7 c+sܻ!sӠ*isl֤k旂_҅lK^ [g!C{~{e{$7"hUE ?ܬoC"3&b!7I CC,b!ZARsC}wKiQ- ID S1(= lK,`\T?]h/_5I`~Qa$*>[ƾ !ُZ \`L, 3"u95m -`:*dk\@)>=|&;;,h"Z@ MQd62sݛqFgMbWg e~:OsܐUҨ=i؞<:s|y:Hle4[A߮ Tٝ84GHx$G0Ibs]b}]o2Q~zzl9⌽W[T{l}#c k#';'e`r(r]l俤<-w\p#.̋M5YىU9uNń zkvx-f=x%'0PK h\WhnASG 4&T XW<7ay>@.xS0j7D/p'ЊOQdm'&lJIǸ:_O5*ni9]3QS>=زvtk5Je揆o$܁gFSvǃ!*MLIsEOg"vbW`]Mq VvC*Z$M1:pkV,5Ŗۋ >o!.ZFgO{ƵmW[O֝v2"l }d [b}azs䣑LV\"!H{?, g31!)\te3K C+[57x-OHJA49fp^Svg@i>~dkn 3"$6Q&bрi2s !Yԛ- Cρ ̗D9҃7xیX6C52"g-$wq:g8ye:8/W܉!3 א3AW)D "@ܜ,dYI!޽r !83pz1l /(š3Acu2 *NY"%X eV[tM#dɘz(9]o9"1W̳X+D`&V Y7M% ,HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2N]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s()Q;"ڮ┾funSK%lⓙXdIe@454З_s0[qE>ƽÑO|chO^+7Ac.Q6GrZĜY9=])MG \pBW ߗt3lT*d_!l *Ōp/>$ _qAnhrWԷW&C,پ6J 8u +Mʏx A< : d=z-: Bj؍} tBDO;mMF2lul`z7>@owȿ;R5FJ@g0[\vvc$ԔWNJ\\0Ji,׶9%gvl \Ι sܥ7ٽY2_]⩗GSG\97G% tHOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument.tex7zXZִF! DU ]A-MՋhvG"uIBm5ł]DSOyasu K( V#R13(MfUCܵ|æ*kf7Q2Hbw;kC^{xg)Dep<^7#eʆc٠mU-oK}߆6GxM&]e&&2XZp+K?¡(DǒCdY N)ҡXȠ_{,恌<Ә8q iv @'_lx˹|` uB 2 }zǭ[˕tCXCո֊Ӽ0+XՆLCjD3#(8~+֠rI,xoX' 1iͮ(uf{&gZ..ᐹLt&iFtY SW*t=~lsQ-~ߐP/NS 6}8 l)|/m hA_Ua,Z6 ;k+UD7q\hf[azff*6ms?AqFf8l@POͫg˳ÍO2 cO N^O:!?+ռn`Rw۹x8]W/L0~aF_(8(iIpmBw ^7&Xag%VG?0f[KH~yd'E鳂D4/ ~_-]Ѻ|$Ք`Slv 4$kVh @S``c'ۦn'c`=,P:,}e‘8)k RV磑^t0F`P7>PT{*ʜ):̧+7 z 0vgMJvpoe'YSqYX`Cٹgtf5+ӆ/#؄o5E:B,uU0%-WQ"0]^;%6**r6+chWpIH5W.3'[p&TƗv|_L{ 8׈g'&Mzض<%F $n7VcSUp{lA괟Ik[`/ BdS8Fo(ueWj..yΪ=`LCHB2s`g,fj#BDtcKՂQEp ZҼX}z٩ j@G?K+Y=Nd@zҵv#>֥ ņigT՛ZTxR`}&\a@%㧧/K])d&J$~/nmb?g$@ {{T܃KsM>E!՜mWוe+(vo![V̝zm]H~6mSTKbHR;kxH qٮT/9Ӽ?^Lp smhTW 7@'.j#GmKq5Sp#x^oکm-$N+HkY~תᑮdllW̩-'SZ%Wl\|M-ls["oGg]5{mjW.b̬3skF{á,nLfӮ2#>c Rd85(h1'2wRm~P\ItԄ!G+IruNOMKk{3DŽT{0Grnun.w0. NUF*M7&[ŚD(loZ&:ΐѵRT,~ʨX|98TY4\Ww c3tͬ"_Y[ gj䏓-WB~a4/]}vm#mIZ v3Fe VM@R)wt-ve/l'g7 PkR9P+gY+ݡ</ec¤jDUv0ΧiCռ  29ѲJuw+@1!#6-(\/2>Yj( %ū|ɵ$o)vXo,Wf '*FnaӨƴ]ֈ\gYZ2Y8@Q;.q0rw.PqXh{v] E>J>c*|qC9=zzQqy6lFeY.G\R^_xCrN>sk@r]໖$X_V5xz3{B &Pl-l$*&i6qOglH.vūϭk8y8…1TO2v+<G=U,EWhԇθq&Qz{,n*lFgL ;8Kv|?맯ZSv'O/n.amV+Ec>~H VW!;OYӗG(\\UTf4kCMt! ~'Ezf{؄I+ΰ%_KEF%Ul#sW4.?ι̖}SVݷl1Sᙎd\U]f i| 3_O5R9d`9y9 DT6V^LQ}^b&BJ7rUR)ÖbY;}hoY"0:#zhhf`o*mkp?*ڌhK~ kPg<0JJ0O9IrbKvYڄ4sH)[M>vEIGkeV6eU1#u0evb!\:>*a$GIÜ:^" 0[8zX*VasfHTf06՟~J&Z1ԖG|*-H}w,hh8DbK=dƪbiOR{(1f>h@T`CV՞`(<)7 `x:Dk7Z2 :WQ#S5۽&Y]$*]dhh5F*zm%o/$Oϐ '_!CiX"q+s݆\A_[%nIŮ2L_8`|\Np3,O QLS w֒<"VNq;69c9ΞݙEi&Pb$}C5Bl\Q7q,s!.r60}B4ÀgcMh/L( ^<,;x?/@v83G3i|d.y{@^MM䷽Gق}ݹxUMy}È7|/Fm]7Be/.,gn K_"2]zMU  "Ŏޖ߃A4xTgq DqQKZ7mV:sNH<LLئoe[+f[Co;9#ƟvwVHߙ=–Q>(U+L݋A:|5햁孮>u$| {+iM X?4Pz a,[z8ȒDaPs%7akH4:XCώ!u잲߭|hqӯû±EUtp!@l2܋`Mi :lEգ+cRֳhz2](fKW$EF-JzC%/I+;HvX^M M)]\ )%)[,I@M&?@.Uy.V %O+pnK]b>OBܮ999sSqYs5}f'`HUoQ07sڜxYv/Q< a|1*t]\Ӈ<2qT9#dӋ jp`G4i-7G3M Ϭb^ԢCZ/,TPUr;Ϥ~EyI Թ?'`_1Mgɏ1g EGڻnp*23>5k[u"!fZ &}%-&^1Pdҽ'$PT3m .ة<+@kW#m,qlޖÜphrBFXܖO`TB^L3 ^;IBX-,ɭzD:%K8w.Ao CX[>#qq:G}'TJb\%}G G~6>1&NJ^MmG>?/HiT-]\j+=Wh$ͼH?\y߯uw5/!]764 iU)R2$kqW :Sl\GwaF@L TX5hSO q`(l~:d_J4 FIbܙ ksRqHO}1 [+p$ ]OC8Ghrt-a #YjF>5h]ה$cr#[ oBA6&*zժ٧74 ؏EmE K'x YO2ﲮy FvRΧmikDT/%Hy٘փ5bo{*3t|Sosi p(k.J)PJOyx8 ,EgE Y9)[(dDת'|?w&p\hr Ӟƞ?&L)KO}:"SϦZSxAL.fnNi?,3[MuPOZGNqKy  C~ECNAA&c/wuٹeڀ28`:3FrSw=TPSsոp@s?]' aR^moJeW {f2b#uKCtǭ`v2 +:uDLTŜm;.-Kˮt>$P l||:&'t'ji@W5p{ѦQS0a;zDJTk2Zhy t sKovtdžDZ=m ,s~ zaBBp6Û7 hGjtw yrҼo R|76c*hj Р;!`@4`CGck7N.ct<u]歁{MK^x4r|NPsVgx9䡋Fsf!W]fLx>XkROEbja&4hS'oaSac69oGO{l)Tt]4eo ?ª--Ccq i(9WƉ-z⸢EgؑJr"Ű I&rQ7P&}×& ГfqPʙ@T3fn ^Q0-s|zN' >tΪL#Ԯ]fٌtr16q4v̘F9>=TCY!96PI"++چ ꑩښډdm۬LP-ZS @z?+mw6`ktZAuM_V*jMPN-?8UF 8*q3C<<+}^rl5(wQ$O#R^DYJ"?dլcps*6jWV[i{%ciDѹdˌJpO9u3nLF58[T>=῕>0꺕rƍ+%9Nt?=%v!9ct<#]N22[SiSKgk(f*Uݭ^mC\u"YtӅԋ_PC055*Z[\[nYT)^FOp+v&CQ = E*~HVww@0z{US4f([:p0ݩ<6 ]eViYr<{BjOX*3.#!8~kW"} W$WE3tg,]<٥Y?,aO/Cm$A-񀟋~M"$DzNy36fb*\;,fӵv*?[s!N4վf4̩TT|E|N˥QJ29cq{('4F`/WVaК!u_tUnTʩKWD2^t/D{E+؈N5_SR7%761RG҈쑠vnΪo5F@b$RPYR\KQUDh npvFx=qèfB)m[ر'2%5#5'&1A0̔ oщ=1N2E-tA#B4ާ'M8}`E;Lfi--[\L{9ƴ,a&eZkٻ)5}Qj $n !> hGarX_D 3kw:2A\u ;Lַx97^ώy/oɀR(wc&([w7n#DFWd+1+1ǂ}_( JiTrY{vmEܑ\_1*lH?6x//NoJD(b!? Btp)-\.uˡU$sǓlܭhmɸЦNs+4JlMgvmfmzŸRXS< m"l`vca簬L gl I3KHK'Tew~\Ҽ ^I~9pTbX) 3>3 ]cͻs"wZ46]MPuwPʜB# P}]"̗%7δG.ޚ؊Spt={T,jbwm1;KD:}`KWl"dK/V{lw6{D#?!ajyOH_E?iV|rFe݀5|D4ߒKɫJQPrw!bRXJf};>ux!b*9= 8EV9eKiAXIxbL;Egc2L$Tw|rn!( 3trWKJi/??,ED&̪7kVgZ$HG>W`?~OuIRF<?)5jmC_qx~ 1F~TP;:Qƹҁwl^!PmGj q3Ca|Ć&24PF=N3HL`>&^ ²sM>#ioI&ΖXf%.h @(_ts8QS)Y0j$dM&^tA bDDMY?JK/!AֿSUY.v4,${w%z5֓O^ C#G;NCJG/P#|.YQ2LtgdCbѐQ493A+}jܠEʍ(o$17s /~Un'k|`I&tHEۓu(0$alDI9>]v7[qG 2l oZ[,Oqg b!(zoB,\% &gj/F*u;o?b54:1BH#2_LQS^h&fP|-Ud$a.oC$Bo^D' p$wݍx#6uRgLpKaT -=֯v^ lI"UfvHk<(j>ֻ[lNmBB*(Viv'J,HA97=Z?/qlY+oڮ=dZEmNgMbxfewɪ-S lhWĸ|72(ƽi;xy 6zOȘHɋ8Dt+|٨];/#JP__~# qKa8(÷K& t-mgmA#m c]437. zpP{1% 3G7*`F',F_O 3bA ^?]-7A8<ٟBq)$B;(_JNMFWK(%6+jv$pW?>LqajR\a8>[stcౡ&fY^GN%|Nv'Ez9G@L1C4SyhUyTί$jb{gk,E+kLlIFINI*v~6tn*XK7Ys9wZf@CGKShb6쐁0V AaK\\/gYς{"H?)F_pJCBS(|N0u#H]S=^=*+0hQ7QF;,eOuy=M|NsY Q¾"oRU9gB WLy6>Z67}%{p+ 35͋(l1;ٔ%ËsG]d޻i^"dOKmJEU v"i>X3?8J'gи(BiTݿױ2@g{ګ-#eBXW)v=E e^ͧ3=n0v[mP`2 "`EoJ*wZ5/| xC/4q2oFOҀv >26Ax$#vPZ~X Muo-qb_G@Rao/ +PdE\@9[ͳdXLfSyf6蟻6o@!* MMz+<7l oi^dcyOoo X_ca z_ : r ' ;zSDz?pjp.7|4R^k~JjC[rA$8,+*]#L ]3F# {a@6276F*R40Opt 3ߟI)i/IqsnC쾂$k ȴX["'Q'QP#̻: HrbߠJv|aCIL`mۡ k8ޫ&?䱊h/r顟QO9Iz6U+T+Fܮ۫۵a#Q%OiZ;לrFJa`vzH^9R_МƖ/]|uB[ܼ+v*rV7֣_mĪw;:@p5'_(p5jy}4)>> vӏ(s0ucQʚlpIԺ;ЊʃK- dYWz4i#;wPįoO Baij0lZouU f`ADGpx{)5$͢:3=n}a!t $v2Q]\KVwdh@FY3 $"e:{su$8#Oo`ِˋSUm.oDUj=.L`z#Yb);?6K%[ ^:T?~P/Nf+V>jY<D?!{P%_z& ^:yKQu+m!]NHsHŀQT.WDEڍho*1X=Iu; 2|pu}OTiuf*%Nn &iC6!?FhqCdd7AùyW׾!+۔ G(,hBux)l3`!VAת? "DX`۝ONDS $sPeޏysu-6Y*6t@17c/pulb}b0}OΥKV(z#=XɡIqSF}xiRyWrZڇq5Z-(#M5jH9bd{. @Yţ"e )jE\J!2G \yq.FGzW4%)pF 4e:?ƠfYni9+U+HUY42 W8D7q̞yrUH-*Z z?L#53j*Ev\kjPd OPbgYZ;+ORwSok{ 0c9Pvf1ň<q+S%mpgsNjFXQ48P6D֢\Pm)N]Gmu뷅fH$m):"aa ac mp֌q:ZT8RY](޳ZUv}(o.w`Ak]>r>FYqBL݀-wziji ˈab?r(x(@Xnk'S\˒ !LnaG e0d>r~9tLI'nxΑE& L;H. =uϐjgq}9+T 6b7Zl)1j}Fl!o!;B>byú:stۤz<9:ԝ25cؗ\}ܕ3zwb9jwv 1#hh=zL;VI9'-Kz6d1a'KtI \Ru(HfA93Ӊ$nZ2$Z=ȳHN6tuPrj߮Pd9&BX9Izԃd1ro+O vs =nRl!l-u7цB\} Qtdob} [yUio;#whB=u5!I$?} 'jo <,>WO6Pl9Zv uf# ?ƤJE_35RU/sgK9Nc5xg M9f-;kL=8?K^h!&k~f1`D6h$OTj0{U^3,!MZ+,j=TpV+¸oMbv 4G taY2+81Ũ o='j#RgO JLDSGxD"' a)|c4r9eё̰2dOc6I&!\a[`&ׯ{pϝcIHRz]J:h;VY3lӀ} ԓ !O.;=Oi=\CΠ'4'pVU< 6Vr-_ K] ZiR9 ҸSjecWg& k\!p)23pg_zMv,+\9\'|am%4XV^}|t&3XƀU*E B/oMDTLYڎY ϲ܍޶ZS*B婰ӄE{Ϲ~'}c*o&2q8= CGߓ( @ƆժcSN" *Aa2|@|9q)9+(zkB-5O,7(4ջU%}aG,Ӧ W{*ܑ/2G]. Da[@a944`ASff?"3G9~;3ڗQg +v>#WuSS]R#7C_"ST G?D=J`_qw{G a#t8 $us_tkҹ <{ SdD eƩwk2FxN˚cl,J^ J-F7N`, Ŵd.̥ym ?6sxʣ:3٭W%Npo bۡPxzY )fHJ iO,aL`Æ,¡OӰB ul l5JB%+p /"S Ie6p="3P.@)JT50sG4,<voaQn̬@ӦGչ$"CMXKF!"ۑon^ȁ-֊or1Fr~@T+9g IفX Qv̹P9nE Am?:IxpClna"G" ue!w+lHv0v99ER hÓKflurqķ w-Ta> Q~&!Y5f!_FPi18O{`|DY,;,u*SDrp)t1h } =\=8MR)85ܩ h"b)Y5MҎZv)/֕sNo~TsJIj,'<(bd:s47ws"_˷R?7 DHӍ, ++ZC$4 wz74"(gYZ '7C% THOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument.tex7zXZִF! i8 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛնW6U[2\Wt}7;qj\!rNĊ0[ezs7ymJK[dPp ;\ЁUIؘm4q-VӦl4.2j,E}C@E4 Aڀ}[€V0;)ug-/eIӗ 7 ^fs'N=.EJ3HT!uchܲO(1gӆ8pUx_A}X&%QnX\$3_&EK4RKXAtʶmVQg8N$eHΟ1Зmީv=1 ?`Jy!W$R'; B]HS%$Qt_&xj M#2r'c 'FeGtm,I/GG/1ćN;̞(竞pXĹEDZO`d$9>}8 8# 햘#oTFE_3 z! S%\.κF*&rCR ; 73Yw En.ntZ{v %P#9c`sP t8 -0koeJ, 5tt=PȗMqM`ֿs'O&Y[OЈy.zDOG|I[3 ?Eʎ!. R;![OK:|A`"+_ Z݌-1=ݰϪwyXģFSP~ectIЌ5Zg8 { ءbr`t!A?<ۡ䨁ԎfP.09l]RI[؞|U\nnH23*bi}3@UVAigW%:Vgawyn+S^v?H yk Ϙ̄fuæBw%sS)tq7`Km(W~b₤1\.8>)RƋ$~q5b$'qu`F_h4jo,#UݾY`rޗ.\LJ*ʾc%eAG U0{oy5[KBs5b{S g-:\!]C*ܿ3Bl4gYZ7M% ,HOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument.tex7zXZִF! x]A-MՋhvG"uIBm5HZ3M6m(@3 ?Z8& ئdT5㏜ A˥ihևS>hGryLƩARzB?!I|ĺh"H%,nϥu]::'d͎5f_ݝHOh:dzӈʈmԳTSpsNŒ] 0͛ /f8凬=%{&3"A9gM?2ުIcChO>iL"1~g]l to ZѧgJ u ncZ8avJH)D۔IhP9qx`$(wgHw O 7C% $HOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument.tex7zXZִF! }0 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?)@& Q8|墄Mp3\>v}IlU@x@#\Q$Eߚq K %?Gی'&ٟ?r b =FNl6ɭ T"N9HMR3\㷑 P"3q.4'8U٥F˓\l~&&tuň8aLY@tu_T]x&>O¦NDJnT}:g,Sà $TQ Qšʓ%$J)0.tŚ-H6Alp&k8GL[yvX}@ _MB|e#$EXeaZήvJʾqQPZ{Th٨cd=#;u^>?f2 K`{}"M?4%_{^ї@,ܲr&{\U!lA&#!iy!r-&[kio??]u NSL5yod^HS9uwHpbAK(?+AP >.HV3 \ K4d,dIO!@r4ɚ ߗk[D̑'Z{Ft.,10aX#=\~$4DVS cq`iG![zp)Un3Bu &@!j h[^{NQ+S7hؽe(#z:ZץID"ҫ9_#q$GwQ(AϯZ(SykT(ν#?%KsTK7؇g3Uy w̵iVc! eX`l|[ ;&UPH( x?fß"Dr2x&(t;/r'<{~b'[d!P^[x1_PGIcs.Dyi=ncjJ̰lo%a?bAj.V_;( &sNQ.ͥ*s%c$` EA%Si$75sHmEҰġ[3 >mj7@yx_Z`v+bsa<@}1F-)W8:Zajz/w(B_xѐgJ{[WW)i.#*0 JU8VGk*`fE2F4y[Qc*-LSf v!{?5WGӢ>JSWrwz=AK|Q[]xǤGiOD=>XP& Cijμ0j, b4OtDN9s6Eh0_|(#sK@ڔUuԎ7DGgMs(#4 ce{%n:Alm j3 ЅPZP8mpSr7P=0 :|w7Ņ`sO@)P& #5-bD WWaF6Ec@o=u!ѐ201lU;XɮyMnvN9Ck $0/vŔ4ck 2jT#w/*D56z>TTZRgYZ <<A 7G% HOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 7 ;]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpLq=ܿF觐 g2.ɓ~ΕX2OJJ!ȳŨIP%tb!]knl@&YVG6v; w(*lB |{|e0~l=SɢȻkK/,zV4GǗ / )({ayz E _- Ǡi_ͧAS5j)VnaiOesrqwd}}ڶVOssdk4'a\hM2}n $^[xF ߅PCea <]Ryk-(tfؔh&'>daJY?2ݟ8o?orY܊ѹD[g+=n&1 > 4jH`4 Mg)e# 8c%ob) W3ٟڜQmDM'fIeO1]m ^=py]NxN 6WWv|+:6W88,&Tx2FV*!۰,cA¨9_[̖}Õً*y2π8GMW^.\(yWFP2/:8Z% f0", NL3~aӸq놩5`=h7b\7Ruw3ҮcW5.;Rn=BʷMȢGQO۩Fvj{u1y n)3+Y =qjD2 nA^̛ف)NdɣFk`=]}Hm=T!DyUdxHOU"$SYG+U $TN" % rKwo %3bb y?N( a!pGXc^G$oDi=-{n>qgYZ kMmk 7K% |HOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument.tex7zXZִF! w]A-MՋhvG"uIBm5T6Y)AEŘmUٛךa9@b kYJ΅b>Jƀh$qBkU:H =)s#Lg`n1YǠ~gH[؁?X!dɟ+WQྏdiqjbq5GKTu&&&hcj>&v1δ׌;ϕw/mRr뛶(ARYY^=hF1u5f/R27x-!J!VtwA+pnJT|< m;^:NH&1L;2ZC35ɒ: k"b=^q&S z Ε gYZ] 7G% @^L_p @al0f~KKm`J2 sjp fh&?)ĝlk%蕃2m=Mtߌ.-)XԴH+4?@w7g)֒']o}ID"QBodK7̽ ^TQ#B8ļ-rPeF~xnlOmnYYrslh|ϠP @[9Oԣ*z'.R}ÅckSjEsᄌB5T, Q@?4+b,h~ aߋV9mCj,$exx;.̝G¿[$K&h;bPx*+'~&C%ϳ2ϋگGP^Lf;C!0l}l=mq ( 9!v^gYZ0 7=% lHOL-Proofs-ExtractionHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ 57g% LHOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument.tex7zXZִF! =]A-MՋhvG"uIBm59nc fӨ=B{`З~ٱzY Wp2lٲg?o"+ߊz'mO QRD]jW3W1m gRRTSmI¼z΂MݮOx՝أ`_to&F.ld.]NfC~+{AG̅>L7ylB3l8Vp#W$G鞾8Il%22-L$\%Zf=RݜK?l?NQ&}aCђT1 w :{@)r GfК:{g$zv#qPda2ٍGoc/c6PഁY<ҷqxY)X,4h L/[KˑZm5EBnWì OC85g?Uh9[j}%/` ̀w/EͤٷocayCR}R!h4;;%Fzv}M,[bߟVg ko~A|)ƭ–ZZ VM2UQj#&*+p?zI'Q^߄!` 4qePDw*8PsQH3C _ʄs 9B]AԺ@ꐩ㟫#t,'TD)=(qMC>N6vy1 /c`9[J*PaӞKK39vvg?0+8nd"gR"xUЫژBRasOF"I͜}q$@&wּ i ؟?%0\A!ɓ3YJ$2*ZlPUb'R~}l 8}b&9Iݼ;*DE5l>.)S_(ie[]n-1[Ш uPk ?/0 3h@tob%}Q獩3Q2e5!*5&| D5WGTǿT-_<ѳni̬3KpDիmmͩ Rp&wv$9c~<2*'Vizf6e+W3lJPų:qnY7x%ѤCФ^ޟVky3U%+9nEmcWơ]O2EQ;R "?:Hxm4Q<1@6z]/F*^vP68oʅ̳O ඗?e'mWaZ-S r#9hUǠ~4?YXEbjI&)[`P1άEAH;t7CzՃ ^`9N]h%ԊBNwU)? (r6Vqdo|N^ZIt{gYZ27A% lHOL-Proofs-ExtractionHOL-Proofs-Extraction.Utildocument.tex7zXZִF! 3]A-MՋhvG"uIBm5{{1a^Pf#u-VGf(K.M$-I'6蕞܁kZt˴Y3Kە vYANoUA+Ɨ-P+ad,*xf\ ..vuƺJFzljn5xf}m:f5|ln RLF&?f ; 6t0os'OkЊ0uOց9i-dz;M~*̵)ٴSL7.Iy?{-]\d~jkPjP]-Dhi^iA-_ d_=}dK_WVیXs RjL=AK :*DF\՚r^q(EG.P-a#u-Կ-I NP˄%".F#Rл˖z yhH,ܫ9ν*hl}K)C6@Ȉ9?z?L|1)4l^Iuq!`U @UU{|2k? c7vpKhՏc շ7jl+2sGn;@mW̮ p TقX {y Yj˂νlֶ#@ALn3Sf/= pDu{{A-įTèR& f0 2r㉮R!nAP j!cQ g$vV˭json?᥷ ѢK_t I L_ 4RpTFl8v_'> Dtmi-TceltFkrO'G180%$x<@󼬞UwG΂ S/hl_De{- HWwsõj?+ 8h 9kܥN:CH+-w݊jkxsrӘ޾LH#áH _y0 1Y z9,Kک$X))B]8`, ylpZe8'Vb9J&J,&ssSNuB)CEi%^SA/rJ {oCb4OrwU0_%KڼH\<^<%MQL!-JA9n?lq`/~4Su`M ] Ccb_؊Kf/r!lL%frUM %O~R<1Q"К/29Y0|kd:)J̇ M%o&K\-b]b Ƒ,=Es?3:ƯGډ$0.*l۾>v?H-vE^zI\]ݯŧMY sJOLiG9&(vX̲&fO@Z_»x M9JxsV@o70Ӟu><% d>D7BԼn"',R+q˾heJ4s*=m/P_[=CU*̳)Bggw={C{HcqzhƤNŠLM۶xsISR 4lR3{@t9ܕG{#$S}fs(Р`sXJB]|2fť,st"Z2^<$Qq0|i1(_JRDiiUcDu;?$?J/M]$-z7OO, xdGfgmq7@6386Xe:2;pZ,EdՔ:Uu@L,a/_aS\Z'tI*%]2㛟4$ؓh3,t'jC<6"-rI"UVjaѧ= TޜC:E(@տU-= P25g߆A$7Q`רO1N+%ǦDdPLUuͭ&eOq0f*s.@Bl:ոnaɹQh:$L/x N$PEGU<T]$Bیcf/9V}(K)Ѱv m=%,xI[B>Eas.=EuVn :шHxg]G8C̳'_ 'z2{Q П-LuQ4cu>lІMmQ͵CUI&5gǙxzp p}PY]kg0r;0{հٻq,4/q-m(:s *4<&ٻl&W4TaݯMkm>o @O6<7Ј 1ci8O`0M8'6W҅@6IC5N~@#y=uBuydNjGt\x8ڴ'˫yͿ#3t%H^C/ -gYZԝt'T7atje;&fXy9xG+IYx.c_3y]a)?KPm?p)P_Uh\FGTWYmWszQl1Sh(\)>BX_}5`%o)@%mN;,S瀖%΄8$d ,ò *QJIQA\7?`+s5Oς݀ Dg g êRcwi;zRNGU@ZYX(# z> ?ݟl-NH>~xt+3qM ׃GЧuPX:fm2hԓbySN %k*և bXgՙ+7! "m4L~x?j-MXwy^w>E4o|jS^.KIŃ*D3 Zaoطz qxR1'.AR{{j̣hؽ⪁dߩ&YGYm6VF Pǯ\T^+4=ZiJIП'lV< Elv,Wi&+-cw'd94oXK7#H SПYye]&l/$EK/Hε> HCg&C`5cl$sXxDjgk|\SicL)]=w,$#OIQ42PK ƲjX( +%Ut+!O8s{ a|N":јX)3l1uUڽxn~wf{i|_ui$arFw)L>1|Aak;)ZPl|( 2;|r58M1`?Q,ڍ؍.QY_0_46+N'ᰋ1A8 Hz4$(! 6'x #fB;PE,wMoK/!Syg(T1xZYy kA5SzI}|YĨw)U^+y4몐1jNFܤJq]{\vfDAq 6,K# sINAkxK* fCLlQtݻz*Ctnc%A6.x.3):, $WWέ${C7FV-G^ g← X!NLۛǜ"k$Egj,)ɽh^&.TʎϽ=e -lr/`%OخeJ1-v(ubY,@2s%[/O4AXW#^1:RoswUf8/ dx!KS#/?}8e 95L D] 8)Ϙv>QJ9;R"?Q~p w17`tEE5`/X+,wtDsa>uw8A 9c7K1'9ʘ%W\T>xC?)2g Q:x I.pQъKthȗqoTOAw4sv^iAmv㉯-+M{y8Z^rc*=??U;)TrboARz+=|\%'*B6>󅣾<ִIsk"|qVx_fu૙md aȢiG%X|"śQ/^ f$LB۴G[o;JV#$Co3_>͐1%0КcSlV8^8݌{qoE)Rl.Xz}81S[\#2_v}X2j?maԾz=A /2Pth>3kyDZ/gϴM ̓׸(v#D̙f;ՋbԕF!)%nÙB xQqTyF#Q1 B);*6dҝkjT>dX^CQ=XCyCxcC`=L1WLM\bd4:/p *\`./p <e_VU?9c14,*z@/޶sa>jyl-Fh wH [g&>o!w`tX4b ?#{leɪծ[dxJ!⬇+fBpVn212*䃸vZrzr }ͅ|pK ,/5@:0APFH ㆫ.^Gd/@2(ڒ1hEG%G}vH((.eSLvY>?p&e9u#h #B`ϴ7\߽} `QfB XIĪFң[G1< Bh|)RUX$NhTm7t2\T Wn'՝Ɛ.)kn ۈrV08A$ 6(&`ef駵LO ,Y֟В!J>r`wZpvBlY|9vЃdNiőAo@Ckqh}= uwgO+k~ܨ2LDMQor77&v[p^TtOnΦ2_BfjT>A * ';0yɳ-G1+KIU<XIX6>|#I':4*uKa~NDc.0iΐCEo1ql%vwED7Lg}j&ǖAquGI72~LtWbEe=']Y": *xFtyI =DcƳr|ixRMWNM1]+iFn0Z숤O貾5:A s5+iYmgef8WE%Zπ~ ;+ u؜XbJ4pΚ|3S+֥*/] p0钺D< pwMm &wGv.ĬЃD;n?@+ڼB#@_7_E}ru\I.ZM2Y, G s}(qTjAF>AFOdzxJMy^rƴ';|k1sEiguJyt (Y(*Ie9I-n03o@ wj)eVj/^~kPZU%37[}(L6._g7u9 >4밷:આF:6@P #OWUZzpalb.2{Ԥ[ [r4+CM测sef0JTcVZ k9~@9.t܍X,\bJ6v԰? $ۣw@"ij:H:_M0ːb,0^em yX_znG{Yh/3o5HNXγzW;?}6x]&ykZdy޵{冩jai<@48 >D2Dۍ=[6%dAT,x~oNlxiM]5M3ue޵,5/̵^j \RfgzwNsik`6 mZ 2 X COUMqUZbF,cmR 2k6y'7h ОbPoVς˿w"ab>"RiD k0yf `)K`~kT@R_PI.?Ӌ[иk.I,?  u :~A v_ @jVvp L$NjqnrYic'|n+O9QЏĝ3 =`gPDQmFMSFt%dsQj ƻvb Si ͵RA9E>@wPB8bez//cGWy<֜pX׵Xw,c5VPGadpH{#0aEfU/#_(f qY9x̒R7%IDĚ+8`ul}}{BljDb6rJzl=ŏQE LހD[Y\`Q-Dp4@b3RHyRt`ӑm5ߔ),f.S|]aW; "a(R ජ{GFB~.[*Uj`o' _W~9vFPy/zdP"sd+r!%z񠱄<$H:˜/ׄ%Mrhd$X,~1X+TE_p!vsXS-tʾ{csRƂ.n!릇6,x*Jڋ@_\v2Wn0Ţ jX1;ٲVSAՃwAͣ}GM:EA8Dj{$!RQ|ۙ l6$gH-Ex==cT qI>_}1 |Ad>Q4 ɇ\Q9H;nh|6mu¥2%1,"{adwZOd_ܑ<jqSLp!Y6DL/Ȗ;`ߣȥ9 /C duR.4FYO3Rُci\JKҗÿږqoߛ@jz~JB-;.d(̈́#[>CÌPX䤀`1f.JP4A @C3﷚NF=7TA(a ޘFrρ@=z(hƇb4A3` %Rik NQNYj þZql4Po5ώ'I"V>bo8tF6x2q%9tv12ap٧UR 8PG6.0>Eγ/ 8Te Ma_C[0mNj9D3@ F};L3*6KW\zNI[6 t4 jE})e91BQ"xok qzd-۸ J!?6Rv/5qdCiyn6;S/2>;iqHѥpvQV!t9ڧB48C K=$t)VɎ'gTZy: WNcXoD8ymYpb,&yL.tJev zCv0m|5yࡌ@Dh{-*)ВV͙:#%VUt'M w0twBhAOZƢ1J]™Pk'=#2 0Z@fNDD_*E={W/woTH s:U/J/50xy#92$.m 8oqIVQ2th p^c~b˘\:(́-H6IH`L~7=N{i Z18Ȁ岼7f\(9'Wt~+mjfaL8pTX)Jrٟx"}xAD](șAi.g~Jdh ,x- җfh8{ f0gVfĄhlqL3C=;rt-V&JV'L1G{%ScK#"Mp/^lV=O#(0bN~~dՅ|W,an},ae?g%6ڗݱ tnw[q7W4Q:XJMmjnP^)z& =)lT[ CPɃ9 V%tw9}Enc09>16=pTR# b#Ȼ5I&^$ m«Ub%~Zj(^\3WŬ0,W~ԋܘҒօ-Rq]|L˛#>.OxX4"i|)ծ띩^64&Yz"']'ʍBAmxzauWs0ȸ<[9R\_$N3#W~m*賖y8f\f݂EF^O Ž`-wQTU J-)l GaBnE Vd 7EgPo{)8;%TN&BUS !J7cb~EWPPԅy@P aM Dl- 5ˆuH"%RV9~fX;SsJm:͎Zd ZN6}ۜTxK7w7]13Q| eAqef6S?A?BSJ{N0;/ơhUa[;n,eB Ad~[b'-|CQ;޼&钀*'4DRVૺ)m0VT*QxF#)ݪd .^2)0)&9;E /yKC:|]h ..!z*ݺZl2FuWZ(&s\V ɭS/Md '>f:͙bν"QND߂~Ѧ#B>KԘQgG`ːU@il?zD'ʫٰR1(4mwJ a_"JKOQi%ACpqj@39^t{ xddngD`mGT2BP^YהگoéLL^]I*T[ivںs!$5L^x%qww- 4l0׌Lӥc63grI(*E)D_-, 0[cl`s3q}d%POkD.K>Yۼ7TVﮈi)ߛI,ao $Тp)/scdN5 `!*~'|gj_iK& [3Hbbs˳ '7bL#D(Щp[2=Y)1dq6[#sڭ7Cfus;rR@$C& g!h(\rzTv0%/,@aL4j{O'1, f)lԶn'NN cw4OTuD[rG;vHe_=oES8*/VҦVl"]"1|{Ww y@c1$_Р, )0QDyiNKK^,ľb$:(CPڹD][[fѽs0@ݬaS&(3҂RPOH}r?Ya= X/vۖ==%x2yRT˨>8Bsv7 f4/^ˠ!|8cq^Ti~7(ps>#H!/{t',M]/+[k7;Y>˘yQa7>#`?M_U%6Yћrt.%Dm2aWIa~:Xf#f<+?.b:#@ }zk&m "اH)"d WѣW ~;.̠_&S-,k˚?~ XgMjV r Q$L!zm*GDo ވh1q(4U#6?@7WNG-]t%epy%h)\-]+roJS٬Mh^wko]`U0FNYJ/[1vBZ::uS44veӧ%5BtDY`,+6=kIcEut)s/AePȢE3fF",se̲ y|("we:d#c9@V ;Cgfi<)0d} x&$,`:`!OXJU9J0|t/{ukuHt&9)]%Bm]4L0gq h[&M^W4 )@޼ :}})֙vbP2q;ch<'AYWdMғ#|4?ZmnHp )5qxxϺ41 wFq1'9C", P Fě|;g@g<:O'cM~xs(vOO::D 7YGq3"0 vk)uMz k?yt57x?Qu9>cw~BX2-_ӸB7,&? δl%W<.l_%.`+'=&aڎMVux%Ou u`;S :u\: }]*TONdv:mt0+4Li n]xm&)'"8w`|{L&ǘS 4u2бRSM|$v>pl|̊7@y4f R3/&IWaq#tΠ3$n~ FT)c/lVؤɼyhCH0UB!4oQP(ujBb)XHG7&!wko`(gY sFAn* h^GŜZ-MQk(j4d9)'jG>>_⏱ZD v(ĕF uG6^4b[ch'w(G{@=`#5!n+/ܹze;@{r%$u5c/RF<*/t .9Pxf]D^A~4 DeB'6Wٲ#9}\ foUb1jwt訥FfeA,! M+,@K7dĢZkVkػD[s '9Эk4N~]Pbv#0"bk4}h_$ lV|w?>eQj.Bβw2_SԔ#.}\wWS旻\q׷kJ qrm3ԓlGCq- j.jo߸x]V>P+hMʬ7W*j#&o};C$vrX258 Nǎ\\S |- "{/DD!/:_{7Nj8@_ ګ A jַ_RdMp8'K1_I/|m4r28TUœՊSGڻ:y[Zh6.#6 XwF<0v}k>wu++>tTc,PNYHh&cb e{KBt+vKБa~'쒍kg| 4d}?˾]|jKoqS Ng¡hKhV'Dۂ&=c zl&-jP%6NOC1Ԧ;ߙ ?t*ŽW8g>mY43M; oE$o|"CB݊U@S'?IX2duH<)ABDe\S5ąw~}EXlKe&6DۊǀPEylsŻ{>U|6vR,3_e,܇Q'UIWBU_ZSSO éai=Jq$*lԑ"@׏Q84GwX@̙d )(aڗ#3``CSreWwKSm)A;x0;l @p<#T ;oy_nMfOj&0I^+aMh]%Ӎi,/W.qW2{J ƻwe?L'igg.^0 1/D~0! _20y7}DGaVp+1'{CM0~Vǃ_1+'t(J &(PG#8XbpDE:,׌+Vv⿖>EԔqBA|M1OOP4uF2Y9C/AS%E-Ib۹$z'P)P4Qg^NAa #boo ^_HGs=eg)J4XBW-~<5f+(hV335Q{̮ݬL'l0Kl8|>XFm 2{4רXX#`ob| >^5̵Ԫj{V$"N+l߸ฅ]ώ XMBp'#Obcfd3vʸoɴ)`7]]M77tŭ4vuȘgG7nameHzr~-NX&0j' GgB˲6UyzH7Uu2gN Re7gcO"%ZkٟA* 8#b*qnCv2ĐOR)(#,Φըš6+ ufƮ'qqrhͦ&1*D;GR^⏜MM/'Z!5Sd?J`oŭUGS= eR%k8w_QOGfTdͭ4jq uo_E)K k` 8maҹxB=’L{Yd0UlLm0hm6w"SZOW6aN6 nb]6F`S Y-]?h#-`g]9'{MQ!"U1~*Jq9?IZ/Gr,)M\XHux,Z8-k'Ex> :~פk$d*-BOg)Hp{|Z(|h#3~[*r|\4]QdB|kŢℑs̤+ڦN:"֍`I!޸ۙ-W''=6<خl|C< K0lwYۂU2$Zg/ֆ0*?׎OqnlUUתCeߗMSmYnщ)CF jע/ǀ*J l`GZbVJӐ>e@Kp$O)(ZVsoYDB#Ǧ#S=п׊^6+C*g_bܛ\i x- Wd T{P^!_ڝ7l)6ȍ@97ȽB8ghG 9U23rTϞewҵX'n0lFr3ӝQB$D렪a6#Άv7O9ơf FYKzƸY2Nx[ -}5qKdϭjvk5QK>ǢdjTNYpiR}SG+8딅SW1 8h.q5 Ahk8!5ϓ\^^6IڽZu1_dfN:0s~/5%ڡgSRԒ7{% Jiׅd U\Q^!]jt"Nfg<zSOԶѬWBmV܄ NΈDr8~T:?JMnWXEbw-7r0oQGXp&dPC>Kc,zr.cpZcűp-ߥFgȔT+Q ,:\4A|YQ}wPuo&r9 :Ʒjt^"#!gD s joTiE89,e jL8~&+FsS/".E-M5HhN:$.ĦUXmGC@7Ƭq5"#<Dm6JVP :JЏNnFK'$uZ$2k e C'&3 E(ZYS3?XdH HD:f)^dGpHQbRTœY,.l^8۸.86yQ C$J MW%ס} !Df@?ͨ?W,&SIGDH50 >ު~brᴟO/UF]-/ EUƱpPіG!Ŗ68_&#U1y (m񴅚dԘrf&p r|WX/^&l+}րvҊ"3pd҇FQĚX"[W N'ufLL ^P9V n:FpAɌz]mUZNr0,{M&ؽږŭq%oǘ.W@G\$s|ʗ`x1m~u|R~khz+,G(BhfOag!jN':J`*\B2{`&&ܘlz-de08[j"I\>.ƀY~ T QF'MsY `FT?\drkpNLQdDo V0MjϗTZ54<UiB3jQL nq?2GB1˫R>JzoNgIͽs!{%^8+f.*sQbWY%x"F#PEMLIPgR<\ #1wo,ݏAphʷYzcYB%u8 V* хB3 h.DrµR#Aң=ˏ5W1%]ks߮&f2yehh=wFc7񁾚 ZX:҈BБw;/ %E^ TT$=d %1tf#mvNp=&r/Y?&G5h8O%1T@,~-xrj׉j/ SA_1cB%տӌ=kjǵ7*,4'˘u}Ÿ́e^b?"zߎnGo=6%)B0O!BρZx7fmIpmd$;7Bxx#JͬD<ywrZ!w{nj'f^wf%_aZ~ P:0io 6xL).z(ǭןh-9az NS=এ1qb]f?G0@R AIsUw 2DCV0.=2,6WL3x1"JmwZ7@R.ߜCj}VXp/!U'p_^~"}OD56Oиf l6?8ǿ(5NݯXu/9m{\wj>H} a?lgw|0;",|.1 8WB-t~^4߈LW8 bH3ʢ ޟA&bEPROݚBV%7u턺kzUxzE{xOUz>RZPRL]t̳Ed%ƿ1:2*vJ/ϟns`b՜ub',xL` 2s`m1l<\d ap;~(60s_/NtyŪEG 1C4Q=Ci$=Qƹ:lUIP[-jCv]F'Kq_Fii0;iExd%7Q='לQ/bA|i+!d xF&ø54Ob2M5O4Ϩ:S!g!B-qq1>ce+edcֹ#(_(W4$(lr~HBcH)[FYh%pfO8hMLg z;-Z8'kfֵAnĹ:R^! Y{z$r) "p<}bQCFMlmx؊b5uݤz`֋ c'%hziXLA7AۀHpڡN3A5l\l2S۳7 zrh'"ƛ,9'\ Ze/LJ3>W攬aѴ`@Y5:¯#VIݷ@ _qnީB:T%H~UFC}dB#}9T̞q="M`$VlM`XސJ(aN %(kg[vE :nP *a>~<./{g坊f\.i;`ѥπ &I&z4`)Gf۫A@A&hk& pt GƊ>g:LVe,v:vKPpm]lE+?ƀ>*EiYk? T\` @c4ie7VnJ|bhO<7yE@E4]eÆ- C5$@piN<D9u:tx{C.n>FC 4)>lRײd,a&[wd;k hdҘ} R_Hdu}Y'֪/.!l59`P+4n'z/tMClr+jZ"?R7s[=ĮB0Ƅ+ܥg|IjOFxl%HG.ol zze٩Rz[e}:Po0 {tb%o&S㲰w0k0${A̘ kѱd0}1/ф$#=6ЄZoWצrGעP=S\b5"\6z|KQlif'k$.LH:"*kH"c&"gdڢX&NqBR8 CQH3vu(9kٜ1m%/O.yKI(`Iň4MJE?.hay?;6W_wPNrsl˳4ʉv8[2ezlJR3L;r۹m޳՝̡Iv7=,`FeAsd5H6R_X||2Y;B|T1EU_ (87_yzᐼnRM~p farC&5&+PjOp8Ci]ԬO@RTPj,,aA#g 9K,@ ͤ AOc.áZbSՙEJL54%S[EǸ -g.k,C {,?O7z.1nJ/lפFwuq0 P\aݵzb^.XIǨzSL- `%7^ (߯ns;!^$6{WkM &Rj$*PPD8j{hy]b?Q|[ Uc{1)_aX;1ΥBxLsV ʣ`뱋D4< eVE4U!f/t$5g_:=0E4,M]y`7暉'te 炄-\G.ۙ0 Yz#A6zT]OIX ](1/ u(0mx Dho6.³ڪg2\f@-j{-N$tk6!W &°4aqZ DuZfX3uEhr Ay>iޢƶdAɻ,R?%Ҝw%MIA 9Tzc ![4qoÿʀXěF UNPbqHi;@DnؽV+y?Y)n0y1-G@+FݚwZTv2Qr':".J1),/hpwrP[ srΫrK4}K-L\ $㞁3S;oNuqm {"/΢emTh䛱^'-~Z:K{?84B1`gg@>ʲA!Y5X@  S[N7Fbx-'GO0ÑD3 3t*uOPvO"ມս` 'kc!'ӌ`y/ecx~Hwo&^VsJ08W)B|LlC)17_1z&e$K>~/-tD=Dz%6\OOۗF^N/EgzkZЃMW)tu,_HQɮ(QN[OoD~D戞NK}RcIqqm_XD*c[d{^b$ey .߷ۑZAe*=4^ItR]9VP.2C|ޝF&=fF7L&Ty'M*,A9~\Nv91yu3 ^r U+m5_=b.7FSKx^~\c银&lƢ VEwn_5J~.~ZRbut)4uGj1Ў3x!GoEOr2f\V=RMT'y|TE9NMʩ+gXf᱂ jiQ| e)CW4^ Dh"zoSSw;Y1װZpBzC4-qc1٧-fE_\`AWjCbJȮݬgYZ JJ 75% ,HOL-Proofs-ExtractionHOL-Library.Multisetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`djH?&dXߖrqyr[W:C (㰯H( c6 I9n9 \+L[WDRcZOFwz阞]u|ȑ_6<o`Ggl !@>ri!Pn~5r MUU+pŶ7;QI70J̱φpF"De;X[ΣHH\o?V$Pl\؂)= nr[0O%w6JV' , K^Ckց A"nl/~[b(nddjaot TfL=eؘtCn3[aIt\ |tHjC<2gpY<*ٺZj(5!M~:iY쌓n7!Y~a K0 n_™ۆl& YƐkzVi0 Lg*#@V\ w2 \b@ҒJSWMdIu$]F웋q8^-q1ԪK VƷ}=i>af3WU>٢PsX:|c,oCAz;^PM%UV; y3=RRE?F ͚N_[5uS\U6]$羫 #5S8 aIl ɧaK ?Z+z>;M$@j.jFQ=oG#nX0:]InZ3j "{c4O*B˹3g?iT@|̄ނ$WDfv#b{ë*.$AGw4E3됎XR3Ycf.ў0zb"g^Ɨd-1Ȓם\hE!Iv0۰n(笾 |]@SpkjF3FbhcbpTorК|}mPB[҆D& w~g'Y*;YzK?T,ZL)5_ٵɘiFQ=z)m_s,d{P8gEqSmf2N0x#P7Z,_i97Vp7R eT'b_dkdi,@f7 - x/Svf#6#MP*4r:GC%Q^yI74P$}I<1cxe&U*|_w4xT.u" X>ʦ `O.B1s%MLpyi6j85dsg"גrWp<V5в׃2f<Aǫ_`[ʢqݔK|{Яwr`$7-@-K\XpJ4ɰf"bQ 6/LJZ4x_qلhB(AN E8C4Xi>_|ز _Vm[b62FR%=흢$ijiA9D1m*c0'ώF* 36*rc{i~\bY'|[],BUV.lAõfyv0 M#ybuyͼ/jv-N$I\Nł) ZG) >bK% {̴cXL0l9'?G,ált'݊ Z-S9DGJ3 e+5G5ڣ RrWUkp-S6"@7"HBc o:BiB5{Gdʨ/2>m']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ!6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱#Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM%$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ&`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI'~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;&(l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa,*CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]+lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+,\bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZ߮EdB?gW:_iyz^UՅZ+ԃ_O(` jokY&et6)p֙Q7 עE6n|OWhQh:F4T'k-J67X>Hkl;ÊUBR {FH+7WJѧJ/UԘ!~"7@ Ȼܶ-`C)e@1 wIjX}F)Ӗo.Xwb>m-NTPQL͑1RPhEc6ڷwN(i܆3[r弥Т*YuGxpleU,ciD QZ[y9 01gx}|`ixVfs*Aw UG#St@mתy.Q n[r6ĸSkQR'bI,y*k%tvs ((Ӹ8h_fudL1Vú[fۻ;. #ՊL.{ ZKi2@~tx,XnXz(t▽1 nݷ.k;Ѻt=y+"t+2zEkBw/?E5C=W5@U$w*z Džlf(z`5A&x2QI[* ;WT' P֗VZZ]}([ vw @R8WO"~г0nNf%1wmvȃPg@}@'|*f 6G:4|Lǟ}g^\m\.qʊ o7y˾L/*"h4!׿+%4nR52&UuK6apPXXgmricA&E;ԓ[:2N++ !\)W#8[w]眲/QИQQ^$!%̢5 (b;SgckXh*̇CdV{#ym%/f2d!I~RG]AR Yr(\' 7ORwt]P` p keXyD/ Cʭ6W߆A^-/x@]=_T4GoD5A3nJ_j5Kk&' D@']ǚw4W}㥁fOB6=ra`Kτi z劂 nSB W$WGQi@ES5r$[pZl8Kb\.h O(SCcvq* -R@׿v:g#ڊ$LOH32;)v2x2;]N$UN/o O&ˆ*V dR*C~&(tx?ҥUa[ȡ| k%/3Á<1!YA8a {t=,<Czqh-LssK|>< *3NTzND]⇹ H c?+~Z1I87ي~j4JWhz ;@XhEz7c'$EIؕ~>:]hȅfCM#m}SI2ŠcϳDŽg]u~9~W=߉+9Ef iqԣ^Q,ou?⨋'Im"/FR 2b{7 MX44>p OsJfRV~fjq֙sXC%gűmuڐ3FͭluP('&^0IuC+s{mB7&/"a1sP=ߓ̍6ЏμHGPc @%WtgM ""<GyA∊c{CwbΆNSeJu+Mq/?S $$ݨGurN%}?"hJQeH(k]nAlJMWض>~{f%id)&DkfhqK׎camf\J?lΰlOŽn>saA/T2 ZI&i,HW cPWC`7==R'r߅+1p˼ hQ Oq44iƹ(IǪՖO94E6h'Ί:10Z}o.sIՓX"1$ gI37̑ {&]/Z̕C~ ݻE?M0WD3m xB$vu͔&@ WTţa%G%y֍}=rz&qy)B?uY/1CmҢ8<*ٷ nRвjHGS~Št',#K{}̝v5qg Cj!e0S@.rYmqFI0.vdɵ}S `HsUћ+{)N%euz},35™7EGebyc0$Fryv+fh&R]397#s w3]mz0:zkDNug]ֵrmR#)[hsjK٩&T^\J| Nc)c(2 5P~).BPe `ƟlDq^)U gYZ96227c382f415f34e26a7988f5a97c9da30b1008af8291bc72d0c9bbf3c9bf1cd136a1b239d7b784 5ad1a7b0755b9073113c0f730f1f12c00adf84f7