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  P P-/Ld ]/ DataRefinementIBP:threads=2elapsed=2.854cpu=5.088gc=0.136factor=1.787zXZִF! M]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^wzR0D%< &o>$cVj\V 3 z+(7MQ?RC&Qpل?3DWc,U[,uOեہ 6D p '~A״T7'HϘ?5 f|V1S>gzgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTgb?L q8pCƽrO7+^$2W4#Tďvb-~m39:R~7 SiU]@E/0Vk`Lm?88i^8%@"Ӕ֧[祊D47 ă|'P+jYA)C8mgYZ7zXZִF!  ,]ŗXi%92Aj$/,BPov74%Y>W^B% W@MX' d븪!~XW=hv/q!3-3]}pf=(=t!])GVZv bWG$@( pDS2½wk*d-`j㛴[=Glr*O+t(|_˩lƇJ=>v^c i0Q"5 4]dPxA ޜO]TGI$|USAwآ_'[|4Ds|Qvy)=}- @rVYKҰ’kpʖҐH V`fXe!J/DKI?Hdn("e =w|=\(q6SW1Nu(Vjv8 cgYZ05f4f39fb15b438206ae6b688e888cdd80ef142bf4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 / DataRefinementIBP