SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  & &WTtt ]/ CYK:threads=4elapsed=3.105cpu=8.812gc=0.232factor=2.847zXZִF! ]ŗXf[&3wil=xq:䄥DHA@p:k*6LɷͽueJ5tď 0g]bGڜ?}%'xj!O >$~X9Q drj3Xn 9vZZR0qmW"+^ xG8;EMZU+v A`gYZ7zXZִF! ;::name=CYK.CYKelapsed=2.714cpu=7.864gc=0.232>`T}YZ7zXZִF! &4]ŗXi%B8_y0Z D 8T!N,@xtX$tan?<$LeHE9jmf635`Sg{5ﺽ#w|%m ?K=n$FHu>uL;Ns%Lr~ %E6$mzs(ە; smQ@ .=Z2&kfNqye(JKcɣ1NԐ݁aX$XPf 0 pS.%_P n- 7p5hˠ)ǿ%H*ԹK&)9B.ۆ }a `@"=g χq2e(E*q%HhB5ɧ:]\hB IbلMZY6