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 `? dL ] Program-Conflict-Analysis:threads=4elapsed=15.131cpu=54.260gc=2.004factor=3.597zXZִF! {]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4Kaȱ/|H@6#{3Yn.{UbԪ~.K/>RgW\;6S[& NHe"W-iLk;E\6":Ē43 xiu Hvi_('* F[]!9. 3lM^s'rI:nɧg"--Ÿc~7(Kwp9 AR !у`k 01~?J?4ݟoQu1}[[~7Per];G t{@ChgL+(5@:E˖m߅4tܣZzb$R=d6oF2yw4tb)B*Ѱ~\ ';0=ãte`W&;jqB>qE{U^LĐc) Z ɕ]݂XeulpMc/:v5DÓ܍.4[>Ŷ!8Oː vea>GFK6MaWi3yY ʅA]NJI$ƶ&̉#X1 5ݯ1SCYswk t^;JOc3ʡZ9\_BPHhlb0OqqRvGB4+skݸK_Ek#-l96~  v/˪?+g⨘^\gYZ7zXZִF! u]ŗXi%L S=o5&t|˶ $P] 5KYwUtےm_ڳDAVBRdP>ˇsxޯq-X,gHۄz/* jrݱt0EAeI1Cۖȥɝ&[C;~ȧH)^:zϫp* <+@bd8nܥ'j<}8Q<&w3&ZKI^>jPH m?5V`4XtȭԽ}Tĩn,++P31ёTԠAVruL[Ѡ r8AliWU97@ =gpG*dv6TT>1Y݃yuMmt`ᛠjR2ݺ>q_>4ͳ*gKcIMJ/Ox=yDXI d@%s>[ 2lм_H/7[?۫LG ^ wue:懹4!0Zhm$~xͺT?Ε=j , _Cp9RP#+˔o[(x74'C%\U|#gIcS_H-KZ ]X J» : ؔl;;s`Dܬx'c, 2 @׌<ܽ7O(Xȹ$_ 2#|5ax;%))3=٣񕋫 |FRh=:«:jPQO1խI$-me${s5XUA;uK)"xc]FVL)xT!SPԅX #Q[~- >ySHBp޸l3 e!bSy*곔poq4$} ج LDƄY%G$ID~ffjXduަ6.m%,:i#e;` t sG%uF} QOW~p$ߧU*CC$5Hun G*>}EP;k㪺n`P9C:#Ŕ'XL uҧg:#w&v%mJu2]RdN 0UrH(Sfm)n#zsoXS]p5z5LКW)5%wAvΈ%nn;Sk ۚqEכ<,5o>#݋F, B91o,E*(#ׁ#+>ׂ\oӴ-|<(! $=iP2%֯5/ 1T= g; eW*ꨴS^+vrz϶K6.Jx58qu* .< M[咱gYZ3f2f11a6e4dbe1e41650ba51d19dd2f34e4376d2d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c ? Program-Conflict-Analysis