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 `5lL ] HOL-Complex_Analysis:threads=6elapsed=34.383cpu=161.252gc=4.808factor=4.697zXZִF! eE]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6f _x %j}W M(f˝*^gF錹m[b|e7\ECa kQ>WR7l ?5&y CzGF ge`7Dđ8#04lv67Gq a|ޙ@)- ſHS>q{i;m҆Bku\Djj.b7ڽ:o9e'.dm8HKO@8K$O+IQ ߴH/7_}'dW(?^?ǻIEDEd0ȓbt4Cw|͹Y<"50uji\W󹥥b3\[V{¯BOO-,ΚEi:_A DMthBbGdRF<㎷~Ӿ8/AٌĊ8>@ o*G_owiw< A/h.uH|\ݫ(UW& ekLgi5pgSZ;qCѹFE,,EGxsۘ%[z?kؿR6a".V>wAἄD )ndd:=t b)H0Xj8,=Γ뼋{1t*@\<˃m󬵿/f}%Z<0j(μBxa_Y:|9] Vr1X?2{G^%Y LCcoJOF_5-~ሬ!*R`]y?vr!Rl<]$hcE[ۍn_ m-dm?eU8gU:?a\AAwmvU%e-4h ]*1u >_gx|Nzem~'DAB<"$e2=X8`hBK$zB" mf3H0?dž`f)p@݂9eȕ" H1Yv8GԋqWMp[Zb]V~w$Z,-wᠺCY>Ĩʌνߢ"pZ=vE!+X {SxUF7`t`bocYC?|oWoZV@̆Nk23%ܢr.gYZ7zXZִF! 0]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4< G{`WP?jf 5 HOL-Complex_Analysis  6; p(sdT KR8<%Rn^lU>YT {ݝ&2҄ @\/qD5XS59ѠP C^m$H.PJT e4'="ݯij//҈ w/dȘ1cyaiPz;Un:-oa^kd8㐁@i$eͣ G_ugv0 ީ;f9iGyŊ׺V~R)6zquCg/A $]7l? o/J=Ęتڣ}o{:RG "lR#FY(]g0p=Q[[/UcVkPT?qS0o=tKx9=:ѐSҳ{3"C Ϯeg_]- =ʕM YAhIM;wfӐ']iHET^- Yi=lzŨ3?;Gf 5fлYAfM$5;KF'ҕ}(CԐ\_ msQLpP`?|sANg-uRFUFA?`km؞3yϹDU&|/F(nBQ[RX̠H[FBN2tcɚKFq|Ux;3Xc 39eVL_]j<:~(jɞ+`L2SBNYiZBҾ*\޲H '0򡡿}(jȹ cikD{^Mx:V.Θ\=VH0GI%Mfi{vGK¶zbd?'wxbg>WD"h5iWp 88IhQ 'q^ Ꮝ (0qnog]n.)2JFtStF.SxlB\Nqd }Ux !n\n+> V?Or*lp*gOԱ@CE9땮gwu;kNjAŝ!A컁(T(L5u 7@@W S,P]?s(х6Y&){<f&׆*8.* Gi7U^N\y+JC$3mB;"[dX<68?Zv|f,1kKo:6bal\a]{b>qvF~(h/7Y[ٹ4j7 )Ⱥ$\s(#tTN>Y+4`wYm%/ $ Vd#?= 41h9uPa"֥Mmv?X[}p%QHWH6@J-iP){&wy@غVr566n?"Gc P57)>s)`7[ d#E BJ<ܨ0S(@Ŝ|,h[d\%׵ji̞l3x<@U,Jj&%BpT<XwqV?,? 4Q\O Crti:9G~zcty*.`c['wݥ.!~ FǹZNszʟɜC'G>_`6@<`qTFf>=S3 i c:׶7H/Fտ*j!#|4:BoPdKz}%<2A褠"¿!z{MQfW:90T'Y&D;^3 {Âd\eqǍN#,8zo$!EqLK; Lm@X,Y k4Ӌܜ 3nL/A|! y5%ݼجUGdyPx }eTA~ْ{ U'vٚk3nꂰPQYJ>6#yS?goiCQ.+QP؟5ѯZ?ER?6/ > `=~`қ um<&>Z~xb-liV¦5ʪ>.aY .yfϋp EXU+js"?e~3t|| =| p -+jb_!ZYΪ=T 3`+1bYXPү_ƅ+n~iTU3:QkoO?-r^7l@U4CqJ2Sڱ-h[™mQuW=Yw=l,t.U EĽ0sc(˻UZ,԰UL`SižQ;uuUu"NM-,o0A"w &DD6;YeLC]?(EvzyYމ#._FxJE"}|_AR\>PMPu 75Kvl A R+WR06_~CAƞV٠ůF\pM&L.ͩJިZEMq@Gp¡{J:Y&7-NGˊF{Oo!Fp:q wPlD򏅚2^AEa,ݿܱgYZ80e1aad06a34e6213a8cda2286dfe05bf1c814e9e0583a0ed15dcfb555474c531eb30e964565f3b0 926329a23c106a798ce76474fb0b3f351ff73480 ee201140a7252750d9e38cf36ae317b65405c4c9