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 x)DT$ ]S Multirelations:threads=2elapsed=100.558cpu=118.380gc=4.964factor=1.187zXZ ִF ! 1Z] ŗXf1-/6vR[lRc2qJ)= ?$~)LX8igRNKe`du5\$hưjv3aLwSϚB ڥ%X^.v``_ p[t"qu:T %ώ#| >=/ZHbP SFPY=w(d'ցvp|Dм\+pޥhvAONj^VYV k!-?^mhgu{AD=PACC5fn)va {\zykӞVH YK;x+Q`r.yT2|S193 eRߡLhJ\)OG$v"G)BXה#-n:dKbb@/QMʶ0ݞUu|jsjC^%Wy JEXP!7hmHl Qr(}j>Uts']ӵ{g&Co&*"k4ƔphlakضqZ=yPy57̎,zvH- B :cG(IR~%bk 2sk^@-Vu.|^W%]rEߪyGo[A # Io?JlFDڼk #+s^Q{8KHb)u'AaCv(b˞7̑94,'gFFeߋvMl`Fn*.2 U(rl['1=hz]6{0[>"BG03qv4m/KA4mr&2T47)$