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 44=7x\\< ]/ HOL-Proofs-Extraction:threads=4elapsed=123.587cpu=209.776gc=9.1367zXZִF! ?]ŗXiɟW;g``ϐXUӎK pXyψ@rv(><.}xOGg ;JmmIo:y5 E*8}b*ៀtNKw@6ʘf(~`?8Wϖou}^Z|bTrQ{13);ʅji9b"xee f%%C7nI%pRS,tDE/"G;SZ$ ^)sBV“hVL{:FeRZNv Nr?F P4 0q8,}B T(S *\m16 ^xQ,gGd'9Zwa)q =+3Xrcmy1b*\aYD6Q)/WΕCׂW1B`*"reQtrVXkq4l^;^kU){du7^ߟ+/s7j s)jP9)&.zZfJ &CSA\Ss0S[i+IF[" u#fOJ[EA8koW 6cmBdNW(D߉(v*zǶX2~eAxmI2CNؕ#mĄ+:A |+<7WN95R P-}t.yg vmB K#Rd`3\4}#L5L5P#[B|\6<&-Z/I>VHxX'%Jwى(U/[{~_Hu=>_؋+-@fLoJ73{g277R;|{w igYZ7zXZִF! ]ŗXiɟ1˦r#l*1#>Q 4tT5dZKSH ķu^t%_j~9Qcmmhl`= Cbd/ MnY3Bu'4 `98E2o#TrE8mR 05}<ȻuPVlf_5;-if'Ѥ'?̸" {V>o-d^wCk\2pbex|u=+lx 'XS(GPJ=kFnC',M~guيM$JqKuj/z aUd]:lWL؂+xy5}{˘WG3Us׍ޛ:XVxq de}eD ='XLx_]ksTgݣWDG Oq'^f}`SdRQH?2B ıgYZ7zXZִF! I#]ŗXi%BzOؐ+%/AHu&#^}Zh?hv\KKtg?WV7(ee [T n먙 י}#E\{*օJCI;1$xkF[|֭h~vf ]LMR.׸0osYT7DM HYymq׊Ԟ(׀f*-Kx7Aֽϐ)X|n#½w]_U*C03~ZmWq.&rznQΈFn.~*KwV,:1M@=4x%\ _.W73jkX#WuBw݇{TqH"GWLNRg 'evBǛѽ]X,If baĉ"۷hڄ0`+E|#$8#E($-^uX'j`5F5%NnhҠ J: Zvx ^*Bp.eEw2 HqXIiF)NAOSK󞄵ƎQ&v#X>F_\R?ZS^z8)UFAܨxj$N+=^O86@oPHxZW>qAE]g|JA/Zk)#Lӏ)KSj,ԲLL_{<#3 mRGL ҰK˶|(ׯ>qٱ7s8HsL]x1L]H'fp2Tq|f2,3iJ$ZQ,vsCy@/h|L)ׁk\ € nHQT,/WR6(h((/ g8/#dRp=~x}hC]Z6?G@ߍצ2y3BA3WU]n9R)\ə 7L aK%{.;Ǥ6ݶ}%eB6=. 7 HOL-Proofs-Extraction F 7M% HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2;]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s'}}~M -;'+ vY䍂j9}#K+`˿P&DWqP4sYI [|D֢a+ uɂoP6X XC<*R/ P2֒4F& 龄J\iiG F32'eJsp`.u!ᾲ<2g-ʍ/PӤz*i*%y9F2[xl誗pelW/͠X,O"ݡ'Ynw\O)d@is"Ji'Ql=W.!oǮ;/_>WaٰH2LX̷5/!TIhoKNֽdm*0bG;Vԝ\1pf7(`|10j(p .o6PQ+XP 7g% HOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex7zXZִF! #E){]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䎆VՙsrY'iJ}2zqv@.ه1DvBztERBd-:NFZGCIX\m7թqksf(>"w!XKѬ&¼{(w0[ zzrZa]?d);򍓎3.90 3{ y OcK6kooJ|&p'T_i%SkY\c)]^ik^pgt+c}A3%PO{LIl-a-x:KVʪ/0msJ[EYJa&g=U#W Fg/Wc6eəJ BCN4#/?(=Jv21fCKS\+I8ڒCYl\͸ 0/t8/\Rb:ٞςNX84PM1-Aw` Ԣp Hz/3P#Gp;Ò(Q%`(ܬ1dJކU[5)[q?fP9OO/\UE|6ώ26澊)3 7[̯PC Hl#|I`]lm(mh%+L\)rD۸v6(.r}Ԑ܋CkK)^"hd7znn|^:~6oL,sͺ٪mHE9)i$pY_?WÜp">oTvc%ڝ%F8sbyDBBҝ8mG{=;+ W!KQjw8 8 Skx̍⏴NwcJ3m`^66 ZRM|5\)Ӓ'XO[ I8rqzlڢTTXp~2!Ƀ G[բG]^ ک?G~~c0        6d    <N l;75%HOL-Proofs-ExtractionHOL-Library.Multisetdocument.texN7[%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higman_Extractiondocument.texD7G%HOL-Proofs-ExtractionHOL-Proofs-Extraction.QuotRemdocument.texF7K%HOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument.texT7g%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument.texA7A%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Utildocument.tex D7G%HOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument.tex B7C%HOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument.tex O7]%HOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument.tex ?7=%HOL-Proofs-ExtractionHOL-Library.Cancellationdocument.tex B7C%HOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument.texD7G%HOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument.texG7M%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument.texE7I%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument.texC7E%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument.texC7E%HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument.texG7M%HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument.texS7g% HOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument.texI}&EVBql 5&tQXb!*QocǪ9U}^A޷4Bf R|Esu2PnŔ [7r 1eIv[b@>Nx@gZǭvb߾AN ӧLyil`XT+':<8!zNʰ"WTOG"y ;D|Iw)@ԩ+8TsTs}xDƺ5瑱"w+ly *[\Cy^'Z% D@ C[ӳaetІto wZ]Sb$(2'[ M;Â0#-8⪽Yn_w:d ҩ+ot"W B?,|\NI˾>ĂE[_ U[RD7†ϑP}%uԂ4ȉ;W ~^H*q!؜ [XhXYd?ߏAui[<!,荁'=/d s[>,踀$S]mRt0|u-rx]ŝ[O}!J8_TPq h\:zb̉xR\&g%[_zSmXOb8ؐ2Z R%I({8l})su&M"3N9m4 gqQYdAb$h0j-R!f[m"d¤t:?]J%x&("7 {,~bxyﰣ \> obɸ~Nvbi:ucpD=QJN_bȻk"]Pk;6Gq@R ̌S0 ^i@V:v]<«kD2Hcs3V@N׸iCzaTJM"V'\q\|XDmlP@w$@sPUZm<Z6_X å"d͵!!x& 8Qx݀f ZU5ӤC9h U( 4Ys<6_$28+m`0?94Z(܂ ~4[Vt'\NxIrꡓ prP1!Ϫ_%sEV ^g"g2hd/VM&?ҡzv+ G-mQI;l`yڹT\$GE!iw6S-ga9E$ȥ{{wuV\ܩtܯ|'m/-ERƘkopۑtD렸 XR.|(0IFd5%q۔ 7oXO il|l0Cq\jutX͖UN:mɓa <,"FP(\4Ȝj${[RPW#p^2Ϝ:BQ(L]T> ޫZ@(W\qEN(,JM,=i#: jʙG#)[J1Y㊋Յ>cZ8qp>^Sn$Qʘk6)!Pm#rRRsI'hhSu| +708[1Xz ^P3w%9l&/%(TD)$x怈z!w}%fn@~lstRoO]N17[TwZUVgct,jW"mϼS5~Ĥ2b|tF,f]ΰWEV~OҲ fXݭF) 8yhb ͅNpU7 8 >: 1B[/C97wq\MprEJ<6/"̗i1'e2@xK 5* EءIX͖<>seS(5ד}^. o!ٓV F)/myPnxkFO]瘝?\'吻UgJ|(eWK6)tvhrDнI<)~m_:\FYTZِ謫 / rc" oЎ%Cv>%߉I"Z <޵lOj[bm '*[{hNJDw:'0c \kU8b~nFU=abz{ uM8Mo9{/GIڑ2UB~ʕRL2Mߔ|M:;s4z?h[؉:R{ P~?rC/+_"s&imATC},6/2dU`餸wDIXˆ")S=ȼqI٣\j6.#dc&W1@/ Y²/3ah#'ˬ9 L#ȂJP#u@ 8| ;Dy 7MKćܸѼCPmzܻհ e0xjH6t tOUZ)#| Xtb?YjOp (eWkWމ? DclUWg7,Dp-ɬ.ʒcaa>Rj " H$Ysw.P~ۘ6D}} *Fyt#C~#1fS,Eie}7\H.cZ gE ݵ5cA5ux1#q Sz:ɬL_>Qη'c&[׃#"r $ D 26;/z 0it-@%ec;Wס)Ku^yMFq  [D`:n2ah^hPQSOvܐ-? KWf " "2v TgxaZ Rc:1GƷwO%WqvDb8т]MryllgqVLL,Nfľ{L!S(Rz/`3eSG5P.]7ڋUUͽrgdߖ5 j,vR;(^)9 f5#uτQWFIr箖F/A 4ԫ h#rF<Ԕ)#n vGd)+p72JՇrci-)rn|]D ֪JwG7 XI`yռPK'ݼb]&wZڠ2H†nnAc5r eF\z68S҃YtcsyDvT/}CF϶*Ҩ5t(zS5B ⽶L:;Zt>hk3v.fhTj\{k|\Kl,zD:Ϫ8xZˋ!c+TW5W [~ky cfid,s0H*DɡB^Ξ܄~" \TIؾpز FD7TU%uƞA?nd=xl<;.lvEF!~8>4|}>FHv6 %l\݂ETU]i4§y/:4ݧ& V9 n5=)?P B9WI QKg0ʭ=m_tqУp>meWevn I=R ݘIZwJ (`5p^w%9׭FmVMA"vi{ a^$Z2#8˰ҵ*1B|EmtbU@n[fOk!~ )8mnx`*Àqyv&5$-tY^Hw^+b"q[[oh J-!^}{XH=H],]rs\,BvBV|֦NUb17GKl2FruشCQj#^&9Nh^QF8*CRW(G9`JzӍnQ$Ri],3D,3rԮGA8ubӣmol$1ŝ uSú$a}*G:/J;s%SmOvp3g:(֥6aUЏ(u;T"f*e<K+B$(&H4H+䨋~<O|xFJ=o$$rDfk }]378m<, #1p.n!z{}?:խk% 5*yܼ;ޞXgoKͭv|xg8la h7h]^tȦy><=FXl8S!|nB?hBqJGvž3 ~{¸~[Y $ŝa̹ŬָCtbђ7UuLk؉SJԶ aaiH:xŤlޅrw; kMW7L(ҵ<1sd&RZՌM*fEEAPޒR ZFmvDN?.v v)x3 zK*W', ؈՟]\)QZMW$H2:*KJD}wm~Vg-ajQ/pUuR~u3}?KV,"xNE|E>ҡxWSHʉf. "V n&%9Qy}?rpa)E6u`~?P(B1^SFlyZk3t0a-WFFQTF+fܵi"xZ+9 @{Ap$J01I{w*ye $a8iHgӉ6mC~Jmys`aiVFNzu߳CmJW/D+T QWou Z&2k#zrx7(iТN,!Ǵ H UA-ZRO\\FtY}W| :XPjޠ;_ջaI-Ab߿tdjq"FO3ZA3:EtlhY)w}6zH&LyatUk\O(U}tȱqC SXgYZ IԖNzSS1cUH~;nǃ`.#|YmJۯ^BJaPq_}B΂pm/]+ A ]xVs93Hv$uYP_EILP+2"Wد\ڥU]DQ\?yԉr)?WRNaN& ^搘Y17 -+bXio*`o=; ?ae٭"*9 b)?GC' \\c,'Ak.Q$rI(ž"j~\Ɍ#ߐ?"a=wҫazNX:Fl$F.:u]s9ueo({,"me[;K=R5q0w}Ey:%"Bv#0.>>QV Rn834il d՛@ {hIО0ܿ6]g]N;ЈX{7Ǥ{́*e-mصNrU <DG뇰p+dS&'>GK~b,|Z]s9qƂj>4rڲyAEsF@\ANkZ%[A,)9OBiZ: c] _?[6r￘Y<8: ը2uNy47%a5ss '}.Kn3wqEme}8|*U"ti?O?Sޜ6nl^nJ݈㎿jrxnJ(tsu:tMCuy~&G>DׂuHb{@v^XЩ%grGKEQ*.-:Qup2(œ ݪwkwk46F*c|CfZޙ%]6qM,P3^xQPxs@Eho0.CQ=Q5BMb|=+F(ľ'N(7KR_$%DRJވ '%g=f f8Enn*3Lᑶ'oZH~!_k`i!sV_<`>7RB?Wd9>:>~}$BzBBHG*0^ b#sZ؋w/-tZh/ymF먅 Tk^ոM)ڛiw!Zq>Fe'X r=:lyaGa$yfb;J 턞72ٵcUZTP>f9(;gڴF7^(-Tt37j-kJ&,tΈy[>1*hC%12 ky\;дFEK+A^yKu=95hk{BoSXVkC fdذf‘$Sx|CA ;D/)d4IRG\E!{18N̵QVt&@TÑ;=Bԁ[vV.$}EuMu4؈0MRK^(Mn! [н302;@*4ǒ oJ^q(JUg ` Ѭ z,2q6!A:l]o+t #$Qɺ2jnux4^Bҽq O&Jzb2Mm )$v)^2/VUg-fz`7Lyz8lLBN*i2 ֍ i!D2^KUB1~;N91cW k6jRMb;e; ɽGMZ)ayTWQ&dA^R~kLXN@5S>u 9R1%9 N%7L)M:p1pQ2FEzQDqgf(졙XvR6bFg(3 B(+hSeT{D)9 XdV쉃c8*Xsx!Y䖕:<3Xl{䣭"t҆@\IciW.s1WUcq"\-,M2ю `gQn$WU* q27 {3m@:8LmA{ve:3Ő 2 T~I[}<]eZ$L^i9N2QeB=3YRu+GsD_jyiwgce[$Iva if\jxiTsI7K'` 𒇵\ ČmBB%:l+ C m '"HTޒN3gjJk+NL/y/(w(\.T[pߎyȊ-7BQt%0 _m *"JYlUBȰ]*˳ɞ9Xݨ.X5d@/f̓JFȝI]|П`q+r/"K ^i\Uvms+8j*oc6L sEg|%xkX=NDe9gyj3-"]Dž[wx<]$fgVg`a75-Zn|Ѱa*c3VR%XhxA'TQZ%$RI,e1bRfr@J>[ uDoA) ςjPKxbPj c/R\$~1[~ȔhH%聯I!CT['dLW'h1!20#"e0W|=EǪoDƊ@Iv 蠙T ~-|5D?h < Y%d4Cu_Y34GqH&̝n138/P׎ q<͡mE[[K1fo@1_d (x+H'^`;( d[Mx зsgE=I˽Ot]֘Q>I=#GѢ8z54x=iUG~iwx/;PUNqmo 7*Ą4=F`_1oG'!7lnM4RY;TK:a:+NY"nt}׽)ѠS>NYCp-m7YxF:״B2QN/ׅ,5\9$coƓǦ8\3V<¸uHTPb16e'}XzjW>4` wd0 їCvN  %RM)0~iNWt (/JT;%y |ɟXF _+1ል~{!x'uYڀT#)kOvP[>xTOCľUַ E'f3iBH)\eq|FWTw zy |Pբl3iC;`L! ʵX<%cfVR| r-V ؾn-,Fr ͈@h޹[~'+'т;7l~KYKj6 i@ gcB.^V |uH}*+3\aE cKKXFqF #@ԴYn7oO9gѨ1U&L ^(H{ט DeU^1k nl!Ҷpb{l#9H-^cL^~57Iˠ+D42&=ͱ5%:pg6[ 2CAt DQ;:~]$LwCٯw\l~2dmZSk):B-SDD"F"^ћ(mf8d]Vջ1nf1ȗ(zd+'B_' Z`?lJ ϰ0ΘQ;tL҈&!L%勄&ՙih/ζmPM]߬B>HN֨Y j]:]F|n6o@db߀݇Vf 9z[dP.2&ܧ&1w/ ޢ<fh4IGuӣVV0t[ۉ"|py8:4pGIf`'0(AG>¤&pIrV_ߝa$_0t5kୀ.M2LE fiMG>Ug%T]G"ǭ,ojz#iw'h4<4 L^ )zj ~#5ǐ!dMWWkAJv8j)"k;}ϙ=/>4e?Ð5 ]ޜ Aou3Z^C5>%pbAmLg~&`Fn e2Bw͛kpUՀԞq^;:i?'>$ap |%ܡ)y Aw_QrA 9q.iESQQ (6OmpllS/2i?4, *c3I̴A^67K8,&&g8%ho qd.5/^r!8kҀƒZx"-#e= #wo~ևp*XAHے{_&Ǯ"6]Va}(JDcʯD=CD).e>J5FNFM5q&U"-nxe!wXӳRz29hQ,u쐚ַ[4o#rY8gC>[J*6+MX)s[tGXxUZ-*6 XgPL4V臛-kUj/-dО~F"jF\(!Oi5d\[BktOw=@&/8elrN3Q@R|ꇠ÷}m]k\ѦxM";/\h>>8vv+=-B~_÷q Ow~v땹os7:)8P9ZOm 3݊&0: '\[-hLSg\1}}YcdtI?So1Q뼷IpJU>PANdjƎ47g ~N0D pxGWB6<.,n{ RzyH|W@Y8[<3*PVBsLcK$ h@7XrVCݪx뽞yLEɨ1$kEo"H>҇M_b# ^AS?.#Cɍww>^5eÅ[0? [Bň1G5:HNao".wTDLTJ,_Y 5!|hwyv,< P;TˀLyHdYML+o8TeَAVa Ue s'gD:V~$M6fcGd5ʼno^읫\tl e 7i+0RI,~#g ^օ)uj3l EԉaY*ln _3Yqo1S4e鞌e4hVsBSOTq}mBl"e'UyT3k?l:FE(IG){[{/z2FG :t*z|g$jcQ3_d(W'\&J\#LGt3Tb|3]4ODh6^"7dnRe`NB2c6M1 3bR0k O`MrW,N|$_OНpSrMuWOZ+*kN߉Ӝbr̠vIYHE^ggM_ƆA$krľFS ƌJ~Nݯ}2|lo\9GrҸA O;*,"o VDe' 0sH+}S2xYcf땻O~*g"C 8%%2:*AJŞ<^܎ !vp$,< z[N$t՝:dp= 8H-BdzNrdB'pT(M\4%4Rrc.Tm)Yؖk'(X;ɱi#FGYj߾I=c(n[5; Jع?Er&WTY<ٴJi <4~s|fH%bzgAT5VxST2#;Us! ÄptI_=mef&?,!?\jz-쑮L_V+ڨls߱U*C,$g{+_M_])5Y y2=yk{2ݯm9!` X|;R(_Ne!@L:X$Ç 8%u0W$Ծ}Ef|-c`- "Kr%P [dM:,sJb9Bwg ԩj iܨqYp| tPPP,"laݾoH-c6IXh,tἿzRQDyUb}1b_:GQF[xd+z74L`zDY>ݨ[r6wHYt: '1 ^>\.l1b'GsfиoĪLr #5U,q5ݗ8՗epݲ%ΡM# RdmNw:X/ & 㻃30ҋqBp140sR8 4r} Aېc ?v>THZ6:+ۮ7r*$껷_2 )D²@S}'ⶢ-;J%|\aG>Q|vc[-!F4vtSHmṴ =/hm4|vQy?$mNL/:J1jT rl.㓻&!u06gLeEXCҎ^۔&s,݃.@r 8-HVȖU m>r/Kg.&F%MejCoy-<;@$^gz» mq:WoPħyR5|n˻%m,Ϥ3+Ѱ[Kw^e׉Uzx09Rix]ׄ?Pt Cfy\֓>6kRPovVDɣzms=tYqA:ō|d,1HH$urѹ]Ē/N~e[z Wuv!h.aۈ͓^[t4aiV..; 8qdh%c)ՉĀ'% _V;d 'W4z[h[`«l.ex[h/.3דpժľlZmN Dp|'NaIn0[`]Pm&[v~x$ b9cn$鳢/xߦA.*δ_4? I*m ͉!ONiaB\K0] RL6Q!$h£,7f٬rm}ȩHyf9Ww A"ǶK_\c{Xsi GTፒ}׈~"/mNwMNbpR} %L)>grĤȔC~67ʀV$ϡ ]0pQJSQݓ<Ė@)=;N+H4Jx9Q0I,L A@IA՟y©W)&>: S'E]51[cP60;7fM3鋠@_D&5$=t &攻בzI\ytpzydA\.kʋ;$II/;Mqo5xMzs|kQ&XFujq˔ds [֐7!U䭶f iZdBs ɉ+j0KC'f-L&q´|wEZAhʿR,,i_ w7dki"R "$5(GœՇvE]:X{PP cd+"FmS;2m7-2j DPIH0p6YWh:US8j.O5 $|îGHSuϾ&5.CgA\HTWu;0#˝-4)@z Ywah¢X)f&`BC&M/4 F!fxyVi3p~ba"u9{`+bETEP_Ee |C>_%M}sۄAz[~0  Rɳ"5fZݙ)d+S3%b-` .yZ䀑^jH(y%% [R;;v 0B[ZÑowj <:H!)z[6e6 BiWE Mc1<:n!!fnnfƶS2N}ctq^-#ׯE=!k沧ġ'!"ҋ!+JoMz|vh!mHcx(4}2egdI'.mh\2캽Qx! m~I6V,_Z\nhlYXe*bg%rh~tfտ9@(>GyBP[7>2c])]ّ03m'5(GJZ?eE*vc[\ {lXVh;C7])xZX*$2]wS#~ذdmkrq_e{Fa":П&.J"2#e mWDk@\bsޱd}#|d"EdO-!kހlOH7@|}KGF QpղCJ_TXK1@:))A/˝=Q (\|'w DPXT݌ fUr|/mLEeE=5^CJ^FQ hL 0C8bkBnjrhbX@ݑo$3ڕ\irU[T%Tm֮>?M!48kD57_OGe͕\Vj5n){! Ԯ3ul H/X/Ql Q! wDˋ_x8w?AMk75 oM]-u\ @OqQ5G( /Y'tbf޳f2ZE$E{V%O?(6/$BU̵K`4r.QH7ڑ!$_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'ƱgYZ F 7M% HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument.tex7zXZִF! 2;]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s'}}~M -;'+ vY䍂j9}#K+`˿P&DWqP4sYI [|D֢a+ uɂoP6X XC<*R/ P2֒4F& 龄J\iiG F32'eJsp`.u!ᾲ<2g-ʍ/PӤz*i*%y9F2[xl誗pelW/͠X,O"ݡ'Ynw\O)d@is"Ji'Ql=W.!oǮ;/_>WaٰH2LX̷5/!TIhoKNֽdm*0bG;Vԝ\1pf7(`|10j(p .o6PQ+XP 7g% HOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument.tex7zXZִF! #E){]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䎆VՙsrY'iJ}2zqv@.ه1DvBztERBd-:NFZGCIX\m7թqksf(>"w!XKѬ&¼{(w0[ zzrZa]?d);򍓎3.90 3{ y OcK6kooJ|&p'T_i%SkY\c)]^ik^pgt+c}A3%PO{LIl-a-x:KVʪ/0msJ[EYJa&g=U#W Fg/Wc6eəJ BCN4#/?(=Jv21fCKS\+I8ڒCYl\͸ 0/t8/\Rb:ٞςNX84PM1-Aw` Ԣp Hz/3P#Gp;Ò(Q%`(ܬ1dJކU[5)[q?fP9OO/\UE|6ώ26澊)3 7[̯PC Hl#|I`]lm(mh%+L\)rD۸v6(.r}Ԑ܋CkK)^"hd7znn|^:~6oL,sͺ٪mHE9)i$pY_?WÜp">oTvc%ڝ%F8sbyDBBҝ8mG{=;+ W!KQjw8 8 Skx̍⏴NwcJ3m`^66 ZRM|5\)Ӓ'XO[ I8rqzlڢTTXp~2!Ƀ G[բG]^ ک?G~~c01Sd-zy r-p$#* /  7M% ,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`$(wgH?7I% |HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument.tex7zXZִF! 8]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.}7E% |HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument.tex7zXZִF! v]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ۭ6lI7E% 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!0Q 7X7V;*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^YI_ٰw_}2|DC;LEzQ/@̵4XiY"}R.MРQ,|0F/29mϵ99%6ThN{ )er.nlGU9,cDbO3Z(/Vnd(4,e"2(J W,9:r-ߵP|!>?\m,0kKޡI"L{ڨ+z {J#Me#{ &SCa(i7vwU^hK'\PwBV.q[,7J-195 =_ī:S_%Rsb5v+cTq>Eg꾟~tqk$aZ׌uFGŰtL1,#w~\ DI{PO? 0&GlRHKwat(΄ >@ưlqj6>Ŕ}OvD^L9jD۸QUCIYRߥhF?s*. ݺBORj6̡e>mD3PA"Q- f4cmбa CkOEM;IQ-G$GA;hM~ 41:6ϯO۰&xN-{Tc(Y)T= DZ[0<d;XLXP 1x DuxL 'Vs#KZ;9ҝ Y*I/e,S6&g}rM UxĬkLGO> q2{Υs),?5tZ_g-FnZ܄m.CV|T|G^FYg_ / lyʖF*GF a$i~ݧ2"1B+\X o]ОNIWIAb_E|bBKF]o;&r T!ٛ~]n<̺M?9Ƞoc(ߠZs{#T!l y[w lZ?_J:e@1xO1zw?2^WSPrXؠ(Qo+7IV2hli= zXpKQHtđm_a&YT&ǒ@3,ޝ]&cX7  $w*J=KQ"^a 70H_-(o"w)/j~)PСl]kYU?Zr.)9&M%mĵ"1cϭqYK!FA3UF7EG):`񬵞\P汆8\L0kofٮ R'ܮ8ƯIv<Pm٨PQ7`߉ST2P$Xz }@cPݬ8^5:lo<>ӯ~SoxފqJ·mC=t[ -(M}ܲWδ1b%; iNn9+ <8_`^hi%R`C(W+~fP1q2F22H;:-m Ղ eL];}\ғ&:^4dVx( UHJBU FwG pƤJ][bxЙ2Syj urlYgqG}5\]c,X J;Sw̆#H\A)^䞳m`'Q$!IGȤ?Q$7XI{bg9='DQ;8 غ+ls |.`o.:d򐦊=~,g4fhUW#~9I\ ."TMa !{7&l %={k<6?JYjR`Pm}܃H\ &/ \} l`EPBq(>eRvӉ' pًegM`Bz;*i b*H9qD {%a$߉9Fk""D9vƶ<;ܝ 8o ;;G7q8JL}P`tc xU9?kCFMLՑtnƂZ6ejL$6PXѓڡbq x9f/ MvufA^?<*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(H9mhdLOTZG|hXY#n@6b‡._C/,䎍Ǒ> kM\gNy5wk  Y\/'@ ϑS>iK!]PNhei 4Vx"r8 yG K|#>䘛 :}+_kEfcSw,rg  p_H=̱8)6UuԄk|nOJpyαfOUX>~42FrKcڰY pzAD9j˱2'KZߨd0N嶺-\sw]MSbOΰnezkDgөAoXɥ".!7~4썖2"DXKaQGtj[<75%&[tZ7oD_Z { dOCoj+ezVFQ O.d0E0Ľa7o~,ʫ6@ 2^f3<^>h|O i0ቁj'[z:tH4SY>^bLbSm[1UeC[ۡKvh"MlmcOBg3)מ Ac$h95]Za_( ֨[J3d-" Z)fj_tXRՌ-xԈ'ƳDž2ీz}ꃡIlnڈL6I8aގTEF &^R hӖ`kLMjt)ċNA7,&0<$0۳BU~E$Ε=Kɍp\Lkf$M.^fS~q5 cטYe*2+l{m:acx(+hB̃!q47ի@uY3zTOĖ\iƧ9`GVx݉kXT29m\9}ꃴT[mBUFYySw2];qsP^R;;Mf`ӽ;cRBTk(rAzO5$J'PI,`r&O!YoqB @XXU) P;E ϝ>!^ nXLio"Es|?kcĒ,hjڝ.O][ig/p]2/2$׬ &:O>2ȥz0BNBRj¥FŲ~{a7׎%JUu򱷚47JU M/Mn*i9NEȤCQ6mfĖ䲹s)P4qEVj㘐u+ya[m!_e匈,{FY #f * ^6\S~A12]KG/yOvȠ9iwo=d$TԺ8B{*\z\['a?ꢨiR~~}HbnZ[v2%wO-t<, ހC&5tAA|1"x 3a'QAx4{j]p`(CCt %?Cq^mick3&Uŭ+}zSFn)r9 0} ȇ]o><77 NyH :ԱgYZw;+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 :7G% 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Өƴ]ֈ\gYZ 7C% HOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument.tex7zXZִF! }]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'&ľ?'U2X2Z"GSMt;s2$b'Vuд-8{ Zxh췩ZP/śx z, fx985 48h%[$AkZ`]HT+1vlwŖ}Eٖi`G1nkw>sd~aBdz *f,=eGJ6˽P#8q3YLzrXαV 2[] $f]&"@Җ V#yuHYمj=8A.+ {ɽN+Mʫg6\jG-)ue$wl?WyB&:_˳YxGz5XՂ8.fcV8^s؃\fq!ekB?/ /='Lu= ɪc`C%Ϭ 15o1ˋw$WR54r܉EhN^.~V C]?c(c_*OIdr8QٙxOkVVe{NwKZ`k5:deM3ȃ*y~ )4] O!%r5caSd3,2"0GISwGt:\9LQn~[Ȝ, 'oggN!riCKy/r?T0w be-sՒ츹6{w2.TјN`+ΤV&3,RcKJWu Ё0-MU/HI0JgfqsL%tIT2c}#TχZ.8ॴ/qӔ[;A89(=sõ|+L7ob2 fҳIr3jlj l#9iQR{ #zO dS@[VM;?62 K8_1 /Mb&R`6xInX]+Lꅿg7_prk1uY[Yd C%Ny g?K[h}-LJkϩwof'aA *HBJO VZUlܹJ{sBg1ZE2t#ܮFXJDJ9XcZֲ(2ٌ7a3YEq2P,wz(w]+á|dt*?FZw-~o >^4KvJ-“ΠLCY)Uc_`x(6D93R7Nb HM pѕ6vQ#SN±]dj:4(S4 ׵1!IT3Mq8|]}c1o/Yش  l,#ʘɜ0HJdk/r m:4Ԗ38TX){5 {-XsުP:Pn,I",)]^&, stf UU њ`;߭$W'r7Mл1 _ BvOٻbxP^0S3XΒ'.{ѽ(G(X  QVyu{E3#2$mJI }- Z#ˑ80;3L^14,[WR=_W zv 9 # 86=G>C4 i.쀅E,}õg/led9}D ?~B-%K-Y8k@zIAoktţwgoІ/@r8sXrw$zBFl^4m +|?Rv|EdձgYZ  L  7]% $HOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument.tex7zXZִF! Os]A-MՋhvG"uIBm5f` 7w$K*Y3 aSnV t#VlDI|J$2X-arG6SFWoΫTvcD E >jH?&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@ҒJSW(QBA.'9hap5UF_B}^`Z5_y#Frʌv ~ tαas4ގ.Qk>]yMhS=w ԞnC<=&'c6zmaݕՑ ŰHz*uXYnX-*~KDk{ )I^od$fm<}Zl'-﯋g`xU;/G};n1 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ޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ4aύYPDPȮ4laTc|Uf)e(Ոz3WTD@?mYuY#JβX8p-YVձpjTd! )v`:iRir%iIx\ d 3j 3[1Ah5$53oFց?mo[(} Z0ڀRr2#~qΙ'r iX K:jRG3mXm;n4;jg=k(Cl{wnH?nON %q7w t?t@@5b/(BVo/sx\ch}a>oF ҇ <)[[QHUkn=}M4{4BebSp ISM}҅W\LMyXS@eHi m\6ZΠ-(3.Hw@.{EǨni1Z ]NE)Hsa>ylL9 esQM ?5D@*Jc3MPʊ7UIy0C:>qgmТhp 2Hc_(*&eb)6{_cw{C6J;hy]nuHu5dSuY7;҂’9*m(ܴikNƹ^ 9kyvhi 6+Hʉ_cPbBkhaV/X-]yp~3\ Nl=Ry?2`U4ṢJqB\y&4x W%OO#)ғF.])J#0>c,&g8ieR&6>vsů,0u Ħ5-0m6W,Xh\ ^@CҢܹ^l0 >ELJs=#+ZMz}n.z c)#Cdmq7fҬ ǧ- ItxW/NvgDӗ͹mE(bR]YGb嶀J$s?ʐl8l !|sm7Qpi4-Og΀{: ($n.2*gR\0:[mIu;DvN,Hg6aAޓJ"=&CWnzYE@Z'ڃWPaV y ?J{0SAj<B'k9!hƎ_kED\~;MjyOH[$m+:Mt7́e!I>K;!F\[#-:3@4NP]EHs:5|5ow|T#rཐ5|jSQ7ʂ!H͐w$uqOJl.91A^\OKw]pVM R',|`+nZQQ#9}Z(AF_;o} 0.F6薵. ~ uZ!wǭ&_G`z1τ]gR7zH#mm],&lo*ϯ|YRcOAȊX$YwxMdO٪؛Ŭ=OToŹ jG:mB _R$8Ņw M69#|jmQ&|h>~>y8 ̜Ĭt:$P 6BڗCDDoۺVnH( ݷ.:iroD ?دPM\Ivl$'.krU8{p696g~4 ;"Ncjp(Y̫djv;+D(?~̵QLvSx .4 mXhS=-#nlCX *vO!Z>\):br|zD0=2U8׃E ]&nwi/gjd0rR0I=IɧDgG(iE![;a/}gr1>L r¹oo%]ԎFfnhTY;tCdaj0E@Fu3AZ.JF+54y-^8Wy@($CY@)oIxOYL.=ܿ<#V(z$lyȼ G=f:'ȕߌpe0Xr=zPѩPW39U%bz(-֔xk76_8Q VLt  dKxPt߬@g\Bd*5ahS_ˆ|~ CEF^g5؀`aa5e ߇po@ƱZR UC@ȼhW Jes1gt]{b.zEǪoaJ-9>q6xA4U(jΜtu|Z)ݹY6Bŀ 8TxXmw64Rؓ6V uir>obssma(whHH: >{5]"0{i?6U=(PpN``0ÁLK~K'Y-6؇W Q:߮oW-eq0hd!wp+P"5-ѹĔƠ5|Xnj?:=3w*$ =Of샵M]ַqx0|%"@R,g~߾3 ZBl,;[ > Y7:ΕFn[v*ަ[;bh ah^̲n̖=QO f-LGGI\ N˘!eg3t\_dmaˣwI=q&@G!iiWW6AѶG}ˈ +ɦ(tbTZ9C8_8oc#BѾcL6ν%GMn* !Fbku(ZVq)Cl؇jw~s7|z}Ī`V%WMyxajB WjGKz4z:ֈ/7P^:gg@p `qo4H蒩j/voQ%MLFiҴ.9BO%&g&9[.M_?Mf1Oy嬫E;3i9(`S7&Gpk֮kǸbe#G 1]䛮+Ł/H$8Z)|˨n$ó5YT:ه'KD=k((cO wB[5W^gu&(P0^ҏ{U8BxxN.nr f šnaqG ^k>$g9iAj g 1c12e }EBS'̡{ r\;S;ׁ%!V̞'s(|fqV=f }G{ﻋ[s<q'-ܦ/-(Wf$nZ`JҞHLy[ak/Qg*M~ۋј*wraw˙;#13R1$7M2bYxUF8K.E!0w1hJVEk=+4,_Pdklfb!K+5SOF&_9].GA)"R)b&'Ĭ){8dU\S>,7?xZ/_nkn@S&$PYVA @ik)S"#+"#mhW$kL~<)ZmǯASwNI!$D:%8^b[ Z]V n +<賂^'M ?iiG"K+Kj[ymBw$ FtYK m57#,;]/t9Rx+z,@S웁p*T9{w&7v$:NOx󭶢@Ws.M$$ROǏ>( M!GCqT«*!1M ň%_*;_RvxپiD 0O!~Wi#=[p? ]Nbtߚ){STfgǤɠb%KfQCX2U /V%nE> .xE4O D)G/{ . Sn[',$):f z!2 ; c}BvWw[=i{O*ME_[d2ެ`c t$,Z_X^2Rkqką1,B:BEI27Iy~U1K0z̍.k\yWD8"YdUtI*J]JH4]M"2i]RV1eQsȊQRtru:/8˹N|K Z&ibt…0׼VVbZ (v jA ID pOEdEKؙ3.Ɇ#pp$8txYۦq q*5=Iφ^ IyL株RLrه>fMNFJʶnAG/z y nHzWx4β J9Y9+x t@NBG̶d7VLLfQ r'q跔4SK4E 1w>"U`DA ipY.x0xKר ` >X2E2YcT@ZN.g [0ƛĪ{DnpJ2&Ko2vN+J8a{eoIGH~E$ *+,i7齗be+ E䥔@rn%+Zb׮w&ݾmB=EW}i)YCb3۬q[ةBEGI$ɴYO_]3D&G HJ-se>W{B\좓4W&?`sFzZr*u=Y uֻ>nV_GKf(nJ476S DQ@z`&`? v =L1n76{EVdL@KV*)ARybw-yJ0ƂldYpfR =64S[QrxF ̐IO3a\q~^Ŧ GC'Cēq؎TYtvab@DSrEky-yaNǟk^5x%#  7%lh~ v2s:<fߠL8 aG퇍ّyf k*o$1ʈ->Ȟ0%(}[NQ{nLЌ>]"=lbw/.̐#6k |&&ķqs•Ve1>DX { 8Nc]ed ;אޓX1 e/%F(  ]y#VZ P|;߯I,4:g R%ћ riQm~Q6QL` ,'sИ ڐ U):V"wzGЮkÝ$lgMh'$ *Y-o)l:y27\-;r iΘ4qQ`Џw͋xI\:I4G $Ng\K,>;9YGlW<%Xr7?(Hf#2űYlocrh`6;ܒ,P@ܭd/GܔԾ>1jI^pG4D||<֕mPZAfLӬjZ7eQwwW/VTa|@B.FW^}ciM#WYtjWҠMGAxǥDx4xRqݦpU#ͦQOW7gljg|b"WQEϣ=Ra0 hr3p98(RT7z+B,tow={ZB E%wMmB۹>pULY:Ҍ{PJWDVg)t?ERll.#%bZԯһ}nW>?5nH_NmGƲXާGsTaP*$J#b)=W3 ۻmo͋nH= Vq'Yy$~kM\lư+b '#M`[GPgL#K# 2N[BR\.cNstU@HIfH:2걒`vُvF xkۛpXQ6N!P/JWk-S^{ڽJuw SnߏN*F)fyY1qyFI1FZCZ? Fo' ŋ̸" zN[usmwuOfƭ5i䤐Gzʬj% jl\S‡Us-FpNR(unG0r|.7_GCsN!uN$Ѧ1Ky|XCuV;t̊UQW|(c"d|nEX: D-@we+AVDv(|<$y-v]>/$ꃬo# "ͭ]N=cO,8uhMJNd]pp w7R!~Ժ3Kvs"D6o*:XK7:muפ%yɂҒCQe.H7!d hSeMkNAQmF?ח0CbC*9_^C0͡J^ND}6VAowj&07o!X࿯W.c[M*QoC4`kRW RnXz3hs ( ZR[\=xBU׺<Ჵb9恔l_mRѰ*x~261)E* +޽kFjdVF3!E:+tsL~Sxv˅Z7+d7}x|ā@Qڴ3OynLi+ٟ1ÿEz}vaG=|+eyWӶ}~Ww-ăMlGT=$ QpwwVT25QB`JCτ53\_k՛:bأEXVM澭R-S. ;.v aOɱrB(iT{ƚK%1%FO6E&v쪹śBXG攑\f[dk g/ϫ,rim-5I3+s6GF L` vY„ O'@;DJ T:Y+c` >!{iCha' KWLuMg_6 ֔Mӈ);(:v| /o8R`=T]^8Dߢp8͔B7ǘ!nA c}F/]3_r׿MucV M ݕg:&ˆϿb9vEH97^.X-[`. ޳{ر+6moC3*LQ|Q!VGߟ` S6 e"$#z썶~~Md..山ڹ"=X"Hs7z;y $~q!_*(k ;ZRVn*=G+? 6I<R-I $;#=sV]v]o1a0R<%Ǩ)0k}@^mm$[-`Xyž)w.PwS@GZ w-<>4gj.t!Sp3wk4ordNђXܹݚT\4  *T:kr!QKmpa ٰM+7?ĬkW>K"qOUdec["u}V:'[՚F9wBܑ>Ј= ńW 'p@@|:C@uH: ȚF/zh ЮE8rk…2Lcd6 >C{`5g=7*$s<7Yř>-. sh#N91NP:SDՌd 1?ɒDͤ9 ^CI y%<70P(8*#AS&HnSo5W`zxT_i# (CT1K$ ŒP7Gрk9H#Ɍfk{eb  _Cbj!pUl&Q-*~)D_~b8No@V++GQ58" ߢ?)ng CO(M^K܋ԷSP 2{chy`i1TkE=m"ڼѠ'pG9O΂ܿFU9Lw WRY` bƆIX|/'q7]A:83c\pl7fc8se?{(BKb3v2Fqx7rr >FkO,."hȞhM<$˼OȢogU27<ԀlW}0pl4E_`n-wk'A?͎YndU"-c%?'kKMvCWyS$л0Ӓ].Z<9^tl7i'2d%;JzP%┧<,ѧr*-QF; 0NI1_c$;!@ݬ_4 ǯ%43?o㕶)hyub  [xJ"60f}MWbQ[VU> S4;2IEe߽=n^7 @Η6|eѱك5d)i%⇁Lv$׳ćx.%NѠ vHs^TcT$܉1١3&q@2yz=r;6ͻRq{y Ε{Y=$Lj8.%M=u;8&͑0Lb RQ]M[ݸq~9#%aeG_}qj\u=V %H]RPUm R_X@jed@pFC&4tZ 4sgBz'!-}Y(y-_UobY p..@ Q#6UtEjx]l Hd$U=2x7Oy֥elP2˖D,7G~]s9x_$L,7}0&t{K5~Y/&):ױ:I/]pYBKT*ce Ƣi>S0a CRT9[0=٬uaϟej>.Z$}WcsOۧ\4چH2'Xv|p(ImtL| 2r0Ee!s"!AZCr!C֍mLx4)͑Qvbm/EWh`Z~0'0CR9Brx"Whт=J$ nSJ4Tr׹ѢD ~4"vw LE-b:EQlVԳ[J5~пX@L1&/`Ϟӌ]ͦ<} > xUv P@h7P2 mfڻzY-6nj(ڑˇNi7̙'8]XC=x`Ͽ bQTIļ3;RYpFGxS5 >tfp?ٺ)a!ӊ<1"P_#HE31 ֖ fҥ>%Ҫ!MG\R3?X^;> o!WB!:+uvb;p`+//L&$,Kve7btQ1[kL?#ҒŧYAPݎ[MP&F0[_[ō~~>룊 R0d'G%ޘXP?%t=+s(/)Ȳ_nLJ+X흭N)nQjd0?)0\ O} ]TjG,:^W8 |>y ec yaWE-ћc<%&?ib~h&V )d5,c#V򍞲ȍlQػI:SX3IpNSl^W| ܙ8qJ>=n:]"˽ fW 1 K12e٨iKHGe:n) oꡒ±eMqNx, 8ۋ2x;3;u1Js][~gX>~t!7jX}ܕ^wuzbG5'2sI9j^n] tZuěOm1$&2kerG=`砸uJ%Q UfB)ӪkcVV(*pD4_c~Vʋ+ Z+& faul؋VX$'<1\.h$XȚs@q<{{cwvw^Q\rb4SQUfHGY2yh4O1Sg+hAΌ"=&v4oe4߄qՈҀ`mS$PxQH$vęoTRaq٥F+BboԚ?i4䂨n\[rte5tR^UdUWgE<ɑ1[AôC=RM14KhYKU4P$\"AM4a&(1 m뽒Et/C"+%]ƧyvoI<rȮvxiۛ,Lf|>1ȁy f&|*%% 6I‚,WPv̉nَ,;wrq׋|_NalRG&I8ZĉL@d=u>@+(c31RH H2B{x0j-+Ghۏ. .)Arxh,AiY_K-\Rw$͓ TWJ"ӸS:*z\%=8wB}MwaQb]n@98pGW(lՎ*l+.&.\}&usu&}V?~rg-k h/EL0JS= $I™Vv^D1CҮݔ+a{;09ݔ&nVbZuu&O:|ynl>H: 3%P\i dk:/ٴ wg4wkfA'^K a4e8Tg͂xMl$A1|s[m9A8Wլ</g,PDQfo=:!%LB=f &]<{c ^ћkvSa> ykЩc8@/WfNʹlYƁx̍VD*{r˝n?N⩟ zP` kلT)|bi=ݮm-EZ'˦}1eь[, P, BQXZsd(\pE=.%t_-/  aP3W+iP;J@[bf5*K%DIhsMtڍԝQt̫2wF+2! Gs57fU $/o<湜t c YTJݫigeI ثOj\^"̷5@%Dl>`g"}7YbŚ@d_*HZnխAe!@ URj'~ M \">[bйHG$wFگ+Cc8+X㳸%?۱S*5OGE\tŬTz#@RwA)PoUDmyoPf4r[N ƀB@ze-/[d6ܶӬd=eD#1X⣡9MNDMe"[MZM"nN+#ki>&Œgt̾ޫ6VxA4 b ~J^|Z7FtjT;\`: (E[-. ꯂ\Ny8U l9)l 돳Ig歅H`ѳc ?PYW G7m@A+YÄܑz2! 'J,ԉȺIܹs|3x)PM?u>CbH]S.iO˲A(}5lD=3 ~PxcM=(%#><6-WU&#}Xe 'xxx=]tA7&^@_k7e:sE"`Tbh45&'afjDTEn5=d)b4{D :VʃSfj!(' {SZFIۺ%aokkrL_/+\ڨWÃܛQӯ!~dY+D fP7Y"2F£$nJ\乹_а /ip^$ ֫>((N<~*q̅|}@cԶ&h8O)b6?xt+@}]"XD8n $&w![2;l_r䢇L5sZ[tT;WQh=/KJlk1<8p][+K&ESvJf|wPL0q3ꈔ$v$X +PT DA]o 2Y9{0CȚ a{;MĤ2Ӆ*.J2ǯ1’S7glL \wz-vK-BA$XK&Aj;`'Ś<'統}D!>Ίm|e@̵(34K-HV}'U0u T"Gb=.ȹٙ=& F$mw}2gVtI!Dٕ$EYK4vۛ_&6ԲEk.dGbiHSl4} Nl-i_I.Qr4Z5edMw\ 힒"h%lI`>D)S:|8(ի|ZB^Q/~(R ʖ*5#!culI;P-:Mvt2eT@Mݴb7?LqqY"]惡W"jo7H4v55DZ"?_6/F.mR{݀G3t(cVUf|+<Ԁ):ƫ;)`^c<*IcˑEMz >^Q2*Xg  "ffސ~. u6Ej8ӧF3swp#Pq?V=vpFrFg*0xPѲ$f'A"8f)~3{'[ptb=7|D7nr gO%wYD46ve+b28BhR*d;Ftc 4bHGs.H@\߂DL(FͳXK2zs-ü/}R>X_8c iV˖ʜ"K0E3to"t9NC 2+y _SO_@jW>@P3^ BYO ;K{ICV*+;6ea7wƏ\Kw0Lh)bmHh=+J";;( B@{:yE7wl-yc;Ki'wvY \ 8Hʦ9%| NIpaǢ*P{9ego)-P/bF e~C&Ne>m ;PLҍڴ벻:D򏇤dx*".$Sum}E/B k&1.tT}ɌUXW 0߂@V;DcQjc>!U;Jz)r<η+qD$FiL`+By$wO t!kv vw Rv/ҒG \ktwH#[&4Tl!2%yidS\tsfET0ZZ⸵3ΝY~A,jw.lVm1eےMjb۬q pB#2@̭&jo3C;i1yA|TBqܿMWRmw Jv*nU> i .a&Q@|mokF5|!ߤni|G͕D!j3b Ύ4^ueƠS^cA O +g_>Qb!I'z]HyWV]1"ṕtGό=F-mUͷ U BBaЌ.^r+1D,N89 YP\1l`6 `Gwu¨DZІs'V.b mW!.΅j݀Gǐ5q-cD7;MКD5Ksuq#fϿr;=#3ix-|,V.ydHn~ب)`GqV&iȣd0Sq&:.$ Q?C3aď#J)f衘6akPu}Ɏ+\'+qKY/bq' qpWUЍSoѱmF^GLs sX(gzaҢ3t`$؛ 35⠯; qu%sWW6;7+ &]bU[ސvlM/G=4iϋj`eSl<\@?D-詞V(j]B`5QgC"?ROѸIB>4²~pR| v|(<-G\󋢟6D36ؗ";Q\/HD'_{6z;8ZM.eh{w*NElzmZ3iG8\FfڼS/!e8Fl:#(ϸ1D^`1',)_-+Ö=T˂7l]{b%uku}Eb~H@6(:/xͤ&j[EPՊ:M8bN2U<08;S8𛬈,hԳYR?Xr4?VqQ8S -vq{{Fc6޶`HN{Q}(([2G s2},&X"Y#Phg+dH\ÏxU >O_4j 0PԘcGYDniYqxZCcF t#!D /0ݿ%qhJޠ5;z ړ4ƃ] w,u=CSk'O4Ķ+ΠGe3qlpO_36 AQ0+˔~kDpRԴpV^955 SH=y]J2  YVR,;pgv} lo4`}gKwCղ"Akd7k+rdU,N+>\sC8dJb2n8HŸ*0 CBZƜr9BXx,]Xo$+mjM}pT+fz`\r'Y)/#M,6J{eɷ:y xvzܻ-K&|E@7pܮYJ#~s hpG<*]_dt!V[Wqسa"}?격kf|-EIqL? @yBԵ@́!6ޟK51e:]af{G-dp\КA`Qj qTÁHg`AV@w/,z[JG6:h3WX\ wFH*4šc|D ]JZB|7MKe,rˑԢ9ҪgaYX=0T~ '1_uhK ݆W\gCu.tf` oPaVJbLՃ -(xJ?=hY5[il!H#nTc#e;b\z3ÌU"[&n1Wl]$ =BpX)6cOts1p8CYv;=l[Du"{kPIܐL" LLXM毂?#: /lef8#7ME;*H[#fa.cūir fdg]"n4k[6yDT0BXx7Q#+}yàz=PnTՑwCp!|l@ЦF{ajV)V! ǂb9z>CSBw2sP@U#-T9vW mɇ}m6>(o~܇K(s::58;OCtghx=703fkvؽa Nf*bvv>(lģT !cdK[xł̔*r" A@b]cSP•)1(22bi&G/q62[MMMBkVXpK!qs+تD,5,פp,.TBzŦ٥t] pJ:D;\~?0I(מ>&tDv-Ujp\̾C#Dg_>{l\ SVREGq>,e3Öa-> *1"w5>f+_\ߜU f=: 1!~]F^@ZκiF!->Cq/gΌnlʲ"#݄@B%nq8ڵ.uOH<4u٪KDC"6fJ$Ec'Ғ&KwɝQ='%=iR~CoGcG:qwE eR2[Hf#joa'$N*yJPO\nlX&K6|8<gP5FjԀj?L [4Jׁ[4$| Dl|2[a7gO&.)[4_%A5?\o ~#R<|.˛ʴ_b;ߩO"&_~j1;>PṗL(i[˲ۄ~* % ៬,ѵA 7*U 䯐=AMeuWͅ&o+`3jЯ!?ⵥe tz8!=BLGJ!]}UO@xEhs}] syMIީzh.˰l^Ha9cV>6 ;o?P_:̝v͹i~"Qh7 Appp82ˑEILVl)g*O,';3[yt!FU4%rc"[YWq})xS(P1|s9bK`;hFZ FM\q<2xG![|&ah dLAO+UXwEm!.A[ uHrTkɚ_ރpV>Oz3 $ / MAǴf2ړ$}: G]#qQ7fo݈A5$cf(vT)˂ )?V]YP/xxs?\v\ ѮU#٘;1I-+zw|Z;Ie{ 1$'8G$Nv2 D ð!r-]D4IJ OEM Tfa21NVY4i )9*55 V۰x~4$h'0'3 B? cCgIDK.6]dHJ T2~S#)q@> WɖVfq!k++DV vDhjf[y&ы&=mićB4@I2Ik(j7m^zT>)..#ǧU0 ҃o!eێă$6!)7.p8{Rm:~d8u-\-O?;1EK!OǧkX `ʗlƸ2 lҘ?1hU$2Ŵ$Kc_HQd;* Y9G }'Mi s^vlwġQ³[U+fjN]:3s@TT9Rvfl&a/ވ^ Z2t(]{L<: 3 8?"]¤g+e4@\ XRp3ni' 0 Q৮ԙ?x0 ̇_>%9va `飪"8B_ 0bt=}ql ٽcC0'QIB̿Zc5H!򍈦H< 48E^e/;ڈta-#Ԛ1i QeGG=}Z~ ",DKTpϛya&!5䵏kI52{N2OݢtXQ4]ִvi펺aĽHIa{: y1jG\sʈlp__y>t\پRTj㽙}6|!$ zco ӂ*8'pb` ?=S>8Q:Ƴ2ܬT&7,+T I#u[wJdDFYvY CҊ4"A9aG/G!mZ.d=1F|:ZD9 rݮO<.Sd+W})/a6 H:z^ q3~.iOĞD{=Ju.}A0s270w @ 'HĜTXYςvb6k;G*=)Dz/?MR7-dTp"):lj-i_Eg$U%t\XK'XR$,F$݀UufkC \`lB/`SˏW ^`zLPI☭#z>vf1B J|g _]+v 筶\:䐖+WQ` j~qL?Egyr_sΉ'Iu/F\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*ܿ3Bl4gYZ //N 7G% HOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 6 E]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 ylnbpRBOųxU;P>Mj(NdX̶RDصU E,Y~U8 RqgMAbCEm6[Z6S\!ݹnU&cҭ<#7eOA;CngPYhp6Re݇]tyK^4Yt޻ OFڪ켴l%+>QPy.`G<b[7?Dv J Dbʚ`物p ,*s{7|`yIqQ9R mQ^I4lZ`m0j3=?%ٯؼq: ߝBewHM݌v[}WSy5-"Z X>(CioKwmp&awq4EX&i"?Znz fMJ`&Q[ڎd(5(&lv>dQh$r*|Gӱq\H^rXJh|R%!IҲ_x].O6ƾ63Gt&,z[s@₹<@SA誄+0h^۬|F6 ig]o߄X`8 ٗϠ`1[υq?q|jl4ˀB#Tk>%6W:Op߰K"vQ= .ӡgoPԿ. ~i,UvNk"*%VHjm:58_iw!=7vp(7y&Xx*rEhKB,{~<_@"AcFDUKhT$rfLpOY/ţP4dX kq6mV1F–`/4g:p:"Y% XJ xkj dYhvV h*MkIAn MEA _OΩ±h u>ҋ@h kqP Ɨ>lr`nRLfmզM@q,k)KvnJGf g(`mʡ8_yJT$5;^3N?%̦:> ֨fF0>ZxmcgYZ 67g% 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{gYZ3 7A% 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`, @^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^gYZ7K% |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 J 75% $HOL-Proofs-ExtractionHOL-Library.Multisetdocument.tex7zXZִF! 6]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`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~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!8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>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%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u$ kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3% $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P&sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl ' qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !(45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j)fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i*k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o+;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!,u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.-AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=9#rìGW5AS `psOF(05f _(KHl>,'ϣbd((v igEP!f}HZ&gL"q'!GTA1T8{aNB^Ý9Oyd&<6:z:HfxL\\ǽi =7N+L_ ll8`6Ǧg!+c %pXʀ`4m/VGY`7''ɝnK$>G؄1I7JkI Cb/& !Yͳeߎ閹u_43E|JtDyF`3R!b- meM/ɞl1'Z ck>n$%eh㝞V.rw| "g T{^SPVrqvEal6>Q;pa &*V8u,ߡ'zF r7*0 [Gœ[j;qnaLajVmn?WD_nm9*IdYm :K%/3C`g /ԧB N0/L[LG߀q;#yF[|~5HZ(40\1"0ZIJ;E#F--3`C9-30/B>x9SEa3AKmM%e>wpy /!Yz 4 6ZY!3ꨜo_!}SB=j \uQF'&*m ڟ?`*#1 TDoI9$`|™|AAҖS\_˺ć¨W{44ZB !(X[H66$:I\D׹,#lfق*I`G r+>JG:4OALΘlRf[/3Oi`m#@-:"uFo:~E > - h0C@ l^(4(ǡRp8 rg)K.Ӈ vQѣGmj\C^*W19LDf h]ަ&kۉx2𢐋vʱ]Nj8]ݨ82E $fÅyŊý.*ubO=O x+A6əXM*RU= Sb)Z~DixV0ݞk>qp9(xryɔ vTx|. O'vGY'4#(ὁ$Ty6@&j g~JBUIr02IZZzQb$xD9b@|)3|9Lp w@j$=b3]0YLFJJsѕm}mά9l|4z zK#V]9ca+-POP`MbDlMȰ~m5TUn|]qxwa'8EKejnс!M~<,({IZ; R XLG+jcb J"L"<4g&k,Ap$wht0:Hh2 *2<3 OMbaꙈ˗e/i`2X&&jn:~U`?߬W%ss5E9(WīJK'ISw .I/ݡ..K 3FcBɵc3o;I@+Џ:\*A)r ix/ѸĦź=˚iqv߯Y/qGNÏ"ćS;|[IjڱsrFTxH |H&>{^לT=8cx5ll=BHzڻ2Nͷ:r~xctyxDM `ͤ/.1w[ #R}ŋ6$x_+P]\1d;wdv0]q8np?+hNsj (PWt.ka-"83W}n^FU {`d|.HM>2r.B] =&?g~a`Q$ah4DT/ X*Ep Ԏ &E/ #!Tl!7(OO;+hY鳹n(IvAz 23Cٔ',0_rqFuLTɳAWۚ<,qߚ>nՠ'e*R>qVZ;Ư~ Y+eNj4=u<w`t'ƬjK#6:Qt3M@"8:k_O/^~S-=ڤ-=nAELJfB3tL2< &.i^P zQ<=[bkSjLW%FA{qv͏4&T FTĭ,B_3J"Bx~^;qx{%xSLJk _& 1 ^Y0)RQ7Am ohdDdYP&Ò+f<ϣ pF4"p ?~Bm9ZHkj,^VpDt}<ڼZw8SR:UAmĶ낕0hi322 lZa>bIH]QaSG@wҵg*8YblתH(c)>uzTq9[,^2 Ǣ{?y[2-+\)ҭl%p4@&7oOL#<xyrZzPYo/ιy,XZL9zY˷^9Dː;ziG.:kQ^${&Xo6& ɭ{ߥE }c($ǟ虬l'Kќ[z|$JTA.~ǤWϓݠoJADx +s pkyɎ M-UͳZr{q ,'Y]TÙ`@v,po\T"\*F O+KBN BGR`oy_5N$ډXPn؆\P)rWA3U 8,1&oSkn˟LRsn]pǝM8dgu%_A;isI@tez58wpYcͥp~LUA]Gh&HPfL䏻tٔЄxt+zg9űq7n,eIą8ݠ.7 b(:ȄJ@o2GLFZU#qqrok[LՉ1ͬYsxIwi׿!fsLtj ]tYV:n8>jQCP͏<(N9gH:7EaWvCKIZLW %qh6DR0(KgT \bwp~ގqÁ-Ԭ8M6Ι6GNH5mR6 l-~#"5=OhhlpA~&Ɨ1|^w"mrFex'V<^+%U)^RR;SOze^ߦI.Ou [x'׏-hho) )8,*a;cGfZ!0/pUF\$`XRŇRy3M ½92N3 7/@4QћF$NKslz6yQ&sf]G'x#l=V1n 9x|e3h8|HZugoO]0},_(crRK~Hxo\2-D7H݌&p4a2pu2 fjF? 6lvܳDDXm9A[+Nj%/R\ƣR}_da~ >z5O;LBKphDނb?/.[ŝnv7iT4\0o&BSY ohQt\h5{L˒pW ]^L9́C*6d4Y)e~?X*E_pv{ʭI(P4=8NvzX]T#ty$ Rq+09?~_۶ Z0еQ X|OII렜5:7#*v<yų8 L퐭`t[&䙼iG3) 7-<O(wÇ9v_Xh_,{i@ܭl d }o؈Wi 8F$ MssYകܾ2U]ïxiz/, Ka_3@]8k ߬W%3eTwlxZU('M(.]GHwq0Ұo hb\]iU0SA-y![YGI1Vq6 rq>fP>.K8/YC,O"G;KP-6jה<]9VMͯP(BmG *Ɏ%01C弾JҘg;>H(&۳jwV͌tW:S."392H@@iW1KB稙$xaƺ;W6k=Fz4Zþa<_;łߌI Rw|7[X;c5}d ֣Y44dN׺mn~?qU7c)j)7^c!cܴЪC i;+z,gPK(]Qetb1!78qj-r (*LSjaDCw?]S(`żh p<$65 u솳K7EZ"X%!\jHԽ_g+6*4w Rvb .c6E?v}&?hpG1@br)ݮh .svlYugEkmf 6 S#ʣฉiV)n~TU9=KF Y~J?d΂S)^e}8#ޫuI9 rK&Y&hNJ.|IWngyu:,"}_.(v śkUEpʺ+xn:M򫏝I?pX֨FɊai=SY݅uxMet4q 9aQq0 ? -oNf@-XRC)/'7VvHec/6؇)(hXl:^KEy7 "_bZr*]vt-{me0 VY6~4ERWG?v(唰>BC`|s.q9s 9g0G<a*/I0G梃ɻw~|yKASpͺCtzʻy>J5H'*uR h͎ղ\-u Njx!X2b^U|=)h\]˗^j"a01 Ww[%.,5HX'1\k z'gk]VG{,_T4Oz Hǔen