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  04 ]/ ZF-Resid:threads=2elapsed=1.728cpu=2.840gc=0.000factor=1.647zXZִF! O]ŗXf1-W[l0[}^&c҄rQ=8s.I7RQFdQ\ϨWogj``fn9i縭vo\ ,DkeGP mDgYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQ[R.DĐ3c|?X*x.%x)T9Ie)GvpaXi9P)<*"l[7.ve` M&Dd;g gYZ7zXZִF! (]ŗXi%;UEMqmۅ9Ӏ.|-Ap8< f6xc+ۻ5[l,nۄ`}fT]ZE8EDLtIW%}(&}Ns$< k~GZ ! eҭLm i$ZEMӡTH,IYVfxXs,ʆww` whiZ #YscX"0;Ր͓(^h.}w^B}V}ZC u Zܚ9}I~nA &6= i[f–ص,kE0 P7BOsgq+Q4eo{J YbE}Ϧ pX2e.bNu;;Ж KgYZ0f8f5bfc8d21723ca843d7ed966e12aea4ac597df82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 9da86041fe15e5ef579ab3f36bd7883ad17342af   ZF-Resid