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 =# L< ] Integration:threads=4elapsed=7.936cpu=17.588gc=0.516factor=2.227zXZִF! ]ŗXf[&L=RgߴD. t03<ЫP8s29o.8+AY3ā&Iq!Hj/Q9vzKM߁'=*"/]9 v iRh%WD#pC3c^_p \e5#9$ ZGwxlEQrJ Z!6-ff0P"]8 ki ;\G, }&ZB gYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 2y,uCG B0hD ߶Y gG!RBnH$JL3w\” B3k-lj_EѡUXiYK9ߠ5 _H-QgYZ7zXZִF! B]ŗXi%B#YZMyBF@S'@AEpܙ-єv'ofscbڐ*TV[I Bk- 0p`{Xr|г.yAOі 馘mYE^EGldZTKj׌Ea2I#5~aw㈢y4=HjfSmO9QJ䍣rMGQjLrm.`Po(報-jJ-tA[oG̈́;5%C/BT 1;jY[w̋J Rk=ƕ);0҃1{ :T&1 YΒՕfiWIuk'f$t[` Q*}9g[Z'w[F2mo'&MyH_s.-P҅ CWq!=fóKusm7'Va}|Wx'֛aM.n})1&r~'1SϖSOrٷ{̽'9CԬ+&ϋTE'ŗf0+[E^o]iLҚw ͢ޟ=.58ouzEy$ 7[j-51)pǭIj=PqowA`?K˾Pa^-H#AnFvfQײַu²l{HER\:WۀL=)P }"_s+};:<=Oc 0,[Iݏ3KTܦ誊X[2)yoJ ȿv;DW0@5)O;՚cŎEufPec @撐21=CDv'J*G 8j6 F/9D9J 7VrXM6nYsH*F|?én{`Пlc;y} Ѕ _NgYZ959438150a02ea8b0da7cf94944980c42702c28a3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f # Integration