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 iiY D$4 ]/]Noninterference_Sequential_Composition:threads=4elapsed=13.307cpu=41.604gc=1.864factor=3.137zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKon 6/׸2ּ9طǦ% 9ʓ4.v|=Np>d Zk:=eD( a,( La^wl͡}'>R,3?%Tuisٯ)1?$^ ^kCD~Z{F['XQ>;`VsW| 8)j;IaeKmyENn>WS@=G9IAʊcF&~|O¨&E~e_ۅa{I'+)<5+$T9B%7F-pA^ Bq^ž.ڳ65ux9%u\|8ZW {$UB2$ (NiѵW=9 4\k3KccoVJO;$O-*Ϙk/d)=yc@!{=ScB?` e"u7&[*ٙo?2J6}CaRD&v9goqGZxu nyu; ͎-0 J61i﷣\e02lMTTXrH0h}@Pa2YTDž+ZMYMyo ,աz}+"`>_ӳv}%r@KEԱ.*7]a˪@  E-dqI"^|(8퉏늏wxoR,043M܈&~Gi ҎzB.{+ƒB;!FynNy~I4EsЛt^Q/[dJHB}rV+''->UuGM:=3XvY!CFq^8On[41 ܲqi8'`yGuw/T_C*kHa*̸ [Ubh\d6m:߁nDr} /#ɁG_M_oŷGct$랐]ΦNljUnH5!U)F>T@$-;ENs3TR<Ά> &`.Wdg;zw!`m]mFtܷ]&qHs2xH=#)>3wL|vX]*n0$^ .f4C%wRsaKkKܺ&C-L?Muupr.NRi 8m9 *a]WvdC&8A0l*VUK>'@{ ȩYNڜ[U틼{(PuC lπw%zgYZ6af509d9665931d3b82e331635a89026e86d02ed4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682a1d9617103104bed0c8bde3b071ff9658660a90c )Y Noninterference_Sequential_Composition