SQLite format 3@ .;  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 B l ]/ Clean:threads=4elapsed=8.539cpu=19.220gc=0.708factor=2.257zXZִF! ;]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NƾEE0mFD5;V+nAhځDR^R;^964'660y0BDCqUŜbB$Mn8^Ȋ'],J"\$ DZEV[$|XZe\; I E[&$_ϖ(ih1h۾acǺ%sXY2=J0/esW+䧔߯QU g}_"WtA8YkYlӜVB2̈́)/;ItsYfxs xB``P/ni0*Ĕ z z`>#]ԁ*3$?bV@R,N2Rm'u)n5A=#8O6q0ڬ2 `HV俫SEGsWIH˝%>bs\"^FE39o&`/DF!G28bu@2r i=xCLi}J\\NRwܰ ?{g }-VgL8* A晛b=^]bImS @o6 yTnl@x^5xN{#Q1Ũ|_μн1y/Iйk}`l:o_ܙ 9הwk"`2 -zB^ZT$wF+#ۺh; ߡdgYZ3e563ac5a7c578b883dbff15af034ba3045d43cbd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773  Clean