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  ; ;BdD< ]]HOL-SPARK:threads=2elapsed=2.261cpu=3.032gc=0.136factor=1.347zXZִF! l]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖj%*ӳV3 ԫ]l*Xt!K'r$ȧǾ%<0:xe mUCK 䄱 6KvѶ)1gYZ7zXZִF! []ŗXiɟ1'HGm7瘊Mǒ|a >YZq-͌~<_갎_mL^s=2;mi3N;!#zY ]w2cgYZ7zXZִF! ]ŗXi%;Ű=ȵ(ӦݟYԼAت׍l0MOx9AoGp-Sk% X ̟%#0gP_NYltPXEݶlVDIC&OYlO|1})re[LsY( qIohq؈l^?ޞ&>_hSSr{B.v-V#zk_ v!*>vkU&GI)~Qj_e,#Lz蕊ʲ-&קWI)E[ksOPʘ q~ o1>z|˰y=@֮5V|X tvjid48rs^wX6{_~9>sY,JYCf" ^hg[W- PkQqgYZ485c57ccb351cc6bc7ee6230eebef4421800f5f0daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 300f15c43011b902a758f5ceb50d165287013d007ba2b23814a3dc3f6dae202b90e278b9e4ab03fb   HOL-SPARK