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 p3 l ]/]Noninterference_CSP:threads=4elapsed=4.869cpu=13.084gc=0.240factor=2.697zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKoƄ6yI>(<3f 5Ғba0U2go0ֱB_sy>:, PUНuIA3L^ּJqTzO=;6"߶?FXYC:1j%*6@&~B@H C!2㘄,>]G#C̠>5#&Ј3uHᲀdńzSA O)DMmV;$&,lc. VdpZQu^fh{YL_)w`cѬv> jՃMZ:@،CJjW:VFx4,"}R 2Al@o_BfA{;oq&S21uJ!;yj>_ 1 'Mn.U.~=E9[qȩ~ -SG␂7)ojm|:BU`sGq8L?dpyl%'k͠U+EU4Zf*rA&pRwSn= > FSGnGܪujD+LqHLڮk O ZOTMj:m"UHɊ=% {7:lO".!ѻ?:+ $E/u =(GzʸW$ДdcizL gV/;wK#l~ (^؅+^x3Z`pV1IH` dLR+m %r]@ i:nD_Xt%zTNt7q '_¯eD qQPlgX#斞TcAc*!x|KF]M Wx5 d\.%߹A7f2)WG=,݌Ϡa(h0ZrD]V~uў^ iW1ШO.8TU$Tr>9.LOB [n%DgYZ48fda70ef309a9d1621dc436c07102f922f41ec34e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de6821bd5ed34373264ff2dc051c429dc023749e14421 3 Noninterference_CSP