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 ))T? Ll| ] Program-Conflict-Analysis:threads=4elapsed=15.222cpu=54.588gc=1.728factor=3.597zXZִF! :_]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KaȰ:,l`-̧:a1g-xwEe?Q5ܱ v~o_!ĈN2zV Xlo!Û,W# 0\?jj͓bm`9|tLQLa7c ~~@{mNZ YEDF7i& bhE2\O[Fv! D@/ HOFB - , N,4!{ ޕD!)N4.ZrM&3ОQFސJHWw,V+.v# ^O$*fe3S֗ݨ'E2ql{k7=)~չ ~y@@fq Nk0ތ^{&/frK0jR$ ֟#/]n돑n6 ?NWWZh,­?VB"|{-5<z ʾTHцNp۰ѫJr(T<:WY-TvQb\ώxG1o90|!0-RvRݳ*(6r ;`y+Fk"zC_Iea T[:ݶL~ w9%#{ *~}YDmAfEv,@)x6JF6d;KF]ZN8^*&i^UQ k 6+Q[gPH%Ϧ,!>hML>ױgYZ7zXZִF! .]ŗXiɟ˕A;[] VmTi{RM9%9S< µ  bΧaC*e |{*"Ql"MsIwpa&}@K5MUv7VL(;OQg(bqj"  CPB}9, Z9x Dx;O;\s({!ďʦ^#Cu%rgYZ7zXZִF! rwx]ŗXi%B*HNU6 hpT4Nj,ȪҽRd82W͹'͌_r= H g'½LNsL(D[1 \2B8,wlmh cmiYD*|+FId-nM#8?\wl)[7^r=F^>y]u-$!~R*on VO f,!=ز yQm.[ } g ز)bZHRg=yꛮ!Y ִf􎑔۵GUU5}ޒbhK##;Yo=VpRݯ\?vw=O0h枰OZ|Py76LGp,