SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  s < ]S HOLCF-ex:threads=2elapsed=5.499cpu=10.976gc=0.276factor=2.007zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRDB(yk{pX,2xriњ&"hq:mPMO柽Ŏ\Sٹ%&_5Dp j@3e@;%6~F DЏ& -%dpq n5Gy_!V굏rZ7Rკkn(1E(.fxlRgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4U@b$AxWD4`3>HPsW)[ELߧ39a'3h S ܞ@g4>7SM?i> & Ѧ5# p)*AdW[֐Dj0Sgk@[7iur@oΔ_(g}8S}=u+9a*y҆y%W|^۷e+4PsaXܹ běz8 nnTb Cfm"o-Ca2G}^]k Jt4}*#vH+ݪ.kڌ /},Kk MV,(cNVu T_"z@Pr6 aHY3@X,❜OˣF-*o~*n 4 D'd>|,y~/3-n.Y͇gL *Ie /6`i /0 l׬b`6*Jz:\4 0Հid2򷖭 ^nng'؃:8׫kKWS03L濯AɊ y6lĎ'-Y MEȈN7xpR?BRK6 9 |9l98z66gF7pQPK.:抋T0OX{ qbsQFKGZBൣ:]xZ7Շ.?j* o.Hy75%ǞD 9s`gYZ35d1cf1b1613e7d54e85cf4c3e8d3a44dc88ae33a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070 120285970e6e4b821edef8ffc499019b93e496a4 5bc4889ba86cdf15c09c1a9b58fde4f32dd476b9   HOLCF-ex