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 t l Y% RSAPSS:threads=2elapsed=24.496cpu=45.980gc=1.384factor=1.887zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+ӷ ^:qZu͂( ү3*BǦLt:&jP2Gޚ>+Ѳ籣f;2Ww.XE)3ҙg a?m Be>ÜZikyԥ6Vh /6LBoB8VvY+{D"j+k!qL[nC_Th1 J+}g;7JCk-xc6eB#b)悬fuor;k{[{ ] |E:]<S_OEsX1~"7IdƩ}qjZh5\\aaQ5H$dB%hެ v5AyQҝ೪BB#]|˳HoĆx_5YGVMEhFw ,M SaM?̤b7wjiB]fk3gM n_j}aPGK u \MOk9yFKPmXpv)oHŨOnW25ےYr5)uE_h'9;:;x*Mu2XXEȮLv8grTxӈ#ٮGf P*!q oC鵰2`6r~'Ajl~rky)[wV*|c:*:ź])_osI-P"3Zئv_% Ga#EY  k4="a6t=6*n$" Y|MjRhb<5Ʌ8-d\ORb"֦!bDyʟ*kx0kY?N9I2y|95u3J< |!;lC|`F(0^pzyPa.-1&UԬ&v##D=(0:ظ;.UlSco TSs)(FشQˡ؍'05.ۺXuvYK3-!)哣~=2F<Q:!]t-]~ !y?$">6 9)GuP1]}-$X_MFrֽlQp"nCy6 ] ]o gІh1VѺ;{ຟ#|HfD ~``h؂GQ.oNdNj6_D>o-?%` ]%cKnjO'tgVU1Jhly]?kM3" 0B q5n 2 pʼ,X`j!˘G %wp [IEĠh#B-J|ڼlj<05aYRSD ӱgYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15ea554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 53bcce29f11bda0dc2e3c838c6b02e9af38c28dd   RSAPSS