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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
N+D$T ]
HOL-Analysis-ex:threads=2elapsed=39.381cpu=48.544gc=0.592factor=1.237zXZ ִF ! L[] ŗXf1-q恈a.WE 2kK+Vg,_w>D)=z< fCN\.'bzx=#|OBJ]G]2.2}'Fdi"[bb.7"tIi)-%\q!=0!2[Dx_c
Ή7גZ.=Ɨ'6!y>uwWAU+oЪdEfun'8EV9MTbq:7V\ 5'``OYYiW70̠fo#2ھcH+( )Gl G-g YZ7zXZ ִF ! R::name=HOL-Analysis-ex.Approximationselapsed=0.705cpu=1.408gc=0.000 jE kS T} YZ7zXZ ִF ! J] ŗXi%;q_|kSHՈFI70c>Bj& a$^p A6Re&h*ivϩT$НV|s`jvF|eh!nT8-U]{cZTUˢ^iD9Rɷ䊴>$?0[g D7CUMM*xt4qui[ RêN.~|+ҡLVXGGysr@3&<;-s圭0C{߿d6fvn܂
uU$9 xYW9zQ#L
>s|@SYYNfO9]N5?TRM !/g0:s4W5ּCXM>)eG53e'!py<
+q|NtQ+n
1i9\ RlZG&]|*}U 7fdlӂ_