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  i#4t ]S HOLCF-FOCUS:threads=2elapsed=3.936cpu=7.572gc=0.252factor=1.927zXZִF! ]ŗXf1-qNezGh)=|"*AvӇ~{?@& tu|= 9@LTjp淚E8xunj/:Q ,Gۈ ^Ý)ۤ# JRa!]8R QԤ ρ (PT]~Ӝӏpi$<9)gYZ7zXZִF! 4]ŗXi%;c.O?d6% ƿ?o1ՁYokJIQVlm aEh(9&9!~YjmcޛI`iƕyN}]J?A ί't4 wvȻ.W>PwW$A{B> aO޾0R5ȝoziuc{ "w'6_-y4 `oA?`1kl冂'^~ Db;HB9 ^j1JS"'Xww+leWR}X$mOʮ{Xqkape_MijU0 ԗz2*r66 NNTC{Fl`nuak-'/K$t2˻]^wS+OØG}taG}ɢhR=7Fr [uM뻈iOlv薞@ M߃>"\O-Y*RAiA"e|u+E[bH-z V`o%X8gYZe526efa27d7678d3bfc203d83d98ec3b363d864f047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 25919365df18615587d6ae826388e338f79662e0 4092637ce66d1344e6c8d4ec49c9431f618769c8 # HOLCF-FOCUS