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  d4d ]S Codegen:threads=2elapsed=7.093cpu=13.764gc=0.832factor=1.947zXZִF! i]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r ՀpmLe\hJEuFJ>rXV-Lܭx7DkFƳF`g,]?iǶOWև h "0@~mFmkR E!??8$9u98Bb` ,_*Mmʁ!派"`USG1!4g! O>R*#78 7*Kzd!2)Ag O.cbx = gxW%1ڽjTe_6!ӿ^E'X mb(K|g8%R$ز ˗r/r@̌K۠BDP0ߌ& &J$n݋ҩRBrDE(| F89rۛW5\nWRY_I| @nncdnǼ—5)?2@O΅nZ|-*@p_a$I͔BgK -՞M],QjJA{jgYZ3a4c686553e2b9d37c1e7c255f0ea802dc98dfe4634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e c3d91c56178e4cc9bc50b2185eebfd9351309eac   Codegen