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   Z3t$L$ ]S IEEE_Floating_Point:threads=4elapsed=26.177cpu=79.044gc=2.0887zXZִF! 'f]ŗXiɟH)0!h]Fηȑq)wT/8B`6cwoMzCCvmժ//ƧSl$ bhWs{fqT'eNIk@zKq^dM(;|)`aCzխe&>5pb}B"? Ugn# \,8&//שσi#Š-/Tzwޫf)Sz28kY2+r]z"ߗ0<4biD3j:y6t 3 IEEE_Floating_Point 73=% |IEEE_Floating_PointIEEE_Floating_Point.IEEEdocument.tex7zXZִF! =7]A-MՋhvG"uIBm5J7 J9 嚚!Ч5{םE2w$U~1+8* ~[\lè\  OQYrSF.O@ы"tV =@gOZߦN?*-v֗dn~(d#Ztuȴ;vs!B,뷄79֏0GEv0rZ.=%jpBpb.WGPBUpzqϊҮrHbAFM)j&lߓ'FcoڀJX SE (΋vJ4k4$jIZYS)j&WaFnξ7e4Wl_*{nROީcn,6!pzNu|IֆSVU:R*|;x leOÊUD[Kr`!Wj6N6Ga9G1"2Z˸N!I\`&Q6Nn~֎?m6Or4=AzҢ`#ڇ5#'67d]%HZ&Y&ef'_PjwwF=Fa%'*ڦnQJhbd }6WK)Mε+yQS>ӓFyꜼFFƠO+`%b y)G&@jËH%$Ӌ#%"+%"ņVT;gV@PBW_ ~<'daĚts /+ ҃n Wn"w5;QFJ g{uEsw^`!$7wSwbcJ:0. 9ϓH|Uw C/:սse y xHyd٠hg>NJhmWW_emY0*i5O2Df.*۔g.-L~H,H}Lba`& p`;>T>rj,Na-^Uei\C}g*Z!:Kň0z ƬGQjijEy}zgrg*^KA%M 1?>1+6P>__|ЋrB #o71BIVk1"v٩RPh}npq$=u5۵nC 6hOhZ(o٘y0 j9WH-M#uD^˰b84F/[ښ1~Kvsį@s޶66 k#BU€Bj'eSGbAr~Ep!2Oj/Q& i%ʗang\LUAU|o9Kwf-Q8\ދS(7J͛! bYF 77,=vݵ)asp5d\*3R>,OsudC/O}^V_Ea-LYtJK\N8d0vg5]`iVY=QQIAut ]ċ΢Z +Xa)-:I'RWph# AC_f:-5dX罞F_,Dd F뽗GHVG/"*jnJOy 2'09Xo^Y#Cz>$^]<ڢ4Ӥv8 K9e? Cd^+\ێBM{^Q47rA[::;ǁmxqZ;;vN=_ H}؁; v s<9X~A@эƴƣP= ?*o][8:_Z2a 523b  3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.ML7zXZִF! {]9 ! kH ڻ70mFV'Eq + %ƪ>h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}        - 0 5 -v s1  d63/%IEEE_Floating_PointHOL-Library.Floatdocument.texH3S%IEEE_Floating_PointIEEE_Floating_Point.IEEE_Propertiesdocument.texD3K%IEEE_Floating_PointHOL-Library.Code_Target_Numeraldocument.tex =3=%IEEE_Floating_PointIEEE_Floating_Point.FP64document.tex B3G%IEEE_Floating_PointHOL-Library.Adhoc_Overloadingdocument.tex =3=%IEEE_Floating_PointHOL-Library.Monad_Syntaxdocument.tex B3G%IEEE_Floating_PointHOL-Library.Code_Abstract_Natdocument.tex @3C%IEEE_Floating_PointHOL-Library.Code_Target_Natdocument.tex@3C%IEEE_Floating_PointHOL-Library.Code_Target_Intdocument.tex833%IEEE_Floating_PointHOL-Library.Log_Natdocument.tex?3A%IEEE_Floating_PointIEEE_Floating_Point.Doubledocument.texA3E%IEEE_Floating_PointHOL-Library.Lattice_Algebrasdocument.texN3_%IEEE_Floating_PointIEEE_Floating_Point.Conversion_IEEE_Floatdocument.tex=3=%IEEE_Floating_PointIEEE_Floating_Point.IEEEdocument.texA3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLU+L}"E0geD]zhYX4ީφQz驱VنW;3_l!_@wiyOB 1ۙտP͢Wل3IVKJVn]Uc$Fj'vc|v}v\)Yprv CeՊ;¶#s_Kq:<#8_5 B";¤D#gU()B4J3LEA61*ai¼ ڈű۝Mq%Bj\ig(b%lSaQFp`$  R<\܉NJ3G5d&e7fK*S/4h7|erh$}T%3=i(pٶ}_@[$:EaPmW˩\'R2%[Sn.,̦_\#a$@WaՊt=^*JKla&OoCOW @ BvZq.#D's{J;WHtnЅ]:RmeMhM)d{.x(?~ˁ"LJԎ/!mAB|<Ӈ_Kf)ÐyTTKˎU*ơSJb]J7*J-\ E,g-zDSVDk<-`a#P]LC% ,L"/- RC`N޾ߘ~>Fم$!ك*;j c"󞼨dtn Xb9٘ zĖzH{yfR+ET$.N&qQ 32 K_~.;8/9!ˈ4ôGf=M$6@kabީ4L!9ӘQ0Ij{-Dg,Cb/q-xurHDA? xhXڇG|yh< Si+"ZWZ_nEz W(&!IED=1$b5?0ЛX0%դz&B1-D_B0B2H;'^ -PlHvv,jƽgw162GSBm>%\ ݤ;\WnKL :qC*>P? Whn cKLיҗ^,lIl|+s}[+yň/FKf6LJyQ?S<hxbKU(ɨ#wxʂziJT";{"J@llN<IcvoRtC҆ض˅>xonÛ:7B2 J 4(he{iyu9sV~Db>QB'5}ot<YHQ|R ;.}\00jX7t'<“-]N}bBGO=_5{?{oEh,,R^S+bF3'!+k fҙ"7h=\vP> j(v7)t,oyHTKojl q/;qUbp.?b#I+f? չwτo`fKD'JذªsPfnVFvV'+P+qFCe|+ %A{;w 8m$59U6U4fr2\T/*A/kRiXA33Tu_{֪6X.>ΩKBnTg=+kjM*3ȇ'k&oʟ(D,5s, `z~La=.Yrn/DCmOT'N"C8IzmsȼSA'T% VQs*o8iBJfͼњPgHK]fK]y݈- ӯhseEVJ%9G2RvՌ ̑KSR{ұ4_%~d)kv 2MS 4pJܵxxZf| ;;%0[ht J]_wuPa{GЖFYq!]`L:'g0l6GFER8Zzp_ʟU-)Jk2::'B:o ` pllo-OqחY]/|ar㵿y50%翁׺ilk);W ox2E*sXlY7FܗgYJm:e-."A'o1RC>Q^lv:P͂AhZL *{i~[%꾰>cWi@zq1MoT& %'jҾɜs Fk'׫޲?ɽv <.]KO/°^ W/ŋ9ᅯԑsY5PbbzNØ'|RqaR9FRDk\@NsX* 11H _> RNИFa ՚Sk[B}󺷵s}!r8ZcQҚv*=!k'(0 OIt# 0ږ_}6ݸ $UIw$jJЊ+cj(JyN/<%PX,F5`I^d5nD @"ՑmȭnM 9i2i8hNrr1;jHr֒$ӝ䏊Ai "-/*K-,,J{ߺJ4fozp_㮇f8Y<&#αh1gJqu)KϒNSLI[2'_p {w>鱣A8C j\ j<^n\ϡ!a<aP-.54HsOz3xA0H/wpk?f[sJ #Ep?uh+l)W:Ap)80B}k d( nN~-$UQcSfSڛ_`%j6H/s%ElFW[=hpMZvLx܌pw"ٝXGcJ io-MC=T"ېx+8NǡCb,'K IL҆l])9(tuI'uI7pcLSs53:QwJS8I auC胟4~+ҧeDX1l O;cUY;˧Q#$= ROr xqŖ}ӉQw h[݁j=jHs  | ¡|^ޱ8HV 5_6B^}SZM "r)?e0" ұgYZ =aEÇ{90ؓd }tUǾ<]KBZS>u)FQ!z%d|zá6=TX8oSh$7;wmd4_zǍʨK԰{,Ӹ:hi\6.GSښO/8ݖ芿7}(tJ4OR@g+N[л@#kYbY=VWr ^{.nĵѵ0\seΨʻ$UԊy+ k >4VTw5@ý(+z!ŽfrD`<:1$<N&7PKYd) ]Gt =2 Ww7]`jiQx݇N#Y}F(`[*zժEu8lYe8wF@[7u v 7_AWuC8zN.gcU c$,"Jy Ƒ7n裌itg Q/Iޯw6,}7JSҜ`k{ovgAGRO-H3T#G$ t<)b] ~HNj z+@̃?NG69'5Ku#|m|Yl75!b##\'%J_j=j:",v3N<[^ !|Nf+G vSgjc#5쾖}K9¸k "7!x`T 8&Z]SuA7dGxJ=B#SAra}@VE}OP+}L> [4ϛoԀс ٹuh2wģBm348Ǫ})^Z Ss}ƇjO!~~*8DžB74~VO䕎LKJ9آb0(`{LobNISpotٖemVv1d.'^X \4sx OXefͨ^+ ʭ< >wo6[L``l߿tXKG||C [1-O9BFՋR+UNX`LD}m7 v~ي{ߝ7vDx(LaeVWZiVFXi_5$t3g:ʬ%EP;\#TdwZ 9\R)?nltC78D޺K25hamXU^PS~sRt-t'@)[ U:y84[K/;@*' 3QMefʟV^iAU`B-a^$mBb,b7t"& )T/)&`׻bJ93꽶)9 øZZ[_=*rk^+oyeEM霵A^1C,ng"ؗ% dVKnJaCWFiMs|d|Wi_hɪ.՘t_o}f/kTD~4 0J:G$L"݀2Y>%},7~J|qyqws@vA"T=pe][ +߼*#1`{?<΁ɮFmNMy?72/L7O:Ep)(nŝ?Qw_ν4Mo4&D`s (j8qO'}6i-w{9 H?Z/All!66}r?WB[VMH k^p%_.qJ#sOv7^P *>Q ٬H*پzWW+R8i(mAJmvx@t\T';$ ܣܝE4w*Bpn2A՗3W;#/yv<(k՘Pgt[@5'twI=}TudaDR]mt":ta^ӜhoB,{X77tN >1E r+ M!78/`$l]UeC!c14ZӜґRaa]T3"O$6Z RnO=Q>0cPgYZ  q73=% |IEEE_Floating_PointIEEE_Floating_Point.IEEEdocument.tex7zXZִF! =7]A-MՋhvG"uIBm5J7 J9 嚚!Ч5{םE2w$U~1+8* ~[\lè\  OQYrSF.O@ы"tV =@gOZߦN?*-v֗dn~(d#Ztuȴ;vs!B,뷄79֏0GEv0rZ.=%jpBpb.WGPBUpzqϊҮrHbAFM)j&lߓ'FcoڀJX SE (΋vJ4k4$jIZYS)j&WaFnξ7e4Wl_*{nROީcn,6!pzNu|IֆSVU:R*|;x leOÊUD[Kr`!Wj6N6Ga9G1"2Z˸N!I\`&Q6Nn~֎?m6Or4=AzҢ`#ڇ5#'67d]%HZ&Y&ef'_PjwwF=Fa%'*ڦnQJhbd }6WK)Mε+yQS>ӓFyꜼFFƠO+`%b y)G&@jËH%$Ӌ#%"+%"ņVT;gV@PBW_ ~<'daĚts /+ ҃n Wn"w5;QFJ g{uEsw^`!$7wSwbcJ:0. 9ϓH|Uw C/:սse y xHyd٠hg>NJhmWW_emY0*i5O2Df.*۔g.-L~H,H}Lba`& p`;>T>rj,Na-^Uei\C}g*Z!:Kň0z ƬGQjijEy}zgrg*^KA%M 1?>1+6P>__|ЋrB #o71BIVk1"v٩RPh}npq$=u5۵nC 6hOhZ(o٘y0 j9WH-M#uD^˰b84F/[ښ1~Kvsį@s޶66 k#BU€Bj'eSGbAr~Ep!2Oj/Q& i%ʗang\LUAU|o9Kwf-Q8\ދS(7J͛! bYF 77,=vݵ)asp5d\*3R>,OsudC/O}^V_Ea-LYtJK\N8d0vg5]`iVY=QQIAut ]ċ΢Z +Xa)-:I'RWph# AC_f:-5dX罞F_,Dd F뽗GHVG/"*jnJOy 2'09Xo^Y#Cz>$^]<ڢ4Ӥv8 K9e? Cd^+\ێBM{^Q47rA[::;ǁmxqZ;;vN=_ H}؁; v s<9X~A@эƴƣP= ?*o][8:_Z2a 523b  3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.ML7zXZִF! {]9 ! kH ڻ70mFV'Eq + %ƪ>h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ ee3_% IEEE_Floating_PointIEEE_Floating_Point.Conversion_IEEE_Floatdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5T3㼠;m\!nn@%UvOw>x-̋jާؘ%X/D6PgQ,~0ON,,վǻSΜ${;#(9-xfL>e|HͲZ k9_)_?ft^g6yȑg)$7*s&_c{αѴ9g-9\p38WH= Ý XtI4?K8?D[\xyvM=fI'\5 kM)+ )Pa-Tiu`$& ;~ =gQJ aKw~Zi kr`*}Ÿ(~k.<р|t#o1eLDS>:X]Ǻlsb?bwFc:բ-rA 5{)_ʀXt&'wv0Ir1Cp#gAn%`" aluыMx:S bewp?vBw~@8',Τ)R T9'FswL"Q;v$:0 hZ03֎M԰{Db+Uds-Hú~FZy%:m BjrT%6$SN]IKyr 9C‘!ʔͻ?پCѐ2Qk?!LCj%=WRP}Ix2oIYق˧9Ľ[;0=ȎؽHɜ%6Rsz}BUMcѾOM y;W 2:M^cb_іdNclGq7/(Đ^&BϤޠصʎ1h^ׄ[7qk=ydqG!;dfG5d噺cA@:$oFoxX. cdC# \ݞ$)f"υP[$`0 3bڮA?mF4c+~V7幛h qޥZ&9gy{@" B٧@%ZIl.d=7'#PY!CmSi=ָWq wzj!dp(ZGೠ|_ 񃵒VظjSٿ6yOdjՏb;M_Gm7 ѹ(EsO=M z-sp'GQPZ%;$yCg~e|NIX2NGI>qX]:3QT:V,MgSQf˙xÌ9SYfY1X`dQlHRT]}n;8d>6)̔7r7m[6j=֙s:CQ]xV] 1FGHӐŋֵ&pFL?k͵烒Ae -Ʒ>Bp 3EP+ov>ĩu-ZihOttot0?*5-jdYV1J>zf˺Pv<ȟ󆴄7y8Erّqk8Tth%U=|p|0eDX4i6L=!Z8:l"4 Y99UƐy/u_VSfT35">]EYuؽlAc]G%ډ=>Ϲ/M `ŢA/ܮ#H;o)ڸ-t\7"Di'uDjJt9MZhj#qO I@8 e~nleA4Y~<(U wðwŇUtUQ!u8`d-aI"'YcЃ;-w`ntAґe{zvl0s6(A N*L]årqc#Pq>`ɃrX$֏ʂNK<NDϗ))A38.{ }֩@uN 2fS/»ayuaOjey qM+,H1x1(;/-Fk0I8)n`eT(8snbty&. Otˇ֚dh%4m}Ma?9!-Cc>XS5Hf Zt@;yZs6.M(N1`FSLFHmFM "~j7x˹;(z}]C7{YNȳ7J`+hDio{쀄lHcZľR_WkfUzt}Oƺ·DUɽmҞgRgF Re'( *g-GB%@[ H(LKү|:&Gj?,jt9>}ӧOS2p& # &a.d/R#iC[]p b/Qj]0MJL9@Ӷ2Ζmm@k kYN+īoC¤Q D `ihOrD8bD>(j6rꘑv ,ӗ* A>LIi܂'ŻWUSB!΁ s`u7;a2iC'辵wD  gCoYTOAVQ[W Tŏྨ6H~]sB#GO!pG [>s1Pn$<:oՓpz[_TQ"(.X^](?_6%zi5+3q3dũ.v ;Lp|e8;>sky[:[{mŔ5jDq UBBW~k5سwTOc 5_X֧:@(2GŕtGkl;FLWH ~1/R}&+_oЫ$=9zՐ7Ɂ4֐DRAm2a4^hqcрy̑:O 3{~0*18W-aù\2t{(3G4Jxx\U7J&eAHS.jǨ[69xs pmChWPd(?v]!Iy 6.4y#"G:Ԕ^w>iCkLT Vj7C[c!OoOp̕(xU`Xcn~CISlSKGq&HbtZa^~ܭGP69aqT?L" }9ιe,I SbYQ(KVb2ǸS <[zá*Ix\Bnb&JFxFR i3mJseYU0wM<,mb"9,ca|Ж-p6sw[R6cc)B4U aUVпD=:pWӘE5 aoV%)7}t:Y!7{X~ǮIջUxTn>^eI\xӥNT`.i[)BxN3 9"&FCL%*ЍIQ0x]]&+r&# 압甼HxAJ6\=a"Bh!´E[>|s}|ҼP~(]O[R?{2 ܾt+cV=+?HVs>Us te} V9 z2]{>Eem5 8(Yo X|q79`u ̌2Ý*mb`]`S4t+k,;Z3!\ʵo:GA`҂ xLċ,_ U\_ ! UY(QҋZŝm+=VNaWlvg? {&=e:EmH9:@KHɉ s f51Vd%he5zxo{F5$uQKϬRQ jJhx=Na;hbnѶ &;2R*Cm9vn)Jd`DrHtVZqר( x4\}~A)}yVPT,:.۠Խo_IJ6v(L]6WFW"y\mec_<|N`?Gb[JPp00x}%5WBJ i0LWcߚjbb@/ I<.{2{_ j-8㴩[zD xMlA_#YW5,F3QGLZٰb5VdaВ8ؒJ:XK9WjE 7Ni8#+Y|k YBfG;Ze]aQ?fgYZ 22C3E% IEEE_Floating_PointHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! ͸@]A-MՋhvG"uIBm5gbP\8(iQ3$1r÷t& slb/$u_!=#2og.}]Enq]vY8+ g*FѥH*IG d]nOOxJ- &Ss__v0gi; gg66-܌2A9^=S0ζ^}cG3;n@gW1.e0f"D6Lb{[T?=QzӭTsJHG|&_,?! zlx6-MJry[&?}!H\vQ$f0M̄fJ& Bk\m<:[[ wri6CZ];MzN~/Y*%Kb˟]\䈃 4XP{$l sAD!9Zf25.cY65Q&+k%h+C:XKB-2#NAdAb5A'6S aĞE<:D``zY= fP;e΁ 4X4(&4I9 ?:9?~?C0#ѦxqǤIB@]u[AN{s`4#esߡJs%'J"ۃNm;hwK#A:6<-9[N^N3m 7p:'ugemzpE b"js_ŷb_\d,3ckDc@e-B:q?\F%pa涴郳6/"',@8gQN ykvS8x1ƞk{э5.lfq+0-x?3_qL?s ch+K?G F4&$zG_AE3S1RR5 R c bceqqG՝ He‰Qo"O8ǃ9i3U``׵xI_+GL+~?0ygNC^1+2p[-ipڛSV4!DD, ū}gOra@H h  V1ȷ>į~挃n.Tj~P?0|avY3bg R{s[ Q̈ \̵M$UO4gᖲp.gs30 j= b&aч )|<_|?*a iɺP4䪞*̼rB4ln|`ɐYƺ" *|T hR(E⾧%fV@!߫5Sf5ͰGHd]Ԉ {/a*y2TJ 0ίҊp3jZNcqq ٱ1}vC=Th9`}_w|K-F`vVIш9TjYڽ>4>ӦrܳhY) =|\'=yf]\ hv@~9q:!Wvz%DhPm t##@M{Tؗg9Ɖר nTN+.5CqViD KH_U8?mbYA MQ.v%KYs/l-Z6MPk*_M'k;r"QDNIo3Ig{ƃ”j dĆX(q6Knje1A05: ۶:jk|5'm*>Y]ݚK*Ӭ+ ? `k( ">2Gpd(kBe@bdhHJxM++䯽O_ XOD *Su9 >~qj oFR$KKƵ4iilÊv9D wv&7^,{>ߛ&Λ,>"->\G@[0K%]m@{yh=-ي0hqa%MRRLyUbe͙.d dF=E~VJ#7MԲ1 r>c:5A2ɕS+rZDnͱݚTt|Huk*?Aԅ5u';9yF'QW,A!C?)a .? :9eMRO/ms^fCg@ܕk<ޙq0G[nO^c8xrW%B5Zש;-8+7t0 !s #J\3.5a.| pđ=Ξwrx{Z _%F*v_|V{[ ۗzUl7S4&GE, VF@ Bp͑:zFmsb/g_LQZB/tO]V \oe_ C.k8vDlgVa]JʋpM ~ZW6R$<{R/z3,ߊȹ"ȦD4lp:Vgޯ/%]G6?ICi@<#6QG-yˠ -14%Z.3}{kǀj_' z,6loЛd‚⁻ P v1Aח$!LZ44w<{^G S1*C'`NF3Mh$Y|H4 kGUF3k>_f,UkWN"iq5bcH[v,L!R" /AUdЃZ_l t*SES. CMIOCƸ,+%s'x)_j3+BN;[#k; qNVN&f+-t00F0j,FC0r,cEʫ?%B*(Iw1K1b5Qq>d^bE<Oͪc |9t)Qê"| ( sTџ4r<"QhͥiRQ !ۃ5t>m?/B\U'1Avh|6)}Z_Y m;.ѽԄp7^%7w{g7E写d1.K\<ئAa~F6-<c0X.=#){S@Ύ6PM l4İQh)UҬ/%dJup|] V*lPQ@J?4w W ybH(!ΰ~ݿVQ87@)Mon Ѡpm z&aآlÜHDV~Wu7Y`+J"K(7ȕז/ZqOH'ۻ5qoYh,F)ϣt<ץ}?GK4eI;Wx,ΌwGZĠDMxE"͜)uaal #=a+ϴSt5@ZsY> 'ՈqI\9tZsMbf_6i4 5" ɽ , Ifؐ r{+cS;-&?})(ZʅDmgY]gUz,o #s3߱9{v[4^k+kR,'Lf*‰Gh=b@A;+7:C;֗#:3`&H#Y^U{A98SCivZA痫RELgɝӦraEލHs/T12u"d!.D"y8Jc}>a?iq͞f&q*(/:1p_ 䞤DG(2Thvٹ3HʖCA ⬰Wj ` #Uv>p>ak& h#=8ѡSM0_ibL suvϙZq3˱r<o*M&ްr^=2TB =+sŲߘ/*h%aR*y%íkz;h@n]O(BDUn]h_%Ek/~\ RqJ )/-=IKvF⸇[-Aug)L-o8yA Q6<&N(^w-[n/4jMJ. ZefbiLްWx,X#Ђfk#8gx|MzKuY.($o>F!JfWvMl2˭ T"P.扱%5Q;Uzb&^XVD )G;lY?U\"iPJ$i'B )KTLB/ 5^{·ac["♺t!E>{a PTa96I5ybi!0Ux:Oot\ ۤ$kp:8H63IU2&鹘8Z KҖaxOsN(osjwydUƾ4ؒYECLyE7dh_^BĆKr/^1(Pt鐭Hb2ʺ;V:8MiP!yY~Q/*j&qsַL 4's.rYް ]4N ~,P/&f+5+Ϝ/QK*sp,l`hzRfC2Ѻ1MXX`'=Q@xq܅| őT"Hl7;)Ax9.() 0<+n|BvMJɘ n8#<{쪖aY:G=ɾ#=[,kBK_x tKQaKCb&iH4d=$J8Gj 6J>.oAxMͪLٽC$ 1O^yznls_:%Ϋߣ7KZU\(J|/5[@<!e!>gxI$($x|+TϡV\h9'Y7@#."ȍ>o^gYZ   z33% IEEE_Floating_PointHOL-Library.Log_Natdocument.tex7zXZִF! ]A-MՋhvG"uIBm5&"w8HؽC3.UwTO]Uh0JvItQ]w}n{Y@BOAW~wݟI _\,WKFX(hL5˹L\N |M纴=krf? cךAJqevX>s2R6X'mC毗OJn* 3uD1ƎsmQGA $d8KiN +n 5ns0Svm%EO! GoWcǭV5&"^#h`PoXgbR+a Z ܌CNss`R g=qj$*,΅l77AAbUTG緟u43|Fdʠ_-edk<ۑ6ӥ;@aӹ3ݮ tg0j]w16ZXqs#=?^Gה(o1ZpVmiF~BUWK~{Y/`yb_?#FPJwѶ4YK >t <+>T) nn6xv.9np&7CaKOC(GwъEVH Z!`pXFUuW Ŵ 9Ese;ԡgHXơ b`[CAԎ)^2"͆^#Tm4YêU0/&)9Pڸ-f~ڕ)Vӧd,\l^ܗ2F:[%vnb\"WvUf _o=]ܜꌇøp5[$"sҍ(y܌: Gksuȩ8Υ5D 'fx?FQ#iN9Ti(smZƙS .,7U7妴}C ߎ OI|W!/ ;bj-UhK7[&tJ7ъʾOkP7wȻϥKB.Ig/RI}zP!*iIDLcD22 dRD^f?B^0c>mP%nУG]#oL>i `?'`M 볊F[Jvfxy FIR&3$-f8sZGɴ{[d}O0HkЏV<%i{>$ W zW=l8dq.H8RKi%);fqRތx@p!0^hjW /*DASt%"@If{lc%Sz0g.Vn 5@">t–scF5e1@w̸P2_Q[,:sǩcN^tƉ5)!~;;z]WZi //ے% reA >cv)vmS2qElHZϑKt$:3ؾ[]D6JٰQ-E4FqvNWkQR7Tbd ye[)&}y#,e/P,R>RISp9(LIY&9_]_4y(>(6xZyX7^ -{Fp[@gGVNؽijYNfN9S4|Icw:P .c=Š1R$6BG=g{d@W\3&ܮsx0֕j=kو7JwyWKlP6k-)v@CӆኄE0I8(|~ O*uC? ռ7zt&Ae)PϠlݛUZ)@W8n ®qFCAo}aku2r4Ț˱ul0r{%"lDdíڀ/<ۍscIUztN- 3_A`b!4$应Hg^Q+˘A3 Ο 00Ua,E +A"TnS >UV߈K=8wՌI=GB5S2!&|\`ܤU0_N̈́b3qΫ ]k]oÕ/[-֧6YWÓC*B-^zAwvݳZХ+õ0~Nل_N{!Sq+q3ȑ^V>T38p/~yP 0VJi>#6Ґ-k[d';|?iu"5yzYϻHK<>6&xo}oA_`TFR\8ow&ע*\Cs+uKOB݅X֡#ACa@қ vt1[!StPɣ=(DkĀ)ڧtP#4gh᪟x\Pʐ+Ʃfe2äU۳({GA :%;=i|a:J?6Zp Y[ Z:~G*YSz ă[႓Gc1Q[)5@E]BO WL"9. {:,]Ӣ!fBf~C]>3DɻS( V̰!t RGJ\Яv;ĭ(f~oH*rb^d6˽ZD2c3=%ʾ͕FQlm=:+r.G( -=zo 'jk) *^(43iEy3IV+ l/J9Pwj?Y Gk?;q?Ah@DR:\x:ۺ\p|⭧M쯕{Ďk#O7a#&;jBZo8W E2Y qKYԿҗ#{S&)!UPkHN?)zt53/PѣFhn UF #cTA m(}xx ڒ5hNNfds34bP'ə.Nm2[i0n` EjILl.ײ:1Դw;s08*P_`w+x8ʫSk󙾻)68LNCNp1Lc Cy]oYfΡ.aFEů%e+-$`{b!|w$aF^.z`v"gR*}ih%?U9xO=iv[8#UPh^ C傐KN:}L%"~8BlΜ x0Ծ.ø2Q5H,k,iF]f2o8o!ŸKTޑ'=юV_ɇ}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 3C% IEEE_Floating_PointHOL-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 11L 3G% IEEE_Floating_PointHOL-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 ; ;p 3G% dIEEE_Floating_PointHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZO 3=% ,IEEE_Floating_PointHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ !"!~ 3K% |IEEE_Floating_PointHOL-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[ 3=% DIEEE_Floating_PointIEEE_Floating_Point.FP64document.tex7zXZִF! SY]A-MՋhvG"uIBm5^5zhMNoS9NLIQAݫ }N wb+n"'O|$WBmL)<57:5q0אي)bO3|kh ς VP7^Z,v-Eq+8 >=~݅)9/5^)LQ3놁d<_Pn1u4pv>{Lm9|{SzR8ҠגiI7O9:OtO&Tl&o$CE'-!9"T8T d'ԱсǯF-,v Y^8m/Kq%21;:Zk%dH̀l>,#=(.Fb$ }mp?Al6r@贉&bJ,N<,DsYK,kERH<c. }J65؅$i{ <:1Op}ˍu33[DPl+Ä0iAJIS~ Vr1:2~ILR =ozeXzc,K -WZuSmپh /$F=+BMʝˢoA*| j2w.ӶE1'NK{hSY*Ҡ i+CЮEqսmClᎾ՟v̬9'>;b=87,(2*&GdlJ}4T/ްiwqZQ#Ţ-/-ָR?!@;pʽ5I"_؁rVoG%-GDԹMK<>K$Qg*;Lizߧ!u&ԣwqCA U/R% nNePjOFXHx1擪ҿˌ@.NXWmJq8FKt{}~UJ?zvvb YnےT#h-w9M`zˡ`0R.0P֌%0E "|'#rz5B1QM޷;^B,TVf 5! gfp*Qn:k#7]$`k[' vs p㎨F?3BegXlaF4B$㔐*]IT~(y =C'9|ncww`3}eZRTzk) K,|1=e_0T 1V]b#Ga ؆^{5qxҽ>quIPyMGN#MStfhSsKfxO7p^Ӻ!2=\C5qfN%]hC39B~,(B%;Z>NxG\&"fZqٝxEeySKDSwB!v$'Pt1Z܂2bj(m揻Ú&~*x},C%Tv ^VqHa&v34?cVN_YEˈ"3! Zi[vLЅH_25gW"U|e8NwTо:g\!scQ[0k+(0ny堞tamI7ղrOEΜKiH*1xdjb;.d/\H֩UUYAAA-mAuQc)p/w#Zn|2 it-DxU@lŢ]ޚo3_ia' kAj?} ļvvgJIQ \Be$D( ^mDzk1 ke je7q:r!2=mk/1ΔlNYRJ)jQyZxuuX/?1𳢉jj fcI`mSNAyƦ}zSsxLtG:m9 H?Q--XILe-c0KԚf? ԥgs!~GkS%ԧrUlO-Xѻq o{M9$]{b JudϯvD%*% [WzԤ\4sv~*M.ԵX=:#[l᧖l&s (]- C\U`2N^r '>4RQ>F̽18Q,t³칡cAR O٠p}mG;6(9ᾇz3]}U 0#D\5B8%T uAھJ9%0 Yfp3668(A^ {ia1iOFRoAUiPqB"$9ڠl΋-{h Yߠ`$#v% ?v]Vs̚!}zҨ h9LURV ^2Ajz*pPP'(x@vT b_ 4$cR"~"4DMѶl3eqJis JV q+[wձjFf? O ,-2K2)d/X/ YKQ3kB].Hkzt/Ĥ,X$Q[6>1r, (&M: 5LXW˽ $ԥK3h#mRIJr$(Q>EY%!HD\`uO<:õÿٱlhGd{ݏt8 K͛4?^ #x*Y KzūNl؛٨耫,R9qSg=awau_\j_Oe@4|ir;CiY b];ڒ!.X˘ɯ>vwDEbk44ThMj#E D{zU*=bh, vXG<"c{2`;RB"(mmTih3Yjr}tÙk?jς :`cjW7N8rl` ܥWGe||V$ӦO$%])AU$vx_ 8zղ=R0r/(tk.IU-ܬ9 S Ǝ(AK;J3A7ÿʋCAvYC!Up8Qh*H/:R)rWͦPl.d mtb>3xV*Td6B 3 LLetH fz4(g_F)ٕTZ}y(E&"ѻwEk~ d(F KHjs3rZ]GJxFL'֝zqukaY{LZn@=pגþ 66B q"qNl V =0zFa n3lep p.0` Ak~uZƗ:lQO#!ByoYhKYڬ _bSZ* Åt1o(}LdbQ;AH Ck r_~Jlij .8?DD9<|@iaK6Na淁tSOGA/Nsk E%OC4ySvKAUrKo WftSҳ *ITC4q%~ scI{\ބ jUYHQ*sA bTR(N{xx鲅ȵ '6(]Ԥ[u*w{TRGx>0 v=7 N:*K7 \nu,y׻+ b:H]\"%9OzTz܆s3od\u ʹN>ٯ(gE5÷SM_FSrbP+A#F5RD\zHKnSbs+@pw+lPqzk/0%$j)0T53Sk0ܧ`/D$%?Ƭ%%Ԗ,fUq,3!hijR^Y&Rȸ*z (}9I[U #>]\d*Wy8u%5;pmoQ- ZTΖsk!k>yE=16e8;x铼"KGe\Z0!rgMPO?|9uCjʹ<!@ UJ,W=$ii x[*],SLqMi$R͸e`,($\!ha50,ϝ ˾ X%q@REځn0DUt}C8Vbw+I[=)@h8Gqn3mYju%(8o%br Yq +OGKl聯]u&xȎeUQ`bMz@ :L2CX c@ᆤŢp8OS[02WA G0kϮUu7y:#;>4 2=Cj.$4.75Dj:؉ 8̈IMjLieŬ>mjW?^ C˗b)_W3`%75W~FaIKf@ZS=CM^_v_eQZDM.B|nۺL 0+PZh9?xWs1| e юmz Ҩ)D,ӂ2ĕ*_`+ձyl~ҤQ>w 6ن*bő^x Z6륧2`N7ˊSMC u.VJK‡U:RI-cecƍO~ 5c(EeW_CҾy43؀`-}SC_cf3`9COF RFlz=htV:"ɑ^W3B$ W@§"[Vرb3!H* ʀ4?Ĺ{ 2P.Ş-{=X`u)/rf#{?Eq!7Vt͸bӸK™1АTqeMc(4(O'̈ݾٌa8ܶ&k{ &ڽE v.njc/VPʭ?Öyϱ8͵g{KJr?i8g]jZ dI#Z4klԷ S*F$펢b v !p<A~A7J3MAA݅8yaQ9f _B'3#MFLqۺؙO{5nZF/>0ᶕա%Jl4}D%krP,'oF5h]^135  }Qh`~H&8"wWv{O,R;‡ܮ_(Fȡذޢ9!p%@f ԗk #kPfGhFKsq e>,ŞaJ@R;X/X^ِH u9BwλͯRz~&lxD].+2klr8. G܂/;(z_cao A$L4Jc>.xañY{@.CѰPGYo9JCqL!1boXZ/UCPMlUy4EBq B_?Z@‚Kgc_lݚnRw(+6}k{ōsO\l~<%FG"Hq)NEcK Y{QDj$%.>uT:ijK$S76켊u[8OktV:m*U/LJ~d] ]Yvo$]h(DT\F^e:}9qy1Bȅ퐥v'֓=9cMdU_4DWxҪJu@fv6ʚQ- `"Hå[3KlO ޼f|pY?\_*LGT>;b˘0.; QS\y p)?Ot txdGzS HK$ҬU6F6E±'F}OtLeÀv-# sv!3( 6vtDxc*:b;Bni,+_ 奶>MErcePA^w0,gx A':"F|g&CTŵ1Og\Q?` "r NB l^J$R(*y"؄~;NS(6Hn65 ZLzY\#.pyv4c ¥UBAVChAlzϏ=xK܆pjs}68}WBaz[*MC gzvG3C'ІNEyהqGRWȋm#%*r!fqvK!zT9b"R_Nb9z : >2>ӏGOM_ҝ|Tr?"'y8'NJGCS(qBc݃oX4ljilFhGag"CaH 1t9PZW_fpqk9qjŘAνag4DF;}Ϟ݋;wX@Dyi Pc 8P U@nAEFgz_^+xu(-'!wХFliRъz}FQZMS&.{ b#QF\ %$0Ph%N!n( *A+fT@|.}QB9N~|H/ "BT _/ / Ӑi3%NJ2:@x[CB:6a'|GgAиDuZZ#R~wrEYLT@2ut`inRƩrhju`3Ĵ:f!w G/Z[#̄{zjNPA>Z{4kW$K߯MSGYI3\ \ ~R~pq;VBtY=¢TcRȈ:kF^m@]<~r^_}0],iGKxl'Iq4B5˒ sBhMMLna$7Ʋ\R|T]"lpɜ k6UZ;0>c7hKIl b|8Jf+-#gFERÒdF$ n/QdJebhqE,'#[g WG<|!5QA-5iwgI{@h୍* K$9SKCjsDuH@aWQKUЭ[d!% .>Uыdt%WmhC(@?GT>hIzkOppoJ^dZ#[L`Dت~[AzvKqޚ/M3p #ܔȢ>=S|@*+9^/ 䅒N xd(@m&3p$-6< z͛q;\#, f6Zŀ04ЧK[⤅ oZr~-\ZC Wo>jXVyîӜ, *_ 1\80Ľ=9?J^#c {ClɀinQOĐ@$?sP_8<og Gx6u\v ^'A>oCR泗zuHa$Z{r&;}[b;jPYt:A"j禩{vGh[sA[<'50@cJtv#">!ʷ$a>JPUnݿ3+19(Q_Ǽ!cG{M/ʜmBX@b(UؾьK3sJK?'h3@6'é'NC00d4e+, fn$&SiG*[_"5Z"KHrNRvU 1jK׮BeiTY3⯱DJZR嘁tIoxѰkr D=ͫp[;4(V~X ]x o 4DtN^VU4 7ɥ;uÆkX'ϴҳw^go9גM5NtWΒ㫴m0 bdǕ.֮1~KLe}7$:*F{w w&a`EBG2lMM 8Le%uudh3ػ;TA1 QX]G#_6-8),SؒIV8 ga)EJS{ _V*LI" j+Y(FAk2*" A*ۗ:.Ei🇺S^rvɈVo|[ǿ Pls ~w>-^LJ%O)z0Ÿ5`enB[͙$xI${^Μ3́6/!t_Md[ǻ-,2G> C=k@3"WZV" c×+AG6YCU'X!\~&C -hD V{!g_;zmc\a-]'`Æy[[}?짥\g2`Lxr h$Χ x#ϝ=HF^9)v v),#Cϛ,s5߰X?yXEX3 _)~65TƼ1-?7]{ E _)p:Qp!ϑt<:;ݼFk9^`@ %-OG d2WYZ+0WL c_nmHf4:uK?5._R 'ˬhX!R)v6qBh&xenr>i*D[]I}3O}ڒR8u!eB4iWxWyc)Ko) %qvQT ^#|3&Ҝm{H%A6 z g۲ˢr.Tnf[(9ҵSȖK\ $oԂC3;ܳ0"4|M5<.!ߒ [ZR7i Qt*_hV L5jEJ;Y;RzN&4aďv_"6׍NM@άgI81(& ΁t@~3h'3ȟ{K(;o6yMo1_ a{A b-"(҆bAsY_Ev` Bo^r_'i?l'+C\+3jST]?TOSr&ks*eQ&*r}4w(q4(k?7/`@f<\Q>: .,!g@wn$tZs[=Ngw-[KFiW.Q//y+m xܱgYZ ! 3/% \IEEE_Floating_PointHOL-Library.Floatdocument.tex7zXZִF! 4']A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v9zon -}Ish/ w[_«O`FqŐ;2aɀ :n؈q)|"Wi讀hhq|1]Z^#64vm5.wQ3=k/ukL+-Ç a?FݙH W xҸB8W2~fq- zڲ9q(|/?+uucᚚq*(!0#,Q熛̂,PU=}[zf4.EUcwjQ*ia]Whe ٸ~ ̭@VK&N=X+ w^$Tw ,Ê{1yGwF7dsn(!cUPqy.1ƜwHh {Dʁdr%yDA+Uڛ3U ǺkHxn(x2zHӴ.5v5X7 R%ӈc 3S% !Ɇfx7gKA'vR*ř6E`łS&!;|ŦYgGnbx(&P02K,r==iSMhdSF@%eBwjR?+KD|xHC0?SP>)fo6,L9llOڄ0/i7߿ϽseN-nCЯIqX ~%:R,aUR#<(Fw8izX(GjrU\8J7u Hbp\.OQst- A&'=Wd#`qQh0YvZ.V(φ,buᓅߋnH~0Wcɗ_;Ew_Lw MaHhP&c{ř+#82ؠώ}W'w) ;1=a3xjb^=I$CԬ;7Ϋ{P~PyA"Y VuWavhnu4Y_vu물Yw18&.$LP#?"hf땲őBL7S]'5f5A0IjTbۂ Ҡy_WiJ^tFy'͞_Vf#ӪtI+$1M_&׭­|vGLwhQ'bd;:lR{呂W0^pE’1"T׾6)5[nMf{#$x%Vc}J)bU?ZqiZH},-wߙn52m,>-yX$g -_ djiD:h9hruw \S;/$; o (͖NAGI-CjT?ܾ+煯IJK.4YL6r)%@bŹѮ'(Xi34Ӡ\­LMBA=0B8@GͰҼmN\/B[|C?#X  (5RY,Sbu @}Q,criNcԈj v-!v#'S=r{q3̜E.QuPzG>0HB8oF(lI?v I)"oT"ZAV"qF6Ia,%AZㆀ3`BGL.I_moV42t&B>ugOe=IQ05&%Dz-ҋJ 3h63P 3'ު '>fgރ%zo`ntʹb6*`pف^djiçB]t…hDuYF"8cvXFV}`lHK?3o;Iɯwd|*&Y B[a0&  "ee/ wQ2Mz;RUjy4V~nNDa@$\]KСɄ֒0~㘮AWhǟ75Q` H!T@{P cT B*mY@DЙ}qz!(u8_܆tu+9QvJ9; ,d@* -/-e kvj _e[x6Gd7]bHOXt IU(㴈#Q"Bp6 F}nF8HJ(_cJAjdYP'`W^hGeeAFp`Q?Ga52)aD<;S{;35_ꀍHo~䚔] u]O,Kz5APhNyA=Jgō]Coo|ic)L; DUՄ~L14e0Z 7O{!&kAA)FŐ;S5cMES?QKkdrSӒDAksYG&d"-Xiˉw:v>` @QiYA` |qyUҺ\Pً$tϐ-QgAiAZ} m71t%Wn-MI7i7}Az?""/)? 5+%@*>R^xw)r©4% _].qT?boT}6ѽT˅#4BBU6u~ 6` 58~Kb (MI.ې)2؟CJUNZ9kcU zP9Sq$|6d+qH3Ŕ%DO =7 -0mvǁ(ǁg"ݫUFN?2M]gcp$ytrI}#)>jxsʆ5n1Xk a|j*V4N$ݷE*CٶɰDŽHaic';M ݏR"J}`&t]S-+$*pq/p@VH&Z,'юf{ruwRB*` gaZkw0% 4ϫ-4 /&:[iv>sQAECϢ2X׽؞qqmB6La.ҩţFz}\۠J WU.QURiq| il Yx5M4yOj>ƕҚߩA3$0Z"@,ER7W0~U* bs3fg#6;W&DbQH_5I#<͐"MB@fq'KAOy_ͮad N/T^'9mnv;WI˫'`W2 l=.c"y6.S?`h؂0f6tV_pm?ѐf-B4+)v _b/<ƿ.`5jj-CؒR o>s> 2*]jEaF=-qau $?r mkswBCz*.64lqo2TwصwP#[(],2[qL6ˑ">n[}Y[ޔ?16TV .l֌VtL}ۊstx".0b@K8dW#V %9OGۣdRuK~Wȍ ;.h 4+Y<"qzlo,R\5mW7̙l˾OC&&]T?rczrb&'\46,{nNܳFybdKPcjDLMß[7*~%e;Lu9jBlLDA!Nkb1cjt?:TOעBxnD "pyT7Q% f|mn"_@I7mZ~K4(T (LW՝2Ѷ yr|qkw1hߐxXvgG1Q(ZM9b7tҡH_;z`ɑ>{%؍UyP,M'Я4Y?/t/;iG6]߳W[ cјI:Eet)f# %LF-[;TLV!5Xre)7~N򶲔~AC0!<ޡ,~\#|hZR{(>~кѳ3vuy Ake3G->N o7{jۃ|RFza a Zqf =其5Ihj,ۦ"Sjwzpo6b|>޴@ "vD?SEϯ#.sy(J89LnA*ˋ,u!wAZE䪦ä—darY;N۰kG,tNoj zb.U":_g}7̗ (,,HægJc[]^(4s,f|E=YW}|K}LxIƃZhȳ47"xof>iJwKo= 2QD#zGRM/v<bdZ3ͥdlL9.Q bd0'L}df7q(ؔ8. #~Ï}"k֖6g)VRN6"wbUyPzk|}u3CJC\9/4^?ǿurnP!cz+W\{s%p#Ϭڄ >cT1+U\S6]^YY[wE=d#]HP o/Ș+ɴ_AuSӰ9'Wߺ-(hZ@X1&4D=tĖa!rQ5R4p}{ƫ(% =Ȃm_,ޙ? % OKuSF:;\,e".bsWq.4eɉ@x̵Ϻ຾xLi-bnF p)ZPIEm.+E.VR/_:NyC"C+xDT8؈=j=tbTٛՏz)%Q ID:b$+ G<~%w,pKID#vZîylF!˶̀t!33Dfפgaܩ SHn\aNrEi>VZ7¤Dd%j4B)XHذzZzNڃUe2r /|=rDv)x樺5*?&1WˀyAÈB-.q2趓 20w;LēJ+16M,tts=o?d5[Wy˩ 88 UWWM7N6o;.ƥ?`ȆÎk_UnPKYğ7ڻb5I^~͍bT YzﺮhN^K2w4 lҮvOZAhcsgMtfzfCS}K“?O@پD{|PC\SE -M`>#\.0ݜ=⊗+Aɨ;5Hſv_RA Z]LHbt%jRCf7֡OE-{JaZVކ.<>10Z|~H5'W&!ugf0 e&'1`HъiGN0^ fR 8b1gdP hXKX#쏆/,4|5ϣISF&!|36rKm>8? Te"c!7ͣrآ ʺ,:5FǞM:;T;4B3W@vK2rq^DŨ v j_7nHK.W|&U.ew Y65xivvpѰ 6|wacҼA.-ИۂE6f@@7sH]77=|Ad;^}kCõ--#.3<$&aUwAwp'W0~Cˌr[rkάd  "5ԯg@$ TAOCa*Xa Pa*7n_$3GkƸ*tD27#/{xs#O~;X4-2AW*Bfe(8U{>Tp613U58.$ thxqm֥gr<=4 ju+_am-ć(@*A5+E}b+(Q/h W4jMDŽ92&6}@@F=5s1܆4=}E.|4$4mx-UKZ.kj%AP9W<8F _cs#P~9+m1X0(|YZipb>yL`8Nj_6T28ᧇ%\|v P/P@Ǎl2odQmA %^c>>`Ji^"cq|ה_f=`j?uva Iro*4HoY;@hq0X{~*E@D5P ¿BKQ|H<7?\Sy&$90͌ qS7ݥAt( G7HX@;=6c,*hNgeA@S>yEyБ Bi15ĖE&ac:>򫙎p91Vc]@E*PW2:Co[;.#n:+sѢ>grn{;>n^x@fEVykG_P-)֙!N E&q +q_Mzϙ/%0E1.~lTՌU]\U.2<ބ p:!)³w-k5=n؛ݮ*쬸7z3~=sέ&, aKo KnuL1.`NyW8d*/O[\OTj v]vV5Le,oV]+&NLzzao#5PBJƛJ~QK9|ֺ!l3C-1~_n@Q5rUEdڡ.;M/  1lwۮ/O0ZnRp/rkRڀfґYb- Ǔ/1\Ci&&2?^Mdq.g2D{dn;a riN1$?9:͘YJzf>."|L?7k2r͵ +tн-C`V;0Ss ONszk_seܩ:+$TOD)z)tA`k~C#3Ȑ/bF;`91fM,jO6[ S\0Ԋ1uzcaiQ_{ƭ Mkw$Uhj+B&c_ÜwjmkԲr'Ks~!J5T%cAy7J\;K<8;e.%X t%r_+cQMK=ZPӆ'E)b^*De\w F3֙ ǣejb}E_f7!G@)&{2~d>~BxpO6䏔%HKmNN.HKV2.'*ξI(o!]IXFIv p5@Ɗ/V [rrbleV}j0`l/w'1Hƫk h6H0U~.'pOdD%Ű$4ϳ.OsLJHfn9d¥ǬJjq<ӧ fx~)䶥8'@uw_Ab@]/˖YPڊ?<(cL7F~5կ<kϕ?y;ۼg%ԎmPur0 (E6wAmI:OBTaҴ LEٻ1ӓ(>=zYc-b=0j;K0сS3 '$7 lICc?«I#%iG`tW}IsD_ؒ#9WNWoG7%xdT[&QsZ)_R?㨐C9OYa .M:0";.0O`1񏄪)P'U }k3Q]̔*ʖQo+s}$5Dl@sC E Xr'ђ}c~i?/lmKNzSxa2$$v?SG?NX{Et9 JI̽Aavy0zָ)Wu|A w~cI g%ݑCd\x0]%k8(w$uVnp" ,_> [({5d{u cYd5Y.E!w :rٮՐn 2x D{} +|{NEGv9R|4&b`%^K|i. l*F /!79PV" n*Z5Ao#z~m9,_6[>k=:ZI䑈Qc 9WQD. ,;z3Y.!3gsI(0.`-;(2T{w9AƀMM~[ ^d=}^!^kHԒ-b21֩=/_Cn␼)`EA~G9IrVo bx0匿D$k{,~ AaRRx졝'd'ύz]jt<tV\Ax(!)ar1ndT՛ms9QOkEɦwogj5i\WoVr#@^4l /HUfRb<)dg!ҥh"31|9HKsT388r㚾;D_vL,. Uf'?}bM5,G)q_~}%r`1s"?\NaR+i6G=ß e|K38P,@ʵt-*갸;{zC͙O˛07~W3яԘ^F5IT?<cvDj@mT]~:(˅_p<.<:nxl%F`,託9pd-2LyЁ۟CмπUu[{/eղդF/H&~^$ Ci _; $giNDdL&k𠧂h38BыsAi@f ŏE=b8EdڟX~]z7_gfT25;A0 Q2?J!j2/K&Dy5 W]XI.mD]k*1@q$ $h%$vS}'cZ9ˀ\'xuQP{MgfUf-x+ʡfLB`C'9TA !YۺzFbhvBkpq<؈c7pho2=S!e`[W%LdAƖU"yj_EreFr?/,55ր]GXP8[2o^)w ymaS1cz@kHg)irjXryzN$`HRHYp`F*čx2 fET9a\zWQSn8c/B@gt c#(s ,(?<[/Ȕ0rq=Wͪ*ںe8t0[[` 39Y}20߳p5K>`م̃ifHVB*-*yQ>ۜ}az7-]9 ph2fC L\IWMNG+|!aRDAIZ#=E/̪3f;A: j[mtmo"BkúK"$De,pb`N[?V)/URU!# 1*nYF7FM"zsnui1 ]ٶd?] sO8MXNsfqo0iO1;)IZzqɽ"CĤCl =Xe6h$u*^cwmJLV) hd[ȟ}7{L,Wd8c^`"+~]AxcA|#0E#:cNQ6l9E`O7?G< ijW:J^"oXN4agyGǺ9 lgt{=/f35$() Aey#΃/1&[EUMwSV'b]v8uz\M^mۃ˦NnEhhW~џWlGs1Fo`N@L.dp^=lPciWG ZĖ:"K 1) r"!rFy{u9\k8mPJQPOy 3U?H$;ηW NUdTVivT5\!{emu(p)/+qQ ^(YPQ8V=\vVu> pk_LoqX^pB Qbbǘն8*դMDeBn-/LW)sdE"UlA^k+UF<<[Oy&2;v9@Xfx֝2N[4}04I4v ct|L6{alb>A[K:@Uꮶ=/ $kLz'F#Tc K\{\uuLk-u _Us$_i܌>0%BUDd.ZSc~ ,JNG>7 LT֓ wYEb|{ C4`4!?,Uw·6iXN hf祳uaΠ?6̂oQmŌ( W{Kꨥ v:f0U}g'IGG퐘daA*iyYb u!&/!|ZnDNsu.3CZzE=l3>_nxl0yeaχbJ2<$EyY*|IiӀ|=|(pu yOHYy킏Xl{&D¦8L npiq)֐,~r~Oo+2Ⱥ`_i-T,x1̧ fve=9< ${G.w4f1\Τ g])J'므S=<)St)TU}%^<|$>+90}y>Z"EP>Q+>'hFgGZ3Eׄ[laf){xQHulX;3I܊ [Y~NkQZ6~6#a>ĂᭁN&fow#Z<+2if B߰<ڃwR(wM2YuiBXgѭǙPm0+‹ en 3# 1(=>2QLJ'ė;y۫MV\מ}s8Y|`+.1^/ɥ:pO.#. uZ1mmUꍂ*|eƘm-6s,E{kwayPe6ooS0Q)оk]ϑeڍӣ!zcHc%fm 81g{LZ:U $?oAцnh7M}#]yP&W4[AZT!´$eJnm,Iy6c4MM~$8g2٥3J1K 7~?u&B(U…NUПbث8l ă8cuL#G~RQB YEY^V*)Q0HuQib172, GX6E\K&7AL0 |MjlsC ܣS>Jv/}nչJ+*A "k?!|#+f J.-cE/Q/WߒeO}R=y>@Q7.eiG 6_?VbZI:b*1/q9ׯ&:>ZT'REzO@e-'#2&7\=k7Ĩ@tt=@>@>FH>z:Ukk1m[ï z2jxv&p@_16jh3 ]^98NÝX4X`r^H8[\uN+-l @z- J$g"/qBūHn~z'8*=,&xO4F7scdnKZD1`i&]o'2e] /;`zߊ2{a{&lF!9j5 _}`2m;UZٛO]dWzA $V8 ,]!Y3o3BYB? HLuht? Vr3\x[àiRX<0b(- SMovf (LuKfџI 5? &?IWLB!c<\ȍ.#;"ogRFb> (0ńt|8I*چXwW}rq kl5 q*GfAЉ ^RlТkJ#[Exmwu"1`&8TƷ^y#$Q,]TP4dzjxgS/`';ˑ8<:cdyee]  &cӚWaN!?l(X1.jnt>KTcIM£k* tUJ 3Z@D|-yd$w]OzTس! GCA/jeAPYMC/4$9> ;!c5~0ACRJux=3.FOLzRGv&NP޺ĕBgvEvQ ̍@6".i][*sQU {X dFh; cnT*רI3S<36K+:8[}Fn]FT|Ťf*TޘP?lt1 #fMIr]m+0{1L:1@~Agt^ f&Bst'7Oզh̓3*虏;Q>jYww:Kj5U̧yH͵ t78_+I](t | e*^;/`mKQv{l \9 CjV&X$O}.Iiے" Z H^\}@eB-ýcPw[W̩ ܀ݓM,]1m'/vZҺ tcv4;Oo0ŋiM8[rvui"%X^/ܨ62PVPh'l[}7:] +wT_S8 D(mezZ DojIwSyVJ5~#ׂniwxWZGwZܹ,Ue~.]PQCI{hv&4_x.Rϯi)T k n*@@ ]3d1m~.QvK$g}vVmСI$ε1RdjA֚+MNX1kAE _Kj۞ʅ4F%eGJV:y҃<ҩDLiUiD4z+jYz`9+M (!2A|$>-,W:G1EX Iߨ`S4  e%]:qTė؝*%.=;9Ŏ:!fV~&#W[fb(t_vX آ ڏ(V#v:JE O<$kK <-nLjI`dҳܫxRy mϺ=ha#TkS}WwB.Ud6.7s:EߢB^G@uk[g14/D*#5Jg,x1ꇳ(R`ҊNAc@u]Ԋ-tkh /vz#ѕ4D{l-:b#=feixS\>L14ḥv򵧪tp$N!9&iY(T>"W 4!F2#c^%F 0g|eyU3闽/el0Kn%lsƹe5&,_ \1t%:ϳYhEF)Is,> Yb7iY P-nd[СqKXؐ0C"OA**P+oP's}.@ɗ#v<"쬩Ki1s!⹶:u}ҩ*IԪ)Kˠk3xUv`|M(O*ń#`[[3Y(S,>e/

