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 99DY t$d ]/]Noninterference_Sequential_Composition:threads=4elapsed=11.697cpu=38.068gc=1.352factor=3.257zXZִF! d4]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKp=s7˻rjO<-Ysm$d{wn"=7U#Kb_zTFZ{TN4)TH-//W7U Y }]+2SFA+v9^ϒ3I-Ade%F<+ԏa@s50<,VoPN)c֥(DoI@¢?KFL }rQ4w cH+ak&zVt bj Cx %@AבO1=-(tOLrdu 5O ir6!J&qLS}@B#2+[(+Y>'˾W )@D8籮cnwǨԯ `7vNmȕ9|'9Uotvf5\k$ Q@)KsTS[I1b#.̠Wu/Rc?4qw1G*xkzm-*-s,oHe4(|b*gZ͝3Te5bNo-{q]I1snUjz6 /Q+0>)@+׎qG h1/QTkAv Ƙ:f[ B5 g_OAB} ":67R%գ+%}Za9k`&,N]㐽3V#❆xaɖd+&YbDoۆ 3a]uV~|9I܇n_Wт6"u>F!r}4F_]mQ-:=B\Riv85!J GP:H ^:*;!F} i.өK1pxeig.t~/m^3_|?;{NLB PÈ\nh1i;7'R⽸%vWɮ%+_lg-W|E/93x7Obo];T^鏵\Es=1]jU2F pAZU?aUՊ ~ H+tKuEI"8@؆Tj[$KdMa=K).UoRu<JtnP\Yls*lw>^cV9 K.1۬Oڱq7I}=Nޓ5 5-, cv6^+wR gK(c)#;PB~Lx:Gwu1CC pd>R9jB͋:Oe-iżUI+^5n4$_^0SH< +1}["(a _9*D=;}eQJ=12Hfw_OΛ#pR?7լU7M6r1T10#=G;ks3exma t*!JlQ@"'lΟ!K-r1E- yv])r05*nLZSTC6fO R^} o,vK=ُhk1RE`<3(O ]0JQjV1,bMLNUGKcԎf^Ӊư=ԠZ( 2kć{Dv +ԱgYZffb56e41a981d0db9d521b2be02c794519c5c5bb13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a54540d1f0de6eef32f9b8ab71d2fd57b4fe9bb1983a7 )Y Noninterference_Sequential_Composition