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  F F7 \$ ] HOLCF-IMP:threads=2elapsed=5.614cpu=10.568gc=0.480factor=1.887zXZִF! F]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSu: `F_rY.V;هw܎C,SM1 \c^kB;hpH !Rl=j;sȟwH*Ty#}Pimdf~\sb6{l&S(daߵ޳O@*#E멪M2=~ kLL c/[™hV&R(u..8xD_ /GXW!Gݹo2ӐtJ>\)uL0Ra>~)RbGpFJSi_Q^t-K7[_2ER<T: Uf0mI W8څ`Z^Ŷ3sЪAT9vhz6$e̤i% '4ZC)i@qe("s,JCq:gR @y8O9J?9sfkH 9Ѻ ^S+T(ݱgYZ3a4ab3615c31a322728cac7e2dd492b5c3227c54047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 25919365df18615587d6ae826388e338f79662e0   HOLCF-IMP