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  8|\ ]/ ZF-Resid:threads=2elapsed=1.707cpu=2.808gc=0.000factor=1.647zXZִF! u]ŗXf1-W[l0[}^&c҄rQ=8s.Iߘ\)6K{yj#{Ic~Oܥ{f.[pƜ]gYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQ[^a.Υ`ghC:f2x匐;TDXVCH z-P?$Dm x^y5_P{JBC;gYZ7zXZִF! w]ŗXi%96@4׎L!62Pu1}ڞm'dѲh;_tVa%>Q"ؐ=b4게T,)}D-dBQpPėocXe _-BM.3YuEx-ڀR/߂[8:^r]^CE {p}}8l##- wn#JNSA4$?D24"NM*L^d,阙/OEL) ~<Ó?HP6lX*W%Ԡ h<fPȻ_rG!wqc`Pt)B7|#@-Uk`\!\xͷZ#HgYZ666859048a65abfd13074e8c9ff7360aac638b823fe17abdf9fa7db8d66f05d71667c93b38e5fadf 11e57a7c97c6f41036a70569659a4d0c597962b5   ZF-Resid