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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info y?\ ] Ordered_Resolution_Prover:threads=2elapsed=72.177cpu=122.256gc=5.392factor=1.697zXZ ִF ! b-] ŗXf1-/6vRZyѺbO$°xYGݑ@ -I6o#U|0_>rdZMZ$SΨe<.ugIcɑ,{dLtküPǯg?:x+VQ3mt\qEgI2Y0 |Dq~D/@W_ N`4T^bR5sAaa b_;҆]i;tx,ccӚQ@VŦFFWZgFfu6bx]`1p.S7
?Hxq瞉dOTԉZx8H
"_ܧmRqu/S͆$]gW[GF'X(b`-N}=OcgTNOrj>?!J:(~=25I]2 GImQ(ucau'ma6wi(Q|ؿYx5st캴OHY2F"6?>AE8CZJA"D:RtLp[
FjŤ4;>~M%ދ]y.%ETݲu_ 1SjxpW3+kM"8(YB!8!+<4Tymvu0ƨqS=i;ÍXBi`Dk}.6~?l9|cUe+ r6lq7ͅ@QdSbe30 p9uQn\G#?3!N!:D5-Im
)>+2Njr522ZԒWh2ݍ hE<1sۂ!aNզRzF5}d\ʀ /BU$*t/cm{d?;%9qM%[qVYv@[fKI&1Yfʱ%Џ')*v?f \7%SU
r+3"&