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 ((U5 d  Lam-ml-Normalization:threads=2elapsed=10.344cpu=16.624gc=0.744factor=1.617zXZִF! D]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 GvQ&BN#L`sJ*3I0Ҏ \-aq$|3 VҐ3 u'wv@Jśs;_@A)'clg7 z*E8}鷳,V%~ba\Dbzڰk)' ?4!H&|RXȪLR1O 35o@SwdqȟW{cwşC J{^| kst2f!}P9:xSgYZ7zXZִF! :]ŗXi%6xqpAL+K^avk>}scآǵU<ˏ^EZ*OWҽ߯w[5@%;[*fG;N0rSUOX jbՍx8dv& V8FLOu>z't{&EHAh}{6<" 6>-jlmKś}tm$uP6\F wǮXƍs2o9O;Pqp $cm>fKLZH1G!tɰ P恣}傐2ɑY(PׇVuBAB2;Neu"V_bLhE hAyۮN:J;6mP9 WIWj3/޼2Y^:jtə& 89HssLoA *mPiq kk `*MYLl3ef@s2Q{Ǟ4EP>@W0(j@_Ds("CRZՙd]3M7_M ȼlrDہO6d1vJKa b Vo?.,B#&=XLޱ ^j& d_gǓ[o7׊ ɑ Q^5H5%uA=`%a1\MԈ|/d0/TKyC?gbmwu^X['<(ԙ4ͫi&ELo}pbfM{I5XXAHv@W@M࠶Y> pu;gYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 28607e75167823b0e62e8b81f875fa85a7d55bcf 5 Lam-ml-Normalization