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  ; ;Bt<4 ]]HOL-SPARK:threads=2elapsed=2.435cpu=3.248gc=0.088factor=1.337zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖgsvR/CrhY~ڤR# [$;"QdnZBH̋[t5=+X&PjZx% h{ށBdm?[ u=SgYZ7zXZִF! X]ŗXiɟ1'HGm7瘊Mǒ|a#+ vFpsA" @|.E*̹mEC43LpnetgYZ7zXZִF! ]ŗXi%9*WXõ{b1v+s3E3~$.a0IHW-Ds]p)|3h~m<$A>GtM>.,9if#hj2w <fSw}Z&B{ MZR[7O@UqLS,)J [Q?N?rr˽ʝva~"Sjˇ2Մ0gU`}q3xʜ-b :whk Ytgԁy )BcHF*Ki;g<|9cz[w5^C[K*$jKw|m7{^"VHN$#䚉 J9gWI+9H\߲=jjd)g^h86hOCkWgYZ1191b3e6db0d4378e8a90f576a339012920607b7b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 1da28ffa1b7d21a62a4732b46797a7f485f843544db96ea1a6ef3280e34f88a7bc143dc3e2ddcc4b   HOL-SPARK