SQLite format 3@ . BBh77otableisabelle_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 ?= l\$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.796cpu=24.372gc=0.932factor=2.777zXZִF! B0]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa/,"s)Y^}fMHo{L)Q#T*yS5jɰek[ ș\ N$|~7i(sUa1+7N m c7S捠C 0zcਝWhv.aDl5dHL}L}c-6K1g.ݤ/@ ]gYZ7zXZִF! g]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[O`uM-% gE*\OTz8w7<x' [[V<UHG(5VXu tME;HQ_م b786HքV4 d7p`$$SvLRB\6(Zul)ʟQ!Y L?u%1^S5^TA_hiUrw gYZ7zXZִF! *t]ŗXi%9#vgsz@J|^pM׆a,W7i;9 Z\2?dX=sc T+ޟEjm ] &Ή9߭<<nAj`d+Qk?{AAPB }weVpKt]1m~8"Z|hxHv9n%Ͷ=ي|g&yyYMeM}͙,|4s*" Ž~Qh/خc$՛cvPvO`3Tc-S$lrbkK?ϧ*e^ke~7RpS~Г(MaL.Ɇ]+r}$g[L*[޷"ߢѮI¬wT\^linǕ[Wd&A#dB:|"GTR6h?\fӢYU.0 ?ג׭֡L (* 匘?qKRC59%&˜ `* MVnں_J-XA~#2q|x^cgK]lm?ILj>KP0]g ?[Resxeq "\EwD.AƂL]Ls<@uQ5AB=#ӐKRҍ; 䞯/NϚ3U.^!w 3d.0a8i٢$^g %[s).GXISʇTǚ=dgYZ00c883f5ba923c50c452f96064a8a9ac25595cf38e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b311 b74d2d4d9b8a39e7ba82f727470a80d5266f6242 b63231d291310e177660a235ff7e3157fb884e5d1255e39adcfe09606bb0e2c4b24576a5305e95c1 = HOL-Nonstandard_Analysis