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 c= 4\$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.623cpu=25.860gc=1.204factor=3.397zXZִF! aR]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL2{iRKrDmM̚e1Ծ F)`XuHkpxVv V* xxW`{G~Xt_/C^lwBno͆dI$vp׫ MK1oZ}q2|}YDq-pshpVŽne]@RQO~ \򖑁0FięC 9& BD8QC;̪FpY3gYZ7zXZִF! g]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>M/Mhykh3_х i'o6R&1M:KW䴶RO^,2ma͸1%"tְ,S^@ H4}1\S)vIiAҧa qiNFt(WBvP~txP_Y},3VnջӇK:[󂹝f 3P9HW/OmO9BsH7a4l2.m%Įbg-C@L~@t;O&z.({Qc-6+ih̖b};'Z^n%HNH.ǒS"Bq!oo+yaܠ'˗gIEg{%\|Z0SxvVPwAf1iFS^`oRˍ4tRo;Xbv X^ǩS+- S<;]A~|"(_ߣ]r0!yQ=8j-X$/N"LMc9 UMl2]qDJMXgL\I' \OVg3zu{4ھz:gVvyn Vȇ9M$qOPNs$Sc+W6RHoBBƜm1\ RS:@@} 1iAJmgɟ!]{B}EESFL,+z+ hvQAsu:PMEgYZ30480b125ea803858a552e4e4ab762fa4867ab50f695e2210c65e40e35d958c5ecfc154ad0d6ad65 874e40ba742cf3e6e99fb67087ea49c26880e3eb 070f09888f0cc4dbf5f4381a99cf7572ce551dd3 cfe82dbcc429d7c9e60d5573d73277f7bdd83097122dbacb0806c084ba487533b564dbc259c20e1b = HOL-Nonstandard_Analysis