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) Ld ] HOLCF-Tutorial:threads=2elapsed=15.448cpu=19.676gc=0.628factor=1.277zXZִF! ]ŗXf1-qN0L%.u--W^3M,'_{W&|%h` QY$ӤڣE?\W9hR4)7smDZ1R;]GX)ӇW2ta'(e9D{?@'nss+5qGOQrD{?Ÿ RoڳVfjUaU1蘴ђCYH?&3gYZ7zXZִF! Ol]ŗXi%9+W[aG>cN4{G)/IF݀T8oML{;weA˫N:2gS*L| 6!Ŵf],*A܃WMO!.0j`s> y'%n7%;z75oIv)8-a@X}q-{u'GvyʊWY8]G5 Xfw%#\2&N'fNb`rtqCs 5qB7^|8r(MO$j[,;OQgf?- :|wI?~$NI)!aYVmzAXyܫ1UW>z2=:-ϤW OF:9=,Iɇ֫F& f4mv~Pϲ (n_qjϣ ^_n-WPYhd$(_:>ued\e+6OB*j*$\pwbFF+YP" j#07+ΞYi?9%] AGVAĸKZɾ BTAKG3#yᯅU#. #2kQ{J qÑNgđKNdno$ aDX=MqH:o/̐zV?0.4Dȧ"cZ/<* RA 9Y{ɻ =,ZL0T11:Zq;qN̸ -{%R}[r/xۛ_h7uJī (~@ h/eO|ǴdA0Cӯ!,!TcԄe2+; ] ZŧY_z0]ImHRl?Β]Gvy|(f! sv;sȫY$-_7e~>!<|̰уX1_ M/lgYZb1841228edf3ba07de9ce3f0188fa2fd18b694cd41dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 00c52217ee265f36cb0323afec3080794ee45c38 ) HOLCF-Tutorial