SQLite format 3@ .0:  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  7 D ]S HOLCF-ex:threads=4elapsed=2.906cpu=10.164gc=0.308factor=3.507zXZִF! V]ŗXf1-qNe+A]}q#=P vUΌeppoRDZd_&ν5q`(z0_AW[l)X%!Q0*$Oli?oiE㍆>kEP|H :8rrUu-%iA/Jg8uB!X-#: o1Bkx-LC۶KUdgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4PUCCm4#t6R`Cv9^eNjb>* $ʃ%76LH/3ў wbT~t>5`Cx"(#W>6)"Eewl_ƥle<=z*lr_bR@V$8^hICnkU WtOs3Cx~lǶ_ P@~a ?ݶ.L؄>a?-~=.;N5\i͘,2G,@ć"4^0!wJqisj3tǫA̲k%^ON^+\P` 28N6I .hO֛nzLbc!d%!ہ\#+nrkaZfDLߗZUG].L#!3|,%+Nf𿥾 .e`WxL[Ь#-:Zawk?/X?ѕM_y.-oTk dz{R{ytǃX B9E2r4GຈS"^#̖.#7m>UQ>L 7رnGwŸZpN,u&"=P n&8-ڱgYZ41537ac871712710c608a1292c12ae69d365fde01795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 5609419a7a5ca1171bd31e39ffab9a2979ddcf68 da6c817e83d2fd3d0e734e587f91f6d6342e958e   HOLCF-ex