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  S S*dt ]/ FOL-ex:threads=2elapsed=6.468cpu=9.052gc=0.288factor=1.407zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$%|L%rMUJ./g=Bz"sҚ)jRBτM}čPPn׸,ʫsך~: ;˔YOY+ZX7VX]DgYZ7zXZִF! )]ŗXiɟ1 UtjL+S ^-;PϿ)npKB(O}e6.CmBKU16%#@vϫ+be+b, 2|:oڟ]D 3ŗ+Y0  !hJvm7*drGvpx+)g7{w`>* dqk'I!`2!bVu|}* r:H9kI,=jݲ<~lV*Lk ;oN2F]*Q[) j gYZ7zXZִF! 3|3]ŗXi%96UEuv]C)g-qu?9+hg:dE0t}ERY7@4䛕0B".BIቴtT*W&9~<JHRR^PVIz?^ o&yg_[s l5f͵Tk)DŽڣ@5ΉK8}CX!x119i<=*ۙAz L<*WO'9EBv)])Yr @6D'H$qlW#j|-`:*"8]OAgN#-Jm"7 ICNFQxy:YS.[A_!A}ƦIJW2%, \- s^p+{+c^IKz y*hT宙xM5\"EL'm7JxtH`HemC^]hXzcS#_=J"'g ũr?/w.#/bN`kv2y5̰ϿslX\'>gX]HZR80P ɨS mjy{Pؼא"J7Ft'ϩ)8#?E6oa71FMfʯe6J=sGpGI~?RxY$B-o̷#q=n5)e^bxo=1 f؞Fa),G|O^\7bD{56Nһ>fgYZ88518a450ab4f9751bfabdd75871fe8f5a8775b9e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 6282d67b6ca4eac86b6c097fe39c7a315aea6040   FOL-ex