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 e) <4| ] HOL-TLA-Memory:threads=2elapsed=12.106cpu=21.532gc=0.700factor=1.787zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋGdMb2&%>hBūf6wf{Tui`ɞZPQ9~](yNI>=UjE[.0/*ro0|%U>VŎ3yP" 2dR-U>O%ZeWA.3 :~D O|_ /y cjzne{SP㨂ҧ4xcuԇbU=[$i{'5m-ܻ-L9arIpQR}AQ7Ͱf/^t i=-ҲLrO<0gh^׳ ʯa+ڝYa&}|| FAAUKɏ+=rLݠj&c' wB4T! gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKV'+y4Z#:w7yFdh?a`0.#!Y1˘YY- j N5Y%׾ufl lxY@ucY3sװ*'tQzϐ€Ycy(<bF?M W۫s%auq`DgYZ7zXZִF! :]ŗXi%;iF쩋Pᗎ=?GU+>$qqϿ$"&"aBnFTƹl1>+/k3>a|S~B.TcQ46Wܠlc/5KA}-*`nFdȇgs5i,9߁ };.tLkF7T(?8|&-X?~v*J-476={^ H=7}V,;CzUt P74$l J b+cX@/]_dHl +g ~y~Cv1lХJ\XsWB3e ZDS& Sfvٽ/W:w7\_5IFQTI4aR!ܫޓyU"{~۞R%5PU~ m!y$,y7Ϭy}R)oɤ QpŶǻO4\e vnliORB|=,/z7c$3[i)L>r#:PY=f[:{#5Q/OӦ e)QyS\[˞D-ke"gÖk~y! 5̇W$k0B:z q_>Kb'nK*>#*n LKH[ aBԦ8Kp׋2CI6iFVAqR$ö emZ}QL89_)^], Kdq$NC}gSzmE7d+Rnf[!hR@VcJhxCzs2n*W5ee=C0mݙN