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 x3 t ]/]Noninterference_CSP:threads=4elapsed=5.083cpu=14.396gc=0.496factor=2.837zXZִF! 0]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKGuoϛqv~vmJT@S 0 BhQr*׶!*ZK7?YHg а͋MDgR1?h uu Xs1 aךXpr~øs$F72~p~˵ X(ԒTM:#ĩ 1gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY|q25Fx7XU^%Ϣ6U0a(Sm[|~aGΐMxsb? rh?4.q>3ogYZ7zXZִF! 7p3]ŗXi%BF~SBչ K3!Aе;;g2Kj~gM:8x<Х_]=ڬD ]ةzm2~ql<#i=?lr+'A "4B)KaV1s[Q[y\\Cp\F#3&)pFzn$Sr00L_J^ϥ0Pߌ+%5?Z\22oZD[RPOw6290q'SQtmvDUψpIc,*!C@Y7H\"'Îy>)\p5ИYkڈq! u[tߵ& 9 ?߈gaQ/c_x2ag!9/NZȱ[3?X eVܾpXFaqJ y\d#&1G_] S]Viс Uۍ%!t=K37򝉢W%\xw̱jἹ|%28A1# C9hsr%l1Kf- Z*_l)%Sdwl4 ܶ13P%*?Rړ0Z,1߭ a '~Ih6!BSh,8}wqBV>xX;3Zi2GD cK4w[w1pazJPS#88_tC/kf 62&j >1=T߭sOhIcLM2jZ|ڗ}JΰFZ@'6 d(=܁l>2 Ԫx]Zί&y_"nw懁ef%x>3%lTພ=EdC^ QC@<8p F^\W$i&+G1fY$\sZɾs3#b183^D2/صWY_- ${C{WZR5[ܒ iɧc@YnogYZ35410e191df6e769ff69e413ecea205c749f8d1a3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0e8ab179390058c9380710015bc77e6e9f0caa637 3 Noninterference_CSP