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 J ld, ]]IOA:threads=2elapsed=18.530cpu=33.672gc=1.400factor=1.827zXZִF! /]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K-(V8mM米L蘸$ _|AlȷO_rk&!ofa]r_V=tXǐ ) ,ntyū`vtrmY@V2zW27\T^%*B)O t[fR=TZ > ,(Z0Bo!e!DbxI{!",Ŗna 'Y(U*zn4$(<դ7_He{z"VJAS pLM /Qc$5F'OGO\jkULZ+H dFux| r{dtm"d&NtRnl,OoV}RݭL@x)vB$rؕ5n$4tC+NIa-J'*[J5 H>k0fCwЀ|3m4tqzF zfk*ex P'4.;!7GI~F2Mt+QA3P546PڤpYKq9'h6l!Әׄ[m'%B~K–![LjlBo3y &!pRGQ"r tA1 (PLsb/i5Z?׋/R^ ?0Z;f.v_5aGLLWƊ(7 dyG0[~ jb 60KLg5|ʽ7Bl F(zc6?sFb(,0h5t)MBNcs{'Y+tWTذ4Z +n"[޺b1w_BvkA GMWVIVLÀ ҇srW 7RSz0xW>¯Vox3hV"jo lC3ɧ6k E~Zó4PYHy`{c 1% QD`mv̿Hk%o:p'M8 Pgtv;a|v 8e# o#ysgYZa51a1314944493193dc39b7c193a25c93d39881f3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de 2ea1f5e34248faf457e26c7524748961279dcc2c7641297e68f20ed4ed195ee317a7661f39f483ba  IOA