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  # | \ ]]HOL-Nominal:threads=6elapsed=6.875cpu=15.204gc=0.940factor=2.217zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ e_TTk#BbjA}e"ٔ"v\x[7d'`< *]Yr V/;W 2Vp|Cٌ #6ˤC}){y* Z R>Oz◢׮u^G敛}eʝizS yz> 醇gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ SsOUHH<* K6m`_j%2Z`I'{J}YZ7zXZִF! !Z]ŗXi%@j!W~pq2d,n`lj=CzEh 6nF5yH~Yd=8N6maP~vd qJ݋>UT3ٯ;]a&x:b_AzZ=}.T*"O!:()̕[wNJ/Q%8xdk哝 i:`bo!p6Y10Isj:i>]&o;J Y$.{ӍygY⾰8aNl!O3uYõ.;6P̢pxlƝ-ܨ9GQv8*1LKl?x[v:Ka" BLGa;V!0wuWHz_^[F}#, `ɳDrXhDY*/)!W3I=_:K!t`*Z 6"OՒ[Uƀ9 sԶ:r_ND|Cr$OP% f~[c%5rA.1mԭ a* #N&٤ mmm*7vfeg}ϓuL4U 3aMC_6¶C5xq&3D5;IzCzBl\B6gYZ03d185d11e8835e612e5bbbb09ab64e10dfdb28890a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3 d52b8b1923d8724a29985dc1bf81b4a6465d872c a1d7837c89d3f21bed91c445948096c2fde15c1b985ea9fedc5e07d7a5351080151b8e0ad766dcd2 # HOL-Nominal