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 u  | ] IOA:threads=6elapsed=7.241cpu=28.460gc=1.120factor=3.937zXZִF! z]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K B;jų/9Y*]|H$^*vp̮]yYOZp)\rj8bsOt !GƮ:;:dxK4ԧh0j1;&h@8׃@tz'!/`p=*`+ܞ nx ) .;uJN *WM܈(yq ^;*<`bn ѐ<#0T]&ɏP16SuUBIV]aw5y06޲M\0]!mJ* ;{;aRYbtJB=txL5Hgy4ᨕAH UڔLohrsIDiV vl`ӤQ'qHYz8}mOs875 haMT.EREnPȰc`m(`BP,&D7 COD`[cهo2Aw zSZV 'Ĝ},i!4~EBri\"_GBSԃoȅ;E;C JݱgYZ7zXZִF! %v]ŗXi%W"}=q|Q%鍏ؓj62Rt} Db5b L2S =Lv!*We$ubf*n!, NfH61J+`Q h‰X;5FMmY$!ן!E)Kki9HRr 3f@ Yyw08o{\i| g"̕8-Z\7N*{}--+49XN3I_ m lh y 8XB9NoL {xިd{BE0m^ Ӹ(7&W'Q)XkhU$#gN+,`(|HJShK JDbs2g"6_FPYe#!Tg C/Mt@7|]T0-F,%VT|a6?:CQ7z2-pYTIRdkv YVt󀈀|*@g+_;Se9Y֎MRʹ.v*NHrȢוF(tUyYE7Y!0:/c0i: UnWM6׫ eܯ6t Nn` :͓gZE{2>FgМs&<ߖB=yI2g{ BeOKM (ey#uF!c-zDE8£{PVϞ1z,wv dSE;(|D /{: _?!rmbG%=JQz>bqj~Fc(P jsdCh @-*TI@:! qh