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  L L)5$ ]/ HOL-Record_Benchmark:threads=6elapsed=100.188cpu=180.628gc=10.732factor=1.807zXZִF! Qy]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2Hj9ԝlibPoK^zRAƼF':Μ tYhJI8jMk006>O^09/<^BHX1w!!?6wXins8rkcTL2L澤#}h jQdkkSM(`4r\aoO_?e$^<51FB74)gPαW[g {yGJ{pB>!6۩45:Ϝ":ٟXZ~5*-@Wr"ͿK`夰XfD)Pj([a Ձݟ|,jAeF< U8[Bs:kK& SDSYԶ!ٓTi;7_8_knBp6Aiؚ!~+UnXM[rC\kK&!yN~]oXHi:VFypߝV 5 HOL-Record_Benchmark  ~\NDaҧ~vbz<"<ݔ g(|#Ƶ K`{*Qѕn%<&aԥ-$G-yx.Rr>4iۜE2R&YAD=GX$H*^NTچŕqh{,o' UѳOM. v;Aew?GIX^s;)*82,@FŁyY!hO8r}25KF 30ޡu3̋SWz1Q)S*s\EC:.D7'խ(Œʄ*1s;RVwͮ *뀒V]&Ϟ ()ue:9}}q&4wv!abfnA %!aJKLNG([9W+*مKd A}UoP&@Ah9Wy/zex&PC/R*d$?k;O(c> `qQi"/Oke3_li,pRYHbWDd!([5 ZiUl_(8'Dԑ=cA|pS,CZM*&>dj0ovW + OVv f%ye uVx^y)^E>1#C# R%܁]"]CQ1g*\%IWUtq+Fd'l{(8%0QJ1RјU^_]R2}7 Yxs c髳K פsXWdx򕇉H2*'*m؊c*Z1.:~l,E N$s+M_lѦ-Q0<cܲ[:#Dxw}hU ,^VRzN=L ;+#.{3igr[tq잞PmH^,Yi jWY]+",&! *GswA& r,f7%HiAn`wr- x!Xl=z5*iUdi= rP0$⹝\eTFqt$s3X@G#ë/;?"v@kNwNSkEЊ+پbf X`S/E}QN Q:[Xu@('C)'ZnJy}@5qzK`u֗xꥨz5E!zO$plAA~6PjB)3ڨhSȜAo9*9@ښ$탻HHOѤ楟wr.*?  2/y>&w=_PPe'_=0NҐVh2>rYHM,p1BWcE=QS$1V tw 9P*AIFvo>FLcJe, ݨa`h' 7aU&ɷv5YA ͷQ?E%*ZXgONcZ7#5HQO+oЧf4^7fq5y=fv˚UVoC\tƈD/=UuȵXL7lkO*\1Vy$OJU>@@XHEJ6#Wj}H]5%f^Z@?'$2 ̳+`8xt!|& ,9J8) H)v`li~y;V:PODŁrS"+p?hM!B0*˰IiǵdL58MѓFic9VNE/<:%=wK{*jXj|/yt|0u2oh$A.t̄~lY֔X4~#˼ }Mj,Xqj ,2K83PI@6+WujTw:hE`(Q1vjp\P5~۠Ѵ>fvx8 'DgI.@|7}EE!xgG;'SoC~X!53b!YWj21L£7%P#:~r^QWIPmg1axK=XpĉYs4̠B C`4(7ġT0a|soݪ%ԯrZf4 C5NZ<Hk;G].0Z,:JO.!а$]BD( hSbZ |ŠH2Oٺ| s~@w tubIǓ;Ӂyݷ2XFszμ tB &g/rcd` Z[8ov(* 4{މf C&L}-5(L0!:CRWzwEN4);AI:K)цjA4"ƺ˙gYZee2ca16d0b8c5898910f7c94af7a86f679084929ddf058c9f10e05f4106827b25b4f95ca1cedad49 983acd18ec90f8d3a7702fe7ef442de9eca26a93