SQLite format 3@ .  YYQ77Atableisabelle_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, "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 + $ / Strong_Security:threads=2elapsed=22.318cpu=40.096gc=1.336factor=1.807zXZִF! ]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸ Y v=Go¥Vmc&-/UQfS.6;‹Vvr]яNIp,T=~̭h!H^V')zbpF_:(**X[^L@- zQ8B!Wc"T @+>R\Heu? GrrP= ZTrH{5 x7jxaQrʵYyVQhy(mM\L=w/=Ѓfi`m,tuCLl;|E;RDĶ3-9ğnV?|Bԡ51p`X:=s}e*ja':oj5=9(w)-C4f{<*Li.#Ű\@g5qϿw+ib=/09Sj U#;juְQr"p̲Ʃ|Y7K~+hXd1Wbgr)`1e2nȖr2񥸩݄uW0?s?ixiŃ9 [x'Z"QgYZ7zXZִF! q]ŗXi%6"MjwHh/%Rȭ^15DI>dBLxVj‹ VApRԋdr`#R P۶ kT9g$D`ADk(Yj{-k`Rl}}+#SDD7(z)cޭ'j)!@R3L&\Kl0e}1B&\{;@QjEV!BP 3_]>'==  {+hAv50߳On /p$_9eTgvPn-n(>=A^+ꝍag /!һPrAj#rG(mN;|p.N+"i;T *p!iD0Čqd-XhqFqW|e0W. W% Jso b}SBJ?G詍jjdL*xxr˔ C'a -.Z:dX9+C. pldzGY?'O "FJ쑕6HPǧ z0UzsCܮ}#%gb}Uz6mtVd\m͟fU[HB<'.Y#GF< gLz ,L:o C-Snb?@6I-IPVFFxL\t Tƽ;HbYE.5q9w`KͶaՉֿH=n-T\b\sSʇw'5K7E0W4!˜14u"d2:(XnOjo`[dIXڍ>H/^tqЧeFpՠ>4l>&#'(8!CReΈW &0eY\$Y1DQ*dQEm|Me[C7@:;lT'$ʢC^Cf/"Z/x|:{Wx&wMF*jLۿ>X fە&Ǫ=j5TߎB%ga?lF?6F紂$h|h~xbqM{[cYę ҩ4épW zdk$.6#yN=~\'6$XRZD"gF0|zCcK S*Bbd[U3S2SHR\3?ee͘ SlgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 + Strong_Security