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 99D3 D T ]/]Noninterference_CSP:threads=4elapsed=5.186cpu=13.716gc=0.308factor=2.647zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKnϊ;MjʺWwx 51%)C!pkvЄ;hn}t$ <'qT礕І%I l%MSTNpb{6aSiE؟}Dߒ# 39M.=C⭭ T56ƥ B0!p0r+";(;@AT4ϒ1# .5:^@d–2թ ztgYZ7zXZִF! }]ŗXiɟģ={#1w,<=9<0)xGhaejWC h b<&hh hlCĩ# 2Zi'ۉ%eSĘqYP^C7$ Y1uz"gYZ7zXZִF! 4a]ŗXi%Eb⬗sOd}7W]ejl8vDLُu#IjC3{U bwRt4܎~iVI&ozed R^i 2VZdϋ?`,`◻`D. oxL<4WpRꂁ ʤj#i3;)N| שDcxSry/e5 udY8o6 cw.:mJ`u|7S>**H>=t@ʪvibu(< wˇXCqa j*}tڎZYb:}ѹ"lm4\cyg _Mn.z}hqWG53h&vPejoG޻z%c()u4e i[eG\Whxdq&lPQX؝H_C-0 S ;dTuXpȀe.$ Pc$)U Uj~`6@=C/3,!'[Zv.ͥqߥ\CP-heBm8g.ȢaTkWy *pTUi[Lf gYZad3522a4c116275758be15ef7d2436ed0c26ddb287d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f2959189d6162c2c6e68eca692c24bf9cdac326e8e0058 3 Noninterference_CSP