SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 BM TD ]]Noninterference_Ipurge_Unwinding:threads=4elapsed=6.234cpu=17.080gc=0.680factor=2.747zXZִF! }$]ŗXf[&!9 _jl1su[cȤ+b>7SiKPQ,ai#1x/ ("E% ckB k:7/0ΑAϳ'f1zFM]үmթx ɩ @xYW &Q&! lUI3YfՌ6׭1 3a;ٴx1A(_N DZgYZ7zXZִF! ']ŗXiɟ\K K4co:3hі[L]^r̄-BC%T䷟UCT@&:FO66Un8TC鼮n|]V=E8$XcSWgEK  qG/@Pj2AxK*>=? Ø2}s7wDa{/|[r(a: KL  ;U@7Y%˲xЃ6%:9!v/WߝrKuO O])tQFTM߷L}e4'-s jݎ[ǀ[-1[1d 8Iw:2× W43b2>~.6FF)TÙlLAIL $&p@?*S[BvWBRy( cmcl;`Vkt"/tڐ0IT'fN9:A皉*~ wJkIa)#X҃B~^ w c` R^GE+(jځp(<=A4P)Ky~eNo wofddR~-&k}LjRX -3]EkGHEC C(ݿ::_/"1$F)_=qI;|i:ؕv̮NF,?:O?b~z-e<{a\J.D`YsS?qiJ:@_Daۭy?HShi=4.0b7D@_Zp]pQS*\'*=էDQ㟰.tg8Po|trV[5w4L uZAzYX% ,*LP~r8n3B/1Dn !Â? ӍmՅ3" b5 > t gYZd00ba1b8403e30e9f6b4d03d99a8382cbb7fcd8addbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe dbf8ba903261f176fe1891cb3634915b18efd1e3b0804e9ff7f2289ec5b23d241efd4b8f1cbffcfe #M Noninterference_Ipurge_Unwinding