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  @\dD ]/ Category:threads=2elapsed=4.690cpu=8.760gc=0.208factor=1.877zXZִF! r]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃ,RvҫƅrSasyJd8h>|k%W߂ϰMp"DN,n.[h Z^Uvг5ȂW B&=B~P8 gm.=^\~~ufh;'gYZ7zXZִF! ]ŗXiɟ1˦r!st#?9Ob% :|dGЧ]".M]bvrQ#Y?:U2ԃt5³*YTf_%W3N*F#aJt_I9\̀1iQ6"Z e%8z"siGݹ r(0sgYZ7zXZִF! ']ŗXi%;ŸyMVF ;~`[Z:!eGdNcHπ$recћ>BQ0XA¢KtN{#ڧX%y\']'V˃Solh׿̀5ic[\Ix)+,LEreӰhSn0S :a4bnx' '9:P2CƬa.rlJL\ q4*Y_!HK$W`N<ğФn@r/i'xKI\!\&~:@O%$uc%i"|r\QPyA^zģ˶w(|E(xdv&Ut4~줩r[~re0:jP@RZRWg4;[;Qb|Sj(w5A4!AurOTNoy]# +`\Hz< g3ޔ Veg=2 -AaIH#ĜO@K~gYZ4ed0a73dbfd4aeaa130af5587fd0e3b6614b067979d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f   Category