SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  o |< ]S HOLCF-ex:threads=4elapsed=3.006cpu=10.688gc=0.300factor=3.567zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD9$i,<۹on?X@{KO}đŪ&a?pCU=gMI'c,*s:m.[`M=8>e8'GX6*Ǘ0cTB 9Lf ybVXJhQ٪ R$"S PZӇ[ aPLYU}h'C4O@oq +2izG A!5SJW"N̈Z5џCy! x1ʀͭTmh`ֈY}wj T5njVܚ8!b[6:~CzM!8]Clx0MωEp\T ].X$t LfF6B1؛U/"S k8k/O gYZ7zXZִF! .]ŗXi%I o94 rj5:P B<*ƻ@֊d0>4uj,wtaE ny>/𢛪[S,"!/cE񌖹j2Ĕ6ǭ?P ef۠.`/ܑ in}obEE/]dЯ,ߴTNj=3=y:TT\yTC]dh9뾂t!?ټBV&11SgR,, oxSlOvق;@a{ W>~a:`$eѷF2-H*o_Afx[aSFαH<*giaR6BA̒\,vW czI^r!.+~0(>Gpum)}]ܾ-WJK!풖Kr^sxy4=Et|G$` K@\~%~U leR~O~o]1t\Gu._9mndsYnҧ:c v*e;A;P3%M+8j%t2n|2[ j=G?= &w #gYZ6370a991e8bd173ba3d1fe29d9ab09aa006d21425a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 fa3934eebd2832ecee6bd7baaa64daafc4b2f37a 37683f26852476465941da2a68db490f3a413243   HOLCF-ex