SQLite format 3 @ .C 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info : : C#r, ]/]HOL-Nominal:threads=6elapsed=7.262cpu=21.696gc=0.9647zXZ ִF ! O] ŗXiɟ Q p`Q +T泎1S=;#P2 - [ .h#23"2QzkDCW;EM_*R.Eu,W:9LrMRaOOXS;e٪PKC僁v4/Ɉ#3Lġt8=n^*1ly,sAXmYn?/.r𝑵yySi|BSQJVd(9r!ӆ`OS!pbŏ_)mvXHޚ } j Ui Աg YZ7zXZ ִF ! ] ŗXiɟ1˦r.Hilc`1X146sdl X +y&81dOCb%bHnqyͿqR;6/Qc;IlR I=D Qg YZ7zXZ ִF ! SB] ŗXi%LāݬNw\t)&LWN--,ol &hawZ4^W[p_Bad`-n*,$,:ѐN_a]Cwg^ ֧ !^fwtdW]7&P_f"C +OLnq\a{YP$r{D( g@:QY;[ ݯe4 5M*kYo0Vߦ͢w {E]%Fޟ$aRNYD|;4@z0CXwLZ[hy 1 |s)䉝Z S5g b2;1XCV< Ԋ6Fg ]_SD( 67ws_TO-k}Q@̓l6sv6^}w&]mc~L(V8z3" -ԜǶ0C^hr3F͢aQk^96[jYa$`bÏF|7e-^cض]WwQRJ$@>߯2