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  9/<< ]/]LatticeProperties:threads=2elapsed=3.564cpu=6.792gc=0.164factor=1.917zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\x?=o-mL+:=Ib\"V Rܳ߰h[[Qķл(Q}QnAj~6fNZ![$JyMXz}jS)ؓTϮPy&?]PP@QT iDfKøZ"!Jͤ~gL#Bx0$)W sgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg2%?Xwtl5(+{üqLu:?^Qn.~ҿ*#c>Ngwn˒fz`Ӯ"(uL1SN̬S:\][HmOlS*YNM$ji2BANu:%G8gYZ7zXZִF! ]ŗXi%6So7Ж.sVUjA`-Ar兛70R=7f't*'@v ڤ7{9JMW]~'xn!1Х[ ]^ 7\[x/Qwa #}G#BD~#^]᷉ܐH7hU +@32GB$!E 覫\έ:' ҵhfK03M5oq8)"ƘgPD&@<U~2кhKIkjrLԃG6" ~rRep}nJf3r3 g*̡0(dĔؖ`jAfAԭ-l=EʱB4 +GUP̙w} +Ypƹc)i> IDÑ\aԹwsJd'zj@#vb8,D7_I P|ʧ*7yhyH+hjV{2:7ŭq,t%7sN٘GG}7dt \ۋFtˀ3ҢYH3N"'>`AilvV9 d@6K7&/ЈU 3gYZ465627033250cc14a43e5e97ba7e08b38e37c0aee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc34d63d7cc6df64f3a0bced16340d8b6dec2331ef / LatticeProperties