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 |3 \ ]/ MonoBoolTranAlgebra:threads=8elapsed=6.802cpu=13.470gc=0.679factor=1.987zXZִF!  <]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g\C)]=@@̕6n%}Ev0n$V_LAz gEVeӌTJ|.!1-}&`|{~(򕑞 p 9_}*.m{'b"v\)ݽ7$Y'pv*dzBDPs;Saj`]r5x /|33]htdKׯF1ى67oXuj!r2`M$ߖYf\@cK3t}b>@gYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg4-{Fw6*? ΰ}uczUak/$T?Z g {/*T_+-z#sMWB1%K2X9[NCm$I!Tݐ[>3+VPؼ#u5^!_c0yB3?".̂@uaBw8X4w:gYZ7zXZִF! 5r]ŗXi%>t}m\cे(qoD3 Yva.5e/&GJ<3pzc"ۄܚVpmv썮P7Ma+o:q,r;|j[ UnR2ŭǾ_gX m&kܓcQ֚~= ҋ)e0> ?izӼu ""E>\I'~ d*^3߼Ę"o|AzmkOHxĝME|vI'n&xLpŠDj#M'R!(xPHT! 4cgX83׽ w|L#{ag\6꿾4NZGz^0F倴[sK~*({|U fGYkR?sdeO#% {,]e)15WGmE썺`yA(o=UX5DCB; ERMz"[3eδ*UKp|1#A ߺt VcM%yv{i2jIq3ޤ8᯻? 9ޱ=*F^frzàj[T[[4 Yr6 :˶-|*G= hkcKrBM87f:vin_)iH^6k]9jSNwYƜx@ǝ6j.w#'wiedP)6!(oXa) P4;hR_Rh'9eAB]vS($t=1_`9tLmP+j0a^gYZa5234e743b58aa68c07472cc2760cbd9d3719691c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 3 MonoBoolTranAlgebra