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 <|4 ]S HOLCF-ex:threads=2elapsed=5.426cpu=10.764gc=0.268factor=1.987zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD;] a/ f x!xÑnD͊ddOE@2U91w!:R&w|邔|Y,I,95T XI=d۱@Sl%gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4%.~v"z44Va3,ci51ij3#Cs~}Y'ۤ5MbThsQRΝy%Ƙje ª] [^mJoī˨QV8iBף۩Պ# A*qSF@xoJcclOTb}->#Ac.GTV?< @4qZTńdy,F]xE˫S'K)5|ok+4r]_4~S&ySjv+S˜T 8A.jZ)fH??W;A͖)J'ѺawT# Γfa`w`峝@QL!Wkr79oE` [ )`Kv ZekX7gYZ69adda21121c1e735b96563a4c6810458bcb8178848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 4a91b0378458a25b79a30d005e804f494c31721a 8ba1001f3b50321479daabdffce04a8088a02d16   HOLCF-ex