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  [)T | ] Card_Multisets:threads=2elapsed=2.173cpu=2.752gc=0.000factor=1.277zXZִF! a]ŗXf1-/6vRZy_Ĭmu uS@!bV(ۤ/IHI˦nMINy88LFb1zP}ܰgYZ7zXZִF! QC]ŗXiɟy<LlFK*hq`hKMӭ;vH.wU1'a@4,_Rh}YZ7zXZִF! \]ŗXi%6\B>s91OJ:2 <9~;֭6cQ\=&W*&lxVЀ66qg~OE22Wx'x˶Ȇ86-.]1=boˠOòtb(ÇC+OD71y? ENRph8RQ:"M(|XaE|l7Z9t1[>ojgn82wK 5wt_3çb K,޳ ̘C-"ɍV/',pk @TDؚk*Wh?qu+)f:Nm;_IQDXO> 힓 W\CJ%| YQ^xU< Gw@i`B*v3WGPvvMEi9-?9f|;6+ =x؛8Sq[R["UP}d(7譪cN1 lSK$0X[gYZ3a062e038a449af60bd1e0ad06d9d5a8168c70eae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f ) Card_Multisets