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 e) t l ] HOLCF-Tutorial:threads=2elapsed=11.786cpu=15.440gc=0.584factor=1.317zXZִF! 1]ŗXf1-qN0L%.u--W^3M,'_{W&|%hP9oLuEǬl e M4G}LZ>XcZ 04x(giѧZx&`3i@O e111GAE׎?J_|PnpX'xFsUxq߿-<:E9pu-'ۭ@.W6$xE p(,PZEL rSKq{gYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@'Ts O};vX;-ibV/ gE})sV\wxy|xn`Qx]X$B ^)>,gYZ7zXZִF! C]ŗXi%;c-oVgof+_=VBa֦XO+@ē Νvndp *#@B5SF6St[YlNUK9 Vt ?YrM8Ю#NݾQ%l{`8ؗOmj[cZV-_chhGrGk;h1Q  ss.EqݶE3Y*<͠ԩV