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 //N+ 4$d ] HOL-Analysis-ex:threads=2elapsed=36.432cpu=44.700gc=0.528factor=1.237zXZִF! Q]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bzlN /ȱķO[k|gʽK}=7,"R{N wy&j1d~=B)̓W/#SD2N'p턷xs)6@iUvӼE4HKfvoh]w1QHrN%<,1eoqHg6~jLjH7<\ָo2IQ2֫)A]G~ `¿BC(bpO!gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.682cpu=1.264gc=0.0009GN\kS T}YZ7zXZִF! Qk]ŗXi%>+S߂4boWʹ]*bTr_(ah d;ΰ>ݳ%_! Gs{2˶L•2u4 b-+u}ςn,1@u: Q#"Iaz«'CrQQ@a$bdZa6Xb-ըϟOSV [-;&`~6|үBKFm=t| GCu twA`ϑz7f^4IFկtD6$M˩'PUTYs3Y}]*W_Ր9ˌ׸R=6E~=&Uϔ{$݅-`AєeZx}%CEVӷbA5Pkd$kr%HNʫh|*߇.oIEPJΞf T6*7ꫡ+P&`zwOz:n7z b)x_-w—B <