SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info x x }7ddD ] SATSolverVerification:threads=2elapsed=83.261cpu=160.356gc=4.280factor=1.937zXZ ִF ! p] ŗXf1-/6vR[\6(`Xsڽ4Sk1xhHza :zG-xV{UW<Dܵ41QVr#2Sg)dIضŮ1v53uFsl[b/8P=Ѷ:? 3M~{t49m.^ 6%*8%A)yA49cl:WXb^gYڶ\E~~v+x.N%e|_aFM{+ JE02QE'sUz i+oL>m<rxJΩ=ﮖl:$ImLK\dR❾e,
"}~
8UKqI4{NƉΊ