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 7= $Td ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.656cpu=24.884gc=1.284factor=3.257zXZִF! L]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk X~\o1j7H1 X(Xq4H3M$b-ŕX'/M7r^hkB/|q@`1<ǐqrS,:Ci:76A@_1L̽(`I >)xؠ"z^e _ƓUS=|ǟ"` %q*}a0l *ˆOOp,|pWg+ZoB@i#NB9d}JbKYd^H;};^[)(Ex-[}%E5plW04n\HPz h3[w~ &+7xnwG$e6y=‹EG_؅`ju:M>C\R曛3s(4^ lP" _чqeF^/ sx Ć J gYZ7zXZִF! &l]ŗXi%>o Z*`q*+: ὑfIMW!e& I3SZ~$3[y| 6By xsܙs&g>r_5 uaRaB<6xad8t2Ҝ;v6LBҋlSp\3gGcݵSx1t܈01Vb+{b7Y*1 k7R7~5D_7Yˣ'&E |s4:i9k\81EOGeL2'R#+>i%>_|]`P(VcNyL/_&RT∠Z}pO'k`T|$M.ZfI i*~KQ(@jU#ˬ /ˣajGM2ԓgYZa7182a62f6a0b58ffd01b44d62dfb9cfe8e56fa1eb8afa5f3e15914627405f139746db5363a9c9cd f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e 4325d35643247cd98417e4f049d9670952babaeb b148511cb1ebc2dbcb74d28cd00a6320bb0ea2ad322a8932fdcebc5284c713698ffb649f501cedf4 = HOL-Nonstandard_Analysis