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 `Y ,l ]/]Noninterference_Sequential_Composition:threads=2elapsed=20.002cpu=35.132gc=1.972factor=1.767zXZִF! O]ŗXf1-/6vR[y(&j-:6KgCb-Q^M(? ̛.gB?x*'1?\ˆIsg&o5r'R%}}"Q&Ur4MD.dpeq&2}<0+#6Tdp;G*gYZ7zXZִF! p0]ŗXi%; 06}b25!庶h_cI}͔ @ "E$WGpqjTh<Ͷ1Xl ƹ {V&+ f{_-~Œ&S]Э"&LV1V-3cGILFL:$[#K ɰo/iiLu<}t)yE^v&]@B-c7 g-`w:? 9C7JYd[ZF3t ñ2qYA,=ܨShl]ʓDi(r q~x|ZKM{$_m5Fd݀'>Rl¯etidC M#ğ?ƴ.) H!K^!׽=LvC3GOgnt:+- j W#JF2>S6Ws xeh[дH94N5P[jՂL|aC 4[z\vd O[]8 Q\uF)vdM+鐸2QT#CkAq֙|\>[pdM"D_1S϶670ALP$Lqs]62`~`DǧrJN>_̈l@59 $,8m(r@ȈP;o6"@3GҒ+/@ئ]ws7p.P#!@H (d2׉?S]T3K|:?~i]beA$;L|%ev幜p1R6TOllpDie,Pyl)VgD+\_Gwa~{yu]OJ5UjK*oT3{!fYeY0!iH62֓'qR8U7HT+Uhbes7bUc5TOzˆg1R6+?{ycD$'İq'(,hiRIP|Z-k$)[܉?%\f0pO0ʃ E_wep2XijeB׃(w8% 2=Ο ŮERm. j> Dy!FD,apV =@esjPY|sC?g ƙ". 5*gYZ9b6ce2d6c6a5ad14c034abba79c6e3d065899c2679d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d23fcbe5fee9e92f18aac917a793da3d6998db99d )Y Noninterference_Sequential_Composition