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 K <4\ ]/]HOLCF:threads=6elapsed=12.251cpu=39.816gc=2.628factor=3.257zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0eULIMJg?8=81K;sZ*  MiI~cM@nIxU&HS?v[D}3-s5%"ChDIlX7JP裝wy1rʼƳI@U T8c1\IW!Ts0 >?cqƦB9xs}PHN1`2dNf=@(Xִ=Y%p7ԝEuŗYcE۽;go5UWJϾnAWtdQ+jsYiXP,;_ɨiSmCY<||\Tq5 t]),D'!`)u Q3Ijh&p#m=%7 }qz>wmQ8."R#A:x6"mPXՀ$)3as"H󤺜ЕGE}AIU|A߉L(@V?&{K|9^Ӈɇ9S2]k/Su6@$nJYHIGt+`ngC@}, v`. [m"88^T #OZ}>|n@Be?"&p@A}PNs<#V+gv ;+{Cs_2)!D,qcZ|=i$#ǢG#:2nz yweH-(ޥB~DՀ 9 5ٽ7`ns-جl'&8(fk"dfDFmd0PKZwkbż]|x( 7^E+ X?)}ƫg-ѷ8ߌ}-?Uؐ!+SPH bN\H1B-/>nF[T~Q7pM36px[9B6{Oˢ!\T66NaJ{ Մ0[HPEy@ V }__+E^t|w/8^?¹e@ =0[YuR.gYZ7zXZִF! C*]ŗXi%GRLc@El=)j)06;d"Iۼy&!m!nmR}:R16qFƕoG )ȁc LP R sD`nI}C и@?G:)L/p5]SԲjZ@{Sown.4Ŷ9XYlXqAF=8mUdA +E{_E累M' /xQtJ ؼ{܎&Z8qL m ayM/?Mp3FW=ϧ25'2$-ѲcLy&;،8RޔFq2| nƋOԡLuf'!͈I,W07K5b2] m,)W?*bZ> d d8!a!@R~1 Sk֚d<:_E\`"RKXw!A$PGXae≮^i%`O ܓ!3%J)3 jgSo|aPl h8'}ԛWZԩἕT~ \ڇg ik$zt @!| CGQtkS]LCv.kJʴ=2|R9=XN$r nШ;&!D?"(f \I}ˎ r5Tqʂ泄mez i\I h cIKaE1Xd!>g̬3H4S*0Zҋ[C\Qo)rB~z塶 f4@0YQ{?? ADK/fʔR`Sj-hb"E VhCz_ ]> 'O愯`Wr΢Dc n|{Y.P!變]SwO26CKxdd6}uF3E.OҼ]~b36_}=釤*[+ĵQ`I@!a5])Wt0y#ltY!$GϿx'mx'z4Pu?aKwB[]VЭ;J52ܛ9u?ˋqm%4+:ǿ9Kd"?ɟV:M\1.VA73olaXbl ї)qBkl85 fnf9lCb`i0% TIf|n}&d;}מ5H;F ݹNj49eߜ;8 r7k.2(B2kċ*|+`(@?*@5V'; %֫ q5XgYZ330cdb13ace1a21565a3fceb063629951d8327e94a94cf884247418bea313a9db35e86db2b51269e 14acf31a4772521a6ac0f6c0b1425c28333b357802eecbf62e0f4be248d05a011fa3f0fc7297fe09  HOLCF