SQLite format 3@ .;  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   y# d \ ]]HOL-Nominal:threads=6elapsed=6.391cpu=14.424gc=0.824factor=2.267zXZִF! ,]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮzP fmtD"Nn/271oR>-<r 1 §O_me/7\ս`)(9p3ETfQe5)쏊LnVΗ2UrWŊvVpеpA;IMR4ށ v4ñgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ ̋x苦Ve%( +E\=&-_I }YZ7zXZִF! &]ŗXi%Jf=VR*#D >߯њ'p9q]:L?q!DZ7# $;t\F$1KFjMM7ՌKʣUUY|kuЕWk| 2Vs=gk/Q7R\,c m7sEْa!~ ^~$Dz/z 95Bdx3;L=|zb8-KQa,c2F0ɂQml|kz+Af.^ U n|;`Q !tXCɉ=y@jGWAIUbwt*m)Uxkea\dǽx4HIvo}.ŝh44 ؾwWc]v&w*xTkGۓH= "Myrš@y5֊gvwS )#iO?0>¦|$6! \܆}\`#~00RG!yW_bP6˰ۋ׉[\S1R/HL-7=+I;1lJS9^ 'h\mm?Fa5!2;rRɓ'8)PZݧkuWT fNO5V ~ikZfx^ .[rTw̸9=P呚;Xȍd󑇓Kq)RX҉:'.11T75+=bCJv쁴Q>0wVOZ(U׮V&X ڐd^Uyi'IFī7ɗ}u: ~-wh(gv-U8w@=nmk̙YMYOgYZe01d9161fd31d3a63195b205607eda4ca5b2bbcc3d51ec384f4fe0110890543589008d84c8e75ee4 0172210ae3ac6aaa94a4d31e666fffe9e67224e0 39f11093ebddec9c3adef02c7483d3530704eaa07da0b28261742807a251c47605ce3a26f6f3cd1f # HOL-Nominal