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 = ,T, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.866cpu=30.848gc=1.524factor=4.497zXZִF! ]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<2ÿ8*9͐;a_autjLHP9^Mc55 c)\ Et08M >ۨFj DQWNJT-!u'r#%'~GdPOe,ֺ0Éט%HJ`<ܲq_1*j$KkzfS<%z D4i% 3*:ƳR eg~h"~P%PYdX{xw]BQ/ ]@6E1'c[g^ M܌s `6y9YZi⨹~eȨ՞=qZA[;ˠѹ87։6 pF@](ծ{|¬2|v-zI{5bO\JW!űgYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>Tw">*k٬i紈X PI5]ЈU o麵O*)>(črFd#"@쨵x8J\n\l)% y'ڝH?N4lɆ600Fw$<pùוFU"q=@!r^C0Df[N5׼X\.?Un,#v ؊fݤ؄haRդZъa@G4cy_Bea3pO1^ m3k^;H\ݵ1keh8*c2͂'3Ǎ෫wFhLS Yol\LKqus1ʻ09 ! jf {hQLeDY5}+!I:9n0yM ՜@LbhfBe^`GQ&C`-ZZein-#bC7 pX#7zpbh"Ҹ&#$1{tU! ?OyHY|h%wli[5SЯ%?V۔td"S}fh9_szR/;Nnz2)NQ ]h<5"9 S$qgYZ62155f9878144eb1fa8d22d4e510f5eec318744bac9d0f03b401bcb9118f647e2b13c9614a77477f ec03fea6e4cca0df6230df865e1726404604ac8c 8e71f09dba1cf772fcc34127855ca3df38f65207 766d82c7507b919248fc149b92e132d3eff56b64aaf724b04ad73c3909d57b30eadf19f85c7f7fb5 = HOL-Nonstandard_Analysis