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  [  w/ FinFun:threads=2elapsed=6.229cpu=11.584gc=0.576factor=1.867zXZִF! :]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6x\h#}9n/oJyˇJ%א"k吝|]ՋѻحCo=cA^Qv|Cb%=qD#M)xȽE?A@cx:(#P6YPP|dŠx (JĂ_n ia4h5Aα+(֏i%¡(Ph[A,Cj,CS\B8)i:Ѫf&M҈ j gYZ7zXZִF! ']ŗXi%6˻h`Nvu/k8 :){dYPǤi'ԛ FZ睶!QZѹ͸$1],}{&{eCEsUo;QCh,͉lxL]#4aĠ ?­:lkVtK55`5%}>shuWncM3Kdq_c^B! կIDIǧگ}[Wvubwv1psRgs80 rTr۪e, EiKne%a(Wlq4$azmIΎc$YQyڦ\'Q$:4nVM״ Ǥ1X8 Jr ꠨> ];5D8jfG!o@hba-Zlz򰓁egvjm5`diF맩BMJ2'YsȀ-,i V ABAiQ65(3c=^n~E" #[/[pѣt !63Jݣmx \}ƊA%vM^0sъOLogYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772   FinFun