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  ) )TG |< / Bounded_Deducibility_Security:threads=2elapsed=6.420cpu=10.656gc=0.344factor=1.667zXZִF! 6]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf ^֎hHk[v 'ȹҐ7Ak., @qOmL%ʘA{؁gmHBW@+tXF w`'^fAqt*u3<4sбFT>@=Lp; ^y@wr1sCUޚ`=Hq- lsJ]˰;%h:#, VT=q%f[vC %gYZ7zXZִF! ']ŗXi%^)yS[i\-u՛DaїLe谟V=4NIWZ4*1*|;R#Nj<,A㾏K ?Q^eOKV<{̳-) _F)];N"躱:96:fA;8*ö?i&1 ػf.ۤ ;}cI  }uJ 3nTER~хpn2H27=ƭm"r2xw푮)/6)FFMAikHxfͽu 0jϏ:ڃӰ0īN:Ca-|ǖyŋvMdhEK' ] K.]UCAZ-gKv"o+y5ʣ)gIeWkP& OgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa  G Bounded_Deducibility_Security