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 ((U1 Tl4 ]]Abstract-Rewriting:threads=2elapsed=37.405cpu=61.944gc=3.152factor=1.667zXZִF! $]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HMNVN &cQcx2EhbT抵?9su-ʮ82_S Hq"c6Qsn1kPc|]Q&] ɭR H4-YV$h-Ia?#wyw#)كnJ&7V3Ă0(&x`_zX׶qdYЛ4#g Qs#!Q2ʝZGQ;€ ŔD+y*EfB3%7'U=8NIo ;GeW[#ejN-l^/ F(+ y[8Z~5+722Tj3 &/2o~trP4=ԑ5~c5Jmm!16c'8XG~UY- g@mF\MWo/{6Nt׾묃1*Ze}4=P&o`8 7GgYZ7zXZִF! .]ŗXiɟCrhi^IxDY?Av|1jxD`n-Myw1e+)-1>;H0>yS{QP(TyīC2pH#9' 4& 9">RWy|c D˴za@)iߘҠ XFv)]΄`:23_Ї-Gel@hwf,o3k.?0Rti>DϟVI"IM:0%[ZmBP6~ šgYZ7zXZִF! | ]ŗXi%93M4-߫n|ѥ.َ]91E}0&/p!I3/+#qOƤ^pF,^ފy]pZx잞2Qj׌M6Yy*~(v/dvVAJ#6rJ_"#3f22r7HMpZTeh?ngG_/HͣG>oB'MB#]h$V뜪+;>yYu!(2tOnt!YTuU;Wxպe+8IJOk!8=I=(AoLW;-@9O~^ol °/ʭv&טGxut=rҟoHD2aSЙDBɰh+OH;.hjxf7ŸR*ymPz{!#Ji-NJo21Q$`MXU vgnҀ M~E{` EenC쭃Ǟiuz ~P@u99Z0f[V`ymgM#!. $B[pq'!z3iԳ#8rRKu7@TXqD]*|F]uvXoeu!͚ᗓo?L E}nd)ȰH~?wpT&U|(S:/! ([mVٶzEwayTGU}V nIOCϳBu{8 :pfI&0Ҕ=)|REfA nCjtp챸mA,ܟmQ@BJ̟dz=vL[w>LʏƐj$' ,Uf{R_oT :&Ȅ:| t5g=j¾ k5/G X  _>m[[)ԵiD@@VCj zq40]}3,=܄CZfN:{ YQvnE e=}lSj%i1Ȍ:UبYZx XnODߎwa=mMTְԫjH#Ѐ4ҒW80`o ucPxH.1ڲ'kuj7{){_/>d^C/f:dqy(5R;zݥaU헸2f, !8SHS#B۲} 7o6|h,R@"[6ly8Cs3>_4C3Èꅺ~kxSUOvHUal9r2$W.R*_#'LVA9Pb3AґP%MG&#s5Nre7Wk.hF yRۄ•\LM5vY. zdLP0iT ,xqg (уmwlc5='O $i;fV0.́,,)5A"=u!qm(J(t77DSV;h4gDIƻ3 hU{(@M/ʶ2>i[_l1Ja@B Vc>3XK8eBuY )~[$O\p,5&o}ܰn_9'J]0+В`H;wRSZxDϔLzPqxR^Cꬡ&^*˿ Ra:d'kKu%#xIcb#}S8,ƶ;A%0DI>0c!2PmH~MYv._=d :PV&QWk:4Ko1#ܓaG*6L')Z1[ff6(<3PLfT``6e dQA}x*E ͹'MzﺅHȅ&4.<f8֊1ߟ`lP+#Y,jZ?`ƶgYZd16803b173851ed5b6efb381982931bf7730aec7a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039393da0dd488921eeafb571f21f89355097cea237 1 Abstract-Rewriting