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  , ,Q/,T ]/ LatticeProperties:threads=2elapsed=3.034cpu=6.028gc=0.252factor=1.997zXZִF! ]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×[)wqzϦ|GT]s%H@~f_id2?H=0Pu(ANB1>'>.[BI=eoMrE2I^z3r5\l%6AFN5s6ia(bT cQtaݫ?@ T+KaroZl pQ˱gYZ7zXZִF! ]ŗXiɟjg*Cp a:~.-rІ&ݴ֪S$Z{ Fd+k'}:0:4rd|:*^aAsd=jSVƥ"ճju"vYsFAaAOpL4]]!g0=>BWAk{H#Pʨ4uv^wyd]&ʐgYZ7zXZִF! Qb]ŗXi%;уxakiKLdҾq5m1vL{)kG&32$˂ǯY:4UE?32 u_ OcS$h195{;YD7iNtiO4 S:/e fqM B'j*YM VCK[\[DitYࡉ2D>Ixrj`=:KS``hیm+)j~ƦsjkCIO@YYByc^$'F Y*A؄u K2}^/oy!0~ZuaR(7'+ЄXm5G`]s~jY5,8Pmt8︶pk6y/@J-4[JۀmJ!rG0<2kݖ\.fL>72Tq9H'1؊B2) gzp/)CB; LuUpTtYZK&jue3ҥoKoFlcEt㼻 hZoWr4>V Y.> e]fH%VCJSz^aGz+.00ޙ(K<gagYZ09dd20b48562b620625bfe2a2846bdebaf43eccc79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 / LatticeProperties