SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /l< m/]LatticeProperties:threads=2elapsed=3.841cpu=7.116gc=0.176factor=1.857zXZ / LatticePropertiesִF! i]ŗXf1-/6vRZ"P*nI%ͧ ۩\{"G $Q݃LOIJwaQ{[b`Sc"s5IlQab)(mGǎXus4ݸI!brj߲$ڐhԿymEpL尔Wɓj*^s)ū,̥4SʭB <z"(ܨj;XR9{{E."ƝG4YW{Uv)iuft'tz?7 5 q*a݅+0&6Zz~F;0ŚJ1j6LeuXEaaYϜπTRl0q \ ~l>yPS x{[@Ti\\t><J=JGþu/*%^SZ `"s*>'#l7[v@1AiP>]qs|ͩ]Is}:cCJ`iI؄0k*ut i!S-]4~}uit"͏$ 4PaY os}DbX p "uZ$;+1req:NN 9fCu{gqM% 2LP~8讱gYZ7zXZִF! ;]ŗXi%k'P#Q. D܈GSFd2]ϟXxnj賠4[||8ܬXDL+Ru1ghU.70z9%bkðB>ύ<zP4Vz;f.yͶǪ4ݱZt\<*|'CAP@d&V$"rW>;8Y 7NP+TDcaF]lUCZ3[>ԡ=<>gYZ73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 90b531f9982451e87096d3774b8e50f9c9762a97 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f6036b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d6ff155a9b66d8a1f8d5b40c44699717d77f427eb