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 N $,, ]S Codegen:threads=2elapsed=8.104cpu=15.632gc=0.872factor=1.937zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r_%' &N G5@HH D~BQiY MVY{zedAvYr?WE~.V̗W' uGiLv##9/ '{3Pȝv!vFVR?Gyg|?ЍPXr]ʨ8 q}"j sM^kqP!ᚕ/c0uUFuW2.&D UXig> &\kZjAkеR*5,$XNku80j(z{gYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iy0P苅ZjXAVzz5:omv+kS▐Y>:n]+(I h ㊝M*VUgȥ8ء;U^<Enkv}KV-dLo6yصF"ȯCyEr]+K#vl8|'᫦YI,._h:s3TpsD%qn俻 erDҼ篼FJl^gYZ8e54912e54acd5747957dea3b9f9dfc94bb2ed9831bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29 59c697b5ea182de24c818b6ce7db9971a1a260a3   Codegen