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 vM DT ]]Noninterference_Ipurge_Unwinding:threads=4elapsed=6.425cpu=17.544gc=0.700factor=2.737zXZִF! F<]ŗXf[&!9 _jl1su[cȤ+bI*>Um)lz_@d0e(5 ӱB讖up$}7"E2ٱ?p `ʱlt/uL R0k \9bWw!vR}Co[cDR+ S#Nٓp#+¹1vM) ٸ8@ɝ6r3IW7]G B~1G(gYZ7zXZִF! <]ŗXi%Bm \qw&ȐL>Ÿ S9.w)u@(p3q {*z!$xZ WX|[f'K`.td `܌YA\oSJ>uݞdFQ|/~8ZtBi3OMpɭ_#R?]ՂMסiTm>Yɍ4*q"kSt-mW¤wvD tH!ysIKK,}p1md/kjw]_c5prckT?z ޳ T{xlsym2k~.:XNQ2c,l~4JwRr94&EvM}FKM}, 78%ࢴg"PQZAr؟fW g\NN- i4yn1d|prYdIbcL$֜B3o{G'!6U<#mpç ENIe:#rOܺ!qU1}¾ĵ 3-w쨐X"hJ1p)'hѴE~DdG?VKrVX`%MOA+ :;oPR&DwaL\wM0uqj;c?ezZZ?*۹ݸӍkg03+,W6Suc|54%ud@$Z齸XZ53Q,Sm<6^,-pwJJML+b|pFD{v֯o x5O吖.3WNEJp(|'}&j~C7%ZLL v8wI^{CuTj_97(uot$Z^^<*z9TZ/[alP,3u}O5X<7cwX+WweHe}nÒ'=K|\ZcPk h>/ [m$L^6 HpOrXm`V+RȰ53߅ yR=Q5gYZe1d6ee0f9099791b1b38e25686ff75eabf36a63fddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2a3adf732c6975b02bc3aa2641e6c012ce4c38e98fa240c7cb47e026a0c3509221483bddc69b64b9 #M Noninterference_Ipurge_Unwinding