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 9# <  ]]HOL-Nominal:threads=6elapsed=6.339cpu=14.584gc=0.952factor=2.307zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTZBtglxKw]3|)OHv 1ܞGSrܶO=kLPXF ˛EWHѢtS$>!Mv$Δ;}pSqPLɁIt3 ,H\620e:.ƷZ~ ``S" p0eo(4J ӲV)GS%`I'{J}YZ7zXZִF! &]ŗXi%GPSN#wҝ0,kn mV@q}&VL>w?72$6'c[ UAFxSo̐։U)=)/xqt삳m+ZLXw7"g< Zw&H܂X$B6*h\=c+c;Vק ` )y[϶! MuᤤB㑨 \x/W cJ-JݵiH/c>G>/<2 E94H#֗)WuWld%ȥ2r0rl%EH}1F٧\Ę/Ǻa)J# g‹*+KD>qbLܓ[Qd1zMVVܱgYZ7a3cb07c1e35973f55c043fe543bf13c03eac4c4f9fe5181cb9478c198262b4c17f588ddff41df7c b0692961ba4a44beefcdac6e2ebe2c86d91d5162 300726361c5e22a316c9daf286d75c8a2ed49bfce2c63397bd0a13057dd5dc3fa86b73b93bb6a3fe # HOL-Nominal