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  /< ]S Liouville_Numbers:threads=2elapsed=2.301cpu=3.480gc=0.096factor=1.517zXZִF! C|]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( \P;cxgPB%J0P+P͵@w.lC|īgYZ7zXZִF! X]ŗXiɟ N(#Robq#![FRx 3D#勆hlಖ2d b ٲDDW_@F#3їjM 2ȜN>8JbݓT3!lZ't #H:0рє>PLbz>n* XjXҙJ%IE}ڢ_rFB-  ;qB|UA` 2ѥ$ V2$6C8 ZN8[{@]鼂װ; 鯵^-F^ moAM?hٽ [/6''$ 䵈 7W8-ƣX^zؒCM"\zZ^n5pg?e}(Ł\s-^2hAedӴR=6ɠ<Reh L`^*:53(sk 8" .OtIci(P*Dt4`M VBC]SѲ !zUNW*"<}VPۘA.Y!G^b]1/bٴ鰸 kq? 5![#/]% ,Liouville_NumbersLiouville_Numbers.Liouville_Numbers_Miscdocument.tex7zXZִF! 9 ]A-MՋhvG"uIBm5#"av*i}"g{:(}tU?-F1"UI÷w aijT=~L_H|&=P~mi56q NjăhoL)υd2q g !K?d!Q:>hcUW ~E_:>ce<-$f+nn,5ju. U]HM^z8p~-|ߡ/  CۜV:%+vW4W'4؀ IH&hTw{h.5y7) @0)c"Jx58-ih9~mx{8oo&^ x:JܼVץ4"\D $@sy]y}%C(؜b'Y֭Fnڛ(=;xiSwS`嫆kR|Yc[c2õ)ϖ[#D H1 6e^y$|*KYF;aql"|0=AnEn 2/I>tknHGT2T M.01VyLdr6 {ܿԲM(A,y7m?7Ok,-3=2Ǧl明=$HG*z*67JI=mWgUG-4,$TM) 噊zG/Bo=X|DSAEjDy6; ?4JFv'2`_x]:!\1hfMr_(+TT;oSQ!M74Hs2~ hKLL3g8HX % tut+W=9F"2]*5 ;i?"A׸ǧ`.:s ×AZdd={V"dKƐ0/]'V 3oNy݆ H0I¤lxVүGhIYwqQqXGaw;Ljs txj[)k)mu00ɐJс\t% $9 5fʝ OJf J3ݷcr fjC-0 #Tϑ*G%\Wx uۀS02=4JgDwfl]0r񞺙DP}.j/Y6n9x"?A=%>T34=ǧ,HYڕ2ԸbR 5Vy–lH%h*-Գn+I둹:dɻ OI2_.Y#Hg{bTآ; ?="@AgAz&0^W۟/BM^~?kCHƵFucp=t5E5.JxmzJ}~&^~=dȡ\n0ieKvֈds78+NԥR[uEJi)srн{85UŊJO'Gӫ5lj,;CfR_ Ia#pNj/u=w-H8`d3VjCN"L 1 ~UrGEXV NT,ǞJWː극7q {~˫Hʻ]0R ࿾a_vph_Va /{ێzPp%='2ynK^dLG!?rcqcG_[~4e}ջv`\k HO]ֆVZIb}l԰%ݥGZ:폞xrW/BmG ;wy4W$:Gbmr|E"Jnj?Y"q3"[㠋4&~|ٔtmqTL+גݽ8#BFۘ,*bo8{6szwsE?'4c #y:\d)DXZiAjl"*eT 7Ӂ0 ~ˉ!N"Ҕ%.i^pV6$6Ns.zgYZ nnF/S%Liouville_NumbersLiouville_Numbers.Liouville_Numbersdocument.texJ/]% Liouville_NumbersLiouville_Numbers.Liouville_Numbers_Miscdocument.texSa{F:q+͛g2kt^ B4p`P0 TDKIޫ(+G{P5odoHW{\s>TiKxL3&I-l*VZ|~8\ox,`ey;fa(EZ+ ~iNhŁ,tzhZPw|G3;'-/8&EcAO agPyD_͸w#3rp?og)t3V(^du7B<xH]iv{xwv1Φt;?vanQhwB,fQ׳/Jt1ыQ5mj C G2՛ 3e RcگqVOrm&5a\l-ԟ?<U!3XP 44Z) `UQ92wM2Ca+ЍZxeF`([]+jfܾiO@ $P+-RyNgYƝO3hJ>w-t3FT3^uQA*>gS35u!Oe 2KfSYo}UVh=׾oU2#{t=xd[s4+Kw$ {'ۛ4YbRzcN*Od;Bgv,f]'I9 ܎ҘG%򹏫4hʚQs=ɽZ fϔLfp;^ Ron $o?Pi~xyR4tI )Fֈ׺ݑUIGـM GO IekfCirR\njOCK1R㨬MdYե_*˖c@Gr/?^CkT` ׽ LX1[8ٯ%?Qfjg'$窍=7a]_j4q`* _U x@qlc`<&})?;4O]B1WՊMy=<;a"8\0sE%-$^#Eu?7WBwv4.&xsH0R n_cxÔX 2,Q?aHp;5h .pw=7$jPR;euhNjBT7N]h<:Aݽë#BYJm k5$0sĵ."%xQw_Cr?*ժvcYF]$T{7zz^I p{hʢGcgpRzbO%BIkH;ǎ3&mg%JmmMI0pD0gI8)p cXM'TR:EGD6.) ϹF0'ΌԨՒ~ي/PQ"[J\#f2aO7j*`°k؊>"<=io})"%zبx풄pLo̪:r>Cg$ho[U$)FRm;t(95KbzղM{ BԻ 6mSN'7]yôS^ [1汈m-zre:OB3pqWg`)θP]\9oꗁpS\ bOktq3/ps3EK/{,m#e=NVǕP~GOܸq˲%#:5 E|YgY$V *<8z!ԆBc~JF.8lSg#DxXiI_X,M  y,x fbΑRdƘm(j憖~G 3%lKWB9O-t`ZF5}_X z ޯLk>Tcv(* Bxt!9=D%g@{ŕ[mR67_layaOWdEF.$vi.ɜAi.? g.59Ty{`DOG+^,$Rʚr4Xƨ遠Hꗅzѽ4ꌻ,TK{)n;nbJ./[+ǗY>a}-DaQ͑ |29<}T$N1lȠNY۴(P讻lbD*@/`iE3a'Go\KK?Hv_ -C٠HۯD"gF9W>APaDA =ćG[ۺ0rW؎lۣ>6Y7/) oB`0,ȅl!rcg$~\?)'dE3!+?T0ɸY_C[*3:1zh\,w+=^n 4FSIZB~bBpڻLq-:}49rQCy!JN6-Ǩɸ@_ !G8;c.u X͚Q׎\sSQX%JXlPF{WS%j2D5fAd4.uu߄P5++="7 i% trV𖚘oQu;l߫l`J.}7d&]Ԇu9LD\MI_3꠪ `DNd?W3B B8V9E^]zqs J9UM5~7,*`Z`zi\%4w?/AF}~"'0ZoqV]K\M9U+EkՐu"g9+9W| VdӐ4z%(rŝs+ӋVMk}$R.r'*6:Q[lI_.Zj@$B{JwQ pв9t._OE1胫\͏W 0—\Z(1Lvo[}cYWHWw]` ߚ3^<5gQ}Pl' )G6)ʯ(v۳GʄA P(_kF7{s*2' 拞![>'Ɍ&?lRQpY2$ 9OHSnj.T ^g\d# 0([_ܞcC rx46zawV[+T|q6qKE`PgAFIjwE>2Ya]; Rg7bi.@]!Am)'fAuSQ+T`_Ëjc6Fo,Hzːu S0R^ƒwFsD:!:N2e]zF%.WDۺd/EO)_1+(;%wv^:vx۰?gviM2E>X(1_99r '۠pDnҜ^v2ƒAH/o%ߔV# qEܿI)i3?{ KD[뚹/1va>70eF(SDbakKrIg(І|^νՄkwnLo69tnqMc̶!{c!yeʥ'5,r qn6ofh*ٗuce~|C??Rg %l1A="}hiszdO;o;]1MD*TQ:1OL5Jc2EE45M ܯ^ 58L,=R7`l;U7)|&q~#I4pJ MgvaCK"+W9ߓ@4^p֜LvN Iب//A tc\V4}y+Z:VumOL9׈z#N-Yʫ*.CkMp[m"B%&TP<ՖhUZ$k᩻4!I;XYܶ@A BI3@0"o.L&e+TFTi)#r>S1>A 0qo\;3t23/+^贆TVӎE6*#jچ}67>b:u<`<:?8#Kƹn<q hl5 ƶLɹA[.~p-9L贼SzJ+*WT¢J DJt,2Li}3Y 39L;M%g|LAbښ4c|/'Չ K9t/1 /klM 8pX>zo~$Hǣ!\uuRwÉ bo Э D.ք3#Ob@aRb(ȸng-938kPXpL}p}ȓ`fcRq|fP% [}oFMyEPjY6(b_B@VޡhXq}eLg7)nfa;/9@su~L:iDc-_vq8|[D&cv*\jd@痚E>kCD;BqQPpYI.qm xhWU,O;OH%|s`o%c5?\͘yFz;<[Za;҆o)r!(ߋ cOK_~ fhB]j:f*nߎsͭ3Q۹V \DÖ$>DB1bdΩ 6$G!E/)AkbvB%nog3[HM1}OVy^i#:29UmuGʡQ'n8EtqAi/'IܼB֊g~]A;\\(T\ĺ0m\ݘG>h!$\8Im)ןӇ+[f]6fa}آ4 أ1 GOEFĊnqf,R;8 Qs}_I {7<*OiIejм W>B1 sJ7:i.Xj$q'8vhr9跓fZ7먾}lm;>^G/ЪsXZƻHޚuicʴG9I] b#V.;1Q%Ο@N8#jdz>^@V&dQ*V 25> % :UD{G $,NSkX-%l*xD0sX׍tzooRFUH&̧Jw@Cs)8>yUߵpUFtޗ"'URw@޶qG}&dPu?*X[y=٣@䖙O ˓b꺈2ӛ{#H.l1 aI)I0iiux3BsѤqULB`x Jg:lU@\sTw"|wAej}\`iOz&IϹ.]?M`u%"y&XQF+voW7ſ ]A1以9?bru?M۫(B4x~eA^#_}㱐Ҍvh,ymAZt xb¸0 Xťi1hGs0TEׁiٰ,J9U)7c8FQْe^Yz7;#0#5'xPH*jTD^vzmAgYZ