SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
X1 \lT ]/
RefinementReactive:threads=2elapsed=12.597cpu=17.416gc=0.372factor=1.387zXZ ִF ! d(] ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..
,
%1Kl5o"uv^#.G~0Ș: Q} G6,2_%Α f, 6@5qv^̰iݠi0JfCTD!>
0yP*
lga8S1m_"dE#rzU7a|B(p+%]Pg ^*4`V"Kiߡa4
6Е =@|f
:M-(=Bl; Q(E 8ǣlȘ+ ayگ*Y*ݎ"5z(v9q_R봌 E
&aV,2fEcҀlH o hIбg YZ9f9874a2cf662a4aa3e06d0bb13375d830060991e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
1 RefinementReactive