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 w3 ,,\ ]S IEEE_Floating_Point:threads=2elapsed=31.591cpu=59.472gc=1.476factor=1.887zXZִF! <]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıiAoRUz}⌻MXU- F}J5ɃVA~W2P`UfM:fMhgPf4툇)!nkׇLvͰBKIgo'BcFʉWj]'6 < e%8ΰxqm% yEjrdK*Φ?2̕S;dE2g4qu1?ͳ[0h -6SVלV*:`y?C6j7gk؈UiM[[Tp_CCV_*Metcv#>/b,r\ₕ$10 /C|z ĩl?VJI ~ӡXswj)XUEl4Ir%u'Gy7uw2b:mkdO|H_[Q-4A*gMAH3ITIf_JuXn?Ls3G`xGb-~.[om;#$v.&d3VN״Y  Ax>^J)+*H&H+kg>l1$%kS8)-#PkJ\:7w`{IQ(%J>FޱgYZ7zXZִF! bO]ŗXiɟ1˦r+g'Dgr>{pNa5RJ8#;G4\0Z{i\L.:_(|% VhT1N!gCO쬋<(zMpqjmMQ%a|D;3ixE<=3e)(zBT^)F; W w;N[RE~5>:k 7oz )ڐߢkX4] @{ ;V^=ER"t(W'ٿMFʏʈ)v4wTF eId2wxh|OsG0H IFDC+hwiREmx n  ӱSRpGbg z!3bnF :H+H#|{mޅ`qGC4:`Ǐue~F--tT W|#d:1#FPЮ׵M<(I.Zsjc1"#__`; $<?܋ ݊#0g\ȝpԶ𑩩fwVCTșP[F92̾Idzeug椙s ?PA^+(Iֺ5q̭v>Q2P[eeI}>6S a?tc^cE3i>HVRe&p`,L`@t7}4qA;~x-)枥Y^<4teWhrNU*4m+-A GNUřM} %\5]ZA-_0W`[Q/|Jxa=q#֧: G:pȳ/[z+v*ӕA[]̪x!XgYZbda04ce668bf2f3251ad944b0977628c103f725e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 d6eb13e4ff6aaa8ef44fb02e2f473957fa623823 5eb4fde4c5d27ba27886ddd8bd70279fac723f96 3 IEEE_Floating_Point J3S% IEEE_Floating_PointIEEE_Floating_Point.IEEE_Propertiesdocument.tex7zXZִF! ?7?]A-MՋhvG"uIBm5<ݮTF տr۹y ɧ0~E//^.WR4|S ˁ0jpqV~6kC2}\ԙB* Eۅ%9Gjf~<0 #lo`% O&#w%D2֊[&%NU᝼O諝Z<>!Ɇ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ߙK>bo(~aw./'%UN5^2RDg Aibfj5C@#'Uw|(8mrT6$дژTc/Wosryrs,L$ CVWUk.D -ZfRџ밣C[ԐgEJi/oᑈj9L &f>D1EX2B*J)r`m@BeXPX;N9-ə)#ߦàf.G ۣ . c5\1-V;=|c! "sJ3mxOȂٯ/b̀}A \BBf_? mdg4,ybokni۵+,ay4_RSQ&*-| (؇zs[+%si⬔hRSTDžkbcbQeQE8N(cT̻a5sHLl-L* xIa)C s n22!b՚tS.c)v*ylgOws R:dvҡ"l}uJšÄKtIŠStD7pzwE^5ʬ0pS`\FeS#^WU06 ڳ,ɃH 8@>rؽ2% :^ *Y        p p t yv 69 8B3G%IEEE_Floating_PointHOL-Library.Adhoc_Overloadingdocument.texD3K%IEEE_Floating_PointHOL-Library.Code_Target_Numeraldocument.tex =3=%IEEE_Floating_PointIEEE_Floating_Point.FP64document.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_Intdocument.tex @3C%IEEE_Floating_PointHOL-Library.Code_Target_Natdocument.tex?3A%IEEE_Floating_PointIEEE_Floating_Point.Doubledocument.tex63/%IEEE_Floating_PointHOL-Library.Floatdocument.tex833%IEEE_Floating_PointHOL-Library.Log_Natdocument.texN3_%IEEE_Floating_PointIEEE_Floating_Point.Conversion_IEEE_Floatdocument.tex=3=%IEEE_Floating_PointIEEE_Floating_Point.IEEEdocument.texA3E%IEEE_Floating_PointHOL-Library.Lattice_Algebrasdocument.texG3S% IEEE_Floating_PointIEEE_Floating_Point.IEEE_Propertiesdocument.texO > p*-S٩X[{1e|$s c7ǩ=D־ .Lg @5|ʷ# .{9~2Z/ۛZj63sG4Y]dE-9ՆVC3;7 Cl-4gͅ4 GԬ6d6[9ǀho758:x/O ;*YvK>̂SJxG*vM#bC.1on nطKd fkNN0pYTNwHXE5Dt/l`4lGp)1'|CmpQL~F-'2ƚexnr&JKjznɌi FQ of!/Յ0Բ1ǜW]Y{w[JJm>=Dܨ3C003%7+ kͯJ}?KU?/5b!"οnpCE@R N=Snmz{֋V#f#h%Xࡲ3.vM|Yv֐oxsiefz%^TPF<ɧ9g5WflRN3O!<#SbG^PR{x0LSPBIVl'B8طݕqu #4ZHV"pg hD3M%/{[:Tj^!*nzv MslCOZ ޣE}Qά P]T>/) v?TGH!/s1|<+ -J(,ת)m]4ofaC0YpA"@T[ η:"5/P]9؜E uȳ? qAc {ZlOy#Jx|yH1@!$¾4٤>N{EXvLQh<5kC&&V `0Tn)7"n_= k{OĚVN0!R;.\y[=XDkZQ P&] y[4vT IW՛#옗oJ[Q[6p_{}yޱF#|G Τc8545ثE#zRq,Ӿ7aćRaY,gBIP<6OIs }j'(0 U哒dagš?ynJGX)T{4 =/翬ךIf/X~.%M)[h;6/9?D&ۗL Ep0 Vo0+i_{=J;W*U^6gN#SFS3DHYաR0ݞiu7@lv, WH(k Z}Mj"0ߚvR~6N‘hNI_y?IMdXǫFzNmS,>hhk¹,:QGT WVWCsY&͉S% PploxYzNX9aCz,& 9ch.Z Fy 7XtUߔ6(p>D`$2>ʠ܈ qɲA1ͱs*FwuC` |\.% 49- YLjsl>)_KJ'i7M}FLuvn$B# (л;h ԿVb8?0rLZvZ}864Ty \Z &cCZ2O F3u[BlwZC~w Dk[f8K5 uTzIkXZ!7[E3{{/ R*-½8m"D#ʭK<ʣ(;-{s|AZQ [gPtWr(zkU`]{މ2*-Ă)6&\vÏn;a㆝޴VN2s i|vŝ"|R96k-1ER6HqϨ1m 9p;Rq.h~HT10yMB 95\sm<%k S4]H e ~, v/t3.A0rt~oq^"t[ #˅}G4m#v ̍)AD nn+</aoH}wW3;}[~;`8wr%Ug `r 96Xb$T:ѵSiՊoZJk INȂ<7G{gz{T;K,fzN' t" V7蚥j9X\}THEܭF}e:a\?h\/f;'yn|Hb]p 5 9m͍L< y[`.tl ?7A$gY?X*&C'| 3á"2\N!`W^4wfh-9+\Q+}׬7,8{ē=Hhko2N?XRj3Czi/flb&[kOl|>ѱ ]{oPbƴr5"(n~\>8_N^1qPWa=ST[LK揮Q릣Q+G ]M "x*Y\ Ӷ_ xf ЃkGl*9KSя9(pWDG3$7E f싄LZ[.˨VkM*H[T%h @ Y3epWuod;1'$U[~W/WJ$耠\Ɛd/ USR!$]d͙SS<<4%u>7߉byf#!Q 휻4doDXi[Ц 1tx{ *_(C!=bMVR6eKqz#8s\ !cq1 n4m}Is$$p,Ѝ@xQwf a*P+07Hv _, aiՠՓ޵IJ'MdNT>Cy.q)*^ 4,BGJNNध+]Ub9m_@ւ-D :$nM322Ǻdڈ>eOnf]cbddOQ ֳuJVD a1ӷ蹃ac'iU7/hT9Ei,wq6JN㪺d Xe 6},0<8V-yS$l@_A\㋊'%~07#yX~r_&)EҀˈӶڌT5.+%Y T#, / TQvb*;,c!+3]Ϡ l*Q$( Q$[F;~tL\ B$t—uYڢorQh:fT`NI$1Qɏ۟MˍRU+ וwn= 2k\UZˎ<jJiWtZx%X}ح96;sbB]YҮBidM1>}iR܍\hq@ w$YU Ͳg_b "ު%<)9Ep3;z[~l`k5ہE_a5C[º1Ҝ^ҹI";'t4$͋GP=́Q!qcPp8+HM~?>yGDafeSeGmpIͽ4|9D@H5}uPP>:Rv˄a(FZ(v}븾oJZp44]_ ƇS=$7J:nX,Vh\gO@oC2~[ؘ%6zƎ, xY$bFqë@уo=V`y&ؑÞa EoI$QHB&4!6ɠ o7 +7(“uW\}zE O[ǀ~Osq\ŴViˈf Obwߊh2Z*H63Y [?oӢfq9x]^ n\ͻJ!/sI ,[K8sgg~.ެпDC/(0E T!7̄zf#ܳ%1lPK*ho3EVWm2PqvI 匦?7J85'>8Yѻ/Vj'Q1-[\SCd]c, @*X9͕Ms\lTCrEǑ2Y-^ZE|cyan9dA ,(r %i ]>i~.Ɓ-,XlXSNgmGSάA 7Bm8[p_+L\08z}1k:tӷ6|8D ~nQoZ<T|l*:ybT"y(kM fgAZ?ʕq19s )Q,ߛa `.U#^ִ.oMAyȵʪÊdwfdqZFZ5RJrI Θ?JF4qOiyڶrq-c*b`?kg $a݃j2Ζ RDָ]`6*RD:ں2|2?<^6~NTҔ+D=w03- ]2N7ϑKxbYNfmW<>r(_%l[G3uJ[PS9rOϓj26 }kF$WL1aBH SN=d@Rwiז9~~q JK$v-N^S'SG΋RM;q\K}\3ڥ{3dV7!)"?Y?淯!=%&]4$iYp Gخnt9{) >,Yj&ۢ*RD-=}奇P=!pOIo?`p`D_t5Ȉ,"Z(9Ճi+@'`7qj#g lCUA5:>6T<,rj3Q7w6UvEs !,+{t/7u)q} aa|bwu{D8qu "Qů̏T9_q>STek|*ea.W4IBک$VR $8@t:Oet4Qٷ'“X唵v4 i̞=}1vMu%67zρV ]aY/em H/nCN) `G'<y0A7 ]DA#Ka,3 tl ZlΛy+==1/K<1 $R8w-)/ɹ哆5-|Pry\1geK`fIUP\@dHg*ҁ4 oN qďNʽ x6<59p)?DՕcC3*|sxi!u$6ǣ%oqlPG*IpDkkim^dF\7Ag3E\+D޿foc!P~"aSc(Fg?4DDd3!SoAvj<7Re"LTݸK B!R|N1Ԏp{$X%IݾŃ|TA_R3818GD۱V ˆ:^́R(Sלëxld0fO XNA FxI Erw_18=3X iϋUiL;k0"MEb C;qӬxE=ڏ7#O@Xc%]U$Q@/5 ,8NYɩdjš:!T7;myH"{ GAڸK;#'%+ufDB v-e涙3YJ\YSK俵YJ'R{m<̵tPRyXVW* fT^Knг!7m6ŰmJIrU3Ӿuuz>N7:'\ L+Y[Ϳ7pui{'Wje:$D&N7@ @/)=bSv>FvlEFF?6| >&\& .R] Zh{ %lE}Ly~`u7.Zm܎ӑi|djq|:蒅ۺֿ lB^. Q`*Vaz 3-`u!E5ff.],|upڅIBs;(ʦhaz`"v#Њ! ½s1u, 9-&4UamCeSza&>ؾ^e& (X >Մr-_:6}uQAտ\s+|(aY'ӑޏ{@v+%%6jjrPgQ*>ՠ %CAHvv#>%6~L>H(gyTew(чc-=ӆ/X~3g }̼mp&M")E2T@E 4%߅ՆQ :C࣠^ܩ}?cpi *޳ԑDmˡ i%=vq 7ZMLh؈P, c ADvќε+(iHf ;;@O^פ9R(9#KT[YNe5ָlbbὧ ]pSo?e7|M[$6inZZ8ZeÌZ?0)áF|ql~ {s_q01%]̔)$h_΢Q.p'&$ҀJF Q fŪоiHAiY,7kǻξ:X @ifUKW4T_oZ2b e/7Un%C2 AԻ( *zH/f>L۪?Pq.^I`^ʉ[>4C ?bزaV~mNJi$_WQN$3Ep-~}6!V2/w)= d|pr j^ Dz%_H«D6D0oݠ)W$G;WЮu&֚gojZh a-:;~tEe*?=akE8֪.-cdgyO3aʲCʨcKX$]AC" '0M:hM-Fa-ؘ8 0Z#&ΕyLcW 4 7"2F= kmZ`p|)煲/B^]BGP>$$'IaS:hLsPaQүIꆸD//{]zу୻cegem?:y:2p10MQKB2A*9اDq)PFj`hPT01i!nErh\힉1cIN3bѳ|V O rCZ*us5H74fB~zMӝιْvr H"eG{uQ ϭRZ1zr{i Wuˆ/_l6C`*xƳzlf2{w6dG*ip'6]z7WwŇ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 ##J3S% IEEE_Floating_PointIEEE_Floating_Point.IEEE_Propertiesdocument.tex7zXZִF! ?7?]A-MՋhvG"uIBm5<ݮTF տr۹y ɧ0~E//^.WR4|S ˁ0jpqV~6kC2}\ԙB* Eۅ%9Gjf~<0 #lo`% O&#w%D2֊[&%NU᝼O諝Z<>!Ɇ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ߙK>bo(~aw./'%UN5^2RDg Aibfj5C@#'Uw|(8mrT6$дژTc/Wosryrs,L$ CVWUk.D -ZfRџ밣C[ԐgEJi/oᑈj9L &f>D1EX2B*J)r`m@BeXPX;N9-ə)#ߦàf.G ۣ . c5\1-V;=|c! "sJ3mxOȂٯ/b̀}A \BBf_? mdg4,ybokni۵+,ay4_RSQ&*-| (؇zs[+%si⬔hRSTDžkbcbQeQE8N(cT̻a5sHLl-L* xIa)C s n22!b՚tS.c)v*ylgOws R:dvҡ"l}uJšÄKtIŠStD7pzwE^5ʬ0pS`\FeS#^WU06 ڳ,ɃH 8@>rؽ2% :^ *Yue^EtJx'$ed(69xLq߃:,*( 33B3E% 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$^]<ڢ4Ӥv8 K9e? Cd^+\ێBM{^Q47rA[::;ǁmxqZ;;vN=_ H}؁; v s<9X~A@эƴƣP= ?*o][8:_Z2a 523b U+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ڇ>đ+rrgɳZy5]MmCj;O@0"HG LLXƽk-fIպ!#Dx7ȡ|"@, N,:*ade=(`>I0$fM&cio^^}Gfǁkz߈- "v򀍉3Hto:tGw| բ7ܾNa"2旅moڥzԁ.Ux8ahuA X:4VLxCmŷZe齢qDY<]̚Li]1Wn -s@;嵊C=?89l?Wq0pA&4Q+#앟Y*Dڥ~=V,iuQ7/P'&NQl.X<;FXo2U;^]km oκ *#&(/%C%}9}q^,t!=EH=S#IOgv'ujFVlFG9>|V$Kʡm0W/#7= Oq7 hl`iǖBZȊ'=sX͕ nZz1x4OU;YN5!3zKv9Ӂ`ygM Lg')Ad|XK섦Hcˊ["pHCba^2hi?UZM oP{e }=)6? r<ՠ2<*w-#Frf`zE]s*ce>o,Ƕr+KgR4&r:0,[L|ԡ\7`wW  &O`Ne(a 뙴p?<+sߖ7:r@$VAkhwD˻K欦EKf!U@W{_x9G/78[&+I>[L٬9}05Ou'{Ds*;qƇ- Ȏ U\Cf 5R8gOw,8=F]u.5/);VyUrX>,,@ 5X(%aŊ//Q8CJIWYG0AD@f}2h$ ^1\>0g_C ICG@k9jDfV>5.;ՍHi ƣ/;bÆty?OO;)Gk QA* X/9^ [jm?BgAլZ[f6Nϙfc/hVījƞ$À!ʷiEU:r2tvZKѨ-Vfs 5@QT)fCiRwiyILx!aڞ'WV4+iDwkQֈiWC f֗6eRgjv.j̡Ӂ(M/v2  ]ɾ1+x.DzL'Bm+™^/`VBx, ,l?p/o ѧ5RJ8u/[njdPV6z_?8m {Rv6 w8 *=MyN* KJQ<"[׃r˂gi48=1Gy d\esCnڈ K')5Tpu)"sMpx5Īb0$KBGu'[dQfk"c4/lskQ2K@!X Q@}<6ޕ4u+3~{+b;~B5{\UjڕZtEK'ߪ3a5%#Wi8Hw]bV`CQQo`CN2d4vCU 8\,-UsgYZ QQc3_% 4IEEE_Floating_PointIEEE_Floating_Point.Conversion_IEEE_Floatdocument.tex7zXZִF! O]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|0~:?N5A5DNT ;FL ɊER ]b- =>e4RKCW̿T/5^K ءhmAfȓR8TYBѾ qGS~T^,3o!iA09P*m$I qCz{q~.Vr[63=% |IEEE_Floating_PointIEEE_Floating_Point.IEEEdocument.tex7zXZִF! +]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 + k m8AK[GX2JՋ:܀JyO ٲeƀ1QY-=U?)}*T`Jcن" _"8W"Z_jPJeGkWgi^Mր; ^wD>ȭey>jb螩M:p6h8W> BOʋ1y3B12zߪZ& Cb9y8;CYZ/:+_]]Hr(I?a!oz|t)\+]V̢ͩrj_F{D/rlWO(\BF+:b-eLu왏lb,AQϫ%kId]N`I'Xja0m֤Jnי.dykdh|[g}q&aKGseI/hfѳ`eNl;B]cs` yv8eR8_e +VA)֌fS܋D1e2(*3.(> $Ў(xzJ1MIɛ_;H8Ao!`[O6JдI VZn<8}=ܓ2=?Z[s1t[: sLEorRs b+y%Ҥj4Lr\Z]EZoWpZBztvYgاOQWg2V9uۂ]Y5hvRFYyV8 e0 MUӕˀ>S+iC׾{c+C&?anR)Hcd{U&oPv6^ޓv=ho6 @>Cg.= 8+[ufwi(g=T(Fꯎf)]y .6P%ǪUա!](׃ ys<᷒ZMX!re<5ݿ{Ђ>n]AHR.QrC1J}3sώaOǛTW\'BX%qMEdqGพގXB,(M+{AG *H`,o܍벹?dЕE.zlHSާ-UbP)U+I=OOd5U5>Tݎ8ЬqF,{y_*S(Uޖ١ܴlo0\A BRaLmPAݒuyv O* ̥\o{"%"mLw 856uCFm*yrLq'Ky˽hJ z{2۷JATռW[SjX"פs;ܿ#լ?h6{r6dI#htaMȽ509Ve'!<%y핍jh]R]qٷƷ`,-,hg䝎lMR`*(1N~8}a;/7``=)h4k|ޕ ;iqSbo^OB_4p1Sl=G?rr<)ݗ,twª 0pM@uYExl[ />u,֚V~)v_-zā#MCN;1zh--[ʐz :l!_b'iDF`6v\X=LM̚.(>Ke&8w)fJ?3ǏQl5N!?Mqv[f8>IIV di7;# 39sÈeq'h`J7O˞??Dite1=RH1bSg_=MyE[nwA{F(սBl.YD2||Tz=3E:1tů0W3 8TٵvF !{Ԧ% ǵ /c;e L)4Ak&ӟڥߍzm0sLh͐\*~*ZȞY{e4#Ȥ[}{Q6}J+X82"sgC^0нXjAC0)(-DRv`xMB$JDn̤Q5SbaX@`s'k ;G\ B|4U rz0ɇ0xQ`]ȇճgK‹8&x6 G@+E;&%oo5{By/SQ˄Iy r2:7cd9**Wyn Dloa W'[ N!5 "WvD(l3~H+6EEdIlΎWg= ͹t,l`U5WYT#%e) JǑ\sxݛ2љʲ5pGYx–d%ïnY/9gYZ*'L7jZ(5ddf pT~dƹBB`'gu= 0 ; BNcJdL"Z|~hdB,U=@QÅUm3~Uq P'}*D !yY-4ʖiƴ5cʂp\mJp2D $u8'4ɪs Ȇ0{·FԜlp~ކxOE]W~LNnH*7',Zg4BNɴ>!MӬ+p)6ܟ.jYWP] r Tg)B- et#AQ{j.]p{k|݈|Ś$Z.ꥳp$(n{7q7U4)_5gA lBLqȳȗ[꓈&$_XfYoLR(BN/cdi-OrS&+AQ+-ø>EQ 7i}?eE 'nd.f53G40;~}5Z #7HPOmU1:'贬P"ֲk#v-nVFda pH[Mӓ rDb\xd.bڡml =J.2y􉴼S`4Z/ߊޗ&N&wRހk7RcNGkT=Fޖ\?7Eԋi`~^/JT&q:u)`7[vjĀq2&=`mXespf( 3I%)PVQKVOx8FT`+N]PR+gxk)h3R&Hji%y0F n^]ʛR,Xwz/7Zpf]X+_ 8矣NŴ{H囄oQ01dF6ʣ@\bxVPK`Pf$ ~g̒e_et⵶/hC*yIbb ˀ xLO^ȭ.^XF!p4b'f G"-W_[0Sr?MkzHxc3QHkO| I6$4s @/ޚJ|^}ȥ8{%0 \YA=*{Ld^b/-7;^e wr9Mޣ`Tw=ǔڙܙJ،zUUnu x/{[^Um4R67FTS />LtST{^m(ARrs?E쟒΄H\USPj6`jՊF_uBKF.er!oTAPL0Qj3 6xFڮ* ߟBTi/‡ew;J8FrЌ"u4o1{0ݤ_*:I3žĔ)ɩrVA__;]/z 6U@teCHiԐ)|NԡH atǂ*u"fqXHlqA2=jDZ -~3"r.ӉlsrP^o.Oi#MJuvdH##3נcfb:w8Bխ9otmhjW 3QGc<> wN#n|l\,9{Wԃ=G-hB}4NC'¿fJbQsu`0x//QN\.t + U#|ERw x+\⭣k%V5qt~›VbWęRˆ olsP7cw5륚iQy҃i5> bAgY^{' GԢjD9" +qH@NB*͟e #Q.6gnPTzliYɚEmau$|0HkFM=s^:1[["Z/X9F"H9`B6l9%lA f+:~sz?/`FK6dS*Z{ϗ46uwxYwuĥZRkGfx20j1 o2SU1,k|:Xmjɢ͛9 R>0.ۙ,x~GHtx0{B,>ן#[f]Ѿ鯿H5NKT'lqa)4gYZ  33% $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毗OJmE(8yٴ)'bkuexpG EWe{J)p!X] E[ݤ#^D&ċf`$uR埘ז2c= ֝)ŭLOY|$+&[2D[l|Ww+SG ;VKB!齦ԍ^0x)IK 4r 2w R$I~uD$qF?F=\6I5kE#*| %6waۥ-r;k)Ć:A z+H$tw%bt܍X;_|Cx#+`[*~BI1' XxzCloR.pd+neX7KI/=҉ ߹c+:=J-ƔJ.2Wyo!`b!ixn$.ɇU@ږ+\~pNnlI x@ =A-@@=Npx6 5ERsw[1N2lBrI1z[=*Zb23PK0+T daBـb]Z'zb$B'Y^9pQ $]{HDC? [C0NJ],pɾ%RUQNB.'eO_J m1JɹZP&I#eG" g԰~s9ZT=lDfi_5AC()⶗`JUd6קz{q#i%: SKm x[ȱTc uSs:/?%˙Rא#ۙk߉,$vL{vs0=+Zru]+iDJ[E$i^'՛}"U4*{pb \i9ǹ(jϺݿ[R \9SNe)7pD98VG#  A{L#4Phv3u ( (z}[ű9Zl8ִR=Buٔ1xE6Ux\K¹`Jq Ӓ)P[pjxQETk~j`h|o𢓪0"m C'+ι8KP/s6_"M:a#g`,,CCDlATCV/eZm,{܁4VM1tkkʏYc)ɜ˵[^!Iו͇&bHI^00nHrڔ71kM Jlܧ9vH}x @gi`ŒWcxx+ ^@FV)}=e*QC)K#ÓzH42zOJ]wrtvœه36nGu3߫F "ѰO _ px8"[d9;P` ؋jgȚ l0->㸶! 8;#BO1Cm Iv d#єʗ?iEqMUmJ EsS~KP0 1?1@k |-DRQJp@;puQ^BA,G $ߏ\C*n %Tuzk rp h$"SVyU ̟knCI[(G `$X% ALႼ2rjk\]XUHCAng Tr՘9 @>1E#NRJzc״s0b3qhe y&#[rsqOfۭ$R,FњuI\%o,S'p~R?N0uGqV:h*'1@^J({(͍͌T0\!/@-z(5vZ6;2vкU2I7M{d/C"^ L>v"&d#Z) I!6 Q`,b֎Gl ;bj*6%])8-_;mlv"^_EӈwPPhsSf4ø+:x,_/}*גƩl\-~ˑ/N6W"BOpѳ dꂮ2;5 e ew=ycV}[qGd{7N}>2T74ԃG%|km/W DG}$ H~" eUzf'd՛_5 &9Ga;!$qT(HIv[Ɇ8֝*-̧Y~T_?n4xǜ%vF\ ka' <†湆jP d6F.@.OS'ajF^j8iw$B/۩`Vd8TtwOl0I^3>_78G]-RJ:疞gl¬!o >0$ AR!x3@T D<?W$e2 K8ews2skaΜׂ.1gWϳ4* 1q@6}Z`|%x^h ^dc6 7ag#kgA5@˸]ֲ8w'>e ۜrNU. ˣ~T^W~T2oE/D%0gRZʘCzwor: @M- Ʊ2I}E#N=*p%) ۖ:dh /oPGIiQWK_% LRUz>M<6X DW6MWRsF.z "u[o^E"lpn iwO8op5X;Z'y"tQ5h=-r=q'lDqCiOx'hll85 %5@Fj2qQ^ź3>)TCDcðK*):w*Yt逆Dx>~ +b>(ޑK4ab#4x+kFfldkĥ-4o~"ϮiGъ p2uV/c#Rs&Jd4VdktDHV"9\뭷~"0YT(I='<G>Φ~}#mG@FxFXCQD3LNܬI)宋O&KWax=WkJu-eT {*S2I ޲zG'0"x;jS["RY.tpWZ3hL !]N"[0f#3  a}P{`I)/q?amk  ;LXqѾXoW硗mz1\Xp|WKdM&]%V0aKFudƍJd-mGܿX;{cE$"HsW!R2t" Ag;Bt҇v[DGz.ׁI?`uΈpJ$2-91HmvEȩxBRࠤ|#ةDYWث +}';. ;|q|&RvȁюwQPw @Gl. =w1V6zS˝.&* [| ╰2NxsZų(@q P61r;j!֩LCBBftiC*[<}@uaGj#mE?nsC\l(!e"pOz ?>ge3y"ŀ?hN\}aL#*>#K$z'2~"-}텤SȅnSAtk|Dj}Dvynu2#T2@4"t2*uk_1DR~3 Itt}>C3t 5َa]CBb<^dP0 IXwBa 2^ic ogT@T|,2gIDaIƳw~쑃k^~ i*+P϶om#,a2,] \fOR@80ZBIQ![9oՏWb06$ &eK^/Pس~Z)jjj\;rUeta(7b|Kr'9 IUnU}1DӤ[5R@}sUjR@lS"~{:*gԐv&yW@ēo,JKH#$,l,fwb!.1J<瞜9~R%-jlVl(s}\ ~Ҕ7P"7U6̎xTP(!H,4YWD$q?lLJH'J]ƸUKSxaDjZy͚&bn:@rn=Z IO[7>8Xg?9B,Z~~0M -"n[Mrrl}c w5=($eGKEUÿQl"ExQ󃌓Pm``PYwSэ½Nw%?R{M>«r%=+`1$ bձo[f =^!7wDstc'{f:^w [w.sqA56$i!¹. =y:Ӛxn`f'b]OCT[f{(&Пdv 6-R(&Abf91A٘sGlP6Y(~ kQ*dTx@kd9\8..3X^ 't$V/Lι& OcZ5oQ懸%|vInߙ34Bj@6fHtFUyLWNLK%Pq>z\|%_@SU8}40p!_zm c<`".U|&+k%|_2oF^ EcTRK^XUFex#=X[CL#? ~(Q@.Y(^CkIs*O.F^ĬQQZ+5_ycGW[#= %U=ԦPo r3ii #f1KFWѣE;i\-=QJGMWz/cJK-DXqBzuZHכ3ai]; m!]wMjs\ke,h|s3koV+ T ]B9%8 L$oŐYP,${!gtf&F ^s{&ixߒw% yI!" wPemjGJ7 HŃW蹻[ThBx2e?GKN 23Eu/nNQtey5U^KLFr54L)3z<4ғgH:G>L;<,Y}|UZ|0Dy/$<]Ak%:d{-T;%{2|a?#UOD <v 8{XO星Ҥ^ggٞ鯩%{&kR7xYE(\ 1"j Vee}x #I: > Ës I|i U.n\s|KRQz.i0,Al } I|ؕ8@.ch&˻DtUؓ o,h]JG J0ըwlIzkm2`ѝMldk3+'w QuuhʜYE&LV\VJu#bMN 6*C߽["Iy´^Ak;@L?lTS ֲVԢaTkGHڥ[Ƃm$\/ym . cw<"!lm}}s'%gd=!ichCyB:ў<^(SiwB"k0o6 jLMˠFxeRzI ~{ʁp/XJQ , $úC,f;Flk~TbF@'Jl-N2X#s[\%xLߋHXD&k,kejs6 k$^y%/թ.R;|-[웫-cPK7LIMz4MGc:D .'7w(Ffap6Voʥ@"]qޅo.9UF j9~`SeKsDMƞǜJL+vC`+Ƌ[K~rn01ŏ\MwڎjA{2 =p‹+ހ*K5fqη*!mb <2堂z3(~}mxٺ53u1 Nr~XQ:`h)Xl$2{0IIinq)t/f䋓Bz<޻Jrw5kuwHfJ{Ul$C稠.CExLMBAc3a'ce c?$V%2[).("|sSs|lJ>7VϔEvN44B&A008D!5yrP~?CwwN2/?ίh֛=n+PYgn&{&ct3\ {BѨgOա::SfCfq!>hcL뜿>"0ۏƭ?j;a!QM'"O ښ*d" o.tۨCӯAtBq]xquARb[V (HRH`hdPrEpl-MY>B cFĈ46Io{.36\|mC%'r7Hx0Q鏲˚)7F#d A)4DIT<,FRIl&5#uZte ^{z\wUUP &S域lBpb=ɆrfBۘ|Fig*[ яs. dfJuge(T-PEo V2Pb4X?뇴K,@nOO![ifmrպwl)a8syg[0^>]#9|#՛b̮Oj_(棵>R|}eSwN%n4 AʪiZn],]p|R}A }@_ "`N]]̍F I$1& %Ň)N|}fv|Kn7WEʌ0L';Ty(OΌ(^J5~ȕ\zĪƪؔS^JaɴsuӮ'u^$#Y\X; lSU87|H8PJoWh7D{.z"O~mq,bDUR .5dðoF]vǡdc ^ij?ک6 ]g#=-E6g>BN G!uhvժ,ˠulV˗lk u/}_UB8˞Ʌw,1wgtqwlgCHy]R!-C\{oyt%Gbs4o,FʱBD *Mĺl* ѥ% ߽ "pMГE彺ΝxTT=A9TDU{c!Ҙyndwu m }GobZ$jH~bߧ% 2}%c"UF_"T!E>eo 7Y{$nlq 7j DHAU{GA[?FQ{kTg :M ռ[ 1ZPZoӞ̕H3F)0!j.V}>C>!r. z4gH5auK6h+pe@c8YQs7{E]'99ŅX.x`hrp &txPk-:!HP.ϳmLW3Mu_./=X%[tFjA%:HQzǢt]3>5}G,;n@c@ >D2wp鐖u'`jgZQˑq62m\W+d?o# &}~OHη#xNx7E+ř?.[ FߙOPC^ f$AZ댝CzQfX|0[,jvR$kC[:2f_`O+5n߅/V"yq@芊 r;N嬽MQb 1ʻl,wO"Fff%jc )$rg-}[}g>}}%.ԇ/vvʅrg4nkr@K5JaLZA{%lGPۭz('RyY–(z>>XzrS딏ƅ_T !% ("Va5|KeW%-Aھ5TN'2m4kj92RA뫘Wa~!-r#J9g=Vv7{I9 Hs$ k+ VXٷ3p"rgV7`.ϱ~y]|݈rU,$ֹQYU܌?.H:/~G=xƿ-pDt]UB'%k.ŷVA_:̇l"!X) "hr2گkzP4S:KgX&#Pq3׏sMd4&&+Awˣ?(o=cvwSfc>no0OyiwOtwHdWaU3#i"_U#6' u=lȕFraRE8G laPr d?~h8KEٔ-[dSpL0ځFbǴit4Aq(9jyIu<ڟՕ_(Cpbm3𗹷ӸjM5̉$'sqdUx%*c|w?8{iYcYUets{f`KM31ie')?*M嫙ILF4*\>'w|3'nS͟Q ^-9ukHx p_rަgHp.hQFx+J#y2%l(p,V$I6rJhT~!Az4 _].?ͼ8J"5lcV`U >Kg'weJ U97:jK^gu: FxEg-*%wJRgˆHK9ByVV=¥4 7W-n<wqOr.@kj]x*@ l|ɾwCvޙrIKsgoaSlZG4Z6 Py K=)պ5o([Arp\U 25*NAu֒ %`@L&$ }݄fd5uBQ'fp9X4kY ~!^tloo3U=a<6VUb~V֢5;WhxhMq)9VqY{YG)M%AٻOTjh]Q~g"HHsg^TNu]} E$g08mG7o m)) `b~Kl'"Ϫ&p zvN@mblkf} \jb+ߍ[lX4Pe#^\s璳@,5zߥ\N?\4pA# # MNy..q00s`Oj!p8|3Kyg#%h`.,k2A?^7dPD茚"\f% cv  "J褖3e4m%=PPd@\u+* m]ý0$O\}"5M5k>SOkPG!̜ERi+)d?ߋ>\45|ݽ[/F:_XhcƤ)X ]L{H;Ug\.b@"arzO}E\k*=Nls`I1Eû81 c*O~*wۆU $}tt!xJ,l*ɿ|x-mLF߮;vb9:=%聯qF:[L*z/w?Ȕ)4ܻFK*Nt4[uIXCȍLUJ7Ɓ}pYvWHs0aa_ v|K@-GZzGP k[5ZWpGg~mr"ik)s%]1 O-WZH4o||NFHC~ESϷs^a]bش1Z!&m`a1v$/"1ʅ ¬X=\ n;Y:3y0&154z+cIp,"agό E4=dUC~,APk{-e^ԍ0Bg{QA8IqS|!?*?->)=@N[6{tCwH< i9}]6bCɡV@ UF*W{k{2 fB+7M\O"C`AGOZӚKd"Q p=uzrg ]`.)ZzqkB^pC7q>tёm t2mnGv0k/0lݳ/VsIOom/tM!pJ^Zr&, ;I÷*,^} S )+:BUpR6v^ej"\۠hO >eӏ\OH G{+ȚL6(l+M# Gd8B18?;JkiQw2836t[s>r_2#'apOFZ߫㱟Dh'np"a&a!k6C&7?\T':x. zAaKPַ,( -w|l!oiCTtyK!1QKZ@DFEsau 6OcTtkl̢r-P<ċ1dycafSb Byl"'Jf`[#]w(s7}mƙ]? iҮ9NGY M X^V%.3F|=]m12ú# $4I}\Pm ૆u%oˊ4P#b<[E.׮Etdܿ$5*Iyuia|_V jOzQ Jzϥ֫M%`7ՙ*,mvܰ%!`Mz)o.uUau:E@0N^5Bv|3}vEm;7#}sa/IiړR'2k D~V@-y,.u055HNo;ds32f,4t$x B.8P}1Ѻ4[HyPlֹTҕg'鯍L UMKS "Bah Aҍ1|Bx5J̈́f$i}{&X-"pr2mu|YIP\LEV~wXO~u-qg꫓ev'c1,C?f9L/0g]%bB4::/Oc zB#υ?5(ɬ^ iْL>  /_FĖ}^cDmk?iD 3OsT-6XG[M. 1$A0䙂̙ܴ-b/-ןa6\nHPDd |55^s?,eAZqxrоPG tF'P9_# q-hgfBecCHָHuz/0fxr5Ai^F*0Vۨ>a+И#{HC@"U%Q*UCy4n#-I5q.=`aerXOAp@@bAӞlOQeqZ졌+ǺfTIZTAA.7}_a!{_?C HRK 5z#7~/o uH6yL"ه$hq^(K;;t2If" #d\mio5$; kE@]Q>7v:br'ˢvD=z^ҨYO7(dl_!-? ȆZ ngpKCÕVcCLXk}GBե×5|xoKo ͱg˂Y%M7DAO%-l'tԭrŸaɾd*YٔQ,B$7u})!͉us_v*SoR/sCК#)LE:뤣MҩRPR<#d{vW|Z9fs {;lQʼn0YΨ~c,3 TBsOhl.Be܂[D⽱H!`cdt뷵ٜ3 ;dʘδYTYc˵,>O!Gu>~Lfn_:L0 }^e`У{h͸Of""E0 i%FDz:_ҜQTA5fƉXY217aUüd fork軑$!)l-S^l·W=L'=dS$IRƇ/ƢRwyߣid=i#onLXFU!Zf qSvD Vk,bALG3; pHL(mD~=.PC@6+^z|tWœOc׀0$6׍uQY.`8<5S}4)f7V5IbK̬Kr5Q/5u@D+ r/YY4:cHl9ϴ,:qn 2ck:Fe-~[kRفZ#q(30}ߨ Mr],y l2Fk%m ZR !ۅ2#ÎoU[%Lr%繘.zyr.NEhb::DGd~oPì[ C}x A3" ?r[3(SO%3hDn0JRfWG풓IӠ-c_oEJ>YHT~r1mNY/+?i4".3!SRQӘXYrmVeysEP=҆]ӑSDGOxF/i)WQJZmń.45BUyAӍ>ls ߜ<7M'.j9Lh0ay*j*7c$bh⬔·vPݵj%DdqԽMUlӍ'DUVK-O8\%nZ(ľ+j`G%r`vd2sf{C :Kk‘j`$l%uD3Z0CuzIq?]̓t >}bS}Öf-v\ |2EF kc}X.^qT.cGw~Fô|ڞ~+>c-Dƾ5TRs%l[vi̾*Xkˁ!0o"i1c?7v=F~vOIYWvLf*ժ'thY`0=$9yhLڣmj2:^-PPD8X0n riZZrg^׽:|S_ ] a30zggA XѝPQNj >5xSX',]_Ow^>KP6l#`͑YJ"-E֍hQ3qBY64JRٍ% $ 5U}|PNb~[b{f k&.'(N&.D J( A]Έ} 80<LtZ:B]hU?;)o28zd@B 8څ#aT^7ȞQf f)]jme吴"-R* tNX<-*0M UL] EjN;toF1i E[,8Pv%E5i* k #at9&&$qqvb[alH:j$EJ͹Mûm8@wB7ިǧ|ktp16L Q8bl:4Ui( K#"1,fkszK {b\y kC .y>E7ܙ݌h [1˴&BCA{gT1bW;ۋTڂ 8a+A_HZOAk/囊2*&cO"xp6%Mۅa.,qķmg'=Gee;3j$l'qf Ə|Y L~Ult|-H,ɭ6 ٰr`[HV2A}_${jm2>E qӧoi&(Rx?I3XAqZs)De[AB7':hהGM<עJε>>a+mAN˓F&N9۝GaH/Xe9fjLѳ#m)We6VA}Θ U킎@j;M9xh20xX~JoB%޲ALt?Wh`xйcN$*b=dlXelʧD9gL.mf ]AVTBcA+Cԟ4g$-P(色pI\| ;aeIV#*[jl-uq ںQ+n|rfsd7 />- (eaBё/`f'$ZuK _*Kx,DJ2$GP[[sHE[ZgWe* "6~[6ܠw>Om%ɬR_p"ێ-a ݷ Ӑ9^<ҟ@wҒa)Z+HTݡs+m&h=]V$&xng8e|(qڃOD .w&ە ByEh}~t62OJ65!.kKQy_#Q\PY<\L+¯bxNT(.<32\ /v$!5X9Jg`dȑT$ ?sܺ(=& H1Ql|o6an f|͒ˢsΨ~jOʟœmw+qƪi|f0kg3}JgUrݾ́:H1vECh[F}01x+Lp`qD,R-v97HgSԋlНGywٷ/JJҐl0qyC)LmcdsJj!/=iVu~)Eˆ!h-'xc"X,w2aj,aI,c0ӥW, (N]b%gGƱ$*d N6꒩y+݁6gǸDQ&Yc4g=֫ETc|Nv'"'U[:3ߑ@L6e^4j0"c?9Nw\h9lטO6b((H߾1| \SԚ.~7ghlb)9G} r jH8) ~K),]oUefH/),( Sf鐓'>莅\;8xOH(cCHěGB.;9 -xRcQ&s҅b8Eqk94Suk9"M>$wcXRy S 58]Is7rɂ3\NhwA x|zݰQ6>Ye/_M2Q4L/̙j&tܬݜҘHixMre2ט@^߼3$1j$$3NЁf>-*w0H_ڵY/5}:9/cNgOcc^{{.&5K#Vt4S^"?`@JkFtnZhgF=rC ,^5B'BkLc*{&Z/v[x];/{ BpT=W[̡|Z }yJU51`&7 I[yStFmDB'>8~eٙTQDg"5qb0/ jQ@;"y#&.(E]$ U>Ine/D{kS#ct54x'؋:y@OfnP⾣NjM㦾6j FP!ӈƪLc ,fYSKZE6&:wU/.]m&,a@[Gf`wBԬ~(/p`luތ`/=aMdj<].!jDo(3qMhlD9'o\$Jq`~o8ԑ&N'cA؀ ;|\-kRp,ai__LPKP;;-3aTXn1x/0gy_ 8P^VE*гsYhֶ| aRJ >` ~B_jH%GO?Y_ܲzL",,#Õr:Jޏ)Y 7B*vt&k+C? ެF W#^-WF/L'Xl!H;kywl Hg| [iiJΠ jwhMݷez۱Ti)pO=Edz.7XV/1kC|P rږV4z귷]qF.WrI>CwȓE-QDA)lS ,C@OU=_A*ǵ'tRG+OGY- F"Rjݤw͠Z ~ت|ROJ!oŰfh4Rrtj4qLľyEGvl{,T"-`nEFV z\_O8QLP_@_,hCb RULW[ɯx_\OygwZjldt(2n~}K2,ՐOkw. WV/#t>ûacj$1h =OTeF6򟗘+Ħ %F͖FЇ;#h9* +Gai pqT2! #J.MΩhc` =w{tG霪=},=3yD݋:=M V^k A F9S װ \cCͬFwʠX&])P=r 4q\4zIo>aT"Z u}"  ^A/y2TU]SRٍ; 7-)\7NÏ4mZ~d᥀VJ5wj WlO&ԩW1ܤ}_0z.XR\Re~8>G%[57ecz*>lKH!4\ LmmH8ר~6,xl_Æ vw٪X0yxa3U3ciVZpJ^M>ؼ|և޷Am騠$|COF\-|zxf镀C2x$8n!/)x}+9@YMC2!֫M?yzwd t,"|e;"J/ڭѫOQН;77qD .]gJ_XFISQ_NG%[bzcpo( K=ۮ8[>b~6X1vd(V 6b?,$6˺G#}~x@1A'|b #SwɆ??-&q{f"iN5{W[rб7ݬ#:ޙ+[zҦVC$hi|D29aǜpV})] =Ԕ~ h 4UݕsE+Һԙ<"Qa`1Iv_+)KuOc#SWhX59ᔹ\V1xU`{ѕdk䁃:w,A:>_{#U@=?us) >E&5x+RT_օЄ߼4׬S \2!/"[rhlÉzѴ+^xhn v 1(Tm,3C -BE$ud%. 6Gu>{0"e ;u/Y3nMaB:+)1K'wePrgߢUqZDgha{ьˮOJ#Ѝ&z`)%5lO^(h~|Cnh'fjRۘ(1ᬚk LF4;\b1 cI.b9Fkl)G1z{3୍B((cY xPF=H(lz;[inOU @w aDkhN<+^~~ǰ&OD!fDS:;$B1w|Zmb.rTPlo k3Qf>toǞEkLئT֕ݸ.A:wqմ?Si} q*ɧ<ӚaE-fn~Tmjw KN@:)|ea3EÃc_wTB_TEHAF$ԒxR%ige9XC~v`x^_3Fic'WsmwI.; ! 1}`xOs q[o(H!R=mAJgTՂ|]t,NxY>V;[5 ,hvpXh9dEXk9\%BM`QS0{|yok }8qE.S yP$<Ҿm95" =wB_pe~G`mvgOYNUOѻj\@gv%3dmv?E|x>Y|vpܞb6c!p2yxK&8U-QTKͭ\e2(L'ے+aȴ(q7H?j̥I]T .z|b3\+@(bdzp*Kh3hM޽4* <&']ח}:+ڛyՒyMsHs&]V`#K\X|!TN$HyBAKuB_pmxs PNo< g]2|(z>"Agea xJō:9z<СbG%ATsmI{I˯`Y/d i9g>q f |;2﷏QY''@qpmGLhnh њv"{oEjzQ2*ey0+-t,Y|m|օ>ɦ'z،`Z*G(\ZF\RʞPeɑ`>1bĴQ`pM!3WMgϢkqKь .<,Ko!LaP6c񂁌p1r[RȮNnT fL)#{bfBAL dyJ!!?ϲIf6A|sۏo_GQ:y9T9}3f4ȸkw.(aJ 1ʦ^Gה(o1ZpVmiF~BUWK~{Y/`yb_?#FPJwѶ4YK >t <+>T) nn6xv.9np&7CaKOC(GwъEVH Z!`pXFUuW Ŵ 9Ese;ԡgHXơO(3/% lIEEE_Floating_PointHOL-Library.Floatdocument.tex7zXZִF! n{]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%ӈ?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|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đ=?RA%zb'?;KuP2 y@ -댰cs_?sHQtVl{V! ꐰK`c*EH&8o]qws  VYe쐡n^,f|ǎ 1*-.{A09n8pڐh ܛЅ"l:{P"L&Ve]dѫ&ɹT4d@[Wn]SCHMlwSd6Z-sz eHPr?XY)_ؑjL9ݩ67S.  JWF ,~p?#y}]$W 7OVLڍ!ex_Є~~b蠊xa˲AA&z8.d N*98o&,R. sXK-S,AsAW-XHOLAuw_ )n@Mpi$ྍdb;DXBi%A1F|=账¹|(t`Vw= Q`0 问Ky*ԓ}JMS5ji=R_GFdw(sFܤLq_p)a޿\:9f |44ڴ]i 4Dg%*[r.WjXg~ἼQ^ɿg׿N ## k<,BK!lY֋ ˎSr 1+#?5VʹhB 'օ[Y)90> XEU(ݠQTQ{nYͤFvȝfͼs'q)a9[ؤ!beKGݺa`,xylODpώ&0o`9mMYlo , wxfSb>(M雏Kb<P("\teDlB SQBf&fASO N1(`j3R %a4[\7(yLpXĿJ2M=[Ec0M,ZZm>8@>4E~ʝ0 r2qKAe a[ɔQ](DLZb~ͲpI:9-ڋz$Yl J \N_[m_&])_aD/=rP|;wVaVb}*) J2l%RDhi6J ݟN)^r a SK֕ !58Vdq ͐㇕0Lftdg2ݘVerhp !?~y#4C㐮 6pI# zO<{jZxM}S7?`_>WRW78DޔB!YvSD83F c Ikֳ0,c meaxcS3xo#Y=I%uZ:2F ?5ԕ'pM6G}"O1:ѱ!@5^sy<''d@fs bt.dݔY*@|Sw~tr>?}  MT,Y9 Jn}'6ޯ؜}C>Y*~eB{)`zV/ص#f<ۀ!)`ᮀ)BdkÖ崯/SA{JxJV3 -7gIoĦW_u,o+x`eWȧݵpwhwFU&Vv] +G;zY="zPʕ[Y߉^e[(D}!?5CL&<~ՐqkїEZU*^NDUOQdaӡNplPn%Dqmh~Aum]ssD9CN`M뼅P 8.G 9,%bךC9$%r7v+k̯B ) =@C~) }5m/.0wWU] ߫lKЃnZbF@ )aQ*!%1++"11]ȣR5R!tR%zP%!7d\iWESeWo"@gis2=pFN@f ZʛVaǥ(BE4H~ 0f}V/&{*' h&p<Xqwl4tzn,"&\uKMcj?<O+;w?Kv)qs.¨B}5V@v}9 #n&fѥ{Dvߕ~qgǸ_W7}<ۇl(,M*H,r;ٌ #y.Ó?"ӍhxgYZ M3C% $IEEE_Floating_PointHOL-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 % 3C% TIEEE_Floating_PointHOL-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 >>? 3G% IEEE_Floating_PointHOL-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  > 3=% IEEE_Floating_PointIEEE_Floating_Point.FP64document.tex7zXZִF! O]>]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:2tl5V|c/'g,04{'#+Pcm2q(;\hWax"lir7ݦnт.$ZW{6əg/ieLaS"Y0:SB[iS8)_;6dV}28tosSJdaIu"OʊM].M|I=نga3j9ЩZ#~H?Hjsaӫ|z[R3?bSKF| p"p١<d6S"6_`]ny,a`N<Ʉ"_}YCQThp7\jb0Gr+omKԾ0@K%v}x!7ԐXKL"ޱe:༌L\O.8ˮWdޞ?gYZN 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"ClIB+bqi.cEj! xh.>~5\cMрI?ŷ9*YPU[ Z vE:1 ( {Vz6J@Em'] 0[n=˘u^^x~[o`m-GnC.o}z}&miq@n~Epz8 ?*Ni 쳕F?v{塎Y~ Q`P[#>\я'>m1'LX,ǥ҇~2?."}}d_CjMkJmOZ ew(Pޒ/d%姴Щ?Aǯ,s7ߴs噥CV(`~= y\؊NWŠud_GogX siVR "^ vV?T(✨1?VTORYvH`NϊDH!ٯM΋' |^1֧0Pr~W[hlx :C<\'ѳ@@LVAǣK+y C,Rjړ6XrNb/թ2V^g7uDw|n >zpɉyS''B2xT Dv//HH^Rq  9=vn#o vxcW<r݋?6vt#nS(osxszCt J0#xboiIqS*~$|"#vml` PQ{tm1*37<Ipe=bE[.55 (8%U2aR .{rxYF6}]VgfȠ\%:st/Lg!] Pd1V\}a3t@0קy35dc!\.f?ut BtW'1IMM\/ru(bQАZhТ7?GK֩3yw{4[ J՚Q˃U~[ UZ8{+%ΝMwliYj5|D&FU CgGА٨ fwwgYZ   g3G% TIEEE_Floating_PointHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! C]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-j r>=bMŵE]b"󬓳U<> k;υOw捔>^P답z>^͇\`s dF`[HՁtOW\""ݙERh VB,—oW<|5^  gYZ} 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