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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O O .l4l ]/]HOL-Word:threads=6elapsed=10.139cpu=49.448gc=2.188factor=4.887zXZ ִF ! ] ŗXf1-q恈͐7ӺV/K!W8DNKY>OjxiKGnC)p?yĤ3Fzd@Ō^9K N3s̯z5p?;z@2JQF Jc0oou܃t>mg>gPWҍ T>D 2|ր0%[dktH*LҰ/ shӒRP9O'g+ &:NL?GinG,bOMKF<6'(wmC/961 cAڈh?jy)8܂A*pW[!j{X1/]._P^u0ťI/rvz>jYU!?vjS ƞKst44a+^ [p KXVlZJJ(]h9χb#IBhhw*ʔe)fwbw4X*|wU ?1"|]%9Yˏƥ]c xj:\jK@ v\=pRsKSJ8l=gٌ5&r; (pU7F!ZkQvdeg]"t5+Fèt]n/$5w{`W(^~Ӽ5ŗ[ :ؘW> + YT ױg YZ7zXZ ִF ! ?] ŗXiɟ1}?қѱfدyQ2$2|B.AS[z}X}ҲXg