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 _= T\| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.695cpu=26.160gc=1.332factor=3.407zXZִF! b]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL46S^\I|9i 1%JWfdO< EHNcլxI (82``7eG0c#] ( $r%qwio>weob/[qA{EWB Y/Ϛ|Ãꃁ硑<&q;.5Zrg-i/M,6-|;1>`@\w. IM6i +7SF2Zbi1MҞT]w(xgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> [H<śVHr Hk2f`; 0Ѻz H[=`ln; /=N5(]0&\o@>#F{#PKYOHDca ոmOLx6g(Vqb!ܽ9Pn:sikNHw~ ͆qHȚHDzuʲ;LyV|Hkxhddq1-?O"9>y1@LEꭐ>0G%E>>}1l?ȟW0WmAoLz2N Q,e7?KZr H#@]řJ'( H5o\Xĝhc)V]Ѡ)}4Dĺg D?g@(d= "8"&MtRPb bdJh͕]Wku)q<~Jvi,d .uu6% 3V/D*$2E" LBn39aWp CQx&Oexx#BY:$sK8VO?% iUM4yq<\ךmyLgk o+k_1xW;33^%N,!O$S>qX_)|S3.H3-i)rlG^shgl9iQn0N ǘ+4 OqXFĭؗq|AZ XdxbG@CcH/k%VxEP@ج Q9_7ҝjq%~&Ee% h GM9NgYZ3f460ed9004bd8e55119aa4f379fb80ecbd7d891ec1fa52d7e9afb209e4092357e883ff03bdd4353 258dd0b2c6018904988ce9e16128dd8a4d0f1ba4 65e674abdc1ec414ff9ebf938843f6b31d0630ea 1b31275ab4df3d4ab6046d0fa32e90fa2f02aeac339d63f996df68815e64bd4ac8093025e6e343cc = HOL-Nonstandard_Analysis