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 ZZ# dLL ]/]HOLCF:threads=6elapsed=13.027cpu=40.544gc=2.272factor=3.117zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCȇj2XD`PD=SϷcyMȱ {{6@IJ'b##8|`5M)JH?%|| Pl%3؆T}⫐$Tqa&a9jzl]^ƒRtKgPޘz*.7CɞXRnnxum,Ӈɇ9S2]t=F/GdK7Feq*RX*ּlnDhG,o $)R}3dI_PN":A a 00xNˀ]b|,+ G>0Uh< +h}p) `hw]er#QmխUzl_?sMPYUn{$ N3%zdlj|JR1(KD~Dkҫ"t0eWMDN%.^Eq0[Xo)fx}n՗MBIOdKhʹ}'}5'C @Msƫb^A"u/BSK=gYZ7zXZִF! >]ŗXi%@hN˨Oڀk!?hܕ…vnktİ śŎ6emM@_L3>^cTvR*,mgN[3Y+wyĵURқR:Ix#=Sz?+m}3v_<Ӿϳ}UP+ӲZ}=4U% _cvD­+TGX>}!,9RrHIMNA?yX1u>+M"D sG=ڔ!*x/Vyn%$đuH9V[eM]`*`%H$<+XF=@WAxr6\%0wTZ.PoJt jgLhFg)@:y'n-@HFt,S 32%) \ ?<շ=2Zc֔k1tV-=Mj8{h*O=W|N@f4lHd\hQF c4WN(y"f[K*VHCm *`򂗒WܝYL_8ZsCרtEbd\>=@'9a e*t[w W nGq&l\OEkS -0 X%q[9v@yΙ'|DXT?L@YxqU+;sBqrf1:g(v!C>|7cgw БtW7PNB(.=DQ+bE5mi-xH@X 9gnL ;?QQ\a2·{G~d&Z̝yUuHmx7ɲې?ӆ& &/ۅF߶() }ӱgYZf8ee709c673bbfb6f0f7c0950891622d7db6b17afa50210ddf8b9b3fedb0ce42921cb5ad72fecc9a cb2feb7ec86e7bb71a050fa9d8083329b2967ec4deb8fa872e792779f7e4a2994bcb5d1489b6d20e  HOLCF