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 cc+ $D ]]Sqrt_Babylonian:threads=2elapsed=16.978cpu=27.948gc=0.780factor=1.657zXZִF! G]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/sf>oT9_I;};YۍPpOVc!Lukق18^ $ń׊ ,UI<]C~ F̊'I,[Ńy\a{Q3q9GW􇖱!̬pEco?|} ձgYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(VAʝ[W+E0GP=)MZOmVjs?$XG]/6R,:0;HZT[80In 4K CiibgYZ7zXZִF! b]ŗXi%; GQ%3(b\~ ` +_^Mn)Xp+%Us_̜{dO cD&$u$`.b w0֔pqB&~вuM1N~}EVVŸ tYzKL{ڨgm5meMepFIGW(&CSt, GAdoZE<ak:iyM.D;K'WjChy #$8;0Zp;UA=yg8_z,kspo؎5>8:omm8PR9?P-O J3$HpEoC5uU2 u J/,Ǩ>u>.zV/-m!o*98#ߚ`]\j? tM17ż!gK$+Uzs-ѡ'v~POYݢ؛- YW^8Xӷ%w:DчYȇg1F/z?cP8yt@[0,kf˺C۶J<_Zm&6q84}჉i w*\=-Sf*eˀ-˜x*"xǪihDYtspd`Oڬ:Zy<`>a I&^)rßb"yv{2p 7!*gw]s&fehoX6( pfCi&^y zk3癗!X6|Kh AƘ)mSs1snS![0uʚUp/gfx5-'j&NǒR Yad#r'y*XA -"<ڢT;r.g20ǟXOiex} s}q̟dXZ:L^z (?PUO!nr8v)ڜUSݿ||^%BN._ w M Dͬ'!7 0&@He0HnD㖙>im\)S@M8,azǂ37A߹L_ʍ(DB,^٤1 ^>MgYZ2e3771fb1dafe1f37f8d872b8d72f312b20ce1380a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 91b0114bcb25228c49185d4ebad9faecb09e67f6949ca250bf0cc9a80b15f6003ce808eda918e425 + Sqrt_Babylonian+=% TSqrt_BabylonianSqrt_Babylonian.Log_Impldocument.tex7zXZִF! []A-MՋhvG"uIBm5&"w8HؽC3.qb%rz9HF#f_>15~yQČA#_9J(|q #op1# pkyB1A 1[PWE- ?s^8,!/]f{2ɷ׾vPSn5pHu .E2Wy! FnbPbI}]̛n242$V NR(|F ڡsb߸C^^wj~&| }Bq'(dXJ>@V++ŐFƪds~TLQq /+E% lSqrt_BabylonianSqrt_Babylonian.NthRoot_Impldocument.tex7zXZִF! |D]A-MՋhvG"uIBm5ĻY xV|a(~CPe PZwC(vrPv0bKvgS/iɼ!R i]Y3*J%:KqRxdI 导=^9֧$Ih.=!Q/zøJ$qgIt*y+<oe)qld;hl@USWH;:ʵ*&}u/&U 1BWD gkPTPk8m(י7޲E Ѻ!:@e P@h Pc+rq}~N,8Ȳbqo*-mr:Y|xuhtc(,wIca @r?y59CHO-W@e'"V!|gre;݇^[rP8t!<ra1_Rtu(v 3Vݔze*o{}(7YekZw7buD ^.uWl6֋Hsѝmm6\GKU vr6O 6+vVBDj[Zdw[ZHrՈDeθvth~ڦl섷 ;w ʺR}܃؅ޱaL"% +'0[Dl}O/Y8`i6RD]v6 ߥ:zƖx]l0Ҩ׏( 6 _ǹ+=U)Iſ4? GzR "M}{vI@DYt֜6;tTqa-(mw 9շ+Ϭ`Qᥚ&;^796e7ƲA"قӜWz:U!;a,W%PP;Bbep|X8>ud'fmy@ 6S46aqSt= Mt8Aw.mzy+S?TDONz"`ʢ)׈)ۋ!—;sjOʰrW\^N5blT UvHr*Kf{jO^GuZ)\+K% ,Sqrt_BabylonianSqrt_Babylonian.Sqrt_Babyloniandocument.tex7zXZִF! s$]A-MՋhvG"uIBm5Ȩ` -Dfϴa|qA/]8 ^/L_dvnȖLzp U; eLӷ E@:ZyX䶨{(ߛ"@w;T36e%oXB&e>]I뮟Uc8m}W`YCٮ$*rÍD|=C̫]+M_960q<Ōɩ{Wғqeג'vNgKP >MPO}+# p4OjU+ ^>?|.Ug|^rU㉏0^^AX縻r)2KzBv]JGZDL7B]&j;f~.OC,JJDI.. ̚Xu!^-N%Ьr֑tmq#yf‘3YTr0roOs~5[L +B0J/9Y~8W~L^5KɌ/2#1T`;.s&/ ]'U9|TOu]~lŕ57M *CgjFr^g jR@h&pkER2xǭF>* %@&К~`x =UPp+Ry[7Q_pQ(ApTQwFvh+?pJj[q'h;[>I GzOac̾7%Ȅxx^ 4N`۵9'#Ƅ*Bl+̡pG2Qsq?Vk/G0{UFYь-2>NxYIZG^ ܞKS#Ko*{,Scc:AG2Β1`l|Hz8SIk`<g%u~ (8{C&uJ8 t>:㇝bwOR9K!#rJJI M]N|3=x klX\Ԙ7S gBlW4&P $HY[Déz$D0X)?:G籍+9u7mJ=H@V>H[GxDDJC2܌B ujB a6H#9JښOǩҒ_|&(J]WGI|W;Qޛpp?V6 K/2%?0m4./":a.r 2Fʓ0p o[sv% ,1uޭ HT3"l)h1K/LʧClעLA2b<&^q»(]@61{{ՒAtŗPI"}Xoҳ<.b/XX) צ:&H0w U?=qf?%|PziQ>q׏1Qϸ:zbT|T_[! PrIHqrtr69RCQu$H+rze oZ"#y 7%_GNg㬼+hL{j?Tн2oL G?6/;CWC|Q u9 bwaN 0_Z>ź!JqƆeY^_8?hpɾP mfF0IKTm##MBN{V'. O)G44{{)"l /X7>s}猹KBfraoj/o _H0ytpĘC%Sh]MakwFG?j\ [)U3e:*KF> 19_btTrĔH$}~z7K6W[[ D y[3=-FPMbz1&oz%|W(tT+#3ѢFBM7yݎܭ aql)bTyR۾2wی\|Z+KԸ\2'?٢]BNge0lװcnߣnot/T;ZBs*SqWOJ3)pP3ӌE̾ȣCf|L:!uN!hɢ-giRs~ỆIŚ9ͣB|llb~_Vj,cԭT!)q?( ׺Ju'w /9riKka*F;2~'7BE59wg;*pvK3 s}i\7NylFr}ba:ZC@Ivi׋Y$},QtぉJ]oKczb''6`{-޼$X 7BKg~hi\NyoImΨIM%"# 'iZ)/gЄ,)K,XI^/Wιޡ&b`3T4 6[( EU@/!_]й`X5M h+}ZhoG46-ȶٶhNh%U rL3am1}}U"tu?M2b!QJ$ZlyD%b 3ַRkN"o y1G攊t8䉤hɵɀ$-<1J)Kapa⌶C4@Dlj2p/$=;5Nk}Ms0oϔ6fb7OIQ5t08~`I8Iavd}3"48`9SKݢ`X zd76Xp;(C: F5IJL Dg1.?rSjcY#OW4:^ aQL4Q2a;GkLZˇ*n4>( T^6S9`طH7? .<fA͑ ǎ{+V x@ "s•3/G" U.pJ8/C2u,c4C,FKPJ fi צET !l`)7] RbjA~23uѕ("(6=ho=z}ŵOvM1lJְǮC,UAZ Ň]%7oFq:`0޵M=ZMYQ99Y׏Y_e2)bQI/A!f=L#M$t<ȲshW7Μ݉ wǝ:Ql y_(&wz7+^hWdŃebU8ЩP3:Ig]e|si7.M[]~AVɿ Z[-aQG8% $ݘ׋ J#GlGl^rJRU~dIk&Ep(_7[v}d]_v$|1HJ7σ'zj<9Womd"v,B :}O~#7ҷ]_6$H<_xx)'ؒ_]nDXx7~0%l<ĂN5̜3Xz- ,LV콇r[`c/{ 75ZGBjԠWZr[nߪz9uI{@TM d%-<ke̎E3tA%'c~IkV)7A_i"Z캓,:$3/>L*j(2iK*OUJ<.va~KXYhO-.~_37tl]]u-`ENtu o>+` &X6Ԃ10r6e?[-όtx"z~i`$|s{ '8(>{:."49ngqRw)@'B:DLVyk"50.2BEҘif31[8 6b(SAFz(~)sJ8Zp3gFKwmTczSؓ (мUrju;d--eydTT 9Ѐ4ýBo7V:'}]$wǎ[Wf x% m7_T댹Xgr<;wƾs}"5^T^ԦZ%2%?r ɱٔG<Ef\,E9YE_`8+Q# XeQ\f<@_kOd5=mOY0$ ;u.z|#72D#gWZ%{8]'9Wq{Y~d.-E{dUxn.Ϣ~{o+rtYW-Dc&Vnk8Hho{3Èv_X> $b)_eZՋ+J\TlKЕZ!3w1Ɨ–~wt?I6&P(_1qжS["_V$)p v VodI w1L ^D8Y ,W?bYA)V~گf! gR.>*nj`fѹ.ߜ=fY.g} T&NuU-pT3Ze @7 ,{aiHUmc?.ܔ\;ڴkٶ@A!teݶ' n7+ED:*&"7ҰBFQdw ctDO='3?/U숿q⹁{>1fvnl6g:̟Q3Wh&9rl0c+(i7w{(Ԏ I 037!GQ-/QpzK5| QXXF٬wGx<% `Fr,Tt@ZrrM|u\uuGbs/=/3QoBث@nIX d+[;t#P@`;oV% qg=li[ܲ\LGˌ5Lg /pnZǶkPtڪè+/; J|r"&t\P2MX:XQ[ k_m*b~㟐I~s6 2],4!vpLk2amT&$tDŤFŽ O蒘x0HcK VLoLhxraB/' :OH1m!~%xrƧC_$m@=eO|hAi3h!5n`쪮뇮B..\K`E ZPW]Ejøȴr'\IL>V(V30Os%k*0rAgg$@}B\녮,6Ǒ~z9#UO<I :}DsoR%[r&MU6(R$Wk&o3}=8E_j~[K{WcTϐN(z̺X\Ɲ68اl[B>r&FQHRrX!^;E,B5%&P=ᗽYjB`wƨZh|%+K51::Ǭ"`=+=SY -ߢ__.`D P80Kxy"q"VRcz?sx [eRM:&(sZYN܁p.fOW[%nq:sGm<:Ɇ}{ s{X|X3ZfϽtє US~"Um "C8g\퇾}sHF1J!?RKIi51gyq+_WoSxb82o0|!7q8'j{(~)6ʌPZ%!"t ѹ5kNQJB43/A~(t/R JYȸډvnψ7Hl6|6ԡa?MC8Lq nD(e{ Y-YCK#48ΘL^jςݓ=+^e\97=\J qpDz#bo' 4gz^wtMʵXdL?ÝNoLn8}eE8:p(hmL~rJs*f`<^h !4`^a2EK|7"x8]"ۙ ڬ&d|E:$;uӚKh_z%Qؐmn^q}[(C7̺{=suUV>̋C o OJ$>2)tVbʼnx!!]_Mterik |*T,' ;ŷD\2f/||W^/se8@ sP1BexY~m0;LU .YqR5g\[#GmZ5a]!e砙>+ȒL CsQ!-us];-w/f%; )D$= y1ŕT267M?c'7mˆD?;jdJ5Q>cu ;abӑҨ ]9rM1(aP@W.R: ݶ:@ m\MԤA;o)\f8X[N1nF˃.RgLFՓ3֐Cqպ:Go!DqHwPgYZ 2w~ME 27U:+7d,(:Tw2Ruт"N^wb"" 9sf;~ a\fIW3X*ǡK0|))ϟ'T)Rq"Y-Y_ h*)q+kpdE@AD|@{0އGusx7 2|*'!C!!).Sq2Kx62G# ɬîv;P?ݩG ~.$P+ ^Z]$ Z׫޼涪3,V[T܈҃mӍY& 2Z Y`f`]g i=$ᗻF@gOHN.) ]LUb?U\~+F3jŝSXu$Lf7/ S!{o7d 3( Hvw[[EaH}&6p4>g-}z qy{u MD?4 Xgo Qc)E3w=߮d핅U۫Km!Aa>2XTrh\B|0mW+C޲| cʱ#"A;wYD#sN,C71czu!#8JDag,`lgbFI;zqVȃ~\Dsi 3L#1]$70s %uerA`c#z;-;jߴ>[l,}1cڧY 1ݰejN$Z,#[ێߋDYW>)'y |H#w{QY8/u9"#QkDDmfSE<~Ds3(.r'U%F|Q.ѺSC7[J7ȣ<MmuP9*@kcI$0{ˀ_ߔ:g*h[X,n\4H8=IQHx)A\_.w?UcAp^.+EXf>/m4W|'&Ox$%xŸ7l2܇cU){;U*/<#"@AQܥ07N,O@]`7M8 ԙ^?KuYlK~Qjp9y8hƿjIeEfÃJJkYOdFKN\k-۳|ΆN5"d&{%1@1n,+Ls˄xvBbGc孔&}sBC'!/`ZD5F2*wklECsBXrywe{CEys!K $AFjYt3FqL"۵' `uK^\Bjd7oK9Do6 dۉQ/+ D'ʇzm‹dv!c;ChP5bgaHJp,TQ6"Z):kX[X>Qpz2s'D>[``DpBcݣ2(-$\׉bC_wmGINQ36Л@淈42G`iв͐L(h˭B޹A5ཽra!p֊-&SSozS{_,!tZ61>Cfp.1nyׯX9uU02a&pTV-QN]x3q'+Or_q޼0f G~ɬ`[i@\ҤŵO-M׉ gk2hl4qEG)(Kk2H310{%[u3 (K j~"BUhA2׭ ka/hMLjS5ޜoRU=c^J9T}gWW`Eul~$5 "N~MBMbHP:$ŵ&S:daj>US&03 '%H'wD\ |x|N mUy3xM:6+eeRٔ9{^ÏoOi,&"݄ʭnvPznf6N /2>6'g'Wq$P },+nH^ay(}Le^VoV'lߪ>!OSU8Cyg;9cbV"5h䈾>'m&B5)JT{oN0jM׎L N /+:ײwB/ O3CCq܅zOwVgesx,.1xɶ8x _La}md #[F-U0| Bn5״fm!fn 0NU"#g11FH)J9TMq+O5-} *o)-eN/[#TƈxGG]RZ7Tx+˄Ah֓Ѐ+)pJ̠dW<'DNfo")x*ӟ6o;TI{Q>$4@}Lyxl1=t[];70#,3[`x4;cB1$<b0P涂sX,AD/6.Uϒ;/t;kF(3Aԃs)LD3(বWE*7ǧ%wn1#unû+`09ВU`WZ.wkaž&sQ=orZW;(@!И: uZ.jg@ _3jeW@/= l0Mѭq2\6N,ws^O1U@Q`"*T7uЈϏh*ҳ<pN}i4/(J#OqETgn1^4G7e$(4Z-{(}DZpq\&5-o^DŽN1\`i͖A81̕ d4Hm(&A2~m=6K(o_pAwҧ1O^c:UZS]qmx7Yxk)9&[֚Gx:P[ғ'ab%fZ=⁡ÀO7oc hD"Q/wAjv@M%h OrnzWZ jjFSӣoV<0}ѭȄD86T3Hl\횗dǔ=b4\SƩt_huuɱΙ 'X/R pVR<_ 7yVNu+)|2huriNmbY .+|t[] 狍(dvtɟ yǟ(q̓a6jb"aoϣĈ-$&w:3 lZnBs !_Xs84[wj*],"HuӶ}%Rj140MZW}~+ /F xq๴tQ[:冀QpR ?2 |4HH~H̯E?XO|^) G Sptێ9.q ۫xv U`Q#NoḰtF[a CsJh-e+L_׹(9Wꡛ9a b \'ʧP)dg?|kId-`a6<.w)4ŧ+zzwL?RS k}3reRwԴ/9 B2@&htWwЧ(Dk+J,6݁oe|S~B7 hGç2f R3 闋Vw}i¡|{eONQuW\lzm/2Db[GI}&ڻ\YAM[;rn$zPWP;Uf<'u8x m}?z"Ϧ\J2z?C>Jef Hu! sjzGplkw%ѷ*z_8G9PE8'(e>^"NW=~p$}p~O; M\6&wkVEW`HBv:b˴)sb-6&x͔Y/!rxl $YSA!e4E&>׳dme}_GM;mDl b; te²z1fux(;]9^?P[ANm8ϝ J#B^asYdbkE5fD$`S8-O"eܑq3MW FTX=a>tڣE-{֝wU% l~'|V&1mC姵:=q `)%[3SiEӸMGѨɟZaH#5SHcTnl4 P6w l  SɷgC཮&wL%T{T! f3=]#a(ف%Pn\@sŧK n+Sr/ oSL)D8R+#s) njS˿'P bBI6{IHNie:nwe K=mu2 u~٪MH_rKU-Eӿ, /R^ҳDݣ(-Xtm-8ݴT#7"O$BL3_nhVBQЧj=] ;k[9I=G>6 ,_]-xѿdVwV<{;E%8M 5wn:#Z^(So%jc8O,h8̜[)DA0E:4Mso`Ok7Mψq;(؀Q~q}Nˏi`4?-RQ.6?ME3 +cTFC%+9u%֑}! h $^ ȅ16sc]֨elߕ;[z;iuTN'Jl⭠o/@TQfIZ3] g!4Jj l=W^Eƅ<͞۔}-RoTyble1p뮑Z!9.{mjqmnH0S$ƒaTuPyy]Bz71c=BF̌Ʈ={YQa#ix3WMIQ~ER»Pg~ < QІj' '`׿_֗:n,qT'FHHY8 VZ9ޘqBF%Mjt ᜄ~̈nތ?ˊ3>jTQR_ ɠR} 0עxM7˭î?L7=ڰ!7;uуwY| "MR\` hGFq*,ƀی-b((lHt##Z|> Y! .agE'CfۦeS!o8n-8N,<1pm[2׎o>2 A}g`斍3p M54{fHϾ*4tXxQ#(һLD.,e =hDTѦ, I6̶4dh,A9AN_ొsVQwZ5OU r̒ s{ܕzji?J.rJv DYh\g8 AFKެ9 veUdʟpM |92u))m@`V(Tԏ&=AOE:g hAsk zyHڲ`$˵tQ#s&Ҽ㟺\νïJ7poQȃw |{>"WϳC$MhK)4X.w.-$֋/ £5'JEr{ϲGVv ҭ~K@+yE"e|9*ZK6i;%TT璾)|۪1R!aFs'>| Oa4~ b~cD+w5C!d[޲,+;H,NC]U*B,`tAgCD!V:sFZ(, 4tۅ<=>O{. P>:m Fg3w,qЅՅIG-дeH kWZvhA[pu)RUFoRK*@ 0=Z@d\IX'O_nk"?a`R-qt<(~TT舝|z+4^xB|< jo1N2~)$oˡE|muf:n)3bA-;1pĚpo&u%5V-ȧSe6MIMlAxN c]l&iۊ<߆Wb Qv z+P\oT56op2. }Gh#Io%,dhᓎ /XFFLڒGmcd<υ| / $3}]{5.~퉛A(OkGL%fJ BlN8TMZpHf-;yq+p?Cr=AQ4Ů-5 W~Y2_ڣ]]3Jpng Mr%9[a3+!&߶ljQGQZnʊ""9 ,/@u36,N,07g2RO]+X0e$=8z!T~ ٥e$ZN{ fm$D1> +fguOVmZR{= 1i+ICPvSm,x#{%AU*)ZG]-,.T 2c:#L24RE CX}'P&GR8,el^,J)A)/q;yiT5jjPYCCw{~y5 eaۢl d,į S癪Mh*C8' ä ܵX |:wKl='\R[ dIJv@|Q킅5q]6sD/WY!N 0"L032T CJFHEc)$L OY8A Ԣ4N:B9_߲kLIQ3^~1Y68՝ƯWr|^]}q/r6PyjqƲc5xu#UƜM=\/--?u.LdnñE⊄t(E?~=lɽ-K|7n +w3qiӘG$̹L33."I` κ%E ʒ:A#G.􀈬K}pls0[Aʜ+v wwhg `j+&8$mV\J P8ь[C թMxX7 :4o|!KstnDJ }o %uW=Ls>FWʧYnn6}gYsjS?^9Lcen t@=OHHbѐ Gޱ 4r8&EjZ8@2R{G2EdwtAzب@xJcFR.͝mtD  EllH8WoFAd9[5y͈3a[ȣ hm~f/@Ğ`'pL. *%t4vn'XhC(Y-~%o5e-;E>F#J]Kפ˯C5&!F5L; t2M;caCPd~55hlb{&Z wܽ뤖 k #*J R䠌'%ȯލwY ˢ|iC;ۏBCQf s<-+TBJ)"\ + ?/Y>+ztïgJ787PmnpI>4!9p 7˼_[>Sr*rc4껛ԍ|>TJcјd@!qI ɐK3Ph'I#4{J OQO]\;uTaq] Պ WTL 8 :7Ο%5&:.70-s՟fƳPpK3ZXQE[Хګ[y蛚i(t bh@u{}RȒɊIa;80"H[34zJk"QM~^H.݊V \Z~Qb֫*pv6ݢ)vCrc o ӪkL..b38|.>1r *e"'W/KE;T??KAsnm=NO_%b|Mz_T)hKk k"R5!5$Ydf&- 5.a_П&ezlq?3`"`H~##UgttS͝)`3./7jeI׊p3KhǏcAS.{tGƥ+YZެ}jVRIIG[ ;=~DktFꂷ"/bX>iz[q>3Q}wÒn TW[nYT9q0Z] CkQSʩnQS=AZW4o. L#Ȧ =%16 UIfWn| TbRYƘ\»Eљ q,GVњj랦E`ľݷBX<9u^sZ9W57ƾ&́Sq|iy!}!9Ry?)8b*Br6SEx?hXPP4! /nrBo15Ba f#+t9sϺS<ͯIB3"VOyoZiȥ% =C ?ru9ǦT!Bz,x__a)l+@Z&}{ۆyzDrw#eimۜ;PQ 4* (A-M+S1Tl#cEMNIx&ti2#=saۤ6t)w|sҶ|ٛp<ԃ`nÖ ";:/v' +]?){]=x\%)-Dl@ Fd":àm5#b(*!~^ڌ7 [daTQ16G{0) x1bi~߭3E#YIB"r@SҕߓePJ 0kuocI*䬲[d W6APW2DY7˞T4\d?9n$,TU_s3)3B$yjm(˽V{=!xE;Z?~[dxWR)2mnI7(8-1 -~w2s:[q#J vj!mގ'ceDΈ8p-ȐK-!IU^)oR븗#?Nsjpv F,7AgJzIjsQo)?VTϿh21kFU`oժ_|+/Q۹$yò ^pzRt g5HdO=8F:fgXa(s)0;՗_ :dăQ$Aŕ%tk &L8EE(~M,7ol{l.E*kVءUA$gSZeziqHlQاBa1@rXG[`E6y_}f}+ar.šDDpWVʀ6oJ4B{.c U&}/cϾ<y LuMk<*w {_6:MRcv,ٺd>:ʀA^G|Ko/YO~8~hax+✡G؞49]OK5Ԥ9'VJyJspbP*Nzmh47_켭.~7%t*Ѽhk& ڔ!_t=hY>_ -Iu82P՝*i-gsDC'_9,iexRo} tD5RGe؝s3뺱rZiϐv (q-#0WZ-L-Cr*.SwXׄr>Xtd8:x{lo [D8 5`\g{wK%1siNd@ чi`(,RG??`0ܼկV~'a)־hlhSijl)kra#6Tp~O؃4Q7ÇY܋,] A/(;]gP:Y )V<|*>ԅe֕%a 4?,xG\Y84FߕO}7SB7akw|ΑlhWXF}*DSBaGL(V QNdO9ƊA*D[Z""^Ef4\ZhWa C ™z|B*ricVG[wCbďR)@ToGe<\3mrvDK)qF!k%&.O_wU% b:ϗw%iUd~4$t&RhA':2WsjA$pL2C\2XWg #׸ mB^!-xZb7o *e>.C蓵k47SMMT6kAvyWt: fC57⻃!2_:'V,q!X]͐QJ{dˀz#i<a10yj0}#%lJWJ(RR$A$"qѳ9hq,pi\(n7ץ >Ǐ.a4`jfɛ Tg iqOwe0O݈USQml*ù-DOύMٵM!~җ_7h߄Y.w1 װ{^p=?xN8V! ~'\ _jiivsbӕi/!Pi`N0 ҕFD\_>ѳo7$; \h5q̌J15~yQČA#_9J(|q #op1# pkyB1A 1[PWE- ?s^8,!/]f{2ɷ׾vPSn5pHu .E2Wy! FnbPbI}]̛n242$V NR(|F ڡsb߸C^^wj~&| }Bq'(dXJ>@V++ŐFƪds~TLQq /+E% lSqrt_BabylonianSqrt_Babylonian.NthRoot_Impldocument.tex7zXZִF! |D]A-MՋhvG"uIBm5ĻY xV|a(~CPe PZwC(vrPv0bKvgS/iɼ!R i]Y3*J%:KqRxdI 导=^9֧$Ih.=!Q/zøJ$qgIt*y+<oe)qld;hl@USWH;:ʵ*&}u/&U 1BWD gkPTPk8m(י7޲E Ѻ!:@e P@h Pc+rq}~N,8Ȳbqo*-mr:Y|xuhtc(,wIca @r?y59CHO-W@e'"V!|gre;݇^[rP8t!<ra1_Rtu(v 3Vݔze*o{}(7YekZw7buD ^.uWl6֋Hsѝmm6\GKU vr6O 6+vVBDj[Zdw[ZHrՈDeθvth~ڦl섷 ;w ʺR}܃؅ޱaL"% +'0[Dl}O/Y8`i6RD]v6 ߥ:zƖx]l0Ҩ׏( 6 _ǹ+=U)Iſ4? GzR "M}{vI@DYt֜6;tTqa-(mw 9շ+Ϭ`Qᥚ&;^796e7ƲA"قӜWz:U!;a,W%PP;Bbep|X8>ud'fmy@ 6S46aqSt= Mt8Aw.mzy+S?TDONz"`ʢ)׈)ۋ!—;sjOʰrW\^N5blT UvHr*Kf{jO^GuZ)\+K% ,Sqrt_BabylonianSqrt_Babylonian.Sqrt_Babyloniandocument.tex7zXZִF! s$]A-MՋhvG"uIBm5Ȩ` -Dfϴa|qA/]8 ^/L_dvnȖLzp U; eLӷ E@:ZyX䶨{(ߛ"@w;T36e%oXB&e>]I뮟Uc8m}W`YCٮ$*rÍD|=C̫]+M_960q<Ōɩ{Wғqeג'vNgKP >MPO}+# p4OjU+ ^>?|.Ug|^rU㉏0^^AX縻r)2KzBv]JGZDL7B]&j;f~.OC,JJDI.. ̚Xu!^-N%Ьr֑tmq#yf‘3YTr0roOs~5[L +B0J/9Y~8W~L^5KɌ/2#1T`;.s&/ ]'U9|TOu]~lŕ57M *CgjFr^g jR@h&pkER2xǭF>* %@&К~`x =UPp+Ry[7Q+C.5vPk>*YuEf=0<ϰW|.ԵbQW蚟1o692I6'3%VU/gnV$A4q92OÊ ˡTn[To|(bzefj#@A$?gdqn2%cVߧtUV㻬L¡,=䙄ݷViPA sp&8u;~jOޝ/i~I+~k0?( Wb7X҅4|+KD`* ()q4|z_,=>Rg:pDxRUX E Cu7^fubbRLIUw}cgBA{lys^LRjc.t]S3 }^u$sHQ[ߖț@#b~ϕ5JQdcofEǠ߿cbNeIttq ^BB~22gpojNc"Ś5t_W[_ v{7>M lae2U-wd ^ mi+y+Rfq {aFqfn!1.b8N2F7oQwEIDt`r) F?.g6Q$ SƉUX;=DTO"PD>%QpnSGVw 9Ѧ;M6@~2zU>2pxaaT)}a|XsgKJq-XRݕ#?ůxK>TEiE} |Y5s 94GGDY{~)X%mߢKE&&΋m;O_-w,)24|5ߞ =!:Z XY$I?dT{.9,+-0"c-R}VJ7A-`PZ"I粴`D_#QL*/ ԛxOC4_ kh~0z,J*,X;T?_sK=϶m,BMNb5wi流Yu)3O=/;l-kMK\',Y$N5|Q東+jv(h{i!g7#Ww#Ƃs' qrA$mᑔ^LY%hE b Y|U:#t5ܪ?ME)gJ < r6 $ņ}Icss i8-nef vvN1zʞ6f} WBBKOޛ,K@ */w65kcn@{1>I Q ΒDnח$mW/ >~ubQdvoSqM $v1XezHEK7,=t1mcv`ȯMiPFZ7P*Z6vArez]g6گ"M& VަޕgYZ