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  << ]S HOLCF-ex:threads=2elapsed=4.544cpu=9.032gc=0.196factor=1.997zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD0UeOuU9 i(>%rtSs5ۂjr"kpo)7rpMMIH#IԺۂ y ZU/ZO 9>b9`+sԩ@Os1Q% t^a.dIɃgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4QН+܌z{DΪ؇>hga<#L͠72솩]~jAŹ>КE=x32tidw:h ӡ67ZjW<f7q;x{== 20_3,'t |X.\6>gYZ3b2e0e7a2eb76a6167665b88b5f15cd6ff51f2935854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 2d62e87539fc2056c7097dc39e30a573e3bdfece 3485c0874cdc40603f82a57a3b4d92c22c9e7318   HOLCF-ex