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  Bdd ]] Sequents:threads=2elapsed=3.422cpu=6.672gc=0.128factor=1.957zXZִF! `]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\K{mB`5\$?JkG?M-N_}so3pj/V^Hh;zȬ+6!pZN-K"saE ׊5)'^H OgYZ7zXZִF! ]ŗXiɟBv l82X<%^Ds YY3ڗF&)J̘dSPsxmq_)BN\0ġ8@ ۯn]=l;BGsLvpbǤ$}`CL0]Ot]u=6,3 kd\;6tn**oB*a@H0hG6ʑ!gYZ7zXZִF! )]ŗXi%;Ű;xm? MFQ 1+w?C <8 *Ì.NLQ:>9b]ߌE1qeT҇jNM@U1Wfug[gA5KHOzt"k=