SQLite format 3@ .0:  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   p Tt ]/ OpSets:threads=4elapsed=14.831cpu=47.344gc=0.844factor=3.197zXZִF! ]ŗXf[&ZyoU96{8Ɨgp ku3F.9앯2;<Y Vt bՉ2/J$5rT{9 aரW6 3҆h7٘pv#s@m.yw[wb濥7yfw53u6BgGm{-B#5)_uLH*P|,a7R1PO\6VӂN#ȧڝMƿ~+Aޛ| (x)ԩZ0cNf F4~Xc '&#puZ:ͷ|5$P;aQt/Zl}MjX|)'n[jcAD$^BWzSU}߸CN*t<BC(x0iފ񃆴KЛ|KV|]:jH{׹,<ahCuH$.a SLNM$p*sC7^{*W J6h [:]TERZNB%y?\K_NRQ+y.WD|D:G,v`aؼr=*{]Sէ!uc 9cVsV,]IZ+$" jp'T}Ÿ9pyiCW{SeS: ԫ6R&w vZTJ \ItoN(QL+Jc8w"CDd#maH70wx+p?a@~fH䯻Aqm8gNL]Rs-;a c?rHql& [6FF)30(1`INd/=彯4!La)sc7ͪ hN jgnQHWb<[|lHU/Qjڃ-bngŏػUk*HfM^I2u83]<2?NF;K(4Q/n#+ia $Vv% m_:MUOqYcު Z fb"aGFɘӏWxCcД+(>z08xƱQ:4_,CI%AF;9