SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  S Noninterference_Concurrent_Composition:threads=2elapsed=9.170cpu=17.392gc=0.452factor=1.907zXZִF! ]ŗXf1-/6vR[y(&j-:6/_iرCRauFTG֪mnA?cNO')Ӟ S(lFX#'ì[ ox#vBm ҿJ#{^޿#+m: .}[u#5Enؚч$! _^'I1 G K3@^V1GhCH.:&ǀ.|"p;W^Rg`(5Tlޠ8NT(.mY&0|$R.KcxxUp)%bL̈́Ū2 vƓ 9n&U9|~$8%偯u.s⁅r0wi M:.s ΰ]~C<|kɌ߭ -)icG ykHq_V#f]!edjIv 7IMՔQHmU;`,2`80FnL9Fx vyHlp R[;Me{X;wCbkjFpyȿ,p  R w(si؄{$yC8sNC<(n#:ɋK)\:``{zszTTQm#H 6`tlG#>8}Gnyi5O48|$r,H廑x5lY8A#$}ІH6Ph74 7^boXσ:cߢe}JkH+eZ& ,KZ 9EչGX 嗧N\IV)/gm([>uaR ~${" $}<ߪ<_ݚ<ZnN\JF|+s=JD<(ϐl! vf&pM–#/d7"~Lږii|pDڎMX݆Fa c=TL.䊄L^gb_NCFA/TN[ wʳgVqwv Flʬsʽ )񯵨: :M: Y=;F(tZɐG׳YsDeHܹc6B v^.RN(p*L/ om6Ǻl\,oPy5PI5u'ճ,2Ew f[!%ٽJD.€s.Z#_/o ˙-$}-@だ#*DN (uA W\ 9p f !突ȸ7+u' ki_$8e)%4OΠe vZ Fr!]Dzv'$"G౼CPeF}b~!硫{rctJCBj\wuK;Gǎ3<0WHJ`~z}mk ;kR8|qlVZTGz{6nD[g\& ꮿpO(F&~i6V]2IU#D=|<]~KSWJ\PK8ԛe_Gz r`yҠ!p0i}-WJ B5<ARpUgYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a57228c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 9446f9b5efac8dc89565f5b21cce5b5ceec709ad )Y Noninterference_Concurrent_Composition