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 GcY#o/ȓ.C*m3;Bܶ[MA D"aXow6*%X?"erDDz`4ȱdej@ iɠ?w:Vޅƫ,㥣B ;[CAgYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLfIyT2BAG# `9kc?sѼa99殱GkUU "pBBG:(;8sCɥ!z;(01wkhTlq==]V{u0/رgYZ7zXZִF! T]ŗXi%92xL~+/V'}Y} Dlc'[M@&ֱd7!Źw=P3@E 7ItP3>p;E3&Py8qƒ3v9 lNzKmYWqH$4n؃|Lc+g>\ڍ>N'l ]xH[V12eAμ$d.}==$-V҉7