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  : :C 4T, ] HOLCF-IMP:threads=2elapsed=6.417cpu=11.764gc=0.544factor=1.837zXZִF! S]ŗXf1-q恈N|5` 6IAR}B\򍂵; ϟU6&*0@?'wQz\[)M,P9cFZgIT pH *P ;Bx(ؕD&nCp^ U66`]Ua%;ar#Z0oԟ\qў/")H:{Me3=ӎQ'_:,9У\<ܮgU1ϪbywB> DUUV;߆5 `\/'s.Ғݑ!M]bM/zh*lf:R\<r Q??ױgYZ7zXZִF! ]ŗXiɟ1,plnQBmjs{=W˾rPʄ/dΠa-y 3 n]+4w "0Jj0?IQpfa% H%oL=S1+Gr$v b īF toDsv1\L!&D nQQK*eP1@hP$إ DԲeu2Y|tn9f,>y<[\+7zpm'T&[Mpʴ> ,_sJ ,NF ߪtIx:^vq:wI-kW8JLgYZ9687b274c58fc294ec71b861a98751e3035487a86f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42a   HOLCF-IMP