SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info BB/G d / Bounded_Deducibility_Security:threads=2elapsed=5.958cpu=10.484gc=0.384factor=1.767zXZִF! 5x]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf{"f/5Y=C*=(jSUYxN@a(!J=`W=wg Qrx~A 1jF[(I?2g𒌛K4fJ`\zow4D*G=A7:JŸ_h"CE3#-l&0mHIP@`OAV> @Ov50 PV_Je6JroVǑq`!b3v̪.Kƹ.&K1g6_: el|w#`|"r'@_PdF7DW hy pmP6ﳮbWBl!$$F:/!juTp-R 7._`H P,d!% .UYS`wKVN.}~Ds;{jXYbOoKtO$%bCj b_ɟll,h Fv OHұgYZ04aa732db32497842a81f6d9b37e85ab3e933fa3 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295