SQLite format 3@ .;  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 H3 l 4 ]/]Noninterference_CSP:threads=4elapsed=4.622cpu=12.672gc=0.260factor=2.747zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKo> R/\jloC@P-W0NA[=U~1>(2Lʚ*v-\۽~1OE:nƉl/{a ˦gYZ7zXZִF! }]ŗXiɟģ={#1w,<=9<0)xGfY|q25D pFTx#q_!a q5B(,Ŝ$LqL6&`1ßEz"gYZ7zXZִF! 1]ŗXi%L >,NGg"2QRQƞ'RԧցcC#4^Im(sew;nLp-ICu}Ɯ-+8OncbϗXHx[s,oM?QnGoV_XK qKu+Hς W)wp[/97٨HʾΟ1C (R0QG%z-P/'/mM}o10nON@%hı,! w3 LCma[@({ [hFq~"Up* #5G;4[ѐf H…Pw^kR(i50YOB1-b;'5垌5t}؀ J(1bTGB=Ctzb&$2TZZ<1`G/G4~S&Dl^ 5iX7u bbҤ, jQ E7ٖDB2@*n K~' °jIe$+U4FګZ}U9BzCCxH4d%4XAY,l8RQ#F .KtQjpU׉2gB$Ϻg&\Vهp=<^'6x<U6`L4+Nj\hSLҿK~~ ۛ4c*+)` xMďL혐"J !XBՋ4֧<$L(Xצʺ^=j~wv] &Gmi˷#{Ӊz_)ἲڑ/e#3ϢtXWH!8A,dl-|UhdيLD& (?iC%t]=cИgYZdaa1eb7f8a40bd15e2e37666160a7af849ebd64dd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a67731116b1c2637a16ec374358e5f6becdecb4b7fa8c 3 Noninterference_CSP