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  s s  4 ]/]HOL-TLA:threads=2elapsed=1.890cpu=2.984gc=0.000factor=1.587zXZִF! M]ŗXiɟ1zV=5_8f\r+x+(;9ԋN}6& ۓwJEFXoz*tvgc8;0A ]2?G̭ܘyI~lfgYZ7zXZִF! #]ŗXi%96B[j1j.ɯƠQc2 @6? T5$xΨ1v18I`"LYyG^udP%MFe/M\NAa%7c8GPF &Qpn1¶ߕ-e=*W4e5Y;eRXQ.b.|)fgg gV}<_ 3l u %2?o\zܴ$*U;|c$kV@wpț<.B;պH m*zJNt^f"Z=VV]U 34StY(?sQfV~-ӥ" 4 |p>:k2`a" %`3D[@7r6)9fFJ0qUgYZ3cb414da8ee204488c29ca707bc281d525bc610931bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1f3cd8be02dacbb0bc687a1720e3cc0e4f9a85a4b   HOL-TLA