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  < <A t ]/ ZF-AC:threads=2elapsed=5.822cpu=9.848gc=0.492factor=1.697zXZִF! o]ŗXf1-W'U=Oww '_Vjz/;v |C02Ε=B!qNi.Fhw>tXyn@df”)&D~B W7XX#e9UP,,J~&'Neaf=^J` JV.`Uyj$d\s/DBx' JuD[gYZ7zXZִF! ]ŗXiɟ98c tؠL\z`}"<:bfo|eg/Q;h4OU;? Djʾ*2Qg*jske";};oE]n'uZfS״`N&qK26DŦ`hZ|;ڣmr9yOIr,\(un#0{3y[Xw*/ )OmtvƧp&S gYZ7zXZִF! .2]ŗXi%;i^T0"Ŵ!Yhv\ax\1Lh*sǗ_I\+"ȥkF"s ?ڡ=cC䓭u1>;imi@&X"qu`6`duU9rY-u$?{Oe}s#RI[|^n8ƷHЊzېG-pI *t ]-3EA{0Dc:RCi,J|l|?D6V͒N?V3-=aM'?n +FQfcmq.ٯ^o⿱u)"Rmy>COW~+]ZjW-w;J#$" ˗[yQR^4+v:)9ᄨapcU*Dygi;/d$sQ{4 =V &"iB\ݫ6}1Wb ]{ `?F22WPr~ K pYWv]?=B# z*:?b^Z wp`uiGm"(LN_KV6KVV0z'r0 E \0Ӆ?])K[/jpW=N$_$6JMNbN{!0pJoMף6.zKkQo=?ȻKTt;3YRS\g(qx<BDc(:aE=Y#TCAcDپS;씆 w7+/Mr(]XgYZf70dd6c01969228c303a62b29f7706db7931e9fab6a06941c7f4d32a9ff0b780ae34fa263f209f1f 2df90704e8c82afb8dcd42a90638700d19612606  ZF-AC