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  RT, ]S HOLCF-ex:threads=2elapsed=4.756cpu=9.400gc=0.236factor=1.987zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRDwR2!{ĩY)OlFQ_{EH";3 ^Oڈ]w(k[dʹ>O jsª|w`'$(|x_)d5xt=<CdnUk0|%P;Ù gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4kHx4Lbm2+躋}'{cfڢ8~NsI/sH.w]ј 7:Y{PBP(w Mu=ȚJlHܯمdz j<\ft66Ł-s9 H:a!@-/{,Rb"^BvùҘrPy%*u{ U)XgYZ7zXZִF! ]ŗXi%;iFIn&+_/ٖí l΄w|| kK<$&R~jwN']{_昸=G6];J5朐P̰M{(Mtng'[I\e ԱzfK[r2Bζۙ<v|yRLHrǐKw.=J9k!Q͍U牭U.Ɗ#bZ̵ew^jN]Tzav|ɶ̚|v2 c.?揮+0`[;@faL>'))" X3u&!#۟7Rln Ag_d@˵(vGEDžg%/VXŚ=p nP+v;^~*!xlVߗBb}c6l  ` Vop*y7RIsz aͲ60KiGN #TB0ЄMC(uTV *ZfaEuh:c"l6[I㝻GYGWjsdyدFVSk=KnJIOfd3u>igYZd31fb8efb93da754934c3641f081d36249bfce2fb6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e7487039f362c8706b20da1ff0ba6f1fd3bbaee6 3afae7f6c254d9ddf1d56fd5ced68cd9da3962ff   HOLCF-ex