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  @d ]/ ZF-Resid:threads=2elapsed=1.567cpu=2.580gc=0.000factor=1.657zXZִF! j]ŗXf1-W[l0[}^&c<P7{}'_94)toL EVp5J՚mYՀEgYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQZ0<h(K-&~H1!eWbĪ͸!y-HSm`+3SO UqUS}$0ج?a$͌E*;gYZ7zXZִF! s]ŗXi%;ig]S\b5=Kg-^QI꺭)p=`cI˪ 0ޓˬ-Yv?>"L_MO$Bw|_a:ct28y#[Nmٯ\h.t7S0.NEJvrzVq9#Z*R0Ô-KeOOAޡXc (>WVp0VT^=/w&h*a 'a'33 $kp|9DxJ'0W3rv^#!hs I~ J:xiϧ| /_t-Y!>HLD9%X4v`=x4fptQ+IK0YWA^\HQF7e%Y۳3,֊x1}ױgYZc77fb0655259683d1f70c267e7f5a42e992cb323b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 2df90704e8c82afb8dcd42a90638700d19612606   ZF-Resid