SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  #/<$ ]/]LatticeProperties:threads=2elapsed=3.969cpu=7.332gc=0.148factor=1.857zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\ۊyń$Iz~>$gQDba6s9@+ޡLj6t-M45bo{-I@s?>67zϟ(J8mE;{KhIa 2z91( /:,G"0E zA[<׋7;F̳GJ0 [>'%,ɐ )7MznZeTe/=dJHhaJ"q(zXunּ0rFS_Af=lڲw-n}晴1K63c(SYO3+Vn)6VlSUH@KN(V/h6#9kwSgmgN8yIe{21MFFDG 0>I` g4doj9}ĖQ ѡAiG)jn6'd0Q$ p0[Ksn E WpIicF\@T7"%NVa^jga )AI{F3" qJI1-{k%S\ l196_#IO#BƲJ3ht S(ծO:%R\;,f/#8P<): bu"wlvlHcJ^{s!rpKH% R-cʹ9&`كQ/NIs]ݭޚTeǿ_&(bg_m<<_ gYZ5db9009edcc65d78e4d96f35a89e73513ac173bee3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87f589a899ab465f72735ea903ba2160004bbcfcce / LatticeProperties