SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 yy? tTL ] Program-Conflict-Analysis:threads=2elapsed=28.786cpu=54.424gc=2.628factor=1.897zXZִF! 4]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU @ Jt q.Zv" EHq22/uMZ~GoTkx7#e%܊(0,}o^<,{2}ć^}+=waOw} Hyvw`34S z5~Bԧ؁60s@]Áie *~ Y-MȿMUN(S.{`|8ccƅ2"035b:aNOoߔXi&`>4uzĞ[j st!Τd & iE n>4ǒEbH2͑gYZ7zXZִF! k`]ŗXi%>g광9m{IDWʾnٵG|ݵ)K\[FB%o`r 4Auk.2t5NJ{>S(sÏC* ~oNn0:2z(G+=_9]˻KF N)Uy"\W#!PewiZ, 2 cefFqoi캵nGiByR|?=[\(xWI1Pf{QP6Rg޻z {Гu!ʱW}X_ -eY,4 < I$6zCPX*G^?!hf}coT76b+,S5)ȸFv4RW0{ńrd1%uZU"R@WRR::Pհs"Mu,'b(St'dj]^ޭ('5SdESamπB- ܄< 1lbރ d L_ { n&6B@k [=_(mމG.`8Y&ȹ(5p\ [C0j4U6QM2^Y>R-mDp2wHS!c^'"orb(2*{wAL7>bn؊# #m\`O`DN;_WaI-a\P^[ S-Tnh|?GFe(%պgYZc0a6dad53361a3a9882ea18e2c358b2daa08915c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 ? Program-Conflict-Analysis