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  t4< ] XML:threads=2elapsed=19.394cpu=28.400gc=2.044factor=1.467zXZִF! j]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R zl5-WMO4]]RR./'b1 Րak\ma2%wc7+WKk9k?߿VZ840bm-E'dMeRmBnhsZ]AXъײO9u}0~^lK {sm<LJC~\XmAO4mjs!QJADi09bHT(cm /l0Xl>F=WVvYc7|!cJ}7bb ,~?18ZDS߅][#ai֚ڑ-| #>B!f?>B$%臂ZԚg體}$Rz b57XLhBmU7ȵyOܫ%nj9x+fzR^l,gvR_=a7ʦqJpVVM惈#&vWw/D<)MtzW3wQ(InG;`HAލ2Ct?ɷtnWVdŧn6H}o XIP2c:F\PcMF0ftgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uGxL,vXJ>t^ )"ШNqM#xbxTIGPG{oUF ֞<Ygۙ7z߮ۄREY`=*`jZ2*@gn$g5L`[¤ \/p`r{"ZdIVYE!E?A VYse #65 x|vH!j*ɉ.2B/t/!G^*"4XSb\j:fZHx+ eE.r%czEPC%e7$EQTQ&zI+D[]_6,; f.nXíU:un쥾/+$8n!O7&u9 PKVT#\VQSW1ʛ@T:xt^<\kow$3ҙP^Vp-%|*د"R5X:6[*tiTq-W{N|KU3>a&h| "|FW!T|ZCY^xlfٮ| og/n}2?O}z%hܯUi օCKep"/O2LDžX uWY^Ck q*]v7pS+!Wݕyz4bYՆ﷬dL`Yg՛?T46α퇗28Ӄģ0kmN^i] .ȡQ Q5qDϔSsj,IW<ž!¾Sv ˘FȐ_lΗZrdű5T3;ض'GQ o[E{eu `Lf2}G nq㳱-y@{"p]#x=v$€~o8oWcb&_LVM W໗w@:$<{ݮ,JvRlx5 lo|ΪW3Gx&= 4TBgYZc714311ebf2c8359ed22e7db8b09fd17fc45bf6a79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069  XML