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 dY $ ]/]Noninterference_Sequential_Composition:threads=4elapsed=12.430cpu=39.732gc=1.244factor=3.207zXZִF! W;]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GW\U]8Iq%8bM5-?R) yE5=K|/pMhB^DSu+2b9r°ܬ8D6( m?-FI|/;(HJT3MB0ԟ"0`U:Gƀy;x#\? \5v%6G4 }Be08M"_} 9O6=B4gK[M+y0tdH#E]qƎNnm zg0}ƒM)WPk&]O?"J˫ivÎQqYC9,&Kn ѝ3~@}(+R~9~-,O+|ʒKw,IAV*?+՛_ dO9;$Z$@x)!cDa0 CgYZ7zXZִF!  ]ŗXiɟģ={#1w,<=9<0)xGfY{?9Bob+iU%ni`q_%Xղ};xg`fu{X4GC2Mbb+)}cTpBcE/a>P_ɾ _V-eF=3zLGk#3R_PfVp`\XaN6rF,A'jCf>[?=fbw$dx>ӕo#Ha颾gYZ7zXZִF! a]ŗXi%Bm I;u8k+ ҳac:FRP0%sOb76.7-x6SA Y?K4 ,)8P%S"*?;}eTl)\s= $Dgk$g ʧ(ӍU6+_S30w̭2yYj+pe{7?SdxƽK~DAY&YXmh#`8O{lSTK uds]ۧ|F(9-%U`7t{+9n$rDua~2mPLp*GkrNP1$5kٙ 3߾ ߲'pk/v$*_%!mCv˵L֥bA@ejv"k^%eܢLIETuP/q;I81FuFo.UiS+%T&D,_3JG:1GA#_Dg& |g3O-('DeMV/zGymLӦC(Uf}>?{]nz`H'ˍ'M+.ib{X& ۓ{D6z*` wL$bZR)$L$GsKM^Kӷx–-#mi:Wfz|0ϦRO-:'B4\X)j2 _{+m|u~ \BwDF⋄<<'O*1O_ي'ĖxZ028+a}!"qZTgnl rjQ-1^Hᔠ!1םmE/RLzU) j2[ z/lz0c\πfډEc]f6E_r!X* ~v/,HL/k}Tľ$;ba%cll,V#mPM$ ŕ727wL\$w`Cl.0x !/R市*l-u Ĩ>)t;9C'ٝq: м FgKˏ%/S䵍0߻ K`6͡@U 'ew-Aث]w?0z;kQŀ0Ji ˌ19u6:"i yb]tjpB@䮃G:\T[ኌDvS07_GQDNtx\)e/I^( Iz@sm=`YkpR N PXmE$O& Mo&f84.b=V h@ gANex=Oʬa 2\e쯋@R?[QGul j {)ý5'ƽkt {x[=Jp,e* c„uQE Iڃ9%lY{m hr赿i#@> ni otv%|Mk7s#zm<5vY: p-jc,` C;-b(pǻyZ;`X+ gF(H\w1;@ǻ=0) דX:<{>v뼲7n t2ͱgYZda4572bf1982a3f3bec38f5984c40a4fa6fea3b1ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022e5fdc434a4491cc5ff8b23bd44288b2f01b0ce87 )Y Noninterference_Sequential_Composition