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 zM | w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.247cpu=14.612gc=0.692factor=1.587zXZִF! 8]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cn P cK\54^8I "qO3/ktV7#9y#ll.#{}ٰNIw92=TSlXVn#@`YrI[/s"P~e>| Je<10[U~3 {SjeoLث}LXf3E&(z!9ClkjM"5}2!H% & > һ+ wPgYZ7zXZִF! 8,]ŗXi% îȒ6 d 5%L@Yb/N mJ5,(CW7mũ\cjR[β0w#x[~8ys|%#"F*Q˕ď`?}J ]t16>kX#8K[wJZ=hy߾L'sVpAJUvverzj#`>]Yj7+`/{ɂ:>g}k%yDm*^;T=3\>3Mŵ' 2}Bg2\Eq6;B,_*8ًeR}O):OѠڭknFNS:.J[8VCz1n("ʕ?GC4*C I욌 65g;;^Cq$*:96`I8.# !#& ]U^L` \،jvf8<*ޖ/cگ*i '|a$s)1}A^M.dXr"WJHM{M o_^M$^EG4 xfDU/]y!&a%_+juBsBtR=(8ۇo@%W?PޓE[(36B( (Q(wޗހ yk$> rGswoKKbً3Z44)a6ȉ[~&vgW^ֵ@=6GMl+B5$‘DU"K}IK}\PޓC E (ug+TI썝̅qdFgqX/<&&#E#փ3dxU{Va} u [#K9.ZstFO05ğ9* FT&7Aƙ!Gz\;6Z6[^l^v0job!6pҍgYZ60508a91f0e3c83e2de4d1c34ec3b6fd06d4a069 63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb fb97a5a27b8324495e15710f48c01e4a6b9acbbf728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 b931b117756e8adeb43c1a136c84bbd532352f85f9a65a783ff6d03d82c9ab24407c609424cebd04 #M Noninterference_Ipurge_Unwinding