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 oo#d w/ HOL-Lattice:threads=2elapsed=2.473cpu=3.912gc=0.000factor=1.587zXZִF! <]ŗXf1-q恈zt`7MDc(e%hNǙ8}9>*k`1obn}(mQjA<<$h:ojypRU/?ВMJxfrq 2VTٮr;͔ApGnF9"(k^!s2sb ASY]4ZJ>2?LGeQ|Q5@hD_56` 'nwg@ hO)ϱ}բ"܈V."r # HOL-Lattice_;iU)kg?@o $=^•:ZoQ+0̯gYZ7zXZִF! *]ŗXi%B\+7c%QƩ{)>@qZ%,ey坾s*9Jj(%<D?M,LzZf _CSGtKXw*O#pEv1? {vn&ؔ)ڎ sr$>lFk3AhH5gcGjmrjZY!- F.w'h9G=-ƿgYZ16b52f967d615825912c54bd5a9895ab3ef4eca8 cb01d2951f4cbf33cb7f7a66bbd9ae5d29f17695 e62f79514cb196d4e398aff2f8f7f1c2263b56ea f4d0b9736f0a41997590192621c85219a34b82d1 fdbefc546156f1355325b69d51134ac2cacb17d3 ff6cce8fb26f6e81e78bab131fc0aace6c9b446e1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b