SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 w 4$ ]/ MiniML:threads=4elapsed=8.435cpu=18.212gc=0.624factor=2.167zXZִF! ]ŗXf[&M_4.F$ܙ:(a āšB~e |4殮YZ?=j_4_33(}'*#䀘J!݄ݾ<" )F&d2;\SW1R?bXBI&Iu2li(w4yҰwbQb "pw.~n)Ҥ)qRkAoHs:wlJG =M/F ?gYZ7zXZִF! ]ŗXiɟ"xS2}YNd Cxl/5v8(f0Ef]H]RϬ闂#cwhPGng{ڞNeϧu8UpCYQY+/UwZov'ce]gYZ7zXZִF! B]ŗXi%I o9]a'ƧL{ Gn3Y Ű57->U\6d}GkTr\It_|-k} c1Ȫzк-Ϝ'hq1Yj{_Uܝ:K8^~6Ԟ򘿻>y\ƞNG.y+S`V Mrz&qGb%Y˯Kb|]) $S7k?O{?TsDDa=j3snx³VBG()I+iHY)`M:xDB+D5 ,34qvр?je :>rI[Gs3FcH"tn ⥣BYYYK>2jy'Eѹ< ,[V2bviuXMD۹Te^~]D-,@#[3 )^o$ߚ|SP?5UbSƯKNz qWh}kYcUIC= ,>ܹ?L6=riB]?Q{us}ЏhPkUƭ}ʃwd6lց$#8z 7jXMwE.}S|[&MfQI]Ph/~\ru!q`.4'^ZΖ/~X, <7%}Lu' } [ J)(BƁ -TgYZb929d6b3e75c616c9e2e23171e8642365203664c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22   MiniML