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  w w!T , ]/ List-Index:threads=2elapsed=2.697cpu=5.064gc=0.076factor=1.887zXZִF! ]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀ה{L$[*wb=x7"įsl=s}1u3D ԛOrǠ^% 3F BO*VX'y\3l=BgYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵N j3/lho 31;myZO_J>\}YZ7zXZִF! ]ŗXi%9(S$^FGs`d׆% [fPu*$[8O\@-zs0kM7c#3F-cF`pA/4K epd wR"ZNAzJ_JJ@"}ZR  (|֤BaW'(i -7]8jX3GLtpS$- dwD~GUj*+Ѫ4HlrԪ& @ՂH>/Qnq-r΢e=R>1>;#v_c'c:d!РA݀P]r5mu<4BMz;!f۫Pz"󪘇Npo`kUb0pPhD6z?*5:F4cɿRM~e K~]Yiw:좡`_S[&s X`h>_sIG Q;Ct{h,rgj.1ض܈ɛi៫}b.+qMT*=捝gYZa72322f19daf869ae1a54187de03ea64fbe4cd872722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea  ! List-Index