SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 S , ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=11.997cpu=20.820gc=1.112factor=1.747zXZִF! ]ŗXf1-/6vR[y(&j-:6GSMnE j~mxXU>C]J{,($gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY{;=>/"k!<&;^5zBkf>d``Otfm_AW[[D kOL_0Zig{;`޵*KǁyfVJ k6M;L'1|;>- KC 4|>M }gYZ7zXZִF! ?q]ŗXi%6Sx{DqYI7tLe2rpD*vS%يmAD_rnp%*<?oI!Q B](a{Rw4XjOx ߗvw T4 sr 3L-EwkpNqUJϦ @>ڗki2/У QmLD]E" aNJRRa; אDʩMfBrVl r2\B!^.ZQʇH2dw۵9H+I IWD +ʶ¡#9g /Y[>”zOX^W 7Cr~ܢsmea Jz0<02W c92#s밗"X? w:ŔI\+. ӝDٷ]Yw}w.'UiSe tYb`-L} `7\7+FRY&*My(G ߊf VqV.䏾 7db0^|9 eg1,^87>{}d}g)K[ǡ̗4 Zy I5TObU֔+T#gSPDO3hfSPmD/bk}%*Y>/I'|njMx5%V_A-w35MFE GZu<Ȋ#G A^#LafmC? 52_*PXQ0pmIp~؞B>ǩ8&r糓J1H4@B=44alVME;5LaCEƢo6&n+>Z");DsnzN(.P&ot~RҁgYZeef71885cd8c656c9895c2daa6c26ad8f5635fcce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc &S Noninterference_Inductive_Unwinding