SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q1l\d ]]Abstract-Rewriting:threads=2elapsed=35.401cpu=59.864gc=3.492factor=1.697zXZ ִF ! &p] ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`a{9L v?Dw82r ԅ?;Az/ 7Reu_-Ǐ_-$$$cpQA0r3E2 Ni,* `O;6yZdLn\Er̂WߋV]7=c~ջ}@84z h`gLB\aЄDߦ\.}F~Y|XA-Mgk6L%|̃*]^ ( e$8AJ>G`|B΄tQ9j};dTE%`ZaUfܖ}%qF(C #)Tgy9J3QҜ[6.E'"58diBӿVaz\7.
CN\dU0m60~NَG~wyCpP%PY7|+6P2
=$7D2 β3Z"?jPeր/+r77a_\s1zvF ]ثCV1L7tفd(EY(@%C8ymq"YpxiBo@ e|D4ZmWdk&
ȡh}K-{qŷe& :[M;
?`9mSxAΡcQڦi`Z^>Rl
tOYi7(B w>ԯWrh V1HE @ p!g YZ7zXZ ִF ! %] ŗXiɟCrhi^IxDY?Av|3E5zT#StͣNќ$2bFg0a]? ?IjN̵2O1(N>LD{EU1#!\Ŀ$? ~7iQ7Rkik6V_CaHnl4Q-.!L.="r<JjvK>'Ljj77![uLhmLC&Ew