SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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=9.658cpu=18.260gc=0.960factor=1.897zXZִF! ]ŗXf1-/6vR[y(&j-:6 mpw0gu)) m77(jhqܓ>YϸDP*%L9DRF`fq 55Kl̡g, Z@ r}3 DPnv((r%1"vuiXkU/fanAbЗEQ\rjPygʴ B^gV6SςhLnz3H5ߟ77P@{KgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGha~ct/H;s`L(S14-(hl$IH4Zs!Mk$U!\*Dz3=ᵬIM 1:P2cB-B֬FI^E?6L%,)wgJ̽]9q ,0gYZ7zXZִF! >]ŗXi%>gaQߺZZ>CwTVw2:Cn׋2B Բf8!Vdy(,Ss?G 1%dfܲ"4Q8gɉ]g΂2yr{%ljÎIq+;]i@z iJ[Bץ^GP<Ĉq KiQ&Okm$Zlh?/# %K'Q+qzh܁kkEGUN[a+ƀ]ז@W u*vŊ[T(LuQNJ0/N@B\\餝Ynug"H23P.p^0;#Rt={ۿ+F}ArTi&R 4 51Tb]HErYe`jm]vͱq$W( h60sخXc-=Oζ0a; S.7L7șdwF hNY$?OJ\ rkJ!Ad!oZ FӀeZn1ylHFU$1J$(ӠAt=[/n'^i B1 nݝ8t`exc>h#a;ϝ*!ؙߟ 4a2ILe|pH##c$r~Fٝwdknʨ{vv$rU'TpTS޼WU r <5n=:)12"]]rm°oJ d HS.fDfk(^*\0`_\"t4?rcK_ LԵPE^/.bZcX9$Lk(02E cvY: z>| ۆ4}qgYZ45854652554de6b34783c24d5c257cb4fd39b943767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 &S Noninterference_Inductive_Unwinding