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 A) L L ] HOLCF-Tutorial:threads=2elapsed=11.680cpu=15.456gc=0.536factor=1.327zXZִF! ]ŗXf1-qN0L%.u--W^3M,'_{W&|%hk~lkT = 5ņG1*!8 1e) Sl i5Q +8+oPTx>;9Ryf0Du`;\p;VRz5Ƌ.m>L~d _h4EmvBk1IBC>c(x(Ў>AD6x7SuXմE~WgYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@' h+ \tB/Bl0\97WN4}\TǟF#48pސ"澓Qf"VE$bqQIsj\mK>,gYZ7zXZִF! C]ŗXi%;iDԚd$W\do5%Jbiz;4@7Vnc>xRzcÌNW쨴)5[Qrn&5a+Њx2 oM )8qXOK]J{(s7j[T o5Y)'ήR ?9P=hTnpJ)Lʶ/!)SϳdUBIٖZuxRs޾OC;6z(Î%NE(sq dy^0@ѼzCIk 8z”?ֻK5a(B2`D: J˪k$Vbhaok9f ܩ'_;OV\܃P%g - k%v5Kw'轿V>SpD e ndj}mb>$ v%"@ ȱE Зڂsz{:AnpaxrMwl^b Y${#g.Vh](hr#sRӧ[V8!/o=xG8.d]ޗ-38!EXl)R6-OxC!V bQ+䴣qi"[L=*i0?zt3iBrb?~HXk3+)C&8yq@$\n*8x6ǕpEi9I_ſu},dOA±;5ğ' ъHQ@NGhU6{`x̶+gדW>[lM& +u+pLHs CߵumRlg@9s{΀)۳˯ LȊOy 57`dtn˫1AVƆ&!y bc+ Z?z}Zt\GNi?@ªI),Uܻ"D'p<T0gO ?J:krgYZac19402e74432eec8218b2e8d64f9285ff7a248db6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e7487039f362c8706b20da1ff0ba6f1fd3bbaee6 ) HOLCF-Tutorial