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  q# L d ]]HOL-Nominal:threads=6elapsed=6.120cpu=14.268gc=0.688factor=2.337zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯f?F/.'nOwHT"?6Y\i|1AR쏾3#pk{[eC98Doi0%FNW&Uov}n@<0]?OG :Bƿ]LO.\`{S0m>JL%z>@zH'4<50N^/|US+7Egy"V :Cr#t؁q[#lMjgyc2[-X˵q\TķQ\gd;gAvF[P5O6.0:ۣyrP]3˅X57TvoH{h}OM?z_N8p5v5 9 i S;af'Mv:mTnicī.w3JةrO-m<}y{5>j`gNcDm$np֦Jѧ>.z&Q3gF rWgH@kuPϤDфk.6,}ٚE#f>NgYZ4d60f8863df4478c03e9c483a429cc254f16f26d7116a09c3302476e267ebb87e641eea8c606ca65 6b7362b3dd12dbe0eda47af95af0df862970b0df 87d3b5c85652583d07a2b6b93485a78e1a9c87324255af70017f29bbf97c4360079f3765d1f546f7 # HOL-Nominal