SQLite format 3@ . BBh77otableisabelle_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 <7 T, ] HOL-Word-SMT_Examples:threads=6elapsed=53.342cpu=74.828gc=0.896factor=1.407zXZִF! d]ŗXf1-q恈2Z( \9rfJ̔`ohC/1UŃ`'^[Gg+I+%`SXz4,zF|:(roWjGͬV2rlnJgb.CNP"<Ɓm%{E_uN{?tui[L7|VRS2\pqUʔ*%r2ޚtշB2)ZՂiWM˾lRQwzaQw,z+To/}]M4 T @BhveXs$;y֯.wjeTʈ%}C=a8Lin$&"T-*e.Xc6A3p5D3xwU78 ŋ*ݗCmrAUE-O5idHb.⍀\ŗB9P6Ro).絅3i=s'= Zrn"-jpHzABeMjk[_< 7}Ü x؝)X>Y )U[& MuI$gZJ@6 =&}/:gYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%SsM;|K ,Tb:\B8@ ~ySC*'#˲:l*Ql UpaVMaE9FԥPr c”c'F-4i^&+ZloK$58ټwcF3-wJQpDyOu"62.$vrħ8i FJ9C!xF4%q8䔪y?񿇭qDuf&rTqj(J)e[g%QԬ p 8_ `UgUNm|ϠQ uC@P;l|z 'c66Snoʌ 7lg ;t`r$ր vl^xRLjU Q}\2#j܎ V:|_ FEh?rc@`A ygpOֱ#8#2#ڻ&P.ѯF -hx) 8n0B30]W:jBBqo8)mE vr\" aS[Y[:L0[Hx']4oO!RAYHb+OxoX4-]cҼ#'cvK23ۧKl/la:pW/tQ]X&xpk} ggG=htxI)+ cYͻ4+`y reZaT6k:'\~di?Phl*μDq(T21j,Cb8"h΃Q&ӆY>fr%+xmj i=1.#Ȗɍ˄j:Z;]Q/ElK~җzgўƫ(6(l|b+cA0w)= mY9DpEyG+TnPR%K`1%vrpg{vҾ Cύ.I/~ d]~ag(