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.674cpu=26.264gc=1.312factor=3.427zXZִF! A]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL4ʳn L/?GH$?ZNJ ŐĚVtfKsMq @U^y}0oX HDOBWXzZtz ٌa~% oQٸ+Z!l w kf#OH]2ȼw?8) PuŀvC3|ȹKC.^ x`; (iy3-Az ekgYZ7zXZִF! g]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[O` ~/j -9o:kpL1nSRJcjd˷&18 T@ ~ O@mE[xB(շ12(?H-EF~M~|ͣkWv'ivX 7'$+p9DL MDcf }C vL$}9QY wbEHJMi=2pX"Q޵] %,C4W"x!dCkrqP'PǾdO(lJR gYZ7zXZִF! &]ŗXi%@Z|$9N4VE=Ő4=W%Y?'`1hK,(t,g^' d²ВJ26HcPrH1Z$Ԧ)ݼ 5a\h S=tMƀ9wRo,s]"wPߎPvQ4DrL ^Fړd(ǘnG1-#F$mg3 Ʒ(lȧ׹K]TYhoʈFʪCFޗ6҃$wbI~b{3®E} u4Gd@p (ɣ<==,g9d3q%%=O qfb@li'- 7vj==%ړXCz D⟝uDg:&?>t_6'-z,TJ?* DTa  a+qQGpcf(UaoZf QM SKZ#vLѓP -3;w1wsnUMH܍8/ 4% VtWڒ>@'bd;Tfz䂢.{['';^|TaCo^}ұn{҅-OIE9LkTMܛ?'?xI/Di${N1\ua  {~Pp*c[l9T;4wJ("^oEGni̱gYZ886910e14f1fcb1af83cb3b82714392dc1c4fc884f9adad097b83b48748aa56278725eaba3e0de72 4407b64f47d089c8dc6c9340ed5b51e835b9101d 3f8f750615c51da34dc4ddb1f2544adbc653d8aa 2acca9b9fe64646ddee16c769b881bca0eb42eb7f55c90caedc6c18a51c603565d8d4feaf3c27e37 = HOL-Nonstandard_Analysis