SQLite format 3@ .0:  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   l4| ]/ LambdaMu:threads=4elapsed=7.226cpu=15.324gc=0.476factor=2.127zXZִF! /]ŗXf[& n@j#>i#V2vG;thc^D:/.6 ̥ƖJGGiӹ^R Vh[R<_K{R֖ЕjcIGuf5SNLJLW4MfbqcZ&}&z\{wBBd*ύ`c˦~ýv29wk?0I$JqO xpD(.g˼OɎo>Qay{| k1ؓh3D v gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$TK~yƛK/sD_XV"WZ{g< Ǩ" |@ۇ忕NRä:PM7MQ8m?+wvcI&! Vi44$SHBf_&u =IF{ŽK%DTt$U9y )gO9gYZ7zXZִF! :v]ŗXi%GV mqC =!2Yy^^4asD?f~VlmJ M!27I*TBݚOiQWl4gnl|EjEZAWew( cfvklWUXJɰ$kΣm!a-mV cua":l{BܤYY'$@A sK/Te8鼡n"lME;?:*OD0 - I\rn;q-wt3l9YႥȞWkI8kTb9Z+QM)-1G u;2. ge7,F|_cIOCiyfIWy8D*⑃=L͆NUv<\].Cs6oWs+Jy * @dA58/5VWFU)ZLW O_~r}`50ɡį`깊}!2?}jWze$K?N2zt+T4yvWs4%޸1NO>p(,ߦbFgQSTM[4*O,+t?dG42K 2Thǻa%#W^z%oPG. =Rd˃~5k%9FټOiTєs6g`֍UL2Bry9S4h+*=5( LS?ȬٽH!A,~HtlۯOwgDT']3UZ!4 kYFmxxH8bREin*ݖWU]l wAwmbw,STqLt_nsw? f/u6q]i.d͚JQ:Dr?v~:\++Tbp۟, "VDZL2.,+I,2Ժ| t_gYZ8270dfddc51fdf227d8443ccd4729a22a40b66ad4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2   LambdaMu