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 FM  w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.150cpu=14.768gc=0.612factor=1.617zXZִF! <]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmz s};.Bvrdg \Pv,PJ?iUx+a#\q $.'T!`Q*NGaqBO$M+]gYZ7zXZִF! 5]ŗXi%wH Ҹl&ra%{a|bd<.wtyN+%X6#`iZN6#N# ua9a܉D)gN X<ʈD"p/{n[]`X`18 ꨩ#@HM7*^ݖ^:ދXe9MIAsO*xAZ7RO¨{l.}EY{JPC1ȇGa{#'qH#hd*ﳡ9!쬉4b*szIʌd ;¾*p-3j:zd!%*7nfΧ7pAui_ u2Vt8;*dJRm+̝Jg94`K0lBlüalq-zr&ajUy)1JRmgN/l8*8RRcYg>hHbOj&FCw ֥$@6˚djQڨ ȝO89U=#pINuJZ_b@=/Swu0hFyCS*(1#ү*)* m|q4 F,$îK%['3kgYZ60508a91f0e3c83e2de4d1c34ec3b6fd06d4a069 63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb fb97a5a27b8324495e15710f48c01e4a6b9acbbf735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 97df4425b1973b7a509f1e1e6fe57b96978b73b8a92d87c28403a708e6845bbb96393cca86da3ddf #M Noninterference_Ipurge_Unwinding