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 6-\T ]S HOL-SPARK-Manual:threads=2elapsed=4.860cpu=7.644gc=0.208factor=1.577zXZִF! :e]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV) 0+i]<$^5e~ԎL)o(8w 1pImyh2yfZol׽Øm=|-AEp (ܡIۯn,xzTlmga&~/&hZQ,>E'V_LgYZ7zXZִF! ]ŗXiɟ1'HGu C),_Daq`u93k Ǐ5OCx`!0 d yx "jlǜr" i,ħZH6,OKٕa2F@-d`1)gYZ7zXZִF! ,^]ŗXi%96}Ifd[@5/z\C[^"Dau FIǖ( =4=i4;[ٔ"$Pj,;sj4(0&s5`h4tfSb>>wZ\^.t0%vŠ2iFč۬Ù~:eӝm-M 9DU!zL" 6/v#\|'ȨOq3%tZ3U/zԙ )\pU&y\vcf߽1XlBxbK5İ! (_.aޗU m x*C*@'fD1\Kqs0I ߊdՎfg brԉi唜?:x-8havw HZ61 [VV}d=/r:aU勉 ݆Çx6O|"c6Pk+a.&K5^-t|h.fj(\t'uz5Ji|%vzELiZq|ha}U ftg> j㈦O|vVUho,trIZ6%7O -C6'Ǔ2@1v/+UM\"7X5#QNґeGuj$b`w)ҝ`$+WA?A˦$F;jk{9,L◲=>tX:,'gYZ7525a1eaf8dd782035a20e19ad7eda774065726accf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d e940e3c650b5eefdce362ea955b9eb74b63abc13 133c43cfa2f2e9b048a9bd765ccab3fa849b25e7 - HOL-SPARK-Manual