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  + +R D4 ]]HOL-SPARK:threads=2elapsed=2.630cpu=3.548gc=0.156factor=1.357zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖoWbyQzY?=rEpg\HД<4#@Rzs=DZE_+GtgvWMC7UGDb0yeN6ѱgYZ7zXZִF! []ŗXiɟ1'HGm7瘊Mǒ|a#+!_fh7 A< qT :ѓVæd".\ `NwQew2cgYZ7zXZִF! ]ŗXi%;sW"*FBw*8VhՋQo]{ik _^B݅_m-ht#8ppsݿ]\>pj@~E/GCm/߅fʴ"0:NT%\f#$܍M Uy(Sݷ뤓 FNp#a?,q~2I;%:| ;պS4\obm"v<.<ԛ+ok7ncG_[fyJg;AX)xVl@hXlg7㵨Ҫ[Uԩv-oi,<I"7a6|@kBơҠ3è JvL>bIŒۜNtf +zP?s޺óSnw:gYZ4e635e881e6827a1c383faff5d0f4b76200ed1c35854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 0e2dbec035b49eaacdf8a082cb27db5a8a73b0cb41dd1b761213dd118b0fbe23efbb6ad638411ed5   HOL-SPARK