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   a# T < ]]HOL-Nominal:threads=6elapsed=5.993cpu=13.956gc=0.664factor=2.337zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯jPN<*~ CsH? 8.)zDZqY aBuNsǎ 4"[Iwٌd2X!B/e8H]=]j:7:Jxy1UXTK<[i(7GYv,Q1E%` dgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎǙ7sv/qXځay= V`I'{J}YZ7zXZִF! *]ŗXi%@^~%ey@"9Fw #>`aOCG@tW47'Z)nVt֌ϐV5 ,I ]-ݞ{H0&p7nCbNW)67a vQK(;TcUE@ :p<bkEA? +O (U 5'^/"NA5qG eÊuPp ~Σϗ#Maφnuje7q^tL#>[52F"r̖a55)vطw}k_P?_0iG±՜Z06MWybN9H4`"C^ #{ ]>Täy|lg@;k/D#S[!_:S (l{?58V: f4:OwAvp̄=I5{2)4ţ #Ϳ mT_-/wa?hyXWJz?)@yxI8.E^ɞQэFܬ ڜ~dzEby8p.{9T>tֻZ]>f>(9ΤXv|n#ܙ{12ݛ$c|U4y{Uw3@4Tlج#@W$}JQ cHzt+>agYZe372d7d466f1cbca9213858819f204d377f40ea4db692ddae81c9b00ee09c2ccbd0bf253d1829313 a61ae159d682d08a86748e488b5545fc9c92026d dec87339ee5118ce60098092fcdb5a3cb9ecbdb62bf80ca2dac6248c3c39ad364c9f57d9fc816d5b # HOL-Nominal