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 ]w]HOL-ODE:threads=2elapsed=0.152cpu=0.160gc=0.000factor=1.057zXZִF! 3]ŗXi% Ɨދ'| V9(3QT<]P݋+s#ql$C ]X`Oc.:ˏD^4NS#%\=ڼZ~VD*TW˗x'l +@qIN05QX*]^d\E}~ t+eFa%S怯LE~/ӏȁf"KU+ 6+qg7Sפ Y2\ <(ltUtRQ`s[l!'?h2[-yB`Mb0 i!lgYZ38b948c64a12b7dcb7ba87d8617019031d53e871728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 04a809032088b666714457672077332531c4075e 49658c93cfb92974e198661fb1503d47b1642b97 530f3f0a7c10134db413c0f8ec42750e652aa957e9854beebeefad401381e72a64aaa7b9b5b8687a   HOL-ODE