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 SS*M ,4 w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.181cpu=14.748gc=0.616factor=1.617zXZִF! ZN]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'c}pJ^}%EG͟K$[oDXZ&OДes0@;]s/G 2 ڧ{6;cLjy_*|&'F>@Y*A` . w"9gYZ7zXZִF! 89]ŗXi% LAyTJ Ry7|Pa Ҕ]G@U~K۴;`NKU׭i ^&&]gTam}-L}jQ3G~L cbmޓ[ zy}%@hH&$' Vsv2ֻ֜ c5&<8L^Yrj՚gݘoEjwrįK!nm~x)>G>yW"9ИhG=\XWdJur0CϦ"9aCW0TXdԦԖr,޻pzBgYZ60508a91f0e3c83e2de4d1c34ec3b6fd06d4a069 63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb fb97a5a27b8324495e15710f48c01e4a6b9acbbf728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de fb34f529ba8b823097aa17c77a578b65e24e6b681b6a16ce69843216630620e437a64fd401657692 #M Noninterference_Ipurge_Unwinding