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  l l#  T ]]HOL-Nominal:threads=6elapsed=5.739cpu=12.020gc=0.516factor=2.097zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ.նϷ`wÅH*zд|PN݊&z$40}NK&~ii)>||^6v{&-0#P06#]H;}(p shsFy袆gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎZ<i9:?.3|a*&X ʚ|`I'{J}YZ7zXZִF! $]ŗXi%92)*}fy!Z!a'F_qSGŪ|:F6R;ԊU{Ha規%6 ]"C ݃=[a뢥[݆W7-!.Kpdٵ3/kR_^{A.SIM-0v& z&#$jc| [G{/IzT]s}%ѯazd7,O \Hb[Ϯ Be2vȨQ?O#?m-{C ȣo2]W.}ڑaDv% ѦipFRMY W8hQ@$x7n,HV~ĭpDXޯ@v?¦d~q- #:gm0ш|gN"Ǿ&7(zwS71CP( p$s:3F3o*ԭu[Qb$~GkShy\+oKwvF6]C6嚞k%D%6"s$IL\]BT*"^wgKq} wxfw{PPe+C:IddJD9~Vx ZoJ*ö 62/,J`P3:48t{gYZcebbb28d280e7ffcf0eca7b8ee58a428d92efc40a46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5 2e8decf43b35cf896067cfed44596733da0cc7d3c817e83e6405fdc7e533fa50f8331584a309c61e # HOL-Nominal