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 &M \| w]Noninterference_Ipurge_Unwinding:threads=2elapsed=8.991cpu=14.524gc=0.648factor=1.627zXZִF! (]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hR25!;A .lUC3w^*%ÝG7GIRj as4фq#r&u:,)T<j ^1T/"<+:iBV`Wɑ'`0=ƱW% ҜEuU:yIa1u/r޻-(pM/ãď)G1NZ=mCb "(gYZ7zXZִF! 5x]ŗXi%6s18}hc[M+0TAx-nxM  ۍZpJ$>l,'K8-^Za†mo%'4VPN</w".ćh`PHmemVŒF'O)y͊ EQ4Ϩ1&:?Tju2ߎxg)bPg hh~Na`rY+iIctS4+կbJ! 5< GGLMuQJt#?Qan Ʊ0qGږW 4M\MDk$P[}@ 8xjPxpee~i^?[>SNTa1YV!n/YgH>'fPa7hFz)hF o d.ўW8%;+rB8U؜' vnD06r7usKib7wpC#NBEcar~p#*yBI(u4wٜˇWKdpkIʰܲw? wkjx}iw9z;+E) S{P&j%ϵCЬB㗸Mw?KJW#8Ay\bk{08iY!% 1B $f }U] yji{~H Kh ޼ DE7 ?>}m3^]Q3vpۮ2UUUvcj0Z#Z(p,6@ȳv&Qp#䐖>?5 zeѳ;Qo%N*t @5kSɡRgYZ60508a91f0e3c83e2de4d1c34ec3b6fd06d4a069 63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb fb97a5a27b8324495e15710f48c01e4a6b9acbbfe4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d ef4bfe6df8dcb40838e637ba21b8c7393a93af97792c6bda347c4aeda834e5e74ee83aa6e12c5fc2 #M Noninterference_Ipurge_Unwinding