SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ##N! l % SumSquares:threads=2elapsed=9.490cpu=16.440gc=0.248factor=1.737zXZִF! A]ŗXf1-/6vR[]৞B}.T ؙ0.n={4ޜ@=KÍ Y3֭ |M_/>|E)Oc)ꂄ>{LLDy87PbMŝ9\}6cUK9"-wr3 $OIHhi e&UcnZjA6k*t `B0PBˀ%+ f!zXE6f$.9o1ٱ+ V`9ݡ\+P~pFfoIϐxӸ^.1+| |_~t$qdyi3w2#`v`~!-%e܅Yѓ|(*QA Gcѯ?Nl[{"eR`-lȞ)\$[?+{aȥӂgx~wHW,2qӜi&/ \5-nyE>#Jon P~kѰ}5TNZ bg=*&!yCвqىV=nw#HG8@AgmAAfw?e IǒoD{腋 -0 4'`iz_"Zۦ#ϸh/ʚVWy5=D_isM⒥vFVYXCMThLC)#!؅\ٺg$Zj,jQϐ0YhlPC$~"zg^:~NL6rn1e~Wx|\od]bLlQo$h0W, ]<%*OM2qM\h mOl.9yn44c2)톤GdW[˗dgp')eQ܌IÅp[9@M)~($:m ^Wl~qdT\ZN n/\mPk5]x$W#5=΅^Q7]:!L< |B >$G18@άC ;ټY)8a\[_+epbQa^3 "q^"CeoWZ6QaDPmPcBK09X#6KK5쬸*zfjHD蛌03Rtrp̱gYZ0a9b1618e646e6f097e066a048a6c6ea5e8de211 1a74dae19e78a324ba6a397f07cf7bddaecf9f1d 349b7b51fb3b595a40c187c8888da5bce4d6835c 9f1458bc860499132e79988e26c9213701f91aaf d23451b2fc95e68df3aee5f50c02a2a8c976d841c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 04d97678bf3cb15101bfc76ac7fc3103c812d5d2