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  t I]HOL-SPARK:threads=2elapsed=2.447cpu=3.028gc=0.000factor=1.247zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖu9[x%'`9 ;)mM2xh|0Xyve<:ilJ1~Ҟ}0|/O"1 gFj;= !t1wq֮!"gῲ#٭ӍYgYZ7zXZִF! ]ŗXi%6ydynpECL{/Qlځj;k%%j_liȺ-K`B>KRݨdY޻㋀db}榢f6(. b݆xY~X\+x]bUpC1qmy1ѳvN8 Bz[!+ 變%BVkLɗ'zt} OeA{W-̖DŬ$Juee/V1!Tk ,-" Nu=ZpT"_%6imb6Py{ty_dEc_V BQO[ZTYaR!*:ftWٻr{`̤b">+!#0~zaw5\r7ubHee=ބ-gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 115048f548f3fbc6a701d8d24a82ac92afb3d833 2d2f8ee4115c18d1e939782b42878ba632c49dfa b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e903758b245c2fa1ece3f5f3e47b6b201aa812e5f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 bb0d522e423772b0e7abf8b5a15b76dacbf01c8c77517543c6b131d0c9f6b0cd4126bfc7e06f5964   HOL-SPARK