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  %5\$, ]/ HOL-Record_Benchmark:threads=6elapsed=101.593cpu=181.852gc=12.724factor=1.797zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2MG:Y\KP{tr2f)_VxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/g-g.l!`vʍ/*|eXk (k ak^{\*}YZ7zXZִF! ]ŗXi%@^&`g@1xϕuLn/K}=/$/c@Nߨ>}c0#z:-wfJ s=TnݕXYYD/n{6醘srRvλtUW"wNP'w"":OV XӺc˶lpW/قfM9 cO%=Ob93Ùj؆08WМp?ϙh&l:I9'zYapx\qw1΂&6v4O R#%̧ (IO|6S G]:38^'S'W QQ6Tf M 5 HOL-Record_Benchmark  2m|;dOP$Z',6][a:d}} 9[Ү ;%R ^vA&X˶QX}\-ori~u\g-Xѕ<ÎǔVEP )עً2bUjb j͎0U( BŴ"Uj}g_ I<h;Bs/ ?/nʮ?MTtk$Cًx\ʈ5-^S{-Fb2ȿg _I@1y}ìp3 0᧋tOƀ}c;P`CBĺj"&.@ 0=|W~3}NLaO48)1ӈL7v=u?tݠd7Zt h '*po͐,ɞpvkunWP]+ ԡqjL0Wy{/;R&]{K۵_DkDhcnK.aris?bV\IKR HH@yu,Z| # ޲,R@Һ i[vN:MM`T5OiJflfU]F+94@:p} r2RlY6Vq6~-}aIoEbLUc{}ŀ> n .yi CH7:$'-[y%G\K0Q3~r֢e *^{&{cY֥=ΖABdy`mL/  ڇ7-̏Zg]$gW|. Oa,֔L p1g?Pl}"ɼOD(9[R6rE5]ەܗƆwFb,>2,F&76bqMs};ōj`UX+sĚwyVDz ]̠ϭ,?Bv(JC ;7s7:}N;<j8Rs,!Df#DZ-?%uyyI&{ki6j  C[993.`w9(rOY\WYϞ񎙙ASAHmW8?=T(y2?iL"\bhm޿g" Uq0ʋ`Fd~f*i]EU*@kWn3<#vBKUu0x`ݡOMmlh(0q%A F=g5y*&kѥz@՚댈l#eoZ a.!DssT聼axKeB|v6Q2:_V^[#`@#TNv.q8I>e 8EB"_DLFg8uca0"Fb 'U i[KǶl H"az17g+vhʸ 1mM oZѲ_+Cl:lzm1ˍT*Ϳ4m `%꒐vp@2d%g ơ^;M.n(SJ R)aQ ^x2q]f#/b-6k5\eg]b(3ַecXQ;vQB=I3-$V{5^;yp㢟3t'thn De#SZ aVM>JկqCbc֥j=?A~<BlMϥMGb)cAaF#<g,{Uֻ5N҅Ռc/sϭ _q+(f]N#9n%fO[&mE[RեPoVx 浭Zh;k:FI" ;AD7ATmkWnQd$o-N#/'GnRw$/ zt?#ft:5@ S/ T6kV|a`lHa-/1*fтg쟅t5NM򎐪^d`xZ ) k`I/GO!PZ %UVI 5b^9;%S<[$A/ #ϊYxb_tRyh(I#Gt;wwN򶿱}E4vm0l6ZguL.#N(XUq@luVyΔZnqM1x ATS}{DXf(Yܰ #>V>L2rG4%,%]O,R^xbp>_73qPҤY[b$e+)EC?>Am>Ns/G`鞯w ~L sŮOF(( a h>wI%F,|+i_(5SdSޯ\X~Nl{Wh9twN'-A9WSc3y~2gQ)cNw" ;ɤoMZL[h1C>2U2qd!U@ )\*!_ C2D= ׯD[gQ̊e@xt(a&،{$c"abcDRur};v{UJk\Q<_x5jPڻXoCPE