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  k|tt ]/ CYK:threads=2elapsed=4.808cpu=8.904gc=0.404factor=1.857zXZִF! I]ŗXf1-/6vRZy/``$%'Yx3zK_"#=`g󦰥whȿ>S7:N 6EK\s 'e ʶ/Pq ARxa05-_j/}2-nY/i|")JqRre }?j@egԧɷi2W!?~ߌW]kVn h6gYZ7zXZִF! ;::name=CYK.CYKelapsed=2.704cpu=4.844gc=0.180ffr8T}YZ7zXZִF! ]ŗXi%6.~`l??5W iDQMTP@.~{V=f RpS4V$I:wOn;!ZL=ByT35:}  >cȂ[XPFbUƭW`b0z eM!Y2ÁV:eOI{W^e_*~L{@Z竮)ϣ[ 6~ f z,9bǭAZ'-[{1d̲Jʔ|H  z~Jh&:`R7e 4 _mD6aC}@8f%PK )_[hһ'}IX^(O ҽ.õe',@S-'*8S/_m5Kj?6C 5l$LeN^Qd M)i3ZZ|^-^*BkP̱0!8yT$!DgoفK9n"bAaȴ.gYZb9b04a6d9780f774a485940b0440b8cfc49eb694e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc  CYK