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 = ~qbYZvdb#iŊ6g \+*$a NBds#\gYZ7zXZִF! `]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>utվӂ0&a"#Sgt:(:}A烎3.muLHw!˦+v%%+DG n߀-TbևLFd'}/ 3?Ga'\艮XXm߭K#݂9z' xQb %$Rjڡ@A)c}MLeʨ8&w d23)$]QYsdR:~[-yY[V{|!ۯ +:*Dz[ 7Ƶ d&6Ń A AgYZ7zXZִF! )]ŗXi%G~L`b]wH2*z.\9&lGxJ H੥dӇI;>u%&C!5VD֌%[rN)a$cn%P%+qAL/&9/iAT!5D]&>IUi(d/[ZO]aݗ;n 9JYæWф; *:b[e/ ru< 4R @P/aB] y_3!)ܴ3pեFng kt/U: Nh8i[oX$ۚCY`B%8XdD(<ؽ9[яb{W',҆FDZT.K m]Eia `fp\`-B",3?W!W&+wV;˝VD2' 3+^J6]LqYL@/DYY:VgB} B@*<%}"Н/q5!lՖڙ YIZkul-j{}&R#dJqnMhbsK SwgYZ2632b5c7cf80e0574ece08f66d972ab7ce804e753e83dd5e90049264613e93edc26f52cf03e9ee22 1342b6ac7e20ff64ae7c2b259f02eb6c015e9b0d 871c6413532f2e68769d020bbff9eafc483d2a1a 731dc46ade5a1dd1afaee24684375bffaa790fa3bdfea67404a966cf71dc4e333efdf52fb8077b46 = HOL-Nonstandard_Analysis