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  & &W#,, ]/]HOL-Eisbach:threads=2elapsed=3.860cpu=7.744gc=0.216factor=2.017zXZִF! ;N]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"08DeCkHp##lW3 n2^g .4_Ye!#aA`!HVf,VK};'_ȟR׾j#L _jsf{gH@.pj@ &hv&d&əF/Y%#D믻:r?*SpS46w<P[zHx 0gZ¨BP%,4+rkdLK:oB2ܹ*qcpSgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰KoujslL> _ڝT#%%@'Ge) Q~ E>9be }' oK'!PSx~JWKgX?Dz`;L7vĺZ< 5>>@p4D [g" ntC\$S(D;d.uctγ*;h]!׆r+< lގdqiJ:Ѭ.zd1س`}/ro/)Eqy=u3`ǭHClҝ 4p+3jyxC8nq!|a>z=r{N@T[>*V~d`c|嵊ZyקtSze;=S(NY`1bmh`s AkbX˫%YZgYZ4ac6e4074e21750a857d2318c47ec34dbb1a2bec8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a28dc11fc58070a254c45ebcd97df2655152107a1 # HOL-Eisbach