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 __+ t$D ] HOL-Analysis-ex:threads=2elapsed=41.230cpu=50.780gc=0.512factor=1.237zXZִF! q]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'b;)bMZVp D))yˀ( Pφ,BW<*y8neSɰ$aC dTF\ XX@`\ݻϡqxR+nx'P0LjU@;+TQV݄&^c}⥚_0 yw|bwM4X (%ShH;2g$77e +y'Z1߫v3bclc]fZD'v}{;˭%5+gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.756cpu=1.496gc=0.000%K;pkS T}YZ7zXZִF! ]ŗXi%>gƍCp`h+{/nK;Ne*vW?g7#9:t%9n0;?ͨz"Z,hi>QCⷡZ#|Z+g-_h;qָXZ][e q oϭ Q|?67?Fb79&[tL7wȁpd϶ȡ7g n1ԯ\l0&>}E$MkIq^9?z ](ApDnآY{_u9I%aIP Bhgd8~0#@ɐ "M4N R7%NocNd~ɬ_196uyp$%'WѬ[XCP椶Z]wDOR}r*{qLi)E hǭ4`Sb6> :󚭑CqdAi}UkUlgjj=E{0@{YYpHB1~ˮ'5,(p9rw92'%tl@2âdx|qZT* 1Şk9{tJJm@+|a: ZZ #:2ߒ鉩C֏*|uanfMgԺv GZ&- 0kF|жnSe Pqy;Գ7 o tWb|@`yZ]09ƾL׈%XFB9ؖ 0u9Vx$z P(' B %ƈ~x~;U''r68;>8Dشجau2ҬA}[WYtRX&&P%\9%PL⮢elgq+z>~{ E6{jXyG'rV"ENy,v؜ZݣTVnqV4jjB$?,Zf|Р\Ń?18sVQ$nN >H`M}1\&eݔneo0Kkfu+/~<{4@mTߕ\AL`;_ BV-w0}r5?߼BZS-mtFp@T۳oe Z8sXmU[+jį}zQ N-aG:h W"fg*%yKNoȘ5.P[2ɚo3]k"E.2B^PX̼=aTY7"㴪;Q"""u!~|,/UJ(źc,"JSrRa26H#+/4S%z3~*NQ1cf|e# ycT A(=G[+[b>ɢ,oڬTH?&](uERqc&sExw>I- XLlz@KoדhP*%kap̣ts;je.x ^@88BmBΏq\  IPHǽ+ StY.MRl_5yu=5AU~2&=_Kŏ9 BΘU@e\w .h{EG[@M]0Yw?9h \47Oka"FzWKnzf4b])ia_Nᱣx.wN6Oj <]_5'\HY$z7䒓 -V>D1 ytg`oο1{! [dJ2XFB 5b>nDscc!SKET7ofEA4V=IåMNh,䈏j[tf!AHC6ZU|s FU-\#1oi̛4vryVFRY[Pa1qit̶/Jd-26Rv7g Hգ<gYZ4178ff4584d32f50058abda11f815519f3686568a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070 2fa637f903c4db6c7e89bc0ece27bd99462871e2 + HOL-Analysis-ex