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  4l ]/ Menger:threads=4elapsed=6.120cpu=21.404gc=0.688factor=3.507zXZִF! ]ŗXf[&LRH=>퇜=g nA.dGS\5oJ_7P/(r*573q/o_-t{_F(`?f6&YtB#XFr2準ʈH0a师1jaE,*gޔ% (+܋"kWsg&2ԗxVZznFQEd+dR|U ~^O j,Cz9I*䙲xņ*R[; \=p^_`;4z`ug:5Ok`3 v (>gRnH;NM?!@E6'< ^"0 dKBd%>Q*:-BjO.{ܣW$ߐ I&+EL0dsSk^!zL:]=Ywv*.]S? {{/`Y'%.|Vu7PQI_V)~-UNm[ްun@XwQSɵ}uiEv!5,RT=H5J_!._3;%6Ĩع^I '80xx `ݡ {Xe28b0b#(Ip+ :mXtvX,FYktÙm>44}> jJv@WKJ](s1ڹWsJ:;FRg%5+aOwe|A? Ne7i6++OeĄj UjǾtoJPfNRR]ԫe:,2Gzo$ >C4j0-s{5ʾT.{y7D%p[KoVFhBA妳ӂ&f)ej23-zhF^%ǨcaT2QT"zck o;*qx tvEk$lY͉Dw|q =BAP%}'!0|{Nq!X@0-3NCȯ"j|F&L1i]Э!@D7zc~[bs_nnĐ0pN>@ bhJuX]T5_+'xN GҤ`W#gab j