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 || l|T ] IOA:threads=6elapsed=7.297cpu=29.164gc=1.208factor=4.007zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ?|c +t\`vZK›P}fu8|b]9'%'r|m`H]spE]O.{[ikkGו/*vZwm{H1x*G D̳ 5qmbwRƉWH=\Up2X U,AXɳ!?7wvHs܎rHyQAxUB ,% hÎ} %2"_eKul0,d9a/It2; n|xYȳg%W|<>K/&?wbp" M9#cλxc1Ja2(GMѱ@nC%9m10ܴW( U>GSW0V/ad:˗h|G?M:t*C{C $*6REr+28OsIZzs+(Ͱ Ŗ [ڹ&\rf3|aA4LM ~BP no,bS:.Q9L\be}'8ĊY?X|L F5رgYZa178b8c033bc03d23e3681dcb729dc0df63fc1518f0f23b1ee8368666f183b49cf0e04597c11b03b 51aaedb747ba6214463c72ede31cf3271ddeb463 15c29a76e1f81b2cf86d3cf1120f631511cf8a6a  IOA