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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k k q# t ]/]HOL-Nominal:threads=6elapsed=7.424cpu=20.736gc=0.968factor=2.797zXZ ִF ! l:] ŗXiɟH)0%o
HfW!z#`o$N@#]^Ytb?e{"#ʈi5c[ryu һΉ<)1E,y|NSGSWO`23= fD8 ږNr8 2f^x'ĜV / {ni8 JU{3{§] J`^;d,z2}T˕;~W5 ' NuX[ Kd>IctNl9.u8F/JP( <>sev *7ns LBlK;5\K<QϨ'!'IKsْAPr^y:2Qlm͏G1OԬ1sCUmT&DqȻpa~+W-#M[X./fŘ9Gk-([}kd<0\ գUo # HOL-Nominal jX5ʸ]Ⱥ*9MF-y"98ȿy3+nv|5ڐ5%0,̀YHLOycqlVQ\igH_ˡD"Zlm> `Ӌ+@+s[lL28".ӊK2KETs_ET7(Kc:r86sRn02\d_$cl'~ :}n7xmşsTgP̷2!:%M*ģmpT訮|Mu4<p|Kw` pT%Ñ\)sÆX)&5eu+}ݯڊ]Vݕ#nQsh-m||a.iKDD,#i Wԕ(7$0ei-+0bѐy].{҅G-.Py|ٛə9d.7rDfp5gpڮ:WUX%&