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 h= ,T< ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.852cpu=22.212gc=1.256factor=1.877zXZִF! rP]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.IOb!n1ig]on!FX]}tkN]ә8r`'33.!4bLΞdoPE'Ibl?O$-!_q2C9NkYؘrJPl@v4c(b~Οd_i$bAf eu 21?1 [~?{`y3"QG2ޤ^FgYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> {u{.{(+3bd !bEդ;ٟz;<5_uL+LI?<dǿQ~)"B,P_>Z~,;nFh)r1%CH;R&9J H,SLx&(WMQ+9IML-[~\NZޙ"wSh7h%'aj鵓;󴷗ϋBզ>јi+*z{E߫ mq J gYZ7zXZִF! T]ŗXi%;M2EEmC{b2?= S#Ì!#m)$SnǙ?~~f! ^')<2o:s^TY9C>Z̤m>3M;I_@REQnQL(]eg´9άpI NWۘ,]ƪ :(#΍Q]֡?)2kjG{񦸫CT}ӥpp\,ׇ,h<64'u%%}kGdd'A+L+Cĕ):$RoTzށ4]yªfx} i1AG8a` :\C,-0iJOqb#Id5()׸{k 6WeCXEHt,h C9LŇlYS:͚;(6__Yr"йpOb QL7LQo3@vv o}cKoQINd]3tTȸ: v݅THϚeD-ѐFEdmH?OMl6%dgWiIIizRUUAK5q3<# Yb"`Qs/ mSnV}>% lv7]d<1 ݛyD*n&|HȭV{Nj4>7 s\:.@?:FnLѰ,~Zn<) ss[GO\=-:,?M`)#pSR[W2WϽLKV\x Meo?g/44'dG!۔o"P:XE~Z6:mH}'1\Pո"5xTϕfAnSYO}_W"fEèwik@|#RM:2[u"T[LW!%՗zĞP݇X3#ÒnʚKB.<xe}aV0į\ ttٕs:^gjWE aKV1\>G>̶d^.8 *yXgYZb74a07d9b852363bf225b7428cc0ad09ea7c49913d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47 04eaf61cfb455e5f1fdd0305defe2d4d81fca6ba 46559465bd7dbb53c52cee947b8f843b0bf19b468f867c0ffbb135be92256a92aed76568011b077b = HOL-Nonstandard_Analysis