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 i1 \ ] HOL-Metis_Examples:threads=6elapsed=11.564cpu=50.220gc=2.788factor=4.347zXZִF! W==]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ט(C'PDs!.23aPn6SO4HPf!;|3؆pJQ+XMMp΁JX5@ȕMy0ȯ%L0M[ *rZ;n~4fFw^EvQ22 Ax93 "xv\$w y/M!@stM 0τK6B $ar$n Ҝ=Kk*i0,؍RѓU_ra<3qԑ$TNf|c(Fްt60qS=w3WB)dej@9kC9֝XFwio`@6"N2䍇zPV_!:n0λg%' q^eCyZ8çe|; $FȜ,.wD6aXqKty2ObrY QYg]=W(:/ Ϣr[e9fcENBȮ b_!P'oZ^ mU׾EÅ/Ef{ⅅz#cCjvx]%SG- ;ݎ[АDžZOᘴ3[6uo 0ҙrbɀr&%G' !ϰ8Tzo?SvU[JLN.23Pkm]v[g;W[;;"*!;wߝҼ%x 7"\n, vjW0mF5CG^VfXOלCwB=Wki"'.٤l齯ՏS܌qUcb}ev*>6'Asq!w>1ϰ&q6&IIB5"h[u/28OzgT.q#.< /arQ݋#oǻEPFXӠnk:g tWkl#tiNsQnɞ%=y T;ģ.Kj ͙\.e pٛ2ZJpwMlϼ +[Ōrtvx<1ז +?rJ-r|~zGG[mͨo"͸߆OQ!rs>Wl{H6{>1a Wy*96$#diũn36) ̜Gٟ ,YȡqXN?ES^7j\p6q䤰2ڐpy6lߣא"tsyK*kQUWvEdx٫j 1}i񇙗Q Ɖ%Y mKp. z"@u CZyw.fOLȕ[l|h^8Ez<*|הdNI(Ouվ'\td_$$vF@$oT>ʛl:`ht{cp-L>Jh