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  t4| ]/ ZF-ex:threads=2elapsed=11.298cpu=16.364gc=0.540factor=1.457zXZִF! ]ŗXf1-W(TUK`NDdQڛwA gN] (ɫ,Ϡd2a"ӾU{G %u$Cƍ^V3 nV|7VD|Gna.lޕ@&@W{*aMNzE1@ݎJ̹LIggYZ7zXZִF! 8K]ŗXi%;d- *犵̀*(ônOMFϽ9h=.8sut|Rz^sqhZfI24< 9`9dTF0?tNa`?A\ѹS^QAn]sg ꛐT-qb[χ_C)Ia [Zc<Z%mP1m$)۱pK/BQҼF9:F 8"ۮ!vx'=f5vnX'w|iV}yA0[<3WfPN&5L`p.d"jG'Lh;BJ # ~Iޓ~>\aASv/&m? Ծ Ͽ6͊λ/e<9bj\ql AvDf2 7])T]ACfr/шKt} NUE~ 6#7 K6~Q=w0,KV4=^I1J.xU@ﳇy}-~cYNd,O4?sW:WX;7ޏ#513e>9Ŏ%n.ʱĘrU<_ddtu=QY"ȡJ(K"TN0m-uzDA~E /3O`m}!B:ʽ V,ǸL]QA@F0h[EDKA%qV}ht+(P+t(_s3ݮRCilīvgҪOn׶)co[w[wiu"BF>p+.{Чs -cRӇ8CZ6{(IńݘB:}p}gYZcbceefe0febde71a91deabf501a33f5e1865d0a7db6f05ad5884c3d4b639d9f4b203792d5968e568 a576462fd42ab1a9ba9f77843dd376627ab012e6  ZF-ex