SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 R1 l ]/ RefinementReactive:threads=2elapsed=15.747cpu=21.144gc=0.368factor=1.347zXZִF! (/]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1Kb'pGWتP^WV`L RjYS\cVcrJvӔyi6T;1~Pl<7TĮ.TMan„LHG X!MppT;2ȮW9'C0njeur}GˌIbMa/t/N5J)紅,ԄܜT?y_ $V [2iw|[6GK5gYZ7zXZִF! V]ŗXi%6o2[z%?d)ܘC+Ҹ9٫Q ,Ҍ&> ➅~S[lkiȗ,6yƍ=y|c ݊.3ݷVb5 e/#Zc UwĬYdArv2O9#p3ts4[MpޡQ?ƒH_Q%<RJi3wpkJV ׾pqKĹ1T^(z==!M62g$NXL_$d3pN#7!* 讒t܉y!IA̖>O^`}H__S,i8:Utə0sĎzv ] j4MĔqBW.Xq"\ {C5(ފ|x[zhPx~68;%He@ W|hLB.2˹ҩ%VfRKsN?DpE ƍ6V%aPj9w^'K +ݖ(b^Z(zBcr`V34>`ӳ*8%k؛.çweD$&gm=IaIddp*\ZFo0zѥZV@Fԙ6h7zd`C4Ml?ɤ7&nm7mj5VXYj%17u)'V0ЭXsAJo^1ggՔP8;PcGQ(pw[x.MYc)~P){4ɘ!par[CؖfOٜvCi2v.)-Ka.7 (j'/xkPXo}d %XliTvW4ЋgQY3PXuB\n۷nrb;A˾˭z!ykK>sk>(;1Hz=~Q l 6gYZ04a43d8cd93faef2103fbeecf9211e70805468f40a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 1 RefinementReactive