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  . .O D ] HOL-ZF:threads=2elapsed=4.581cpu=8.236gc=0.224factor=1.807zXZִF! 6]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~®L^2u6;k-ЖeqՐϘ|īgYZ7zXZִF! ]ŗXi%9(PK[Q"DSgR; msBoށоH>)85SaPTZ~R]ENWC `huEWZpj6R&r9|WmH1(!CF}eXCR2rT v,iR!\֐7$Ziaze*+~l<I*Ax^w5Òڵ:p-ټv1|Csgm#o!NLSK,Ki(4gɿPl[mJ#܉T#YzkO0P*XRpFِ**O$|j"`Ohii7ET8B1feu )]M'*b/إ~qif^T| j&N}>P'7\{Ú:xg+kwl|a`tqc=fYY`u*!{9F`ﯼN)ɔeOK 06?NqB<%D(f2j2F䛈߹XyqK:OD;JD,klwcUB#,6>ug݈eX.fRx=9nc2R oJ#֐L$!2~Ǣ@6&mf@Ha&Jm?_oYA󼪱gYZb0b46eab9e33705188f9b3a4b415dc1d72aa7f34f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd   HOL-ZF