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 tY Lt ]/]Noninterference_Sequential_Composition:threads=4elapsed=13.373cpu=44.052gc=2.168factor=3.297zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKGuoϛqv~vmJT@S]Xf{ 甙 =)?Y!^TvTNS(ڟ{-HTpS6ᵭE!OA<GeJs <|^G ݊'q— 8HLvRb=WCͽɸ^>R;HGw,V"ȰXI:Y>gݵH;Rh"/^J .(*ܐ6mM%J<Оo)?@ :=i " ܾb\%Bع4ثxe ;>NA0\3YZؔqE}٣f|PfpMx /Y I^ԞODZ;gnwjO ,-¢HnFVu#6ڏvt#ygVʦd w7 0mAp"gHu Eiv cX:GyԮ6ξr &҆\[ݡ1)NHG?7ӏw7B.U& |_뺄7&)x'45!s Dϗ* gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGhar-Kx7Rjc5 dvPc ${vPf6pt2A0Tp>E?c` ~D`2;-PץfKG=[id{.}Pג`{`}:O_D+W-XW * :Z[솣~fJ"3>n0hyziE_|Z3sXgYZ7zXZִF! d]ŗXi%Eb⬗QC{c_<:m0ΐ:C>2Ow3SJi;f\8q!ZAƫTp|k_e>MٿhP&8(͏{meem}m]`w(KEHʽ 1gTo,ROCw$SKG[,>B1ʵ4Mwރ ~H~Pq:1)g>3}`?"AFߪ log N\i ,יUUJL[6 x߱f5BV`(VO63vWԨ7⭾a7Md83o]uZESH+$jGOJ Z !k0~$62$'b0'0A'2@/ӛ]sGa`@28 znrtAzn^c\ `*K [14g gqSAp~|믁K7v0[p׶vL:iG_-ֻg7Ka2\/t]k]2 _?!oʚaU8vvGU9Laȃ&hBCzN*.Їp; +~jW¶ Oo(W7їȶ 1. f?u2Y ԪO$aՈ+r,iw_R]W4Zԇ$X{b);fv &uo@RD0rT:D*{ G*}c.u8> gv]o@3)>sиzI$Fޜ\IC.81?fc P@]Ym6Q [Rgg8OiM3eӧ5Ė[)&&#2Guvǽ"o{0kUM.NbnހX/)4*?i=ܺ"v&_&O0U[ߤǷ[t\n`̍#[#*-,]i "_V̓K[ n3r.46$Τ4UgĆ<! MTps cfn&yˋE ۠/E Yv3U{$C9R1ϭFaf!4e![5e=L˵xzɨ$M[*aA~eQ*kN^ JU$iUVy8!1.Զ}d3ҟFgYZ42ec77543efaa8d5b75798622a1793a7f213019787d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f295917d5eab93e45a7c727f052a806a614519de25c509 )Y Noninterference_Sequential_Composition