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 ZZ#) \d| ]/ FileRefinement:threads=4elapsed=6.692cpu=16.112gc=0.096factor=2.417zXZִF! (]ŗXf[&$T_%3P^ұ1}bᅯPGx ,X!w@.غqoU"y 'HCdq1:1Nfq M4К`A>]JK7PjqŠ5c]'ǫDctg>~ea^@zh!ﰬk\;ʴw"obU?,8%MicYT35 Y n1 o漸|M'r;K\Fw?gYZ7zXZִF! l]ŗXiɟ—Uޘ[;RjuF1 ϽNMRT4505휿F >\We 0h蜵xbxqsHrgYZ7zXZִF! :w]ŗXi%ES3ࡠĀKBn#˓nIU !v@D*tiWoweq`3YHǧ]۶֓dX^ -p7Q.i!GYFbpY= N3j f4&hDѮ\oۢ(WgXj˕z%q< %Jhp#uC#v~~`9M;;~IOHy&~i1zz8˖#vƽ[-HJ}|*Sw%>dHq=Fsݘi3΅Ye~@l MoʷE!=gKr.Q-]e{dƍǜwQ@8Hqꗭ 9m苲2SYܲ+r7M!M4f'#0Pg_1h(V{]a|nU.MkOV_=jXr_3C w:Yrt\A:jGQ>}}cUKK