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 S3 $< ]S IEEE_Floating_Point:threads=2elapsed=29.739cpu=57.476gc=1.580factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Í8)2jg+?\mӻbqK4R[?'4+gKC/ 9͎l _!jYlH;s|jyUhK$t7yY}a.uE#!C 9 >+ЄgYOIOrt{+ B[N%"5wOpwg6A(Y czaB̾]IPHG?sF~$NN3K:eI Qϰ#Zɏ*ϊ%뤾cojcAިhEBݵ`F%-CpR erZ}}e*2snjR\T@1~ȅ.:.jru1p](5 +|`>Tғ /ޣ}I]HQo!m:#i%]v:-Sy{hEZs Q.Ms293Ik3l BA\ <=aE.ww%uw;WߜnPշp}`R%gP^&M "D:6J=q2cBBiB 5OT \ gtY3ב1paZ`.tW &6[cUj] 5n1e.T]i(l<|`ocEŒX a!7xCLOK^qf$m<rXfe"5=*pgN!dF'M5;9{L0iovK.X.z3^8 G ҂ddNny#}}zgpiwC'Bzx9^ af[ڌ= m,p\i l?@cgYZ7zXZִF! bL]ŗXiɟ1˦r+g'Dgr>{pNa5R]օw5"8-ۿz+rA uΦY:8k0wPlQQOU)G#Ú?UvW(YlK9 m&:IշOIpez liUsY6GurRq|Z9,Pb,6:IiPPv tU$ .۞nE!NM½Eaw6cTTm?RN@ 7gWt9祫#W_ty7;D. J6*9Z]wuNHܿx6ǢGnƎAq+F<%[P(Ӏ>1?}åz`R/tVZ?r^م-/J<&ۓ2.ୱ#P׉zb;~T}.ǷNwTctc; G^ӠzMsng%5p7WDQWdsFHB1V֖M9ɨ kb\T1 b_/WNu^9>Rl") ( <hx9ltפVGҙ;ظX05nWO -d.AHBjG]*ĥ@OkAxI @#Ce8ہd&.&ms2AF"[@f /!Rvm.خB 5ۏF²hŢ5Jdcj^R!}.X?"B})DZ5R-'ת5v40|I|>'j|dS\nP6017qd}6Ȕ?vcAYu>ƄnWj^$(zěV+uN `lt zcBusL$s =c"FA!T>C@% ?w`["Dgu]K}s*V )8Fnu~C'<nP6[\긃:0 )g )9+p=4/G9>¹n_X;L"m:|+9U|z .h]W>ږ$qwٓxjʱFs){p_4*]t|! )Q'N?QO""߉:g-ƶbxI\1DnHe9c 14v}~0Su$AGE "_Z,7d^<Ok<4EDx=1ч_/#!Ɇ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 t ?vy p9 6=3=%IEEE_Floating_PointHOL-Library.Monad_Syntaxdocument.texD3K%IEEE_Floating_PointHOL-Library.Code_Target_Numeraldocument.tex B3G%IEEE_Floating_PointHOL-Library.Adhoc_Overloadingdocument.tex =3=%IEEE_Floating_PointIEEE_Floating_Point.FP64document.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.tex833%IEEE_Floating_PointHOL-Library.Log_Natdocument.texN3_%IEEE_Floating_PointIEEE_Floating_Point.Conversion_IEEE_Floatdocument.tex=3=%IEEE_Floating_PointIEEE_Floating_Point.IEEEdocument.tex63/%IEEE_Floating_PointHOL-Library.Floatdocument.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]z7W3+y9?Ct>#4 x.%ic_]9.97:ZWα,WFw+ڴ 9c3 nF~TecWRp^"@^GSRP=;~W/+Ryy3 1SlnhU׆s8$݊ ȇ9aedI<8Ic=yn[7 xaGiI1d~ťڬKugo/7Z݇-B7͉/]͐eGIFډ4}H-Y g%WGFU8 p}*)s&6rKs}H7 Yx}:MvB$1l:)4G7q̦A.,!jA.xbu9Ň#V+4DC0ᖬ ; vztmS-OdQ@V74'ɴ [qʮz΃&.8%leo6"cPl~ ܇օ%Ǭ:>`z{TFpwTٖ-Jy{/H7dv ޻gf◠ADjM!' k2Ujl e'~EO}sƲvi{S u.K-_io6.,l/R "NqrSU.vOT/]u%=K*G%k7xxBB !kz+_m߄i1ǐ)Gfw!\4b@\]OQѸHCFtnWq]:D.3qM5DG!FXH%CnkH3B_!A#_0>]u f>h`woq$X WSVMJ+Potx_:тu<&Vn-``Y"h1/ZD\Wjj"n@w\>9O ͷ%HS97~:th<`Zߝ) Qۊ?ݰj^Plӹ,x?퍼 2o0톢ѭp"sDÂC7m%_DyI HTԹ9b9,l">=Mn4w2QJS$sw6kf;kED:9at[y~ipQبwH=ʵ1kI_ :ufe$hÙ%lt**DVa& ` k ]:R 3/F$π7o`>/a-_Gȹڮ[k> DXҫL^}MڅZj>Mtbr\Ǧ1 !QӮ[Uz{K2}?t}YIˉ)렎+^q~n_6foסws ۥeY i]~-ZVC0"d!0_mEнrӀ0ھ.WixG-d6\{nE t!A|GH Q5=n dgMݷ9K|F̦h )n^;LiAҪo] P*C<)>-y>M|P~6f L:i-t#Jx͵eY@-]CjmTX8qg.}nAI"YSJv Sc3-@̜x K1* *05G7wN^\ylz@O_oO e_cQT(($-扱rB37@UL5Yٜ9|f#." OdxC F;mނ\&|P~9]gNgU@<.D 橘ִ{,=xbD`yER&=jd8b+lZGP7CŠI܎QZܱpYy <%g<*ZbtUmD6[ޤZ2v?gYZ ##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߃:,*( ??63E% tIEEE_Floating_PointHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! `4]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|avY<uU} Y+> O\{X_%IhnH}Kwflz&7_ ܺcuYi?'])ϿtXd@Zi 3ŨG6YSJ9gpKAcbķL:T K!՜NsGTޫ.:j)rR&ijMVp`\MБH(_JG(ΏBSYʴ|mTMdcndBJqHpK㲔4aƔ>崅} x51dPؤ ?=gK _6C(nħ-ىF[;)m|O2Cx\1ţ˂Cuջun?"e8EGApPyJ۬BOOt G55Gn~a1{9:qBtS0pc9DPXB:\[Y^UbHh'Lp 175'ݝ`}SMc(<4vmRmZ.Ɩ NZp Q(]OӮ7IERR+,vAVIyԡLe-ܫp_jUu(^N `!u{h֌<~wvk-.S@KardJ$1].:*poKbR?:O^.n'\ ^ !r:lhESKuiY{bUi>zܖ(V!gMS Ovi:H s/7י,(BLj ׮q`^Vi:\>dB+Iw,8[07Mq#5H.%yk=Cc7(JGa *`:+-AS60}9Py:8ҭypbɁBfLCI" ~5.:,G\6I*aY jm͙/L=?rO=ns ÏQ:nNCw( y>bTUb"}l^n=xD_[ `XhUƠ\*E=BkfZc7IfܥF"D)$\r~UXx_?v$U&+Ch"*:F)tt=a H,i.q6~mI2uD;֫{U.mұsx፥zNJN3 ~ap)x vAk $hJPymA on0[JfmϕnR>*=,9px((5! mABkU8NPMWQ\N58R0NU+sCç1@{91*x9_o)|fy0,S84jR@tЀ >mz@ yRG1ct3)˷Z\l?ztW4H H%=(Q0xRCFW_8@R}FZl5r' JHO*a.ݢi ,Zq5֧t^2)gN+yj~h^Qe&@g_( џq0=6|txȸ ',(Tet)IƄ~# )!lT^ Uq[PE: ]4Nߦ Y+/=PYIv یc2Ҳ'&uyΏd9jK%U%(=+4+}f}ߠW|.< M5JCZs>5My ,\ ^NC_b98<8)F{۲:.j2 D)_/b%?2:@oU;`1(Ǝ}ߧ*3T &]H>^)ETE(0*+֔E-V{g/M:)5WK?4v>J B* Hw颗I應8SUUSex[tiOD 9X캞xŻփU: @F }6.CtXdP] .K%uӁ4Z@ xUP9 /HRE/.ߋʖ^к`Y!WAT+ }_`GcĜpc~EwAK׽ʽ7SrKp-1F񡂧N_IHi<>DAcj:3Ohcpf@43~xb ©̾;dBߑ8U6ϧg fO]MXu#7 ã CyBҼs .7ڣdɔFuՄ \e<(ɞhH{/upV]{B8cºAsr?7ƒ>iqi~A#٠suN<4O l/% BwNa:ShޟM)=jz\+✉K4o$w'_mCJշM?Xnڕ JͅR,@ r=7V#S>N8ߗn-='G]N( bCjMyT ms<ލ[$ "Qf77͑PeV]GWr"(Q6dJ7"XX4),Lh %ܨN &ĭ]\<3sYm߼GyU"/ iel\&1q$l cTc…xn~H|}$@?ħXK$G ߙR4DSPu~RnlB{EsHe8"5DM Xw7u/$#j[,JS.OUog„g4'T8elKsy9jn-{~cռWQybl ^Z!.w ei\m'ɓ++Е^vYa1&gS.ȶWQ&iveBJ}tK>G~,]c@=>XV5Pj"4 k#I4JsKҸ${]|eE>r`lJ7dIЀ7EްiDW2 [wʨ`DLutT{i5}ׯ2\w"IV\iH ׬P?<2Z X㢕N*^,ܔ_O&`ʃZ`!m#~HKuCu)iNZHKKxSZLWոݸAoib%[S<6s}$ےkø:S hπ~FoMF _la?qOlRud@ :AR#_(D6,2YyPwϿ97Lt@yi+>[+To\sYS6v\d~P.Rdڥ_dч~grY8tB*7e-4d}418jdԠiGˇzиgZ_xgƖwi \uKGx~L3jlrfD$蘲F=Y",[JrX97xtVH=[W̞osvAm%Z|LӃ d|Gh..2W*'6:%b 0FW8A4{]E 9Bˉ"c+Ѫ]WM t w=_ ߅4nL~*s1%9De3AV=^Jfg.J-_dvg0>ܕ i$VSBe5]? IuzygniRU3Pi'GzZ}]Eۣw 4G7uUm7|CV站/ uvO6,<#!0{]5NP@4<խ@<U6!fv2Н\fOHLYz(z?'c!.TDIsELpdM8PYA^!b[ZVX>CU fdDEUෂj6|O?#4CU 9('h ?g=y1${`!waCXGeڳI EkC_GvNjs|3`Ὧ){$3?%O'5]P -a{#|:saP߾Y_Ì?:\47aHp'dʑ\9= t;P,=B-iԯÚZ[ z"Z ~<8\pwgqI2U  7 t!GbkX=c2(a92^piލHӊI 7,U=sK\P!5>;!1 .&.28M70+0W:Cja^E垝$\*g*CڜT [Az|DY^&AP3` rTMbVj(q/=Puc,R鵰l_h~=<|"zZ!X'V; hw4ek-9v&Uv(.Mɤ+3*B2 ;X5gϻ 6 b*- !9˶<W4a!f^y5=hK{K,܁> y!\t{g@eOqƝc&U5afC|Vg -8ڳ@o9tt|$U\ G06"Ŧ&5?$  `F2>FszYVzs×6ѿڛwA9>5"rFԗ> s[c3 R!i`AJ£JkYp4zE1##_m8qoqg,-+{6f >Bxְ>qD{CTˬG,T(q3Rxq^g%mI&u5輷AFg|y_J_'{YԱȒ<d{M~^gX9j;o])/T׈?7I`2JKׁO^u=CiNzP0痂=g7e\V[p{i#b&*YKT -o7-q e"`TXa[Y|J&,p./qzkw1O;{bJV.n峤jp!%\N4\nTSW>&} neU#ģYe\Dž&p7faKW]dzMI!?|Ap!S5 txH ı}@+gWKTfFUCΖ??]y8(~Ƥn`IEu?.2bsEjx;ҧ{.-M5LOT6$J[HƈN< Zhp}]_OP`v~(|8J0kDm#N6 t1dEyOٰa|ݗqg_8*&E 2 ɁK<]mǿjn:i? xJ k!K`)˧_]bIl0A.5SIQ!#6o~"|[͊y. ps!ˁnS*[cҗ|@% 1TMPIRׄ|;-V^s Hը)Ӣ;{r՞tMOεQ%u 놑̳{ yTlQgJ1~gI%}dTsE81r0MS` [3i GBLAtwu[bѱ@n|CQ>ҽPaX)lCi$wrl4C¿=kiMW*X}FI8;D=}3.XW f<\0E޸ [4 ~R :CTQ~+[iNtUUګ"&4@k)AR#U-aeLjӚ}FY"1[Ȇ'W%P6XbN)_f$,C놞cJǀMz_ogC\~$hg̺_=:]B'qC5u5j˕Z1Xh^SA$KJ#.~ÕlzetR()=B@{Pevd/;Xyd&`)mqOIC柦2a92O#OUAD{t gp{yY-廛p!)w;nmd[yC`w;u3@f9lzTJ+(,2&|0(2n}b%kE\_=W0VMW4 ?%ĺj%53 0 6̾t&ē6?_, bԠHOHW0s&;N$7T/xPAa`$G餄©ڴRx;kMz~l1kl700@|K⹨>BЃZ'aS89k.IUqGL'j/F]B6;\Ù3D!n!|ukYȼ]f&89Ta/Oys.^yR}ؚO@y )pl}8}&SN:33dv9Hy=˳MX'wu=5K4>/Yc/M<q毨9/Rv@w-,fdjuwI3S?X.RDSlBAՕȧtvgA?sr~: X8+vXR KXOפ&mè[8QC1hvl86Apr^]v]g#[`! ,DKssvzq *A"+b;BKsQpV*MW26p0$(U"*tVʷ?TXpeI&:h,n 1j xSxfZTڞ!b-j֭(d1N"xΛ*+t7D84gm|"΁[$LY 8 )MEגv[82wԬ՟WV17ƒ(brF5p rv\&%CD^K7{~cԷZ^-Mׅ3/ʱut%o?0SO"XXk}I}Q 6L#h(m1@~<{ 1poc>fQp2-?٢-o [dtfBKTmdkg\=r%src-B`OKX=]o€/?qrk9%%|8T#0}v(ҭu GtØGG|a٠Dݤt'o;6GwiNθaŶ% =v5zF(dkuƼkyD 1HT3c|]bi|fR0NQ<ُ %r@C%?>T_E¿I/ ( ?S6=Bl ^zJ+ ,"P`[q |%-2$xm7]$RۄFud.o&sv]j \BMɈZHg3=և$T5ySRB}*|ߖ?n8NHʱK6P!:1&KEN%sqn']臺~GWIEɟ;4QY#) }A^e.ׂ[Y)c{I@]^9 %7p:'Q&G9T&ZK*Ë9|Cz}SM"(_}o^ŭ-kw#t)T+<|_uagv=0w :衷fnʕ Q,0 Xcg"gB:(z:LcnbbkʱPMHxlq !YP` mR[Ť 8ikcF;I 9]Jn<Wn^}zR*4RUN0G6~[}_.RK)d}BSb۱-уg, i QD ޗ»$|$\NT2tldR8nwWê g~o-t,WiThuu1Ԙ0&uEݒ"X0ܖlz=Z8۵󊡆f8ŽinG<)(ʕǍdT/2K$2ɷPcޖHz7N6$^(k1̨5W\IgFyҋV̌0ᘐ;Yf`Η1Z8q~GIw9^ Ő-6{,~ m.Bd' +%5,&]3BG~6-Լ !'Uo}Hq|50=4on]P v@ vϘhđypo]<A-~fnt!RyʯLrt' )#{Ӈ7?y $ѻs %PBgdkaŹzIη!c{e,E2~'kVdK:C. ʹQ; zoܸɡc0a&֊Ӝ;rKn>tmͭ8x̛uQShގd#n34p"UEg5CuFfa췚' wC+ǦLoPbbcұ'"AɧYuW=O ^GwR {Cf{_T5Ǽw4K/TNvFULFn;|Wg|ŝMaY VLTV'vMi `+ܓRJRXxDIgDg`FVB-DlҢv `?q)zL eOWc7o J.ز??E I+?&9iqߐЅQ5)La,X밒ƒ꤫zFYbQ?.< J!$"z"̛LISPkYYęԮl|g8I۶[AԈwe _3%J/%݂>18S 6Ea˭E'8WjI1O}f\T.U~W%QoV8.z? e5`uR۫;\1('^(8E=tOpO\X]C]\nfwIM2FyR;I\ob K9Ƌ:~z# ??V41v$cX~bIݟS's 3JmUXƖ|'tz=~Nz@(\74S,+P*H² LX-{B{HwDp7#7Du/q*(_b΍9GB)}Uen6"‡۴S|+ znŝr:%E\A%2DUx 04^~[HMX I5:˥9 !D df {!mĬ!b6 :O7XT1OݹD>HqŢy6x Mo)HTx?5 %vV˳ Ik!P{qݤXvIV፥bwK% *Q}c 4>tW3QPaE&.Gv`ؙnҟ|H{YV]uPƸY9<*>];[ƍŸ|3GFe)SAO)/WSKB^JilbL_h\(Es:dFy\, XB^K1 R=V*H]fw6r"'Zd=YEqGA;~'M-L#x Z&F-8vF/6Oc/aoMZ0ǫbmʘEZ pB2 }7e(1>D:'JnL"Qm82=Ol7W'yqw%%j|Nׄ+MaTO2~1.ܳie?M,5AP&6ja Vo(ԍ/wPB |_`z**e:G0&([B3\y㨊p,{49W#D"&UwUzjizjar6.Cm8#T$ԑ;c듛t?FZ.x j6? ^GsQ,S;L3 n@甴}? 2Ͼn!K<ldr[!eEA;kܦ(r%8zУ jvl竴v<e;L32!'aϚ$Gʍ]~lkوkui'rul^ݕX!?AOiνk;4o" ]5)q5*YY4@Bn%y6"t~U/m}ɮSR˜(޽aAʔj$hmTa5y4^&pn?^g)\z.܃='\xo܃4x()r1 `?b^B.撚j T13/3Zb9fQx;/We?Yyv#; NQ 9C1TVʩƺo>3h{?Kpcr.!F([9Yrx|m? 8jt45?*5"KLˮJNFL)̢|be7\@d8V̉6ua&G{Z{# 31L% =:9R1|kdC#%rY[B|Zԫ95q3l)` 9 ;X{6MAas<)]d1y&ddwB}]xZ K?@qp֐zWbb\uKrαAsJGosgnF#)]j8kjg]ptL|lF.ݠuJ' a#=-34[?f ZA}kla>wuEݙzY}sQٱI }1HA7?KWB;ubjR7MDxuf5'a̞­( U¿};6~ Q+ؐXt3ʾѴS3z*J.SyH5W AeDO*dD1Ix- ^V#%S8}{'/Et%!6-S$b]e%l_!VOωR>/{qO8awER{I )䊣+s04쐀ǭƞ}fmHq@ެ𶎜t\ٿx\"xoU2ksFR.Ь5& Ņ \JX)KĄ|B_2YHsE̚U*'Ze}'sXO_JXyw.x .~5d#*xqY=-X_ ~n9ق&(-zD LdF_>O ]"U?hD t_19 ܇(t[s4޻85$?b$ɓt*qǁ4\|&a~*<߲KO 7;2y9}ط޵X(ʲ;a3M 5ȷwKtAxaO!<&wʰ3u34Z;I8g S\:|u7R2I?qUDV5p"0ehGNSZ?'>W?tyT l97@w)3篌(rRƟ08 i\طqVs^t"";XoEi)N:< cD [i=ғЕU[sUfspF| *#4vqNctyʾ#x/HM u$jrԛ\G 8:r"Mb U8Z$$W?psCN4$6n%l"xiiU1F<,"i\=S(C,gspө؜SEٺ5Ћ/U8ž'-.iVGpX/nP3zRDQ@|Dk//& <#* Grh["3< Ld{j]۱,/S<ހ+渰isN/?ʭ v:d8HWһ{TTu+vYtRYܕ@j".~jN0[[ ִRDj'JtPPuؘAn4/J Z6 oDuVa$+d2𭷚~}#Y^GmPUge#?L ƥ/눿ؚ<>#t*WުсQ`ċKzʉ_l&T˘*85kR #sV[,D.E<~N/HP!Y  ܮr1 :suhN K8sqN`ϫKFŌCn M~,#Ea'K7E QQg5;n^َ/fW[ZFeg9˶Ke˄K2Ô#w6 & +/H !ԇ赟R/h:b޲ R;/[8cTcRd&4>6x> H2ş 5:v(u> ag(Z Yj3V/'\-&2z(ObP1̚-A n??.@'||!`7rNsO`lSѩ&[gi§w<(J|]l+'qN=Xh00Ռk=ﰄ]]y)TXhG.L˴.~}m':/.`ЖT[ہ<ӿdd_kO7|OWuܕ}lz]pK=>|5I9/G] n@)ZL?Aǃ#摲ݠkP,R`"u\ 6|-~ZS}rY} ]='0|=O3iPG/Yp7L}:e]XKr1^y Tڗ׵ c͌"V5E9a r Cp7.6"Ńc#qTÔg8=Hέ cvT-dDBIUfTOM)M^IAWs46u Kwt~b}˴̘~Wͫ68Cl=aZL $ߘP5]]@%Eq5rzYXoZJm.uiBw52O6 ȶ[\_)67aw6EРd `ftb%I 2߶:/*Uބ^c`L|8XgZ8b(, 'V#'Ej;yd xr~5ҭJ7:|xN)184e/Fb>]l˅!)glSPeIT37mJ R2^vK '%@JӟU)tKN9hL)O@xa5"87lKj*,WI-{4ƽgrjQ/&Cɗ4o)o=ֶ%bGk'Jnj} *~ 6;nH3sT+OKͽ@' ɆP:x V?ynST8u5 ȑmUf"[TJ$IT*tPm"@,'[VzZ(셶Gpfb%U#+g?bE(ϥ)*]R4)\Ӌ(?a\uyHMF`'qfZΈ34M^P/Cy~0w#Y=wMBgQ=]_ػ?5Pu\G*wMc(`wR(š9ܐ}ywHN8CjDNtTݿQǁ[%EAq>CxPr `]|N^5ɉ%NiҽE)+<<)szQ: ivFy:~ɶ3;XL+\[Zx>uR,?u ez" Rvf> @ K0Rs֜= U &m )PNX(DڹmޅXB/h$^Q5xA7"L 7:2L.oh.U=t^9(oX8;A -뿭ѵŖ%'|<˸?i ld/xxד$YD +> IuM(PI(},wG >%/0l9Z)&:)ږ=60GwS<-lVAӽuHMN)g4-~%<|"ٕfn1!b'6aR|Yԅ`A&lޓ7}n^W9M>\A'ݎgK6v^64Ci/"l?1)207d9ݗoo(wz{܃;ɑDg~">&o<)NDy\fR\t&7 vA/?k8LQM$ k:IXQЧ#"ƅ毸:e&3\W[+5rkꢢ潓Q-&Z5 (". vAdupgȘc3| MYd0]6D ƔXkًD/PLWV-?\cƺm6Hps0z&JƤ0\4| 6OP`떘ZӦzb"S/J8?r~9&=<ÔLhE㛇tUEםvOg-2{ y)|lNɲBb|-> T~ω ]VcgԞk[w&/GE87\aV0ja|[Z+Pw`!zUf6ѸOB2W?*xͨZ(c<|.z&~wtȿ`5}P"az ۜDr4Qwt,yLjF|2@}Ճlƾȡ$Elo]OxhVϩ9zQf`M!Qo[VOҒ+þ>#K@rEYi:59B])yU(J^. vP]!,ׯsзϒ'8uœ-3T9վ(f}rr%U&y*=VhiM">'d`8T`k c9Cv-"-( ^PkqBT@Jx-֖wC# IhFJMtH%Z;\t0 x7"EfJCp0K&Ͷ@N̡PZ$?Grɓ|\tXqׄcV\0Y"?ߺ`'1ջGdq: & p%nr\O;N8ݠivlճ+8c) ga缈6"CEI!kW)i(5+W4 Z)}X;!/r=M.XÀj Ǭ鿫`3ǩT]#!L,z*8mmMQ/ rC.ӫ|iYIoHIF>gdj@ڲ0DB,% W-O/C͊$jv*e)KxVT5.ۄ6p8"幊RHXnٗ4w;ct3. +Q! = Q(v954ݙIa25M= ^9S5l=i %bWBR{t-Tg{ju7/|M+~3"9auZ 2e 0r,"2RY盯Kf_^xge|Rp_wlS$Ot u9dNқUVش4p>mgIKzD@ 1)"QqKaܚ| p, `|q6<,E eIxace3u >f⛖C@ w Bg aKƦN,oGL!u>ʏmWɀű> SNlg;A_~]IeO tW[xyk c$e@Mc .F1dž*1.׿fjֿ"Y+ؼӌwߐs$QND?K<& Q+ҫ/5\JDm&$48)GAtEG&86|~D<'a̚sonh8;Mv!'o #tyB; ;`#fvxČ /e1SmE/37^_6rf`'4,͡!^=C{a=>䝲w8?RW$a%斩V|p 5W_6nbJ p V ;YīϛK#|h^]Е.\nԵ7FLӫDXVCDųZ@t)^$md=y$ud lcϤ9˲?5j )U5Фe >Q HV#x5Zf;HWf[=6)]LҊ)Y}Vn w5Do'vJ=mcY/э$(X+94آ 2D:e߬,)س2hȺ& A&q6S8-Qzvfq[Yʏm5ݖ K]`pgAzL]3"O[w|RlྜྷF VnDD ୢN9K{ ʥtPKCpјDynemo÷Z 0,B&b TlcT*RޜCV,G,8s WXw5~BZAnJIX 52@If 9šHj{ON:ޖ鏸;0vZdVݑ,eMq|ػʃ\ȍM{ݎfSOL KxQug :9(CvmY?T6!§8V<`J`][?'\Z jSwfrI9=p@c jҦ@etL~lY Sv]u5t AyK^d+@Ov}=^tP -VÌ?R$u į,ԼWNM*ϳ!py {wǐt%}Uѫ 賮XS[\4mE(K*+ e|+\[,⺪2^ԻBE9acGhПH9]ժP@0\kX)K(iuE+ޠ Q砢u6`W@K2&w]abЍpkf-_,VaRŹ`䂼VȽwAY?#E&=?^1*TB|uEq3 @((;@WZh<4!9[>ɦIݦG&ʤ ΦFɹ%yJlq0\MDDRvL% i)VAAfHD֗]:Ƹa/m5&<]7E={cH5'yH%Gj$йc̷9R$yn6 7VEkVa\Y>KKA#]-!$]#d^AHa=/$Y׈V9IgsIEId&#UGиCVT2` wa4EoI7օSPObO9TJcPfx;a {i@3M}ߞR%?.E4W\񂡩,a+irᖂM '93LE5&g]6X..AGaTHѯ ~d4%_:R[l9cKSel򄕪j =]C5VfSqY=kt5"$/yXB\qzkKS\ .LЊ ~4NN*K|,ޙ\c+u@i޶c.P־_s߰I a[-$,@J d۰g :A9CLRѨ" EO3H]:Ism?uP[F)X(񓸇\jc޸aLCӦTc 1bn CY+@'4Wgm7{sYRNkFԽ%Pu'UT|IvkV^9fbo9˟<2~PZI Bqc~y^X@#=t^u,25+ډ2K5XUn.5Tk?wy0 M\޸Wa.׽ʆT}&CK-bjԍWrnutK/%n(<;eZyUҽ쾣ӆLzނDX+qǗ'o#_~'8"`FfN)}%F(> 3ҳ!GMTjNne~rr? . 0t1z_šμ693F4 1.{@M#kr V`̪".Z\xxh^.U 5bF,,Wgy2EN7uرebR[unq6Mg\+R=Lƽ*Q5n}%>ܖ/{M&BCh !1 K}W $u--VB.}'Y%%K dD(֬7>1T^1aho2HʟdRAx$7Z  w`_?٩9{8$|EbGLk *Jx!\wrsƤ0 42w}Z%}vj׼)o4`Ɯ7cGh1GWT. R/~V͢Ua\NgBOcMI@cwrSlI2C H[0|mvUAcՉLJ'PV]^v=>¡:5pfja yt9~~'hg<خ5bUk=uM"*wS "Ict%eNE2NSjZx?׷4eA! m)!Nuo6荺MAX2UsPrJ0\W=+1zNY`ܝHxFJSRc!OBo`_>SQ"~ŏ#žfZiioϣc>#?~:z)k61U&[e0g/! EꞤF㥄 vC (j NXTH17F}ŵcF҉mO5!뜀}q^M8I? V8=!DVU7^PfcI#[ew\3Ϝ|V{$ךYcK ވl6C|!BGгbarO]+Z8(C1-jӻbRia, MX53)`mf2]R4}ab c?@e&c'n%d3ele'ȼ?2u/ W-p&ZtT\Kw-lѪr^>t %RpH/"?_mӉhyҙCI^!DH3QGȶŅZ{Ow3uHKgE4{aˣQC(}q3_OUQ&3>&&_SOL9߂k5]bS|R#4[Nh7bYİI!iG8"6O2)~ tQJl$ͭߐUA+β59ΈYQ lZ \-dA[gUF55{jqcilۢFR}"cw.TƮ5zv8P?%F-v0kBq .+(Joc]L7dR]%- voE"`c 70\lO=*0am:iV"h-B|J;p&Ki8̕^c7o(YzNIpJKlfXeˏ7bǙ-n攓/Qts;y|uWPkl>"ɊAHB;wx8}"D5%:mϧj rJ>?l (PRp"C^)+yl1ߥ*Blt:x ϑSJB_=Dn2Sņ!ili4HkC'jh,j4B} U U,О-_}KxqJuE% >$a w@&GbQf6E89Qp؋*ҫrI<bWtԮBJ3#p 6S<<:ĐIѰLɗ'xn%VrFY v 1FBoU/> ѳ8.pS*=5@QK>A6_$h4?Q|gjsW2]J*9B_|AH~ oxzض( dwƳ=NK,Nɏa_&lb^I:V1c,s7oM!){gYZ D3/% $IEEE_Floating_PointHOL-Library.Floatdocument.tex7zXZִF! |K]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А-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 Ԕ]owSy>Fκ(lV?Ssp8>~ 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 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/9gYZjOy258W@tZEQ%о}>1s,?k'a]:8 /W?2|RnW?Ʃ>&={Rx 9(-*?"T{XsB*-LQit{A>",m9R{DڧQ$~eM~mhpe=]b9' xiRD~L#U 1`\CPdcpGb.x>BB#X_3dƒ9-Z÷]kNwk49Kg7OĘ\a##"M:)X< ( psO( X~ COyx/(K Yf]SsfqDHNB:$U R|#&Bz-KvbJaPfW\YtDԾE CҘ_RW[gԻm_4JW ղo'Gt{{4LLh|K:\ɑC`^رNEJ/Q[+sʵ(T2:^~W<*+]ڣ<3 19 17S/WF[7m2Ų$d;zWLW ryJ3 k9ծrA Cc{OQC`g'G}W)D V ǰ5tI-:ǵkyg,%/qLQz.[* `Z7W[Xl7ʑdpT)8"hEf*b]ۜ5Y#MԋoԾ^06A3LAdgm3Bء^O/iX]gA@bx0ua eoA}s!HA(}<եf`{vVjCyt.!?}2C`"6S;lף[-Y}tJY+aA7|SF<{[n2THp+J/u͕(?eU9~x r%{x]tw}A?*m b7N`:qVU+2aJ:H{nЧ,E,fF=|XY2ǿ\MY:Ә؎*oRY ;=0X~wr-zmO$1q٧n]vgt0ln9r""/(wg;u3rx Pfo<" - `69/hcC G)yJιS6֓ƌU%`.&kN_L!GZhS, c Y_(+[qc KlN9g)OpR9K3&^PuS QoxӝO$²pe#aCzrk]2嗱 Aa_!|m[jYtϵ:/$.5!h&@.V!n:`:uJݔxX1 3Lr:YHTC:rzgt x*"ރӎ .9`})aC61ٸY|J' @A!9[Uw''Y uճb1x%mә=^#+mD7!\Ƣrt lC4 14 sLK^><=q#`@z Rl&hS5h4U.N_H.5Rrm;ܦ:SZ8µHfU?D*pg&w]`Vbh" M,A\p5h-< k~D|o Bܣ83c H /H̗ BC"^$$EP}׵E*k̸8'cQLtgtٽ|i|;'%;b$lUF2N-;!Fi5jf) 2=^y(l7vrW#޲$CgNd;;LMOHGWΛ$}\8G~p/M.rB [R 7bF '3+v f*G%c̴a SaDqtoʶ,Сáw{׈Ծjω<9751-%lrކ4C|֘k܅s⹌-b{me ZZ8RoxS1*>cW?Y!"ΊfQ4?DIre]QJxK8Ga%2_' hq (B=JByllq9@,)r~<߉fRQ+_8r^ ܥ:ɤA;=e"6&Q\wCM惬HVshwN vJ@kR 7!k) |й 9`.-kug[l3Ⱦ+HXw-, 1n6&XZ2x|Veu4)=-bKm}N a #"snMbb&a긶*OiD0r#X=n*xot\q.$(O^30]Us-o|)Od ':<Tj:)x"Y np)'Λ'h숰ݕ_i57秼$)A}yuҲ¬ڱ"]\Gsyi S{J8W@]o^Mm}0}Ӟ?K>aq0+3trht46A60IBu`l䷸ЎPf/V̙-HOݖ.غ8fUS>ln- *̲,o`oC{;Co6ZĊp9zB-;]Di:pB` C$K?g'L3P g +BJT`>U{ V|3sAKPWOh§SrTf\sQ|=~_P.g(EyT:|J\Ye꓍\RRR{&5L[MLD\HVzۯt=k}bQf=i;ƻX y;5Lb zH2xZ,?biضc a%06"KG>Z'k ,u ܘtԢ#3רڬQ34(r}붰ju7b{)ۚBg7f_'چ/kr2H #A@OCX Ne*xM|]Š[=9DZ]:9xVFQ= Myzvyik:MU~)ܻgYZ  3A% LIEEE_Floating_PointIEEE_Floating_Point.Doubledocument.tex7zXZִF! ]A-MՋhvG"uIBm5۰ ُỼϡ%]؍{7D|s'GCB(TM?BZ]$(k[qݳ6iljsJH:<,=Q76z"$|R*yY5Ζˍ2w!/ɖwCJIQg= :pBex95>^Gה(o1ZpVmiF~BUWK~{Y/`yb_?#FPJwѶ4YK >t <+>T) nn6xv.9np&7CaKOC(GwъEVH Z!`pXFUuW Ŵ 9Ese;ԡgHXơOy33% IEEE_Floating_PointHOL-Library.Log_Natdocument.tex7zXZִF! 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@Qj0 pKVo1iBIqVA^kHvRȪ/O$ktXsMXA@_? &h@ktF}X?} ^Oᵁi[ަTI;;9b*A0[_.%ؤn9: /SGLt dq$[Kpڟ#ԦV3y(J\% mݷUD̸fa1žIZFfOYm_{!^Ib.ꞅqWWg-aC{e(0o@:|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 ?} 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 Ε gYZg 3G% 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> 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ޞ?gYZ  N3=% ,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