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   e# t $ ]]HOL-Nominal:threads=6elapsed=6.115cpu=12.932gc=0.668factor=2.117zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ207gyR|&pprٖW7F1>(|;):Vj.̄O((Ek|LG˪_Q_E ܠΧL|w[HԥJҨ2N۝vr>;]Vad6^)$i@~^[jc ϫ#|gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎOED} rj>%7K)p\V`4jy$un aU<'\w{8;DR|:(ArJdMMvVD˫ 6M^J~~˽bүg s0ٶFjTԭ.Y~s1p<!tgYZ39a466b214e81bb1f8ceca722ea07dd90a56b892a8fd777f4c50ddd8d7e155b9b07d9218f3467fc7 02f1225c0f261de736caa9ce0f266c2606abf26f 5cbc96a39653a488416c2b5ee0f7781b5f8e79ff1c366c08117f7764593dfc68777ffa4271afbc89 # HOL-Nominal