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 ]]HOL-Nominal:threads=2elapsed=7.744cpu=13.988gc=0.856factor=1.817zXZִF! 2]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯ 8㍡Z&tûc Óy-5co 1(4 =2nnqcIn :iP#ȠJ5/+bf(SSt=msxšn>zI4ԆCЀmH.WI0{dXMʉUheBby{f -+ڍݠf<Ƴ*KCLOY= 1wJgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ q2LB]<`TW W&\iK`I'{J}YZ7zXZִF! %O]ŗXi%97蜭dH#m%;*\K4UEj䝸*h2S9iCB?ў)Vt}$+n+m`+s]~KŠcXM`]nj T.ME OǕ%a؞gęb ږώ .k 0]u}csTk+SK4 ujَc̊?Y̳-EA,͝}㐍yPb";;:,ctהSH+$ y_߈)И\iiUXGIB. fNĔl ~$No L„}HIO"uMV%94(J^xpLR" - '9P‹zU