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 M) D l ] HOLCF-Tutorial:threads=2elapsed=12.736cpu=16.584gc=0.492factor=1.307zXZִF! ]ŗXf1-qN0L%.u--W^3M,'_{W&|%h& .\@^&pUFNo@G[uu'=.U#.Wd.S֚w}.ij1.TxO,-@;}PLȌ=( X0r;\9tS@lir+\:`NMڬ8׍t _p+h˖f!!gWn&@Ѐ"#&gYZ7zXZִF! }]ŗXiɟ>ӇW2ta'(e9D{?@' 2Ma*W-,N{AGxahG~-8=}W@.敲,'v~ XrSUq\|gYZ7zXZִF! C]ŗXi%9*Wθ]]48Rbb`GnIu![{q3|tN10Mu%ͬ{ʞv є%26vjzujrDŽm|z_qF V:QaՃMi垽"Y4@T :MOX7Y].k>aѲRX4fYZ̾-x@ &Tؙ v+Pq ?, Dv ~MzpҤ{ 5eЍgmW9RF>? ƫg0Dg|mQG:gd1i-b1—^4HPwJ8IvMW(e~;b#'!8ݥǙi;_E|Rb@,ªucHo!堢9Lf ŠMYR&yqxݒK*,VEpJiR)n 7zx5!$o~.Y|'r.SYvjwD^rdaVbL \:~oKPU׀uW:lܕD:iK}0yAk.1r" Iж7;OzԨ= ,UG ^L%4}l&~r,炅uG-#U[#-Ą T Ol-B{nMT@L1oF :F'E{.'k~:d- =߄0[T@;BS@9j|1}U7oK:tvkʼn9'^mѵ&CVF}ڜ)76ӳ߉F0} |LQU=dG*o#R0+hYݓi~1HUV'.Wi!f?9sWDA*5HY0 lq/wI.<nQAQgYZ8f07a74cf36885acb0f7e676ba329252dfe06b951f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ff48b9fc79616b356889523312f0990ba7f74343 ) HOLCF-Tutorial