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  p p / ,$ ]S Old_Datatype_Show:threads=2elapsed=10.047cpu=11.560gc=0.384factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}it|Wc :z&co7#M<.aub08^Wjsͼqk&(^?[\bA8~H@֛g5(M^wߍ>}iۛHdV:BgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͺ;n.83XT=֣}MάnQ@gZu/Q6D9;2o 0M#%mF4Ѵl̉ZוELp? -igYZ7zXZִF! 0A]ŗXi%9#qw>n2Q)cH1R="W6 ύ~] ps2C c~mwc/+.=_q gBF,18cāNd+TT%+ز]ȊʂXۯux`C7abLOq*u(RYmەPFJqk:5u|~>^ËeLJfQB stp²xznNfOu=͎E7wP";.Y潽)9%00Նc6jgKԑnݓ>N$`Yw̜2=`Әـ%vQ ]LUm e8+i؁(Б`O ݓxmOAXI-nH AcFr- 2/ޱ jkaбqQ&BUXhA~:gwNFoB-R%VR(X+Hh% .!]7%m̑*Aiݻ\T*S읒$|DТ-ʽ\݁b^'c$4eWcފg`0 0 &63O6p9nq̙J:+ovOvV$m4ՌpHssx{~t3wgna=,4!I@OǕ2s tinwUfɡPdjN: