SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 c9 t m/ PSemigroupsConvolution:threads=2elapsed=22.889cpu=42.952gc=1.580factor=1.887zXZִF! 'dt]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȦ0;`}-uRX񨃝%D@3WBra_q)= ; J>g -CVF{(O-9Ǒk6a-fsg.0 (*w!cLIbP"R'ʨɡV^VʅWFM羽_ta烄 CFlg zN4%GΠsDߜ-k(A[u*;7$^ͦ Fo_:WoR틏ZVGaR'z3}}۝@C8{iЙ,҈řz!Ot h6:k2$:( tog&9ԎxB4E) rq @ɯ Ow^s(C6z\4- |?gBLaY&oT憚793=MuK 3lQ@فǖ %'dr۲8ݖ<BZrd>*]c)@R[4|Wfj9&aWO!gKXiqe|y|@_kT;ӂgOgR3x#~z99]0%˘ $Oqv8|ah.ÎCOAMФ$ٻI'!x9͜I0]\E?LKu_z7NNgYZ7zXZִF! uG]ŗXi% ~kU4JGce7 +ڰ`S |:3FYɰlƎ1ˬ`h\,3bA50Xw(߻p/ԴVpq%ى:??c_C|;ъHozmu ) y<{)do}  { q7<ٚ,M.fS,@'êY;xow0#2Vz:h4=)c T@\)Z5_BJP~TAe_%pP (g8*oc?Y)Lc_N\q޻QnEZs0I(I#~d1Q2}<5v; ̥!wr@M0~uy %\ߚE1:15;Ba+ SvEU!5uśTe3W"8u0esf`M>$!"eSZ ~<`3p"&x 1@;tt6/,c1L b(ĝϭ 쀡z¢R ̳bYNaw^frZɦh@!=@藠Nk+` xؖMK:kvt`8Sc^QbUQrNRcU}  '_b/m50TaBs+ v1p2tT<==. zɻC(_>asG ?mMP