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  }# T t ]]HOL-Nominal:threads=6elapsed=7.548cpu=14.580gc=0.640factor=1.937zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯?AГu:s&|:ǵ+5L(!0^c8=a3pԐ^=,Vw[ Cv~;?3VqXCBt)2z`F|l6!qǖ6zu8] ,g-G 54Trre 5ے89{g ϱgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ X+$Ai߲˨+ db}`I'{J}YZ7zXZִF! %]ŗXi%9,xfV$* x9v{yh8?oMK/s؈go[DŽUxՓ\[I#6?3[h4iz laAa2`wNn-f.4H8(e}[/qU8i\;He%s:-=3rZ.QXŠ<w-Kہް)Zm߲y% mT䭰T]._hPKj38{y0U ^$_G{y U e0`rIٳ![+jO8 LaNV)ʧoV8x6> f)+_v!w\ l%6IKBY:2"rTaE]89cb\[&eҘO%r0_d\  ]zHG"Ya.P=)eIv:}ąKgYZebefd997ff9395bdb514834af5035b87b40091c3b3385753884b26aaa722d60ff4b4d3face84cc7b 02558fe24890e2aec0fd161c9c474ecab0a8f955 07f83328c31812c504ab3445805e724c3f0afc255ed2b6b07158aab98abbb592d9d114bd61e7756f # HOL-Nominal