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   ]) 4 ] HOL-TLA-Memory:threads=2elapsed=13.993cpu=24.632gc=0.972factor=1.767zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEV1ȻV1e=;ޣjw'kRBk>Y+GAq&kF |'2[G!l)醬$2Qbbi FW^؉i] opzdktD6,ᖤKM!*ʙ@?m[ q]Q<2I!Yn}㋢{ M- :Gq{wML Lx"Z{Zmm747x+Sƍ\,}J:m1Dq'50} H2 `sK)iF;԰jvtgՈDUYo8ۊ{ybƥCl!23K c1Eos"?f7;xpy4s[s @u5cĘ: )1 jCd1?Bt36 c݄BʁpM' ɱgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWɏ~m2[ރ# BHZRJ*#m!/g%Eh}2\WP"Nq.z pJ’bU /5MAiѴ0J? -_߂,A|ZV4ƹTFx gYZ7zXZִF! D=]ŗXi%;X3J(hw߻/sЭ?5 <&/1wU\гY/{E_#T--CkSY >U-f?,}qVk |{;)o֍ELd qG8G^+^m;A~KĽH.٧z˞pnX q*A bRnЋ6^ dEbj4= #X-@ԳbK[GNt٤1דd=2J [~91Kqw'/{)wP;4:i[1 &.i_K J?3HYy`rP=9qHaCXLWg8Ƚz8Go"[lϨ},7-{OIA J5ǶR:S?@I^IǪ;c 1xHkn17*<+8WAqk(rc~i@".ē'Kq5Pݝk`!SRwucJ oXre^:~#F /MMb;e/lW kcTYz!&Q(EJم0YJ M N%8e?L ^I@dNZu!h #ȥCT@.+Bd6V<±^cmA͙V7gYZa36cb0b19eeb237b736787138ae817a358ef5162848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 0bf0e459f3f1ceb8ab7cce2f5e11d85e95b199a7 ) HOL-TLA-Memory