SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  S S* l ]/]HOL-TLA:threads=2elapsed=1.834cpu=2.972gc=0.000factor=1.627zXZִF! M]ŗXiɟ1zV=5_8f\r+xJ)to}f ~"R3AhU}h'mT窒b1_閙ic{bI5]"V- 475FmR~bVǣʱgYZ7zXZִF! ]ŗXi%>g!ЂZ(&Lv,mOMKT`fqM;O=SFjgsDㆽv4ic %``S꧛DHҁaY0P /lt[ c(D!zzZr)!-'X弱hu( ]1ĸ%T @/QC.JB>+7NN[}ԯyL aVңKltRu}H>lϮ`MlLgv$Z}SК*~vۼ ɃNsӔVrKf`oj8(R .Dq:`o*dЬq'wԚ#[U 'FC<U˱gYZ4e9b7a15500d20a5c142553d0093b4f6f0286552a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe850700613ac6a2add5c8aecbe2e66d7fa9baff65c5a07   HOL-TLA