SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  c $ w/ FinFun:threads=2elapsed=6.350cpu=11.752gc=0.516factor=1.857zXZִF! J]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6x{4 ?4S!ͯe-Zx/-~Stxqjn; R,2;cڤK_o|U:"٘ FU&O :gD!x%S 4QE`<Ú3>ml(kD 5\qHqV,ƗEC+{M cĶV/68Nweֻ/-Te()mQ!7+S+RbrL=l`uNn3 ~gYZ7zXZִF! ']ŗXi%6xs*3C#З[4G$Qz@ϼqe }j2sk W6CFg+r^;(Yӱ,w|K$tL-o`+@k",ka'~)뛶/uaOqqmE4,0_n-]-, .Ӝ$ͱA"f]^E)c@V ,l/ m Ƙ=B"٢BOzn/^SIC{̹cѣYGCs%7F=96itH=&bKL+R41|=_x}W\j0eWa2}^oz ݻ c;֮QVMP7x$9M}H*|?dxY;G@02T}+^SAsĒEn77gRĎ`W&DCp Wtg{_Brz]G_Pʨh NM(GXCLg\3F%cpyyG '>\2~tލ,WdY7O  HP;/17c唇xԿYZ/. uw\nOFK;gYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1   FinFun