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 FF7 T< ]/]HOLCF:threads=6elapsed=12.836cpu=40.032gc=2.596factor=3.127zXZִF! 5]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{v9zi~= SVLv ]9 3 WzZҦW7.hd͈8n2Ws>q^I"zhV]:ڷ`eTBwls$`S_3ͧO(m11!AHQ KUٮnGy#DYM.@$(2="^՛$ vCb=Ub+`<ؗFA:| T4؞"͎n8_ {Wh8( ,;؅)<%I$TZ*Px6jb*}<!ebHVD\(j[ UwӇɇ9S2]ʅ8'l͘*!j#zJ@JƩp4NW) Xm߱ʉMҟa'^˕]\}A͖r7I&0Uɇ퀡|&_azO 0#Od$XC4KHX[t$d;QJ1Fg?PilqJuĊc0(hS -7&;Dna gm`LMƒ4X# 8Z:cl/P!ޙ1xѓ.fJ{cb4x0OڜXrG|E -My@MS9~(:hSҟ놂$ٰ2bxu$J>3 |$Q β)dRR 6>f(;0go}P!OF3rC(ܪ66lAEh"ND}y,ZT < l*JZ`( UTgͅݠv!N]C 4ag] ~eM{U`of#1SݚAR 4kO/U=W0K=(G+jn<5qpMb&D`;^o|EDY:F.JbzZ]Z%_HS"Uiީ7K zV EBeVc%yLTIs! qR =/HWcXvrV&]UR* r psDs|xa@cNcmLXX*Ki%AOAO'Y}&ob2Imj޾QCOnSrthޑ S>7H*AӘ"K %gݥ)zl2lJi< j i*lI^2H0E73ϊqGSs_ל{E)fVD7Ūas5=|WTa IE 6L͎VLM҄u!=&y… C̊tU yVHLW`݄Si؏נgc(DF2 Ûпu;= :L))?BX꣑<1>2'W0 DvY[M.̓ S۵d-f7g=^m{A1+uNS zfjYލ/- 6 ɤ^,P,KǰH1 /z<l9p{Vx%X&Tzh bU0uBH UjD~PI4WfJveS ǵ&G WyAk8\vIt\jHv~ '"~Нp/67Hi-oeXZCÔk,M ?-6t{A"t}ghP<# ' ZogYZa51d0780049a0a75b389e32c92c4d8a27a2f9dd697d0ac0823a94d13ffe050d721376d08c2de50b1 dbded9b0ff2fe4176c90e87a9433f947f4c46eeae27d26c7ec81685113afe8a20a1bfb2f911c15d3  HOLCF