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  g $ ]S HOLCF-ex:threads=2elapsed=5.398cpu=10.676gc=0.504factor=1.987zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD~IZwO~ ظh4)d3P4Ҫ)&P3R`QjA8Rtڤ7q!VXdP{K Dž#*!teEɕ3Ǔ_fҷRyw:YkJYBz;o@#F.N+ wPRRC%gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4/ކ 8Ns^O_'l +o 2e eqՐ$B9SeqhpM6E.Np_դ'' a#V,,~ة4VÚ"6֋RkN(zkKաNK2+(Fպ:#uN*IgfVo%Xy? &xCU^˄5 O1mzf֧*WrgYZ7zXZִF! ]ŗXi%9(P1ȏ,؁>ɫ*"Roٺf-0v tGhe!Fŷ,tSлuZ.6HTN_ =ZC}J${P*o۳3DV-čRT̺捀LRֿTNlRD^x.e-,"~z%llw_N Fg:p`=[tM [Ii4*kpa9xq3 NiU;s%Q D2(Zzh VˍX1 #{b†T/?蒡. D7B4箯nTq@뎺%H5n2__~*ɛs#Mo1Jb+@7lܩnJ5JwBo0/`'vhQsrQU7.͎~GdTp3s ST.59 N8K# L5kF2)8l}bG^8$l=QmmB@m =R OУjWX.GYYƶ#Hȋ䳊覹MPb\ycApqy.0s=WjL3Z5j߱gYZ02543b18742f2fbd4bc6dc2c4768c57a790b9acd5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 96339ad3e448408f44f70a6cb27078e7237b9ce8 4efeff644894a143fa5af1c7c454cb8623197b52   HOLCF-ex