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 q) L , ] HOLCF-Tutorial:threads=2elapsed=12.000cpu=15.744gc=0.548factor=1.317zXZִF!  ]ŗXf1-qN0L%.u--W^3M,'_{W&|%hjﲔkWۗ7a;QPp w`uݺ{˘ ]-n+a )ɣ:.6_=grNKt^&O` L!(}- zA3cT;AେFf^.wI!zb[1Zu>DI@v4)4 SJKD 'H vܱgYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@' +#â&<(@±<>/Iz]/ii@@0ȝd31͇[&`}D ƀsɌ3_>,gYZ7zXZִF! FC]ŗXi%;t5jʘ"gSA6$qA n+NMA>%4+w}kvAf"SCrw/wFZ'E]k~;,`#]$gбIx SdU101*]ߑGQRDo87.q:9ZIOsyU^]dtu`ܘx"A*F2"kY 6ӣw|,kziO:u1Hv(n$d ~v|UA+iW"%O!"Y7; 5Q 7^Gz  zgB dT:l =E9 ēMb?&\AmǕrK>R~%~M߲vcz kehX6| g*64M5*wA`Vge õޠs vjw^ٝ]nYJ޹rKb!YZ+A}E[yXTj^7{OQʹgJct תaA8CJ:)BZp9j<,6dX6snmZ)&€ZN8W75T`pA}%/|څ7Ah;ޏuY/!i#*xH9y]YM&+~ڇfۥj0YH!}Vilt[j%0hjX;zLe~n͇I)HG7cc9ZO?p>Ge1ܐBC'1niLi9E_46+iH3gaD+x LHa4L׃0M{uإENHmjn;Qo7eQrYt*&_x3?Rn Jtal#|;JdTk!Q5-ߨ,">SڌXk:)L@s,;Fi]q^9!Ub}r%Č}gYZb1252f33199de079f644f6a2296ef6939607e4c8db6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b e1a49eba39be39a6d30f2432d1e20f9f853d1a3e ) HOLCF-Tutorial