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 ..O= \$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.863cpu=26.732gc=1.440factor=3.407zXZִF! A]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL2{iRKrDmM̚& V4,A<ꉉ Tbf2Do9<ʥ`%Q]81S^}:qNa7_3-;%ɍfFCpΒY\ÛaXa@_{h&jTNx^ӥ֜C/#'x.:ԵWHUIYσWe2aRԀt1O oZ31lH}ne+ׁb= C($:Nki>VU0gYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> r)hQj%*-Q{lx@VfyR3D҄\ANr6tUՂ 58LfpN!OR0'Ѫ;lcsv ;͆ fp(_7`$e̍4X5$u3uЀ.|XSL7]shZU2 ?:@~ΝTeSß=~J}C?HkQ3nm 'Q|q+/K+ :x'yYPr}6cۺR`n=mp> m}ѺB&7X`&V>04F[Ň=h}l<ӌbuq5ZU= n/_ C Xj+@@a}q]})@׊џ|'Ưw&CCqUJ+Ka&q'cr4mЈ#ob/$^~'bnd|86mSjr{l {sZ޹Z:zwbW5spUX۱z9GMq% Tse+5,M@*Ei`"F1LYtFa25.*lj'a19]{qn!"p/TYus@X؏6Dt ~ׁpp`eَW,$Out2g+Aʕx=rݥ D4MBe6#+=! )J-iS\ *+vc3Y[ `~วdSQhJq3zx'J}VW0cDzk! VnC?bfHdM6n[R4)AJZU{FZ%2(¶ֈNbf 46f-c?8vQD̬=.Ktc0zk_g$DăSJϓM!#÷9c$Aߣ #27MW%0$ʾD{ ‡̵uÅBuCQ,wmSop bPnYW@3@cql1 Af~y2XQ;jw-*ؾҝ8Z/wE"Y3RMo{{gSٞZjm>{]s$Ƅ*C!2nqUaG\8 QбgYZe36fc021e6414086e172489c2c597c5613dccadbd10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 bec8f12658c329051cdd3196b3789cc67865eb91 d46f6cbfbe33b03ec31bdad15bb33b4fd14af6e4 68016c930f77acaea9d2b1a7012a0fa59ebfa7433ad31b42ddd474d8f9e1850712023abce0e81f03 = HOL-Nonstandard_Analysis