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 { T< ]/]HOLCF:threads=6elapsed=12.635cpu=39.184gc=2.188factor=3.107zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4|cN>_CP]`G.:87QL<tߑhef[sĈ }i/&uFypy^ZaY?Ѿ~А+ ڀ֡~WCy:cPc5a;L§$֥-`r93Ǘ[*e,fŸ[ڠϡj;*,[Mka#Kd4Sh%ipT4éY ~,lCO[x/;oXnkτ.# /7{GY d1z45 t`vp7^:Ay1|##gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]tR3:V/l. IS7G2ogLM=%?/ԴdtDv #zW$1=G6T]VOs[Csa3 /Lȸ9-0~ %#MbI)c$VrzH? gYZ7zXZִF! >]ŗXi%@ZquBL(]ʫ] 1\y14?e+{x8)ۢ)Č`ށfOYe;_(`$w#~?q1hҮEãRa㟽ѥjvM>_xI+W#>]Z$Oʹ;eesޛ'[ ߅I"2_:I>>, Rirݚ!!8AF+U8!7<` ;n]<+fzЉa0/3фID696e{̌.?ڝUTDHt©a@f=Jފ(q؉,݉Pqh-[D] kB!iAͬ$66 zioM,z.DAz̀WYqsc3r*jf>#X*٭fS;MӇެ MOl}n,|) }ypgYZ9b8d3be94394b8107ea6a709848cc46296f4a77182279e0e1adf83bb56256dc19b76e613b9ff505e 63876a40702696125354f9af72dc0450e7ebf321a400db8038ca679a023908c6767f10c2ab46d1d4  HOLCF