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   i# d < ]]HOL-Nominal:threads=6elapsed=5.970cpu=13.872gc=0.640factor=2.327zXZִF! ~]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯My%Zד:Gz/[BW(2޸.o,dܷZK9C'@l˷!:0- # O*Mu7 yH&t9(8 a%v"ݍA ¥Tz$jFy\圁l1} z$gYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ ÎţU/\C:Su^BY$_I }YZ7zXZִF! 0]ŗXi%>xÁl;8P 7hUΨU CQ'tLQ~ v;~ ̖1Ckz\ReVy&mT\( nV\<㷮p|1&%c<_p(ENUgU\SgjZKSSC|:Lroȁ.bse]A&,:ׯzY짉<6K_tڧI:} g*Y`z X)}[/MoIfMAxŨEJ)DTxǒ Rc}Uۣ}UO8gmK)',4ޢۀӬoD`ff[^ePmz{:EnNpNMEn͏;)-0>lGE]3oiBlY_Z괿3K0>hiBBY׹J1. eYX"ڍߏEgxUTTZs>رgYZ89ec4fdf28f3ba8e064f7fd49a52ba0efefc235df84da1efeb09fd4a6dddd2573e5e78b0df151cfa 98f128cc9d5b9ec281c2dbbcccad4799d2c3af76 4ac9d0760ae4fec7561a961e3605e7cb0845082ef67243f099c0400ed8046d2aa06ff2b87c428452 # HOL-Nominal