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  ) )T$| ]/ Marriage:threads=4elapsed=1.426cpu=4.788gc=0.068factor=3.367zXZִF! ]ŗXf[&LcfdLձ0Fc|IIMsy[1n*QGq]=tQQ`SʤU9!2`U9)\fV@J&==0N(\kgYZ7zXZִF! E<]ŗXiɟPaOõEWDwSC<o_~m2uKEӺO7XF҆[}YZ7zXZִF! }]ŗXi%Gg@(ypw NveԖۏ/"np)Z ·_> $SdBM>&Z喞*Մu i|QȤ}יCk3ت(5rڒ ]V"z,pzPZ隈@̮_{8CݗO>0S⯶'4+