SQLite format 3@ . BBh77otableisabelle_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 09 |4 ]/ PSemigroupsConvolution:threads=2elapsed=19.505cpu=37.248gc=1.792factor=1.917zXZִF! $05]ŗXf1-/6vR[2| Mꖯ)KqPoQ dC'[B0'϶rB-?cDZ9aU )`Bҝ }`2)Yrܧ)VE+pRb=5=x!2d;IłdeD-镀Jbt"4(ȽEw,K p'"$ݼ"d^ }X/<-Y/_Ԝ?dtLvIx=o~0Aw֩wƂVzes5RLCxKDl"uW[(klI߁qɄqIPҰ1)yGfv Y6o6K8k!i[|AAv~BKz~ K٧a^LLnEs77HYԹywj;v5y%4y /C3䈠/]`b"žG\g't#~ٛ{} _"YUJz{MPFH]zx,k=}(ܗgd(2bG97A'% ʥ a`SE{8RlS`Kː]Jf :b3Ej= 0Gb*v aFLs91ȅqr7ȫԻ fJS] # ]9sofn⧫TBc4}ͅ!~f92t9WY[fOsr3+e-uJٲ} \>d+hA89Akud.;Sap*w!+ި(nJg6.RO,^vyk/Ҡ<竇T6.ek-YώCf͹,sK-V柽@BύjHTj:MA1-vx\p uHObE.@v׮%= ٲpXм+Z D͓DL< f0LX\24 1 KO8SaR]iAX ܭu[7ͦS|%~]NWTW mdJV~||Ͳ|eJax@`x_<1`4Aװ(65L8_w&b :;uE!Xb- Cz6]!\M;=`a|ni{㋹ rItRF=|KM,TĹsؼ;Mܸ[#3_,[la]tZTN.KV+q*d`KAA9lt~uJ~yywLYAԞ\FT[sLƛyvù_ e6p\iM O¯ $UjrF_J%?Aa^Q{!4P0Wv<4.fLFjgaC3&hw`=GsÐ >)tXٽR:IQ.t+zewEY<={%Np(Z^8OSkOfqPÛ4 'e_֘6\ bs !0gYZ322ae6c196d4f3daf61a3024ebb775c118df41d519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 9 PSemigroupsConvolution