SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j,T| ] HOL-IMP:threads=2elapsed=179.819cpu=317.348gc=15.052factor=1.767zXZ ִF ! w] ŗXf1-q恈Q-*_R~I:k ՏPwWW-ݺNSپ˸IUoĔr?&eB#|3:8 _'0-cP>3K'|rLp1 Cd}{!L5_?V:g[J,|gvDM|jзm:P%D9Ʀ/YGd#$Iٿ+ ?[KS+dB+J3q+Tat+{[lj7vyA!gjRΚ%2{;GUAm%IWۏ=0Pk_vsxX:L3_[|bἈՅN [:lp}D59o4*Q}K>r=Aqk 9wH\ұѶl0ax<(',cLh_sDtHbݭpx+U+/ۢ{mzS{vLWtuTRڷ~TA0#)3'q˃ip?W|Q3R5a$dбKAKy-6c~ZuCnlCb!s)TEX?|_MM%>LCa3)p/\$K.2><ȕ[w"- +y_4,DL< i;իճA78>ϰfaSd>8Z~wUj E@EA+~iKgL ꔵfW݄ CJ:00ˤl=6Yۭ±i@oS[_웁Xzm;z HOL-IMP d{=֒DיGQ\ _'v@
"ޮ%Y(i5~P*/Vmx8L(qb n5>7 h7Zre"Cטon3ί.!*~'tFYc**y~PqɅEyZQL.iz^t_{wI}Zz Z/G37vF<
HT6ëUa0tH,_A3G?ba$D+)hժ.q! rfROsrG.ãElztHJq'CKSpJ>1P>IH+]uaY1
55۪