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 f#$ w/ HOL-Lattice:threads=2elapsed=2.430cpu=3.876gc=0.000factor=1.607zXZִF! <]ŗXf1-q恈zt`7MDc(e%hNǙ8}9>*k`1obn}(m_0c8 m>2ߙm'$^N4 jP#ޖ@>N]qbvX;.9` M?K87EcNl0;i0M@#">v`aCƫ` z5E1_(`n-YGLo tf  # HOL-Latticej_"yk#CkReVl\hZ:A|-+Ҙ/Zk<( S}iwtYP0]rw=Šp둻! {JnT$In)EԱgYZ16b52f967d615825912c54bd5a9895ab3ef4eca8 cb01d2951f4cbf33cb7f7a66bbd9ae5d29f17695 d334522d967a7f98715e5f70da64a19c272c9242 e62f79514cb196d4e398aff2f8f7f1c2263b56ea f4d0b9736f0a41997590192621c85219a34b82d1 fdbefc546156f1355325b69d51134ac2cacb17d30dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903