SQLite format 3@ . BBh77otableisabelle_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 o < ]/]HOL-TLA:threads=2elapsed=1.579cpu=2.556gc=0.000factor=1.627zXZִF! M]ŗXiɟ1zV=5_8f\r+ẇöLfyG 1̪b-IO6ۥX1Sv] tUX6(ڊ/u Ե_d 0'p:v(mRVgYZ7zXZִF! (]ŗXi%;Ű;}3PwZF,~ 8H|2P:Ns5`ݝ}P7G@h)MeȃkU z^i|r?*l6Q#SuOgѩi{I26mjZ(cr7ֿ:o] BNZkRtoMR\ړ#QEJV+7ܗ\Py[fPY=RHݎ}E;{yEn*_KPUKCjH+Fv \L! SuB*~s12aOC6,\qmL3gtG:MZbB%"P%80B[(d|*Jh^e(M`,lQcuE=oH޴~\@8,38 s[c=6gYZ853bf3753d89bace96714ca9f6b9454b5aa8453bdaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a57fd41d81fd6d6650330ab94697f8cff569d01c69   HOL-TLA