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 ] HOL-TLA-Buffer:threads=2elapsed=0.575cpu=1.056gc=0.000factor=1.847zXZִF! Q]ŗXiɟ1zVU'j$HZmDUNܭgYi@G"M1 jKB&m\eֱgYZ7zXZִF! E]ŗXi%;Z'wQ=~cyiJU{SGDjAWa0( 5S2g3,5JRڀCf{'ja/4f&ÓŎ<S{%S6Q7dGOXrk!QLAEzo 81$IHo#u.ͭ6|7}yo#$7LGB!glmd[ YaP?Z&~\y!渶jx'zy&0]+7"SaC8$=3 ngYZ73cec56dcb9b5cb66109bc5e526c14504e4b81471e8a5e75562653ea4f095e5003b29df3c0c7dcba bd3bdab246ba0ab9f1962b0a2944f493b5762d24 282e1506623c4623f4dfa2a522b16c4dd795faae ) HOL-TLA-Buffer