SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   k)T4t ] HOL-TLA-Buffer:threads=4elapsed=0.444cpu=1.104gc=0.000factor=2.497zXZִF! a]ŗXf1-q恈&'ŵШڿj,bp֔sWԍl$'7{OϽO= cdK$G6-}s)gYZ7zXZִF! R]ŗXiɟ1zVU'j$qOBHgo@cszaKҠHh>yy`rRɔqnuPgYZ7zXZִF! [t]ŗXi%B8_y=zwn{ZlN7Ƌfןи9Ӧ`0<j=+F=~u4=/7&S*!a+ .u-DŽW<<ڼh-&ω #Gfyq#f(]3-Woy|w=vXQ<%;H=]BQTvnU[i ~S(\|=Y¬#yaKVRbqpmۿS?:xVRM (JʖS`ڟC٠Y ;gYZ9d97b24a5eca661cb0648b1c3fefcbeeaf857fd3ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe d13ca1ed0a58f3d8f8f55646da30546102c9adba ) HOL-TLA-Buffer