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  8T4 ]HOL-SPARK:threads=2elapsed=2.606cpu=4.388gc=0.124factor=1.687zXZִF! q]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ.7:\6"W1iT*sD}vXQR`F+I{6KNUI9JyKz77ly4=*>gYZ7zXZִF! ]ŗXi%}ޮ~3i'%e7 0^nv܇-nr&0QĴP.dN%=TvS{%wTX~'"\#ĕm܏ 6 .ZXbH7Dβ"4O6?-*Ls B@E tDcO6><(R/B¼FŔ̋[k1Vr 5~3vG(qbqsg3XPt&(\W B!a#t;@Xؑy:ݔdh H͓qYUU2ZP׾;ga{\SqJlx&21J^- mB|0 &򌡯8FiKV1+q/JG@$h3W}d"(/'Ɛ\>#gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 115048f548f3fbc6a701d8d24a82ac92afb3d833 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a20ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c9208255d206cd3c61a6d0ee2a6e7cd0effe3c6af499d8   HOL-SPARK