SQLite format 3@ . BBh77otableisabelle_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 <<$ ] Noninterference_Concurrent_Composition:threads=2elapsed=9.330cpu=17.376gc=0.608factor=1.867zXZִF! U]ŗXf1-/6vR[y(&j-:6Ly"@Z!v4oӾPCe6^ D^=-[ W:w2LfqS؃ [ 7-rCgRN,gYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D,K䎏Ax+TAKy6w)swqg}YZ7zXZִF! ?d]ŗXi%;уxN) 4}d[K^)(SqXѕQ倣KQej x *e#~tVt*]Z_Lc|5EZIiH#V۾GڋSWr`04K)\m$piGn2R}yG[e,)\p-^Ս4'鞸4͆VRAoXy!G9UKOb/8I'gJѷ*X^M[xwO{_{SHJuz"W\oc|_%svh%sU }d{@84س.E'l舦/GR N`3̈:b̀PFn,I ;ʈ}aH34|"ɘقʞvQVF*jon6q򹹐h.g|- 2T f;ҡB;K$ AHj<:6mNZ8VlaElBH6y!xqpcy?E/1[dxexwh~P!-{6OuDjfhe0* dRs)z ~VڰȒȮA)c]aY=Ozxxal#xkR NؗM~@2$ K9K+S0l3!zAa?Am0Ha>"dd~Dc3SX*s٪>==Hz[h-MTmL4@ͬvR*/LRޠAtjGhqp9!9&4.M:2sVfA{X; ϵٿu,ثcڴ qw c7ea?xƼ C&{N%b*b%Ao tw1ypˎ:mOM%TwUשO7d;]m>-@8 +Y=uJ60]HR/uJZ~v2gYZ9d0abfda7ec1c5641933f782a78f3c2eb12c7dcd79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 fb906cfb602b9bd59f19fac87d3fcbc63babad7b )Y Noninterference_Concurrent_Composition