SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  x x3, ]S Descartes_Sign_Rule:threads=2elapsed=3.704cpu=5.612gc=0.116factor=1.527zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyb &ӡTTn~2\Bky5X10} Oc׃%Z/3KM=tx)m]g"@ @SKи6ꬽwT[G-}wYdv_F%~Nki΋i- t0f 7PYnl˽=Ϸ}l`nv5ĢfLU>)K}4'GbTg9|Bu^/δLEI2^j^m5֨+?mʟMڔcX ̃|fs.H%?# g?Ƞ}v>1EG[[ d2Ds_ g8/5߶jIH<8$mLB[#qgPg[@%!@FoO# )M OsI;q9پ,d˰"C<Wsw~++޳x&j6zM65F\oj8M k?βŷ1W%im㮔.'<cyak>Gflez8(`/I,xa8ԩ{C֧/+GE;'ヮ  }u2ȾRNWP础Ȣ{E4h, PE!1ݛ|z7eQ_LD3~BgYZaa2198b4f6419900504d171548c5d5b382daaa9c665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 3 Descartes_Sign_Rule