SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  z/pd<< ]S Liouville_Numbers:threads=4elapsed=1.133cpu=3.104gc=0.0007zXZִF! &j]ŗXiɟ  Q=!gǿ"}1EMMIJhf/Z_Kqar^_0H~tCS47. [3=4OA ˓YElƅzgYZ7zXZִF! W]ŗXiɟ N(#Robq#![FRx 3D'iĴ A,bюoH'5ky6W@΀`"`9sKx.gYZ7zXZִF! _]ŗXi%D4FyE㼫Z6EI<Ӣ!p5T^ >ԑJ+veRvH#{ z_ +=Û@e,>i⊖(MqqХfZ sݧ `qseA^a@b7s'yy'ǡh P1gB2 毫DMoGkaPDn/RU5O綩/ &`Z/'$**[)3Ѥ.5*' ػd^! ^n:hK=p$t r_Xհb͢'j7`ȍ+"6>ͮݳc33 W6v,k}$81+_ߺI Oz@smi }mx g%ЛsGY{׸s`ޅ43iD&5\W"\x4tSxZ")teЌ/({η<농˧Q'MCgJ{@K!O桶ѻX-Z= #hT/8i Ŏ,-w w'Pn2+G0W|DUBnE{c0jgYZa65cc8b51d429ba0a0c490ee36da3c82301fe3fdc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ffe41ccbaeb0184a1545447920fb9d1af5b70096 / Liouville_Numbers xhxa /S% 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%'f} IK( 5Lk+YB!Kz!ߤ1=bC]uG ƇPZB(#ԑjH:?>3Fln&c&7pYŮLRB0}xT4 k j8Zo"-\&0E*-aߦ*.ŝ[}:4WQl ;kiLЫߩÜ#e&xY2Tq-AP@#..iݞʓ{#y'2gvOWZ#ҧ wM6 R'x[[9's;ͱgYZ 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:EG&j5{o̕'$4m2XaP[_1DŐw+Z ýpvjXƗO?*PGͱcS쎎$^Мa1ܲ"6^-6Y1z>gN #t y< Vj;\⯶',c9ҳZgX,To*,@ yգwfqoe]wEeĒ*o}5L=M$L+vƽ'ҨIJ`Y ϷTs?aˮ­3IgĺB0(MJYlS 81 xħd^jW.ݱ؍JެZXVz] w`p"bs#:AEx\8tFqk:2< {v/ZpfIk |ƃ֛wƣjH DQ;jd!yk\g X}èTyHG4^E'5t6#l>Xä_9^y6_שׁGk2-<.>%=I?~H}zMr* tgۢ>! ɡ*6g ݺNE"o;R'rNdܚ+3 (4&{3)(1c[|؝ۏ {,lI>uΐ2JK[k (3}2fƤCX<mޛh"ȃE)b4S[iqCce dNРe1] wrZMDG"lXHd[kFlcLէDž-h՝Iw#L8Bp?o,o/!'eB4%z.3S>7'$VY".VJK ᫻_&ozm%05X,0M.?uޞrZֿ[WT9%%F1{ f$Ø2ǭf1)?5V ̈́^ ]Fh-DVa ï!W<0ħ؉~۫1$ܶeE%K Kk\131*[6B]#ؚfKGڎ=} mՏBkyI]➱{"M +h8l>bAZIQ~7E*g CP´,c! v*'Z,%tFl 9\OU tx9Ymjd9kMsR2 \YgYKZkYAmM/MUز7> eiCq@/x9EvP6HNmF!z"^ ͔1؎7;> Zә_z}q s,\#3=RAci:TK#4FÌF&?oc¨A!B#V D:69>pt4gʕ)H| p w_#>P (Z02wB>7qs|-0`>ooNw7"8#yx<]d]Y5~ʨbc~QQe$ p׃EAݬ cܾ6@c&32&zޅxU%d+XIl~ܝ٬Ϥ8^:jzUQ]7ݳCx mwgE<%;%+ǘK;ϟ&U +ȶ"}7W\ED5tҷɿ.m-}Jւֈ$;YBv/a7dL:DGnDOI!f3 )Vwפ~rM,mJB^NRb%{b||hH¢ڒSu_=SKv}2OEKW(cAI͌R+ LW^ѳWdG7D]TM ZN|D 8xSl\~Y-^bTS脔ԯM?'ěțb8,fG0~dd^^\Н=@TWO0xI;m&ΞL6ƌy"nt૮7#LgͥEa;%O+-SҤ˺ 5Xhc֦Wb{=%!e3-X53Z<3 DAuѰ(`k&\Ė1+19'"LZXC4\ؾ0/]h'6vDb9`g28aE@{mP5 ܇kIbUTB:ms=T[`>kb~9{dm% A~Z<$zEiNiM'V|Fl; XFU&\~}^ݩ5sų/zLRR5*Ct1Ty3g(x)2.[kk9 5$ 8BmmG i>IЎN:OeI#;./UGVW`緃[?f&q ʑC=)o/F±9' 5V7$vܬ Tjp g.JZYFp(Qʥ562XYH#یJ ߯"-pV~_Jd&ڼ H􄸚112 OQp@'VO5i `PD#^XpUܕE% mǍW8@w /Q+anUges uaӠlݢ>&G ?#Z'6ԞEWQ!ws6j}Wˣ ޱ3||n=eU(8iͷ{A{[el].6'=֥l37 o;nEA>jY<%61aQ~/nntr?(GZD}os~y>9|Q%QB| {<$D1<ȼSŬN!!ѳ,EVlC B #/oV|nmOF%*((}ԬX@2}pVi2)me9sw6Y5v!]jaGlk֌^G 1~<%(3ЬFs'qDHpfkz %=]4ߎ)oWu^lۧg9$#``L;#gU)@R̅!8n1;1ᖝIWOW%4رd`]dK#n^W~ /QTib&X:*VEIhԳzQi-k4ym0Bĸ<à}FУF|Ũgq4b0V)<4!V!Ol6wgե32.'nV¢ J'iL)!ߛ2>J9h& sEV0*": Q6P}ГŨ1P)f"-Y@rt˰g}2`#*>cWxM霎˛jݖﶹO8Ta?-X :@}gv8U`mMԔ7,t *dK4J#Z{y/cF-:j7#!& g>ݒpP46U7$'eM$@%_dWtnefDymw!?>OiRkN鳪 ]\$$N:'AvDqs'ZP~@[jj Rͻ5EQVagJK/ם}47"A"`- =f:x6_AՌ:8r|{чqe=6kЂ.Q7jP)X-+Ux4JLZ6ʷBNsppȞ.LցSA`gi5:?R*U[YO0?#_ AMD^:LIBF B6{4ɤ oQi66QM!VMgoFyR\ٙ&{ZN0fxpa)QoySnȿ9˯N`Jl ՎE@y>oʪ2'}|fqBW%`vOFLo:\uU"'?<6N[J_2)v$Vf)x|~b {yϝheyhˊZ Oh}TEB MOhПeMb.i=y=J_Kϕ=S @^Y)ͅlVm xN #R&%[eWBq`})ӻDjq!,!'`qՂs댰-bª&P|oJ5(d'"<`1ã<[{/g? O7wYrnXڣ^YRVٵ ,5Q+28 "*Bf S:0pA~jAv:ΐRٝv5wzilk62LՑs*(7K{҈ jaq7]>a?O>5,UБ H`GKT\DC2^1."d|  \sFŞ =L2ԟ(zخ8]钡qp!\*7Md7kiXbe!{*Y~4u7l\Ϭ '> 6-ziנ ?}Å mqtw&cè6bz8c81pψAY`gYZ