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   x3 $ ]/ Impossible_Geometry:threads=2elapsed=9.536cpu=15.280gc=0.416factor=1.607zXZִF! &F]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jhȊX V H5uw[_8=&%4̆59Hr=JL9ʘS\k!:Ḅ:~ ^MM('J6Atgyʹ! MdIؗ/g\Uh}YZ7zXZִF! <]ŗXi%;cg[ %ZU(qSG*nnďr[nY aB0MU`p o!fѥ KG8&zSy5bPx8xp '0u= AbĒb}x$&~~a(c* za(MNx|'&K$.0+b稘k,uq>҄7QJYAǃɮ,-;2,ّXY3Qn,٠*Oٜ- ޮn 5}7#Rf^De~ kQ`NkRfd:D:>pJF,wwuUpn|ǾjqYK ٳ$}#~Crj\Hg42qyac/?<3>ov=v&4)9R3Qz*A8)䐲M#}(X l>JxJ)@7II3ܷhz'$\MH ^':hPVRDNnGݲE&z&,5OjHC4𮸾%R|jg\Vyy`rGPB'rEխQ$>:ϕ__*-V?3^`Wy>49gYZ8959106a13b3323a366857f307feba664b25384e79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 3 Impossible_Geometry