`5 2EӶ{+fEa㐎(XA>kBBRR綢xg4rP2Yh3&M"+ 솩e]OE aޟ8(zFAכD920 zQ;@Es>4kgz(5اcϔ_*Tbm|.y nwRPGXMX01%-zL/~ ΋?#Vzn_IᎫM𶭬úr1iMFQ͑~rGr[wQ\DE :EjYn _r_©:6CB|;M+\"Os lӪ$?OF$9 '1Z]Vɫ(a0!=SN[O0D$?xߪJ#)/B|ǛV4ѮF[gq}%M-nO`1hD :Ր#˷JPNSz"`B0J|T C`Q"JwFs!A*Zل *C\ )ryUkw sn $HW.ObuV';zGdJ~O)5?t ufNQCKtN+-m󮘾 O6"dFnD3^ N}yyK)'+;CfLr~ֺ2 Ao_;Vs@&{1AHA"Gגh5"J`){vM(AJlc3;"땠> uH"L-{$R2A]3u6˄pR?r Ї5}25oH>[P1F+0θ(awn rG8ܸ^XfQF"$|pCQQAͽ2m1 0d}koё #M~@*@f8aޗJt/=F3i˴?tR#dsǍ"BV_U1#^uەyS~:RTl}N`?W+0x?L5A/jD,w@-DJf!XJA#6_|oC\"4D⁂-cS_r(ysD0UcoEJV*)V0KJ s~>XLdrGI昰lWAD }B ҃{^RȵM(IgI1N6Cf% {+ WgNUp2@gi$b:k!bK/ތ+ua݅^6Ajs0s[x{X NQϥKKvyv jwH&*zBzXE/b-;;u]eYp|+[@5qls|qxI?Tx܄ˣW|䝕DG\bYPȅsCDf6pc;I0Fx 5 Of BĒgquB49KsI{6j wĺ h'k |\) ;uB"馵a; @o=>^CJ"-}Î;R$^Gs2ݥNL/'y(![ƅK=6L>KK5k (Drő"Ღ(d:$ӭR=R\{Oz_Nٓ꿀Ke^Ҽ]?"qjYYӗ- {;lh`3 U'z L~E#eKY6q Je%Q+&~b|rD sMg D=+o!чo)PV?CHRp^i۶dĘ=|b]՚8~J6duh@TQ (8&J/mx(Q~0;$L"8D--\WH v|&n4>XU9Ay!UM.%}uHCq)L9#B*{DI5FT@ΰW(|e&O5B$1^~()!x |N3i^ScP)PooRXDiCNT:sUʠЛ~%i5L bn):ւe7=^44_G#{>s&Fq4l$<` \Pn8`~4A 0"B Tgpm1ZIORoSnX8`mKnx20:h VǛ}EB7B'C!U4L1ڝhGNy@XS*_觎*ʵk5|i^2 H\*__7@h,cA'ʁЯ`;Xa#0[8ߜ]pcAX P_S[-_5z6ӟv匿`*}z=x`;&9u6xoFvԑ+ٸ~B2Wh<~fQ백, 2U=zrN! lrVMpuS#2 &~ᓻGb%\FHU~ZC: 7\ùGv!pNUf]8ܛ7.)`$.'AvvZK+&0 (Gi'HlInH(yYҼҟ{L,7Ag߫;h˴hUv }ht—H!KW\C-W3M߾/?T{` @^XH%Nh`3c{ :;G]/ƽd{(W'goHr\\c3}h~n/d'ړSPk{KǶ hgtܨs+a;t a{p+9V6p>Э==XҴ:"wqEe"ʖVMfGt 0׍zYzӣ W#f hUz DQUpe$fęYZhI Ax* Mc^L3h4w;y3S40_Z2+tR?~k]+9Ko8faY95&-hl@AFt!3~)q퇋g9jt} hT۔קDҢxTGTy3Kqk';QOJ<3fW qGKCpʠh6% f~MzpnդJ?)}I [;&MuW3yzCӋc,v>tO&ݲ>AVI#QJ_1u-Au+N¸0 "1m7)}M]}p11ni3?-[*z9h{{1V'kZ*x!M0$xgk, T^;i ~+t]=u+Օjpmwo?Td ⌮-ߝՙ\hYgx}LSQFIK+eO\I-Rzm,R9T@޶5.#ݮ߫y-:j;B^t`ȠJړYK\dYo7=|bm/vDg: dp,h (w jMױ0vȪzŽvjZ2b/^S.. NaA<#Ť.D',9L۲3`Ň㦢yp[jol@u~r4R팝79~%^gk Aw׉d KzgR.c0a.xpkrb| ޏ-۬-Mv@Պ'FY% aYxuɽS=Fs,&f8?E;\P'G;3qqvOZ37 :C=ۯ_A YG6JLvFx[RE3Hlz&* vy6 LvOM>Q#0vୠ?[8V! 7=" [^j6 *D/^e6VE7eO3ViSаa~!"Bۏf²B?#!w?#m}FQ{DS6䓠 2籋TwR=ea-$)|aGLs &ѝ^HqwȚM iWqTH#pdɎYۼ^~21"ߒKrRk[BmhxOIn^6ѫ㦪Ԩ44R6piw,\gl|B)H;n*8@~k@QI 8]ŒM1Ժir> do}Gw#hr.c]S7V7'%])vf6PƊIz!{^™E~hE6[D wA= 0$^H+3Gz}XpkM DP5)ߨjfD>=\.0ɕΛK/[Q[@9P!-)CGG|#-k?jYg_$^"ř%bߨc5qH" C>full2SyRm=3x5S|ʤXFyH/MG3G}կ8Ԏu@SQ1RQ S[2w|bq69dS=ƊR 댎JOxAX+I[cBcr-N.s%Y@NhT9,JT #=[6q((S;ҜBB'pCQQ k)mQI*pjHaEߒ+&e4^NaBAG%Pg ~w17?>Ng1@pgxx;f^=T C: s<*aO4#ɠz'[|[TAH߷ǂٸuUоF Fɵ t^}4ʁSeemEs,y&"5*c_5.9Jܸ3|%0$8O.&G"}I~ϵ)$dzVlA% z*f'$=_2 "=kXP/p:%7 ;^&ş `=>l[PMAl8mWDZF'Br8mz9@erl: <)PoXiRb̾6RY@Wh])jh/c`]>fyo.o}*Ti_ Dx8,hVt>>~A 2 i)Ǘ$CtuV.D?/泵lXg"4StA~b X0uk#Y?2%DP3(_ Z]=('[C94 Uʔ* KF|tS@7 EyK| ?9 #Dۀ׊y.YA:GA—mUkjυ]$~YrJ=Z#qB?ƬE2!Wqڗ7I62$TȤSȷ8xbin_d3):w^eJN8o"y6z]O\Oqq{!*g܌m~Xv &{frb U 뎦0HB]x1[Zq3,'ʬqXTȳ}O-Lr,NbM/;M=Dh_lQ!8#9c9P>J &c89 _j{>rd̯ wKs[s"+])0=&BB*ClUl;f%][\ԘoظVU H3^(q}C- 4@сNT2^I/WG=/DAt袼Ep~swױWa}BԞaRGJ* mųdf;RkE~遂Bm^ɤ^ ,l@-; O[UĂ~U^tTKH7IWefz hPD .jk~oiOXb`aeɴ8b-K[%e7"FO6%1BAlcCQVQjgSjو k4$[Ks=-kG`HD@2"l~ i vlyͺJ<_&ƶlNIq@Lн!L ! țѿ*U5!(lKx@ E0[ɒyg4Z;X YX_T<Qrpf50S<oG]cV9/HROO݈HnN$\שׁ(b/Hw{W*S9 f&7N>ΟDqm6޽8M0tŒ|&\/d=G ӂ Hf?#BdMj4J~/q6gZPʇ#z]7Sڐ+$W 8"|`{0w̏/guK' vPv̢A-G ^.&^T?уHw~O4$6H|:>9ު H}|\HK5ȃ8<fHdS L+jm&eؒޗ!+4}fڕ8̆%rCB߳J¸rߞU0$M0>Z lQ-]pzxZskj; ƩKrT[,*wiQ : Ԁg>[@㺴YjxF`'v.wI+C@ O>$֣q-5ÀLnu-p) N\FOԑDŽ$R 1/"I RLSвd3o>KRvѕ5GN{r,+0̲"[7[f`jLoR '72;Î!)5gYZ 61'g־ ݾ!>%ۜvvUx շ^B K3HVDo9a1ͪqg>lڈMSuOsOlZs=85򇕄%7*L/pk2iZ?X #k5 JM *i GwŨJ8׮m%8#mw/W= A*F߷Ye|r|ePGdB(KAP\wbǶbd:JJ; \Z0 ;Y| 3 яv; N0gYZ7zXZִF! e^]ŗXiɟ1˦r+g'Dgr>{pNa5R]~ěw l4 NZۤlq<ʌoo<''WxәP`j>dR8h~68L >U=CfM԰Zxi)>\B&\tҚqE"SY8%;/9\jPJFˉZ&bӛqxk?fx@kHc*)0hӐ Wh7$s| AS^05+SJN5=T02W'9xZyՆ[Y"ϱ5ʕ 4Fx;/䠘NՆ4 L`Ph5/OEMWLgU2FtV +,zL )1sQVi7Է٦IH,w WTebMy,ȃF` ~Nm*pچR?#~9$\K1.v/xf^L^m(щ0re,cXF\}>)ꕭ=DT8O!g@JAN֣f;?]9!\a}P@ʖiYK̆?<;XEv7n f|A.-*׹ /Md1"|.= XPR̀6Qs͋3(͈E :NlvCV1P 5&69r{gL]g͖@jJtx$iz CѬjb_n;Nd jRq|>f` zܟ,)a!mDq8, ³& 1-E\v\A:߾bdA9;:u{^OqiƓm(uB{x{"osI4o@B^^;|%- ;Cm5Dٷ͚i/_5 )ג@t᧎IT}Ġ:'.N.?Y9t^kM|\1\UBXl9~iLnmB>ȓJ:#u׺s88۽(6y))NzցWڍl8΃'[DtIh7BBSGԯ= VI<'rb2޸-]϶PSy0TGTơa.%7 ZQM?Z7LWfN nXQ;PCV$ruTwu:$\Y֬ѻdϨ% .ɣHzा06kVYԳ?J_VVZԬomvA}{I[C&c{ /ӟ1D@lVY]P|[W^V@R﫾Z~{UU=v ie9uy->ReJS0]s7&źΗվ'j gKAL^YZpTH+R.!go:Bߪc9/?Z}2[un,S]9\LvF /p%{&E~wc*²1{jk./teez 8'Bg1T+9hmD [ 6DsPRkZ _`)VBcٶ'4}S6+o-yzRbզLqi[uSs7\ =ɥ#pu4eɭ;/(T%EI 0M<$ YyCJ"j}vw0F׹w:pAkoRegVW HkqwP}|(({ ` |zv]l '%Hq#r^ ^atơDQZmUg-[a@@}ߐgfW!l:mf۠YX]/6nIq팠~I 斆ߐ RK@O gF%YrDW24|щ^=ZB9rBݣ/;RVHkFr.PGpbs<~d'UȩHZә<-mҜKiNz4͊(/K]nTɾv3Zm83ŋ42]FOW۔޴R/%npk$FO!Q<_)lEIԪYf$8(EXnHSӱgYZ738a6debe4dbcd17ac32a9608b556a68aa108786c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e dbd5cc32d9ea11daef69a86c81b4391f230f50f5