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  m/$ ]/ LatticeProperties:threads=4elapsed=2.938cpu=6.376gc=0.196factor=2.177zXZִF!  ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g%N`SE,?JIf=N;EīXF9my y%-myrB Om8`ndD0ޕ,mbL o{QT< u}?Ǫ?,H RIO*`fB*)-}&ovj㕨㲺Bx!Pΐ]bz6JBsLA =h-gYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg!P<ٳ(4u)'I >G[ql ܒBTC.}^S $q&n|RnQj$:! µ).v@u&5I/L nv՟ 2{1LiwgYZ7zXZִF! #]ŗXi%B:pu8g(lhT,I4l,H u{+Z1.r'&ADa9JF}fh\e,xőm(tAOY._!*Hog } ?v6 ,P EG]ͷ11Mo{FX=vfc˕DuJJP S!&ΏQjm;`˛jMpˤWUw$ ůG"? `-/&ZF~]m.V5R˫'ߋ^м<]*T/ԭhg_+jh-M_2R[viL.WG,{t!Dӝ{fѽ<_?i͐G8(4,%^=yFL3 Wކ'/d[xKQOr`@y9 m5拘D687KLSZ\G׊|gYZf7a90cf3735d37a7c0f271cbd19a650a7385ff3d13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 / LatticeProperties