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  W T4 ]S HOLCF-ex:threads=2elapsed=5.996cpu=11.144gc=0.324factor=1.867zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD *xr=R?V uBDLOwƔ"˒b|~i*!8FC?6r&,S~y{~'NZOZ冬sr3A{P|vU75kN Ù gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4^*)(PfU(YpaL;𞓽|s"E] fN 7o$#ؠ]^T$|zYл|$)My$:Ū v?KڢCmԋ_L(LS=n'R]Vired^Pv֫?5\NQ)Z܀6"~oZ lҎg_x3!O 3 X6'M$f: +yDiw=G&Oj(˝-e9@N]2^SCnr\ltһ#s~WjipT=JUgٛ߸ڙ [d2R~p:x ]rKH>utd#K&KRnaxqt  -_:ps.8*%GvoC3xJcP4EM̅jޟA;ݩ3{-Ai Q;%jQa$p#O` k2g6>ER=j0X쾠WA ٛD C iD:"C3@J2ܑíEQ8Soϡ`c-|S#}yh"o^ wiBLdۥ3Xm12 )8rrKgYZ3342ed83c1616cba58c17f34ef4fccc8f9b408bde42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 716a86216331055199244637288ec1c6c116ecbb 9a300d807099f9d08a19059075640abea5ce4127   HOLCF-ex