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) d  ] HOLCF-Tutorial:threads=2elapsed=14.599cpu=18.760gc=0.700factor=1.287zXZִF! +]ŗXf1-qN0L%.u--W^3M,'_{W&|%h [薤k[_CsZS+4*ZkMe&^X5S:Lf+Pٓ{ r\ôHƮ*ҩ} /P:a:40tAGʼnTn&ӇW2ta'(e9D{?@' ^P'4{㕼xv'P&!{O؜IC:z#$f/(n\pN>i2z8j#gYZ7zXZִF! T/|]ŗXi%96UZ)ꣲ@wEH3b:&bt̎Ӷ6u,5fe&O= VkC1+ص`&x?Z "^iήS$fc`dUs7vjF=ԨQr뭳'vmP~j7BT \<="3ޒ"D&=Shj1ŗ=(6\XFwzn[(1pQNj_c~d$!gQeoV3\Xmi0n 6lAkVʘdLUgOC}0qTLP)ٯo=|A>$#ţj~3JZ-3=Ő_=M9#A5Sn+H=g9)à|q~!=~]0eѕ6ڔ b }ŭal;YoghE\^g2H1%a2F2ŷ!*4w77یLݼْ=akGLSȕEm,:E!"ɅOP\D].g`CC6@r qu9~YYz!as53. ՞Ǯ3!5[?\jCCioZCW$#:#]UmӵA@9ϑ|:ՓS=h22)7WaS/n["R}8)$ץ686)!60&\yc\( :/K:`D6Yf?[Ge3ڛN8f @FRfnx71 d)^}I5x#"<aV%6_ 7@_2~'c5ԧ%G6J#žQ*3ƅXW rzs< QrgYZb1235d9dbc68f993321687831c9740ead8b5cdf9e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 716a86216331055199244637288ec1c6c116ecbb ) HOLCF-Tutorial