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 A1 d\ ]]HereditarilyFinite:threads=4elapsed=10.695cpu=28.588gc=0.664factor=2.677zXZִF! ]ŗXf[&pC:,zm@Tjw$ȿ@刿ϕA7oo< 3 /ļ?B^.*$dDn>Hv8=[cSV=i% =\_ĬMmLeHYU~bAh~bG87C!SB+&Y[t. V31ra>Ǝot s}wHȓ>1m@h+ղ_'UeU2%nZ"x^s,+?TT~y)&)Bg+jb*2H+PstPY \P GDrKGx)gYZ7zXZִF! S]ŗXi%ES3~ rouS(З7Inc F"E˩ٰ.*l >%,^9U{Ď <#p"sa,9m8M7X\)=0zy뗴o0DXo LJDpexcios)@HM+0ivذ&x ])`s lVh'>|,%OjԿ?ɬ|I5h߭H\Ojq w'ł6vG߈zMKPwHܬe]QhOAeVF'Tc {VߠZuL07=%RA%