SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 11@ 4, w/ HOL-Unix:threads=2elapsed=6.328cpu=12.476gc=0.556factor=1.977zXZִF! !o]ŗXf1-q恈>HAHIq"”a;E HvGl cJC;%.Tgb   HOL-Unixl+͆ă˴^@ۿK(>)C @-z?8q FOqrrV8)G3-Ryuk(k첳pZZ EyWҤ{~)O1 ^BEB&\M^T/ջg G߱K̗_k-V kXpH^[if Iţ~|^77<`^i4/ߍ b6=jv}|U+"GAD[-mãxuˬ@13ɡկB 4]l,9 ncC #ԯ3iU 4̽jLKEI0V{SlJ ~oF+B \Dͯ^PMK R2b,Vsckdly 61[Ĕ߆47IL,U"ozo!66Z2O8. 'Q+' ׶\ wʥ\PI"XKSkOMD݊EfesJ(MwIV K2JS;ڷjSX%N3t:kpS%K|0=t@xX=Nh(/mK\BL~ǚIUu .#z&처._/^q%T٧@BGlgYZ7zXZִF! ']ŗXi%>)1cBDŽ)Ḅ@Gʑߧ,saf/yW]Z.nK0h!aт7;dP5|֌SM[,#۟y&硯U=0˔gs[r ;p)&'*5| dXKh%' U #<"-`Aeʰ+Z;5ŐW2巵^~ F.lAdڈ)|"è&Jd2%˝s?P'0 019ErDq%Ai,{%y*+zC?p Ly@ѥᄏW`eVDw*R,6d〞 (5Od-nES'lf'ӵ,I &~`|E%gR+OJ[sƄC%mdh1ۑ`+ N7I `PL5YKˌH+YW|#LPCOb&gYZ3fe5941934893b5422165e490a489238302826c5 45f3aa0b751c57da1400acec441fd85b51639ad8 7633e141498e480c10d60159fea4ec9e45a6f5d8 a7fbfa86d7a8cc469388fae396b1be315eb3603f aa408b872636f21e49cc2cfbc24ef0d8138861e6 e28c86ac4b7163e702238f89b4ab3f6326b785553269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b