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|\ ] Program-Conflict-Analysis:threads=4elapsed=17.912cpu=63.032gc=2.212factor=3.527zXZִF! #4]ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KayCm*MN42p~+7}V%UTרB470?WhvRp QLa{!>Q3j1bK*i+F?ЎB8ktx|Z^W W$G0Yxhz8e5x*4 l34cNGJv@ o3mHa'z\`u3h:q@^f}+ U?"t歨wcزI|w]B:sX5Ƕ=gy/gcK=8f:6$OrIkuК߁*b:脃tpᤋꠕXuP0DAFىeb X78Baq33 3bJA+ OU#6&BSr &fO `+*Q2iWiҭ_o1^x45]bBu!1e9g{j};VɴD]m ~#?Eҙ2qt%^ pM=_|φ܌v}xVV% Nԟaxpt>`.Jl~"'4(c%S,]#H g9Dˌ54-C` (z.ٔuDƌlqX>|=QY,EeoĠ+'O `]8lغ0z1+<g|NVn-LrBy'ksۃ| m<L~Z}uR*d٧՟nxDWE daXה ԧȵˍ6-=`˱K -MmRY(~3  pdzgYZ7zXZִF! ]ŗXi%L mIRĈW%kI&!Q^.3Z 1_VEl{j4,5x޹>BSs~]&Hq:6mq*l:ʒ/[ey~j)an՚aD%F*ECi׉qRmCpg-(~oK ˾4}Tʢy LҶA|#/ZFgu>>]"۔s6%MF@]6=_2T_`x|4({I GZi 6OL*B:qEB˵ߡkZ,⪆08{F#"7Y8mTov2eh!<1 P}eǃ_e{vGMqفd|-W㜴!Dw`P$cut/(:)F|Z2 KgbyW?ˑKw9P+fnD9.ffIix4t׋5+ψU 2nQcY.bˋApF3@rE#3fۇI݂G8b,I޴u _FI+]~((0$:$e"LcxPX1n#8oIEeYFdlyc,_z FF[ hּ'a,*Naln-R3GԁQlp^$yGL }bҤ>g B\4]ctұX9 5Hן%^_Bb@]֠{>[S SX( ӌiB)dlbjGLVn=Mk$bOqb@/cQSrXou^o6aFho0qyP4Is9ŎϷޢeh Kc?B }VYcvֳU+t~s[t7\L?)Yyz?6b*7xs~lL)I8e=y%יyHXB BCoj?dtIl0d N,* *qKVvqB*ǽ<k8\+GVUIS||l$+VR`1*K!BG9a+yEye(S#zRpk`˷伒tQLgYZ91d1440933f2503ab2935e313fc951a67b6f4ce4d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a ? Program-Conflict-Analysis