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 BB;= \l ]S]HOL-Nonstandard_Analysis:threads=4elapsed=9.661cpu=31.376gc=1.404factor=3.257zXZִF! R]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<68jKD lETY؁`nL-i{8Sr4VbqalDA4u&ϕ 5 vqpO2ȫqrQΦ_{DJ=fX__#Qہĸޛv$, Lvi/VΒđpOr1;+4.~&@* &1X"R1TR#6^L3!D^ !&s,`OT QDsp  9gYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>|n-ӖF1N!P`&bXw1EFF69d< \G3"i8t~Rܽ|9{T9H51|S^݇ɩ&L T-b7 z@kLI:21LOM"d3,mij-_L#qbg9ab[s #IuN NH.(钏NPw6=2Ne I_΋\eC9F5@ g e;_HG$̥'2mѺH9Vx lc]b|C~hXZ{@!gm>Zpxa=hm})Ŧt,eIsW%k#5jj~_??̤]DJfuĝ8$WSNG*dJVnk ?E;KdOTœkXVLtT\nj,xZ7PZ6'/~Ճ@_ ޷B^V=0Zkʈ>~qb&Wj~  =$)夘q=Г@b$ޘܳҭ OK;E.׸r+@s:?l_,N U湩~|cɛ잧:av1*A$۲DreG @?Z0 e7L%́E݆a j R;9<$DѶ{V_< ru{c-Gphtoh *WɵPO{g$la BzGG|AE1Koܐ)s=rhqz܄ SWB,2?&yʋ Ȱr҄G`@dTh'`uei+j;4ž-: ~*gYZ6883bfaad104cdb6ef7bda801cbe8ecd7f3e59cc5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783f998f56afe9eb4cfc81a2a0681b18bc7e496ad63 = HOL-Nonstandard_Analysis