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 r' 4T ]w Zeta_Function:threads=2elapsed=8.801cpu=15.020gc=0.432factor=1.717zXZִF! )]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪ>Xt($k:j|Cn,O!\r ]4pJ2s>=u~`g_v74cc)#_qHI&Qo0EHYWsx 5Xo' cPfDitE+0YrHgtNØd2?IM3-L<Ҩ#Ki(6ZPjsvH#˲gYZ7zXZִF! b]ŗXiɟ ؁#dԗm.o8S0{VaNn`Ȣyն]Ԗ(Ơ, ?+ɽHjyUP%H?zaHrӛx~Bhʰi$ϋVa"\ir <_BruBW Vex6Mc\W*AW}9y,,"^:c^87-gV`s&VMSΔ\t;S$SN8p"z%f`wWj`qkQ4 1?)E*OV^p[pGitOi+ _9$[% eqmH< (ySYr.޼y&"h3Թ9& Ϩ(-lX#uɢz\KƀWb}-LC]eJqsܸ &]& *af?9ca)z/2LӣpTH)mD̎u^jM(땈uew>֖Z 2h uMU_#+ x `c\&1dAp|qV'cb;,xak_ۋcXp٨v)?n_qȐ;piF *X`qb撄zj4jg\ AfQaOL\Ԗ⚾u/}3m-xIQ,[4 兠ŋu^,/!H}>uHV7ߎdHQm)m ?lŃro [NTP"-U!%̏bхj@}RB+i+䘟b/7ՙov ͱL(S6~QBaYXʷk> cgYZ3d9de89a56c59119fa2035a278da72589bf37c438ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 72da3e8ba4102e6270a21c86d3b3e91b237ffdfe e69a53b117a5d84f84fa8387d97e4a6cb68495d6 e780f89aaaf9a3cbf089834abaa19ce7b7a0fc13 ' Zeta_Function