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 UU(3  D ]/]Noninterference_CSP:threads=4elapsed=4.942cpu=12.764gc=0.340factor=2.587zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GK⦋m/A숂w-u&Sf".XFE$14+d2FܮB|AVgF'  YԑƿED0ZL:'7ZdLEC'6Cb˾SfNؤ 6=w3XV>&-ҟ2ikX=K>h )3)]n1oh-sd'); ih"Z@ä/N$s(*8&5&2he,4*rT V{6U%!tQw@NkANךT(ҷf?\OsBg,`Q>vЯ>r'3MA^!n Vdoݹ"PP6>AW9߇d'-jˡ=3Qv2z~p4e @7+3rul?ܬ]:6#1nW[xlhzG^G[OfAlE%{4R0*UzAҖS% ϧ44k^,$l4%EJmgB)}>#p%N/HloLγ9l5ʓ>,i6[jf7|CE2>i8QO=ʘ0Z@'a: ܇Y Ջ\'ITLzq\ҹ5K:J3BP\v|<&*4Sf=ٮbAu`MGgpԓi)&Z$Yi>swy?Q?XGY&h#ȱ 0|8 `YN̨)x3s5£qds"aYKQceʝ/R|G1p5Uqܑ: >Bhy.)hiM*Қ%6jq ФTJ FH{qRp[F)sM_=vANa"sN\ߨ/<3WDSzʭ2eizm|yU|J5ӎGQ({~f УyJ3K[O3lDieJ Al&'zEb\f$ ccrr#َ_:San#űgYZb9ab41ce4c4cdedb9de9b65e0a0e8728d2d24273eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9338d3280987b0a4f7a0436ca7f682476a0421b38 3 Noninterference_CSP