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  ft\ ]/ FOL-ex:threads=2elapsed=6.088cpu=8.428gc=0.204factor=1.387zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n͑:b7yaDy/TyCŷ^ 2ֿyqh&N6\6^r(+lf|s]ina!!p7gYZ7zXZִF! ']ŗXiɟ1 UtjL+S ^,7:)󂳤*ZG3ӊF("v쓂q5Ι&W?D"7d>K{F1%n[{]5 +5#W !-buv',*:-eI8Caa3rǰKzpcQVB%=W<,_>eF)Z^@pMN#{FxFQӟ&;8PL]aGZYIb|`e/ )uoU"HE9#+H oItə,|UlaS]#_9+엟Sq\gD-qVf-g ͺHBhmYP.$e5Ad%P tǷ:H*#axPsqIR'+n&qtۼT7vltXEƵY Z1IO_5kl_{&OƜK%4M;YuTͣ4)M>nKX k#Jf` ʃau/7t!*(}i[%>R ^{gnH&RwTwN/<䆉-u}VRl?!"nYLrhFڝC%Xk;󷅓6 CzZ)r3JF' hDI&y2:1:1JsG΃;k'|lb\0*~3b1``::㫻P@s6-U7wK1ϩMG_n-!&lqO6^eu+A cy];ªsvgNջ] `܎K$"9}ґ sf7Gz^xHḎ;n䑻Y$K0ZHxv[܍mHƸ7`4ErI8۲з1]]j]@SN5?