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 \= $T, ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.338cpu=21.056gc=1.252factor=1.867zXZִF! jI]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm εKXhM"vH\tє(} (ݑ+Sy1 ԩ$͕$dK/9qP,;2W$xR ^z8au.J¿0(|هʣYiW_C< C"X48zE/F/k)=; ?>Hy|=EIҡ͔Zه$Hޏxl>q1jv3":iu'H$`}Sп/gYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>{p\}l`Kҷ|.!M=FYogL$Y \F|P:]&#&4hI71ԶI$p_])%¨W S494F~5?NA2t$Y*r[pdu`#ՓSY#@{Є5յ>Ɍ)SBjpL7or|rd'ԢȤ{RNw.`` .a@]fqrZ űU\P fDZgYZ7zXZִF! O]ŗXi%>g y,1_Mv/FU>Lp:p9{{jESU~ZhJFE̢DA:5}\O4:(P@*Ϡf74YYkb1!3PQ ]ۍX()Grڎ@-({m5J%dHA <j5y5xT:K" 33Y3FYTGi E=]nfJi-~l$\\GjIAwuQMwoobCX@~~+18Ҕ,M%)~' :{t$m<@BpS+P_XZS%x;8D[xgd{u>X)yoA&eq<4n[(D\LA *'S&z\2y(+PYŮrD Lӿt- x4GדSJh6^T @€y~ ~N&4w~=Ke5t27PNFedAII,W;*')<2ɌLax3jRsD{_@UX\of%h