SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 99< t S/ HOL-IOA:threads=2elapsed=2.621cpu=4.188gc=0.104factor=1.607zXZִF! d]ŗXf1-q恈^W.U?Eԑ1[ǡMUX\!RHP\hţXDbZykfZ8(L<{cD o50-Q/ǬZT'dm[:7k:[Zb0ڣM*|t{fT}+/ÚOܦ6˥ݧ4B__w7,ܺ\Rp=sy2ve3OW fG-sW6X\nToJ;NT  (Cg9MuRbZ%)hGP" Kp3mXMr8l-)v"i53yfQ @.I zwv.3M&a9Ϡ( .2!*H%> ^hTd-Mǣ-bA za%9=p{ki5o/<]0j#Qv;֘6}8ɾIYBcv,}+GsN)ux -̺V1#˝!0Ҿm:ƋW4mgM^K8}"oXJy>ͽ*%/_'fSN^1}:fQ_hE͍Ի%]%ۣ^emYa[cNæU_ţ=gckD8F&ZtSm֡[fgz8OƜ bPgYZ17d4bdcbc3732afba946b9e132a42f895e626d76 4bf14543e74625e7d98554527128b5fcd79c1e54 c8e73ee5d5c4fb9b5942e9943404da1fa557276a e201918a65f6bf556c21c846b06edd560f25ed4f014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa