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 44I) T T ] HOLCF-Tutorial:threads=2elapsed=15.446cpu=19.580gc=0.560factor=1.277zXZִF! $]ŗXf1-qN0L%.u--W^3M,'_{W&|%hX T_lKzj,yeI>0)_xӇW2ta'(e9D{?@'-w5xxC3זU6)">E-Q)皞ض^etH}ޣpS7$>2,Д1gYZ7zXZִF! Od]ŗXi%9(Pω2\ ry%d px雎MygRgl9K9qvLVnV3NAׂ#3m(;ڈy1^1xOdfczC`p` pIǥZZPh3pSKn{Bh,V<53a^zt>I&h'2xś>s*p=~tDZpocC7 Xmx9e0K}.Z'Qu1ppI}C5ܓX{q$̃lw@[ 0J/rr;&9M>hoDɻ"J׈ۣOjt Aa `Ō>5e[`G  +&jכ2j^=zD+kc w6DgT:F>P҈A!I\|W8M#9vNGJ!d8]ۻLWv,u]Y{?BOcdY75默<ᵴ`H ?H'`ÄkSfC@lIʞ[y 􀸄pB@"[wW:`g@t5]]B"ɧS"cekͥD_{ХVաHM9 |y(dVsR7, M+a i؟x ľ)x"~~UL=GiGo34yT=c