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  % J򰰜 ɫ\RǬ)u+pv nVg^BR<˼&MK+>^߶0* _pI뺔u`nT12^ tWTfS1%GcMG_R+ce|%fkVLx~ܤ+ e % #mV[ ilC>C1{_zwv~[b|nu tg_X,zn/ XugYZ7zXZִF! ]ŗXiɟ1˦rG1)Iub""XZ dd{[bӛ3 uU=@ˇ9l~H:߲Y$Gu#2.r+ f ƈtRK 3RTQDG5jUpW~@ESs-vVpAPK-Qq!gYZ7zXZִF! 5 *]ŗXi%; c+t꧷j|T~>Ď_1^KdG?3.G{bsn*L( p X  7a|1YLشRqEDd0]f" .'8{]KtO6|< aU#j;ؘaw0IΔa%Sd.̹C*TpF'?3$&;#vZ.A;7 c>Γ4]~U=% ~CUe RŒ 9:r+5OXGyoo38H51N(hDfm  0.6LֽmX᎟7fTG)~[n"Rgɷ>"׍Gg{j{쩤 진a:h\X&>TRa*A?q_WI,oY`C/Ђq%2ׁff}t뀉jKUV|EI ͳz$ Y9[-p=NB2o [ȟO_K Y?In޸j\i4C4ڞb2Wτ&dI>Iʎq9ƅ׉lނ 1It|=N,.'>#Dw'DN^.t C~I=u <5@!ك'=N2iuesF8Ug`71I] F{ naEE02?5D|j K";ib Q -k%}"^$Vw t_<#[^z tN0]![ED;!P@޶ދ;ۦN\'ɑ%ib4n߸])NΝ;- 0S+<L.HFaP|.2kl8+#m ,&濏gnZsO=+ @qmʭ]^p륪A´K1`*/wލiFk;4U/0eo[bI / (͜Hz2/{aR!Cxƅq5_'qVs׌L}T =[GŔߔD{Ja!4)"/T:=,,2e>+~bH"ΩeK0ڨw3 !ڠLV ^:VX DEhlOICwɥIJzls`X-F;9%|Esrn Ymp\$X6ymF繂_"" <Ùs83VсKu`kTsT[MMl׃,o͠5L!hb6t\1vz01ӽzqguWngPAYd.[͗F~ a#! #8Io"\0 8>&kz@82?勊)()Ƿ}bpsR/AzR"hkMۢx6hRg^R>cN5&y1>cYiF-wʠrUjh."2r[K&3rޢ5#ȷM:B.I C䍻QOk *r or?!s)KA,9oRauL °=r_Ck;pOdfA0䌼$F-A1Cc)E"l|1Cx8ʂu6C-t_thBm}7.^#\ B"aMS ~ho^ܦ0ZBݨIs(V1fN yʋ1B6љDX@2Z +{V?YF0:k<>XcdlsqR%t;P_44`*Rr[?}c,7kFU}  j蟥>cLZŢWG;%7% TStern_BrocotHOL-Library.BNF_Corecdocument.tex7zXZִF! ]A-MՋhvG"uIBm58Ϡӂ.~M{{ @nst0}Nt.ZMڗEkc?YdBz$QoGG38tU*/@T0o.kP0YV؉q, q`щ" IOk7/]"p MբP@b"7ˏC(FљFx;O/%:CwT&7_RcII+>.I␞yO?)w+=lu&F>ږ KZ1J{9Ȗ78`{ZPs o2%3% Stern_BrocotStern_Brocot.Cotreedocument.tex7zXZִF! ]A-MՋhvG"uIBm5_ }%EҪ)QM# ES*c~>R")_̉Ϣqm׵~$:f<_)Sakzk~G;rw&/7O尴ܴU_Y?rӰy7917THr(~swAyfk8%Me^d80eDBڹC g~e&n2ݕ?Xy#[ ̓N}MU=9-NìRӤ&l+aRGH˥c̨[?"?>\ q B4l* >/Uɵ-s,.?oGM]抽ZeL󝣀vʍHn뤸%eX>L/M vgnXUxXF\+Oi*4-ZMpH~޶6"ɒ3s@你 KwХn峍7mn$6LL$teF1SKpWI"Wi$)RCY@oUh׶N杳s1 & aO4a]{+)< ޅul֟jVmn pNJXTQ$s} n{HM+0 =|9ȩan>=\ȹ hC><']#٢10?L3q>-{sX&r*HeD]!5F7Etek`d{_Bu@;"o@y$5V4Y%Sx߇r6:/m:)d.ڥv0{rƯ6؞SR"1~X1`~m˜4f0-R_xg;-n$)FIp\kr <dsFBSVGh޸IV "#Glwg'Lf4lwa`Ǚ?BFa`*q{A(#4J~ز30׊K_*S o*_iRXq+i% PIU'y18ń.D 5iIݿW7J+Js2| $!p].Wy㥪/1_^i-]Y5n iJa=1hIe(\ֶg4eAGؘQ$عqkDݐ DA3.z\U9UPM#K:em2RWm\\DLS.VB,o¢s,S'&9؜X>mL_P|e`8ǔ' P.qN,8 8dLWÚjD \2LF)붟JacMe 7zzr` uv=8s3ߩ-g5@ՌհmKZ4r4OHk،Oy /N6^+E-_nῘማjѾ4t M?$*myގJP܂ﱎpvW\0'k9w& ܾߏ\]zFނX"`?)4-(lWnR׵Jlro'fOi#{|k&7IiՀQ#e\B{hzWەnA}+$>GJu(-=aC| 8ف8+4Mb)% qZ1⨽$j-|;X-Dos0eX16㸘s(nY# UYMK2\|} *{}߀[˗sYea-hDFSeiP&0:Ϟ`IW^VtA]}|*B*at^Ը|ټwkM4?t82N{2f\J2 PK'+Tf=R6 n'aҹ PC@Ià;5Ur;[ZhЃ6OR׵(|9~ s`nR9d<7yðz-ۜyngEϹݺ4ҎV)˔)FK>aas+?3]F:LL+6,fO/H\r2GU ՃRV<\yd^]]g;4v uMaGk/[O:ygq,XHn/*PVHEbVo[6Rf ҇{ D5 az(χV+_J*"  ӽȿc"fO+6Ռ>=+X.C*ɖRw%5YS .:_3GRa@mCD),֌&3T4{w߂$ Bs%uA`6ږJuDÞ~P4Y(>偍0 T;cp~}GdóqD l|2[]aԯ'Ln}e6^MyODp{ur&}jĴ%U^w,E^C0 [2(ֽ[Jn8}"CLX 5%`n HCC zB;GoBCl++\e9(-YīTa^UEi@}O({(繓 C@BN.t.9hvkFi-R(laO3 [.:cdcS^$|?Oj-{)P,fJDR̮xo%^KZᘕn"3ԇpR5S+FHі ,wͿvWgN~]mĉt*~xҮ5{(F~ A ` 5*8Pe{GSGS},eetTK cpyFQwDs[خ䝃$Q 7eSzQP1rn K?"MSA>F,D.zQQkVe7^z->-ͅUW^svGj"We2Ppqbcy#I"i>-{e}#ubF _h,:7&|t#AlΕn y1FfE"X}H' ƪ̯WFwTk?ԯkm.TBT6w!]AmiMcjDKHq1Vj;m GCl8H21Qw_ U&k !V#xl:u L^ بޗQ}ڗsÓp|#m)Ć+;=4>LhaAK< 2+U:N> ԮhpaUcѹM$CH$aɤf1h4>ao!\Vd5h+'z唚?ӛA_]鄝كۛ!Vx`ۆ QoWTO;{5ZyibUE]*OMߏM5DLI.+:nxn$RYa +uEy_J ݄Ш+)**yY9;8zC0͈ c4bK(s:}mG&lm3N?)+A~sZ<ۛIo3Uza~nI@q&mќYTo7r#u67C 1a' p7%Ōg.7>! jَ[,(N! bEH#4zU^fFРcOQyoEFA2b2*}R.D95qD,5=DuB]2͒cPc ns U]@ݡ!Ê'H ~qW܋u;OY—<+sx T$e3w#zϘCnS!o׌S_Y},GZ6\LٞeΘڐtyci9m?\,:oi邫d(L^l:c gSuA"WO[%'zL: 46N4p=%P5nOx-ަ-gYZ'!t_/ ]lv<SB/;.#bӏ|0uժ=QK7e SO0SQPZ+t<*_J^{pWp M T\F'^'O}]FdqHs?ꦈ|!?PK>| ,(Յ$ɱbפ|F"!{XWҴIھ ejfh4yJB`v %,Y1!X]*$S/ꃌK[: 1]Ď# 2ԭpAcLH"rsdXGY ^Е9Qx\z4?&%7OҐV`9ծn2qi̭/ys~spnE\|`ܧ]JPY^SW@. ĥ1h0+d:!wxfnYw}pL6=A$7O( <6`6G+=|(&4'q|1!oᙜ6)ѦV8X"2f~/tJ #HF][a(5@꠻"+;gO $+6՟ERuitqn(efrW;=kbA7I@!o|n)36, Ϊ*Qyۍ!ϵ!O]Bլp -:y>t^M%Wmkw@NZ'#?;q}KMT(/5#%B`w"Կ)YyS`~EgKo~1&*t'FĴϢH37g}G|,Nxr:s~:b3ۣ(Y-+& !;R-6 _]FϹpsR;@@F@md!5y"1zOrl( ZS ,AꌧElq 'Q@a,VPRl}ߒøDV.Ҭ! bF'0ɶ*hFALpE|lcgO4s i׋kPHzbRp7W-`DtI9hKǖa엲&z<_CR9JJLo( nJdj*g ެ}:bo$$.TIge/5#vdɧ֙ĵx z3P>dߙm:PsEH>f0 \@0+ ^:kUnh'VyfKQ0.ɷ |Z^hFB8gZS J6x!~!g $BF2Sw%FDmQέS~9im>mvDFOwȹXZ Kb[AC6aFK,"- o[ XB2}yjnQ>Z殴r6H*#\YBFҊƙk9]h`7xМJae$V'q19yL dT~~u!꤇S` p۹{iQLmb6_%%Uar:MfRXo\|jr$6: xX8j5gęKޚP'7u5\edXq=B)NayESH'T>kJ,e+C^|ziaha3\`8|8n4fŹ$qmZj`ĩPaXl,ҳeupc,4Zp7`/pm}{WqUJTGvDlhkmjYl;jɢpc}n.cEuͤm%sN8@\iRɡ孉vܥQ9$ِFHKVEf8dloZgY՚>pWe}K$WWNÑ1. ĩSdoa߮N(LRϸٸIe`W2ΤL9[cH;9zJ$V!m 6DE5,A9 "~{W8-dHQFԦm[DYrKBx&q{?|49NŪ5 -eE痴\ݨ0?Ls4ۢ@ˬr-s)S]A85B<RRxSA\I4r;fe 00M>d6"d|Ǔ"Pgܧy^$Ƴ)]~gdk_L4ݞH#pM dٍ1 [mBY7P{;"]MѤn h#?I5N=dRլqsB8D9r߽B #X[ [IU@?UjClhY7dZET)C8 Ӂ z/[ŞX,c> J;:zrZx"-A:_\y匱61$ҼOF^z oE]k}5daEaŽ?*g8T}8 ^ùsDR Dɰd _c53wi.յ-͉y{C-ϏhNu `jzN<DC)mUuFgq ݚO%nbh2;۠ㆋ [;7K:8FE|t1#fϮ\ /b6$TO{og: Swb6V8xtmi9 !6|&|e0?MܷJf>#_4{D][fc,1v\BծQfD`%6i 05I ERA:^M)^ :~8_'.+;PFB>Z1:BSI#$$K =3Ǔ34 /yQ[Ds}#VCgYZ :G'8ˤ4>_;u9!!Y|('>),`{VaVDԦjW,PoBR:GnEQհ_absɤ[16rvrbynAB 8` j5`X ґgcM& /_9aǗaVa$ ,ҹ|EB.80W2Yiܸ$GTEϾ9-UUuPB0k<7Eh.yQqȕL[ХQ #|#kD S9\٥ƲU+)o 7<" >`5u>o8arš,u$S}), WNCYqGp]XE09 OHC]ƏLu+rNDeD8B@{_ע#ihXgSw6J%c`^+0:}g~LTҐbǽ(qszeGmVm\G}E|<ޫgb`:{/"W d>J[ w ?wkLa 6ʀ͔S̊,_?XzwAY+&_5yXoʾ%t"ѩfL*$ [?m:<zh Ϥ'/-:K|/>=Zsf,}2qs&(,#z2a{ZiU d27Hu?/ky+ݣ1ǧpaR; /˥Sg.QtFʸB6sD̿5 Ǜ .cىne}Z=YUc\eЬع~WfA}ț2"xSčk!:P?kE1~hOo_oL3ց@ol/lHL?YI+OَGY?8רU9ēRV$I#7?ڛ#Ks]K!9#em_<1ȴ9G!E%$M:%sf>' |܅{.=APJwSÈܣ 7lieX-kϥg@<u劢 9 C Y:L'CK"Ao_L}|^@*3u0\q};ig2&4 fU&dd>b)5kt^ܭ IXcD&]27?yc<)G"ٲSb*Mbrxt'j7b(oUbQ+C,0Lc@_ϗI4g'IdaY`nz h梙0WVd)s:,@KV,'pu@b1pe"h'{=njX?r<QF/,uw 믨n}O_unK#N>,_!"q!cY37#0/1dAIMF`َҖ*É7`qoS44F2 ^642׳V jZ!f,ˋ.A5:#dQ~1q`#nKc4j&< p&㰭)dl L`#5xt葜-fZ1sv1K@rQ}ԭ6Nf{"+ q:E`>_SbsBQ@9l*0y YU) itP#o)׭wo&#^Xun e2N`!%%}լrZ}zȍ*KdOl Z!xq8韫otPю끋ҚilJ$_|-wa{ wV;5LIyܷ2-@(}=k/͚䩑TM@ ߰+ 74 z뙷"=JXa.ĉܺerK)"8$lCu'*7t5dCR,6XR9aeI=ҘX? ܨ-CqdU/ϱ\~F-ˊ󎠲KtU@[8نMt}C(2Wfn@&Ai@qK-xUx6/\wJ1߹ozu3[F1Y` 0=]a \ Z1)q$Kcr 5B\-Z@ݱ8<&xo_BE>U rgx F'qP-/4X×nvaOWۈZBU_>.}F0OsPCRa^&x1q5GkKa#M]Y]6?4KC,UP=?cҦaH9ն,.:96#3 MRkF+4q .6TXݣ}cyۤ&p5S  yr5z

5GlDz.5X;9-:^_T:buaNV)2Rt0Y?|=χвwfl$W~ W Ʒ,6XPvٲ//9ё]K zaOqVkc!݊eV Yw0@jqpZS֒`qfZ\m;)Ծ)px=@\bh|xB#xDbE_ʅ)} Dbp2c΅wc($Hr;qIE|gp ]'1 DZ7g Ȅ&TSr(gԯ>rd}ksA  SflgKlJt*EPEqO$|E@#o ц˖_/_RPK`h#y+H/>N(4e',H/去 U9~C2qKZy ;=%%M+ad6ћAypW=i_!}:%`' q8NwWh']>ඔq J1 q!yC622Xj*%u WOW ~&rD:ZL&Ai{gB!⪙ W5JrϨ-}3+_jCxp?a:ʋL̈́ : M(A$U;H6)0jP/ɧ)%!pu~Ok~`dN^FŚ<Ky(B֮9$Pn/LLKT>ccny!ܝP%֎L9eO:1Nj@8#Jrol3\R8`2\;1 1Kߵ&;v NWpU7B4goTNw2%J^Ee6K(uEf``5ɇ6zʀ ' C!^IPR0w`#ckP3q'ڟlTKY,L'URG~Uh82–o억},""*4xe`vRɲG@nä٫Ŷ:pbAÀD'WWH.Zczo-64n$fHO}HL7rP' '9͈=N}]P/i 9îaOcLQy]ArԺjOt.c:tgٝ6sŅt. }X"Eܮ@@m96SՅq4o[z5UH _R8v@=^d^M \Ƚ]-4TB:ea`KC6p  P %i8qBcmmPH*3'p1 16P&dZd(ɦ>(,3y0!7I:K!-:5 $~ୁa^c-g~KF 'x\R+ 7ڥ*Eh\עϑaq^}+f5v3 f72D_s33Ucom xozF"N}˂#hJ-^XPI&EV,`S4*( JLo'LFPIkh+ 05jAkξXAv^|9_MI!aC$;aCGOB\vМG?Dߗ'4^ PJ É=KZ őV't٣c<.E♓`RH( $&|p@\7P-( 8E)+~58AEY ɔN{8{\dݡXԈVFhX-t*L/*ʰ٢l^'GcE5 =lwnHy7`y~ X!jTjH rqd <%cp{_E+s_`omaґ6]-lQu`4"cq@ԗKpʣt\*JYMILXԢA*̍3fu6Wt^*۷:OBdV#?z tbӠ@/ ]N L:rϡK\| #\l0Pc RfLѾC#FTqd7ozAF?X,FxkiF~~+򞾱/h ]j4KBZ(X,`#:PY&zwȂI4͙# HܜhR7cURI. X0qdHkH!1!*Ye]O2R"<0,Q/}$A1h֡H#BrBj;H݄ h#ptNm5UErH6Ei,GAn3قq &v}*CYމ(QXPoU[L(FM#ufhƅySu%Bqgu_bBe. ͂2޻dc.q>(̡Zx2H,*Nb ɘڟ?%UA3FkK@au9I0^HA*a&5mRL;äGޖ8݅{&ꈄP~SWxF 㹪YflUxy$(:]ڪ5|{vh\c+0前ȉXWxzdnZ(ȹ)xDKo\|TK-$5 `cc$@y(JJ9|w>"8]CK Gx5##ԟI "r7 B=Z9,c'd)-z&Sq+e|UmڒHQ\XCR \ޠOi+hf"V |+eN |]ih@ At!|1c_)D9ǓP/yƻ;$F %Ҁrr*$,GC @)'i4`>P =Q\6eqr㝮 8',Qȅ|11Up|ǬkIyuGYxpnFROS0XIkҋ1/(3l8rՑO/*m7겁$AvY=: 7XPFgk;ch306',>HdjҧTnjHܩ۴&2b{d`iR|H.,$fI ev@>|jۿv| -!@<򧟁żk z!6f'@XunlL$(K$`W 07|ɺNV{{/A7}foqէfS:L2ɝ2I C5 ۄ|F 7G`)4c)%+'&A$PxXɛHF_ ꂁɚ@ Wyu{uL+Dˡ;\}F|^ ˁOZ9K/#JCHLhG a_: IU˅)ۥJ]xkb#fƥ|.r.s'! ,d(ǗCxXWyjvd&&4kif-r6t2.~Y:v&>r9h'"[#R]Y׾EuڰYǤU0ŜG{NB; 7k`,mh5d>L>pe2nG [dmüz3]i身[6J, n ̋uY>~nrU>?;jZwFd@Pw~ꬶ rPYg8B4:"lw=R]&3|CcYXxA6hR/YD#Z(~c`C.0$(hO$[v,iĄWK`rZ;`$=d[[]B/+{ UT#_Kq6NPKM$ܺǃz8G)I5MT-fwaSv_N%cnTQqp֎ϗ=-Y{t׶egÅa7.44_C.t{!R )`B[ۚ}1@ݙuO m9ّb؅Zgk;Gsa_ďޟ11i2*T)mb2C9w%(Kc^ևHSL֚bu JCm;_Wos&;C+xk!̙4jOT%: kŔ,x),e:hS'Q.JXbJ)@=3 z~|PlBt)'&1[@%y`#"\be- FډqZ ߝnM!Kb՚.LٙA*;|N^#Fe?}CA?Yk3):42[V BkTnU0]{XBiǀ0Rz|o6;Ej~RD׀6%Ł塗rv]D]Ͼye>CW{A Vn^`d*mo#J8|bxM=H:,^ -VKB`# Lʰ~xMcRp{\ZOY.Q3ԼeG\:F.$Ɂ1An!Zzro؋n̨\FM9aD(*Rp?YU5BoȚ~ 9yi:wu/*+~LBoŅӊR(?2]Ued2DdYɈ8O6??.+BY(nD2Ѹ]c۩\1Hw |iy~O SQDN>@{C-@tз|Q=U\_m:E;cTȘf\%hxyÀCUBNgyqo6gZ"&>,ҍkꗸb6͗e"zD5E ژ7K݆\S hKL2^>3V\!lHh(e;ʩTuA (-W Ik_9j6k^.xHq3HsSs>gL .NձH&'KCh 1 a+.GEeriI`\k=JЯedق!2|nw'Y^1,g#(TξyɌX5~ SA6*`ܲ9K{V^_nQeZ2؃eXySQp7¯> Vg5CZ~{>A1?W"XU}/XtD -&{qd W[/!RpL'@ 8u{/V  ^T`HޙQh 5εc^bڋ@'0Vs ŽcRȄ7vɏ2^s`1Fɨf,{qrWA I#4xˈ"Z1QX(;\O$Ihnኚqxz ;lasIPu_{d!۲VKu}!ɲ!Dkd }#\H@m&ZK`@]ŗ xtkvjC 2_)U`,ͧ/l+ozm5LLvK㚋C`B5-M% ]iܔCVL(BAA Xg=*>a{Ǎ: Rwˆ{/Y?JlfSQ2tGVB9iX4n s74~?Y1yu0wOIhҬ`\~rK 8[7B!q~Q{%PWFfV*|(bvi,Is]sTOT6K!(׋(Y}yХߠqO_xTS,p"#Kе4^W_{42Fv#x/ 2P%6@MǾ'x~gjIL2ޒɜ1A\l5~6Ofrn\zk v#?Ȍ0|m{Z#VZrCIatE\Co5wit?59Om1f:15:îC9D T毭3`q;]v, X8m.scm"Fu-& ͭ!R[ V}bP7p\dyIB. ̧`8Q ;s83VсKu`kTsT[MMl׃,o͠5L!hb6t\1vz01ӽzqguWngPAYd.[͗F~ a#! #8Io"\0 8>&kz@82?勊)()Ƿ}bpsR/AzR"hkMۢx6hRg^R>cN5&y1>cYiF-wʠrUjh."2r[K&3rޢ5#ȷM:B.I C䍻QOk *r or?!s)KA,9oRauL °=r_Ck;pOdfA0䌼$F-A1Cc)E"l|1Cx8ʂu6C-t_thBm}7.^#\ B"aMS ~ho^ܦ0ZBݨIs(V1fN yʋ1B6љDX@2Z +{V?YF0:k<>XcdlsqR%t;P_44`*Rr[?}c,7kFU}  j蟥>cLZŢWG;%7% TStern_BrocotHOL-Library.BNF_Corecdocument.tex7zXZִF! ]A-MՋhvG"uIBm58Ϡӂ.~M{{ @nst0}Nt.ZMڗEkc?YdBz$QoGG38tU*/@T0o.kP0YV؉q, q`щ" IOk7/]"p MբP@b"7ˏC(FљFx;O/%:CwT&7_RcII+>.I␞yO?)w+=lu&F>ږ KZ1J{9Ȗ78`{ZPs o2%3% Stern_BrocotStern_Brocot.Cotreedocument.tex7zXZִF! ]A-MՋhvG"uIBm5_ }%EҪ)QM# ES*c~>R")_̉Ϣqm׵~$:f<_)Sakzk~G;rw&/7O尴ܴU_Y?rӰy7917THr(~swAyfk8%Me^d80eDBڹC g~e&n2ݕ?Xy#[ ̓N}MU=9-NìRӤ&l+aRGH˥c̨[?"?>\ q B4l* >/Uɵ-s,.?oGM]抽ZeL󝣀vʍHn뤸%eX>L/M vgnXUxXF\+Oi*4-ZMpH~޶6"ɒ3s@你 KwХn峍7mn$6LL$teF1SKpWI"Wi$)RCY@oUh׶N杳s1 & aO4a]{+)< ޅul֟jVmn pNJXTQ$s} n{HM+0 =|9ȩan>=\ȹ hC><']#٢10?L3q>-{sX&r*HeD]!5F7Etek`d{_Bu@;"o@y$5V4Y%Sx߇r6:/m:)d.ڥv0{rƯ6؞SR"1~X1`~m˜4f0-R_xg;-n$)FIp\kr <dsFBSVGh޸IV "#Glwg'Lf4lwa`Ǚ?BFa`*q{A(#4J~ز30׊K_*S o*_iRXq+i% PIU'y18ń.D 5iIݿW7J+Js2| $!p].Wy㥪/1_^i-]Y5n iJa=1hIe(\ֶg4eAGؘQ$عqkDݐ DA3.z\U9UPWBY59@jRN%6!9^9$y.T%]!\`"W'0`9 f͜) TI+u|B=KBI(`=vkmKl},lv#4J+~@]sq2m6ri\דxߎNsgC6}AC:1sZKƨz1uJ$8'U7p[!>Aod, HI|(yWy7Tb E :}ަ}haߒQ!_F`MV+aoY?Z4jGBU`Z|E81vsh; ܪU!M#- "9fVw&G'9)h;f`F2'髣!c, žƱIRI_L> 0^cs{=?wxq,f'n?Cng+(]Ƹ3ONiQTLdvL& 0,N_ѶqEvngPͳ~J̴p+Si2#Jͻ){@ \d( R (y\5/,"8Ԃj!\8O0.0MLxE@kcpmz ge,(M%WD|*G,nzjr g!dF_>S A qWN~Ɠ6iyGvJu~y͑HĒמbNLa3 ܬOY3E%̇S6svYT02en3lW9bp__kB[Gw&f0Ve.&zPuxLM?:fJX*@"b1{vz.&٬ePR=٧re=}ZS{S`TOQ$)Y("8pjH 0Yh:۔IwABSPx{%K+p\EUx%#H-k=MrQ$侺j| Ξqep;wL7w#B_QIdz;ԧR;֨p~܅Rt[ )( nqܯw5/*O"::xpnZ^Lqr;~>r!8'T> 'Վgq gB?(+8|nvRuBӫÃ+*'z} njnf%StNێk7IqϪ^@ D`ҫjr|uV0c|׽YYnkWqqO/,)AW0xۅؔ aC{%Gƥo4IEDd4®Rt:Sxo3Ou[D,M'B{~7LGm-yܕ7;x; G_ݠ ;e7xf,<0˝q|Yrhz`̹ a7RfvFqTv3הÝE%4 ο:[өtm. !dfO{nZ_ zRcwwBEjɒD< Sˀ;xT%D.R[{p|hV{~}k-|a` $uK㶆ү, $EY!nQSKjbP$g o Opyǰ8=s.#LiTҁf3?L>; BeTj+1x\򔓹fm1ҥ)Pqq0Chؕ/O:~5W$b[boncN@۩Bv Eأ:NJ&cs@ dRstGg'?;镱03NF;#:؎qQelG;6> zѭ_@5f.Ac!B(!=*% =&oQ0BB!%WQ([΍ivA:4,Lh8 gH Ry*gYZ v%C% Stern_BrocotStern_Brocot.Cotree_Algebradocument.tex7zXZִF!  ]A-MՋhvG"uIBm5_ ~r%f")Cec@lt2|e OE1փ )i7d"]q}c~N q' 5Z݇Fz̓~.oFD78\<ᛣ(CI><1X.R= ˭N }꽣lH@]OH2w8N4⨵/h5!Y{\ՠrԡQ⍊Ȭ\8\jB5R&бG0GF Lr5ǯ \ M8i;Do:s#]톼 gUxlo 2u0ʉܻ,|6,4a]M%:V 5Q&FĈN~RKm{EzyY1ex֯F95Q(NBE6rqTmx?䕩E!s=kW5TN&6^F)/(XWY5?{Dg#)VЌZa zN,"]KDؙkϏK&Ωƿ#-.vɭ:u_(hY _hvOic:`I1w6 lBJf/D32[#Mg{Ʌ =!iGTveRWlڴ=*V2"+QGnSxw Br<%te%}3:ZB^WR[h'I11p@'u.~K+|1lteGRbñPb 1X/!H6UQëeg*IIaM͘H8IUI:^fPwib:)?ޭmF%J2^G.Īr P&`('Y_ȶ!l|q1KoxT k8Jn>A>''k|>Y3<#q60]Xg}"tCviwۭݒmӨt9gi@FThi ~UjKR`Tih"n<֓0r9*'Ghg_{pY|v66MH@_8U Y`Sa*Ez--vzCo=`_P"ITTcfҧ1?sۛtOr ]1]O# E H  w-ȔԲ Z9]?P/Y6Ht/m[D) PkƌזUz~ŝϋ> M'LBIo1/O*߬\\?wjO9=D?X  \!ppDx ruΚ IØSK!:Jy+~c-tߗ !fw'sx˜Aۖl(6 &[}'. ?/fRl ?B-5g >;ZYY$Dc $iFJkȐ&Lg>ɠ 50 /9eBq ifotNR YeߦmC_F܅%-[gpN^qB Y ˋj]S}VАΜ$@#ͻQc\٠s㠫, X-޲N!_l\籗&Tyrω@9Z}O@ ?JZC?IK□0:)Y w2*[β7#kbv4\ijScg^-snf~%_Q_cr%9Ț:Y˟Gn&P7kfQ#ۊSwTtb]{Чְ~\ꤼMFq7+l\[LR2J>^mCʔ(RP_M8|I5tz!ċ8KO9K:-&_g#,.K; ]2uN`"*4߭.Jzxwc-Bp$2ktHCLc4Q Δgv. ,V jH+:d017sCKu*bցEDL:0P_17sKk3fJ3O2Rdh*֡W]mwdMϝje E -I//4!<ߦL7yGq}.(0`OS``=AoMҢp+HiE6h! r>s/`2cAdȚ9LUv=AoE(2chIe I! )0 WR_Ɋ P2&<;o_06\|& YyGih%YI[)}{skqÞ?E&+eT"-hFO,!&//ܪl{e15fdցq&|&VQ'F|Zj.=SZo"tKk.{JGdM)ZLGkvh .9$zH0@ Ѐgq# ew8װ_DfP#d ?݈eYfCnz^y n@Q}=Q5h1i(!+숰Tp@O֩" ӊ7cT40tɡ og )2z||:JT@@[}c#xkmNJDQ<\Ư@3x@;p1j4jDǺ&-:^}'d|gYZ