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 _= \L ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.850cpu=25.632gc=1.216factor=3.277zXZִF! {]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk 䉌0AlSymgW[(V"= 9N qVK!w4T(6lv^b&ND6wLnn; r)hQj%*-Q{m.lf |d&ħL#QKj;1̾D/tGu1QIO<8=0B̂(ŝp޼NG2Z$Hs*cc6gwNJgŗ^L) ?܂R 0WewQRt3IA,',h;m'VA?_OLE%gv5b÷*/ S$0SLd AE!{6p<" X`a4v*$T1Lj #˱gYZ7zXZִF! &`]ŗXi%>mF6=}/[JyNh BG>gڠY댿h7H5pmƈl.!j/a drKGρć -hPQFcz{0'Fg9ų7x oTGzrI}%# '[PwH?,H"?' 𡃄UUo4FG]ekb8_9z#fFk[ɋ8+7+=`OdJ&j v{|0؇VPD ^+PkDMI07~1[ؕ]2I}{Q !94(0Tgk4;%b \݈=E\xF\;NF²ƻºr_LO T*9O$B3ƧGXɤ )ҵE9+{;Х5fsVGn?hh0c쪭aȩu*9췉ʈ$};_x Y5S*m"b'L><_ U0q(syƨn&*0;:R~v?TI6/:o_0>˭LQ;[rw-{(=GpXʎjLMU>gYZ47cb03a0bf5ba2eee276b09e0c1f488a48db73d7f446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e cfeb17add6dda1e3feaa2447e359cdac203451c8 d1f12e9284037043c42afb1d3f22d6115bc5c6899636d7a392ee7e65d1a445df3b557e2dec859f7f = HOL-Nonstandard_Analysis