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  2DTT ]/ ZF-IMP:threads=2elapsed=1.042cpu=1.212gc=0.000factor=1.167zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYY6ϊpch=,7}xgYZ7zXZִF! a]ŗXiɟ9)Sy6\Y.YxWH~\ɏXea&VUwRZ3;:d Y(p#P!?k]SJ~Sɀ>+~}ܰgYZ7zXZִF! ]ŗXi%9+i[(lvܳwiFLYo A1C?Y#l]{v8H5 s?g%ISqhG]~ =tZ rɫۤ_{^:r4i8QU C Trpǩ*?0mo@h][\~pf?JvnU<<<|UɋC) lI4Fοm -ny01ϔKpS[i,~?Qй[,'4c~8*/;`JyrrI@Q?y^h\]sM{C*I.m '`q9UvTWWSGn,L} ?4)3׫ g:=T*Ag}qT;6V\u#g_}#HLt_x W++ؚSȱgYZec1511789a204d1f5860dca5ee580a1964a7a46541dfddd2151ebee28efc9e26dbae12c72d1935da d88cf60679edcdd07b342f11b378e92f1bcd1a52   ZF-IMP