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 % $\ ]/ VolpanoSmith:threads=2elapsed=8.417cpu=14.780gc=0.588factor=1.767zXZִF! {L]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7> VΙ5#혚}EaCg4v5lOD6\B:wL 8q78?L#MjzVhB0!üZ*mcjޖ7NM6f76[W&8(C88doVA&mqꝷli۝Be"$ }+o;!ckM2-F_TŞ2r G9Hӂ1VULfJ(KM(Gx=gYZ7zXZִF! |]ŗXiɟS+;̕*A!@l@?UVfp+ SN\AhӠѶ @wE*vԭcABTT~43{i;e>a\b}Y'hSL}5Zh6P}`NiA|}@'oK@BAgp3=0Nt96T9gYlinŘBvB Ts+cz>S;1SpTgc~A } Esr<[i>p7SJ/ !ڇ=:Kg߯T=ԁ?(iQ/e63Í'({v̭R,mʿQ2i?:$ $]OXwS<[U>QJ4l 8wQQ'mo}^r <^xIP+6Y$Z?Otia[ {U.1ۑ't rIVD(#o{Ti4P, úBɃ?>=a>Uv $/ocE|-\m%(qie