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  v v T ]S HOLCF-ex:threads=2elapsed=5.472cpu=10.760gc=0.512factor=1.977zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD~IZwO~ ظh4)d3PFuI,J2JBVc y/P~%O۬V6O7-{ϕ+ABvC(; Ӈ[ aPLYU}h'C4%yA&M n3qGJf' O7c|Fq;K E v _K#a[PsFo_+ϓpdʐ́Ǹq>d%/Z'%rvjj"ya)Qo,_wB=l*b:n:ieKD$bF4Vi#|76PugYZ7zXZִF! ]ŗXi%9(Pψ4 }"@0=:Uz8Z7xzsEsn)sJO&p0&ng`O8=]7]'{F{&ldJ.'^O1FOG$ݺKCo;IP/4rk';'