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  F F7#td ]/ HOL-Lattice:threads=2elapsed=2.154cpu=3.780gc=0.000factor=1.757zXZִF! ]ŗXf1-q恈zt`7MDc(e%hN17}:]BLp\P@4|.S`=OϼOU믧:|WƏ/"U}<3yͤ#cOCPgYZ7zXZִF! %t]ŗXiɟ1XnWT#4@ΉoLi%ptFf )4܄)%,n.WbOƻ{"EI&;G2b n{__  SK&;y׈gYZ7zXZִF! |+]ŗXi%96U\q] mhjt2z“aA N`/DQ\ÿ <.>ڹ]}lnNmL;W𪴈 vm]1ZQa¹<K k(Ҝ!YH4: 8 8nͭz_2qنuI_5llBjિ &iȕw6Л!m™iT:bxf͊R^"a! è$={ JO@b`9'iC7mF;!c!7Ir F cn־SpˆKQuuԬ+\j=ލ D+[ƫ*k`V\jZ'vMdn_.icp>sO ^6 T` 4;WXH/`#-qWAn'ukrx[R=` Zzu}P14wY]$d<*o6I ngYZ205c8c786ba31a1cf5aadd31aace3e0b4383de99e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 # HOL-Lattice