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  ; ;Bt<4 ]]HOL-SPARK:threads=2elapsed=2.434cpu=3.268gc=0.072factor=1.347zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ*ӳV3FZjԠp<_w;1xsMu @rؓl>}ҸvEoI 8G| F9']z-E ,J;3$d/8BGp5e\CNž"P*$zSK(%% Јf2I& mܩ0;wwIyfO j03bdlu@v:ʇ@}W%}Mvs6g@Lfj~PVCP<0GIm`+Xt&`Ĺ"?ic~r8f8wXYz$»fP>\ITߪ6πsVɵ{} 0c娋.*-ƴ`6(Xy8AlzR5 La oOw:>爜{ROJԱgYZ6735f354ac7465ae9eebf330ade81a58e7cf7e4841dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 5a74f71d790406720ccd85a97b91e1649b43e916cfbbdc027d0d528e71c25c44c9c97e099b7737b8   HOL-SPARK