SQLite format 3@ .  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   pY l$D ]/]Noninterference_Sequential_Composition:threads=4elapsed=12.111cpu=39.512gc=1.496factor=3.267zXZִF! 0]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GK0(v>Tr-\Q#.(06,i2CAF5Z3+*OKjh.-ðɗЙ-wBPKV4|hm j9"ߓqfG _y:G*lD-T;]tTJcm‘[c}D޳9fqRYa.@&_p 9&u2xU+Ss;^SP_mBq3k"q6y{a1KY!z(騑uW\^l9x<XYnê:h2̽M԰wT36JHnF)gYZ7zXZִF!  ]ŗXiɟģ={#1w,<=9<0)xGfY~E+E3l9El.~AROPC!!ϪN(Vg۵20sS&XNn Y@[QĔ9" M bP1|([w#>_$ȫX+#\+(bS)ѯ=[vVbAk6+w)N8FJRX3M>L@ 慉%D hhJ.φ8ȧ{ZuӫT(˽+-\Ot[+T_A> W ]F$ɾ8(\btnϗ-Tp0v V,CsXU,8=%At L$R2_KE-[_cJ-2ed.R+]$]L޳ϞFi]W| φkpjb}N4`z +6#~bu1t)m|sn]JZ.vfSD 3 TkVTg]kAwT4AEcz@l1(T_h0Uo3Cm"h#t!ل7Sm[n񎬝=,htBcmu}o, eNce|s%o#N;6_T:6QH[JHv4E}±DE\1/G_IgH5[I| & Ro- '\+Y۸S6*z'r/E2.1(ls9]>o \a7oJK\ᯰzŢg-xy4ݮ#V>:W _qj4/v>Ys̰GtW%y~ZBKwc4U7 ӝEVɐ6bGՍ x`FTmw}Q[ݍ_;ͫ9eF$Eh=/̙WAҙ6.sͪ'2֨t*2#$br|H{6E&0PZs#]_^\]Y[!3nJ)T}m4$^7l.yQzЅı ZPPBocO;)Y10K7k盛+IsFatl}W{2tu$>ûd81=#m[ywiI '*CIwuORe{X#240TuMi$&h.x*ig Cҳ#xMP%Yg!ڂmVT+gJ@ 9D~Rrfv> 1q.ܫYՙ#) &WY џ=MEpwsql} NYXKN߃Fda?1aMjhKs:Fq*Qvd{Hl^"4E /oֲ/k:S}+dGS[jg0`ƤC#*۲"&JVWŅ:3ŔEe|2JeaF`B*sf 5lq`; >i( a[Wm[?(6ΊqhMbZQ[5fOvh}g M + oFDQxWc5yRl3gYr))s@}o圣>U#hˀ*aeZ:>8 ȽpjgYZ1617064be1c51cfe6a3be377bae50cdbb1fe4bf2c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71ad6551f8fb6355363cfcaa274f626f462f0221e35 )Y Noninterference_Sequential_Composition