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  $|4 ]/ ZF-Resid:threads=2elapsed=1.755cpu=2.832gc=0.000factor=1.617zXZִF! u]ŗXf1-W[l0[}^&c҄rQ=8s.I7RQFd:it̴-&JB #RNz-93rƜ]gYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQ[34p=`Hw2} /v  ^ 0/[Bƈ!Ce-CDV{qnpaLSk|;gYZ7zXZִF! ,]ŗXi%;sW'-0? Qz5a.RD9mqafb0ڨN ,HHn/ag21C(O zzNLmuM1V?.'\ׇ"G@xp;<}lέ\3`S ^HfBKOZۺZX%xlQR;yˌ: of3^VF \Ta?C}&@ o(Um <{Ƿ8o֮*95+b&Νxmr#y يCSP azn<5 :6pŜ!>*z O:[>j  3춮(,GgHJ>ǚjz)  ̱gYZb591551ddee365bf4d0ef659d753421b611064ca848658d617e1d31408814b70d854f0969b4d3dd4 fbd58dce709825e9bfe69a48407d491d27a953c4   ZF-Resid