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.441cpu=35.436gc=1.828factor=1.737zXZִF! U]ŗXf1-/6vR[y(&j-:6Wo^\^8 \}tTO/񓗉H&aK}fmwh1YGuM5O&4#,Dh,3BM,\WcG=4ګt"2;ACXOWm|Qնsv)tKp}8#?]7׀c)Ql`kp0#oIb=0a r[tbw*O5M0_=54~(wgߎoQ?hIF-'<z:^׭bv>PiLԆ!fp4 eU['GKx_Mw8W˵$cXB,qwYU3{o[pueyG 9\t#igW gC#jvj='Hw+'*R^F^!>S<Zλm:u:X]݂ 뫶R $e.)\cUh؋$qj7^LqñgYZ7zXZִF! sX]ŗXi%;cHgt]f'F o*ti/7;Մ͇Z~.(:D.547_hd$Oh'6kk$sIXR5,<56t GiFA\N(?Xvw"1GMI#弟Q|ŕw`~|1!cdtrJDnC+XU}ŏUυw9]3oPN(G,JV|;c~3/ KW"xt"3m38Zjʙ`gB9R0yHo63|U[^Y'|",nU+,Dx8ǫ([8_DF|oκ 3m/4`/{* < 1R,zDS#&>iEe'|N)+9^]4.o)o<&P<`ә{%ky^[C iŹX[\F(%C28 5fQ|C҅GקepHjN ken3h[V{Mt|Yx-W gVI"3,ڐvƀzxoHĂ|OC^Y'[=6 S03>\Yh|cB$Z!:a*vigl/94R?Zk(J*sؾyJшy$>n4n2|>X+pPDcֶ˚τ^vdW#siiN$4ḣscSWfDX8 v1Tt#.Kf=1R% Iy%~W`RK7<7zyY{'&h\ė5^WzÕOH)'wetR, (_}O/c.:߷׃b>qlv :i{f5'L7 Dzm'+ Ʈ9}5hE;tvEQjU bRgYZbf84fae6605432ae31edb0d3dfed4f226990de1779d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9efd7a26cd7072866ab2f9d3172a9497c82804eb73b )Y Noninterference_Sequential_Composition