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  4 4I3|D ]S Descartes_Sign_Rule:threads=4elapsed=2.018cpu=6.964gc=0.092factor=3.457zXZִF! d]ŗXf[&*XwD jߚKh">[v6IW[-]C1/xf5b֟Hȍ\[(iߙ\Fvrɓ@~%A@߸ wY.V #`+$|5d Ҧ=Eń6~_N)7J׾1yw ]IMڥK3({&##l,?I"[TJNƨsXl_#6(새6̀X!l`EDL2@jc]L)ϓQ>.JEpO a8 24-|dlGLO3hT~+cAmkkdqVP`iWxr^14fIx/a@W*D@NoM(4@(e*Vn"۱s!&l-+_ZfO}IowA6r+[Ŗd! `M΄pp@jAbO/r+[hsyjF1QmԬ\vdGNqf7SC旍 S`m:c^)w5;Fh83ފƂ=tziwO5FScL#ό|9o'(Kwւ~6G?FrmP_׈8B gYZddfc1d656f57b2673de5939c03fa2ebd22870d8c1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae 3 Descartes_Sign_Rule