SQLite format 3@ .0:  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 ]S Sturm_Tarski:threads=4elapsed=13.536cpu=31.396gc=0.336factor=2.327zXZִF! ]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiT[oyӕ#]~bҜ`tFz=RVqzKK[On5u6*ś ~Iq@eXO O`N4m>M+yR>:eKfNDi;W@{]3ڴ}dGs7D_@b4]-δj\L'Izz'YM8Mش8Aڎt")܆,\f"jCSUtQzrt\32PU&rWKDX<+#kR\ƓHfz&; ؈wyT4 )дS$zwKiTcKwn^dHk:iZ]d֝lēDϽ[LNer˼%~!YugYZ7zXZִF! \]ŗXiɟ==M*]0tI'ZbrC{67T*nQ΂xዂ$˝9[Ad='xP}gYZ7zXZִF! a.]ŗXi%Bt0 rYE5@*J+U+~k8gdܶ*:PFYuN"㵂v=닄4 u Ю[q{ȓGɢaڮ+=@}SYu3$JPk^#Fy2;Wk#r.pXx`] 2:_ ~5.-φ^@jZQ@ a5u&<TXLo:^ myOa !E[Q=+&PtXP N"YB˼ʡW'wcnK5gF,8a,>0+r(@{}o^s =@tm˂hߒ e2usFbX\ sKixEPUe+,9lE8\/+Ha Bq Ꮟ^ZD-T4B=gyU ŃP⟶`Pu^#EL`4YE#kC ]o*3p·LCj F̮1>04! d~%Koz=[9 <bNMz5Xav(;ЪZ&tChhf+o_q `IThGfsp.uE[ScP&nspos`