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 = L$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.790cpu=22.376gc=0.992factor=2.877zXZִF! ?]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.PQupe&'qMvs;Y g&+\Gs)=1*gJWO9qGU ' =6ʆrkfةNn 5mn !UƁtOeWSC:N1ZOF.l`!Qp?7pmEI@$>ǟ҇ #x/+(YS Y;#hDDC~)3JfҀ2G16JQ o gYZ7zXZִF! _]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>s=tվVb!IsEE!@Gl  LY!mHKn}j0EQ?;-8%oc/RY]Z`!_lmHT[py()bs?Kk#%+Glr6_~Ε{3u&sfGdLL!̸l-9!]'t+&O:EtTa}A9shfDq r`v"TIdCOA=n6M%:׫go-l@w^ZY $\gYZ7zXZִF! %I]ŗXi%9,z3c.Flb1 E%ݿn|!$V"R ڍZ% }Fݶƥ<=Nը:x&a0sF=l