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 0Y 44 ?/]Noninterference_Sequential_Composition:threads=2elapsed=20.739cpu=38.304gc=1.812factor=1.857zXZִF! ]ŗXf1-/6vR[y(&j-:65Oަx;|עȩ+"T|EI>ՅsS+]j]OIč8D$-K?oS^Ưx1ZN)_UnYF-k$.x4jSt ck(sPYXBy$RKrj8v @:)幩-R8 tZok >6,w4ZT%q*ߘhAQ;q Tx$k"y!k ;v|dF@2'Lq@D} }pM~?6 0A떬]z' 5$F6y $i,of |p &]Ϝ_ZREmCL@8=MREdO@J"/P%]4+WFEU.Wu>ovROL\(rҽx,U+9_tv#L'5-}[" ?J3?|V]rJiVvڼH0yU-ZV8o#;Q =`4+@:/P?Szr-nIާ7F6f8L_Ax:^~kOnP&Oc\wal=)w\RO dOӟ t_[`aW*W"Dpܣk=^,Ģ;9t_h3HJqwΫ-KT3CWVp,Fշ4~Txv=aO CEy=oRjэVV̉VZEMAX\bl`Q_s=˙ If֢*N"3| %X[o-mm: ka}">sc$X5Xiz#׌pRsΆc1%|pPct>0~P J#qDf |J5 Pa [Us3vձ::p!L̫E*=mFlaaJ1n% @w-s35E,ݖ%t=q+;H^/ BFB:74E [cGb&JY{d /}{{[m0`H )Y Noninterference_Sequential_Composition̖2'U91x0EAKG'Wy$ H7?铭L^R ]ͯ62a'%n )in[NIJb[dfKc**J2s V@S)TD!`C|!vS*C'}/g'!C' 46|(7=EVݝ2AªP|59s)H:;2: R:)p_E+%ܛ ŹRh; xB_fCqss4#V=,:U(SN-Ks2JA7ݎ^Btέآ&;SlUg6 c=]I.7ZgT~\ [ !<||0TF11錳 h e@In0+c2q"gV,"McnHC =7ȾeV7%.GWH|^ -1/8Å4mSl&U>QwW^.ߓa31C fxCN03[HBB=@ qlwf"S6;!q)OKWC J Ƌ+ .!& \[(hM:6z$5x,s͙]ZiZN*;%tI\QN86l5jRF !0T O.S27)Gi͎ ˮ iM ;t3SoaE\O-'NqKiB\4 ($W: 𙭄84!dq?aen:tTk ^O[[˾,\7[<'tnSZ},O)}OٯIPs`tw<2d+JL^I|Ecʰm2o9r}Hb_(_ӵ`a(?:3+%s,%)vv͈9ti&Chʧ')_╚sZK>I!# yQC/Hn6bgh0 i$ k;: MtD B`)>#2rK;uVݼ-]&d7Z֟mTƄ>؆PR5|V]\۝ Hn&<9K'FjIIGUbV=8YmUSn°;s-V.oTy"PSQjJ:¤eя,Q c^G6Ƭ'kH ơvK4n@O+4H[YEC1Vrz:׾))Ai3ْ4J{tlBj=)>#'!O+ZOqa0@ mFd/hK9gYZ7zXZִF! nR]ŗXi%s߆bXk#*| $Fo0s~!ٕP;iꠧ̈́v""Т]fSAf&2ѻžŊ\o>hQ}$ol#> o0O % G/*'n݅Sy9z;T1784OfoOJJDN%G;2&(XNt+LO-._dá~40(7BM$jfЁ*h(e+2" cD~y\A!7D%b1jiK(H;93<"ʠ8W02KGbupreuP R rBi-f97%Cl Ytɺ:>'u#=̔j!^rO9D2x9C@\/l0OIERu[M*Y PA ?l,gMT&6)dm %쫾<#XE9-6-yF8P6G g|pOgjh|6]S|nX!V+5 bvt*7~,>Ay!OCQ ZUFFJh=YxQ,nM]1(Z\6[85A1η]Um;pG󉱨vxٷ:uf1*NO" xlL0 VR˥J8&h2~CcjcL/_4SB=7osF\I~B/Yo>9*vM1+o=dK^N7GvP֏Dj(NJO8Ͻ\g+;ogCfӺHlhpC?W2WC[|] &y>*ZP~FnD┯{|J}BgJ(:ORֲV,3)wT)h+3CLǀ) Iԧe2('m[q%[6=g)q^N1qt:-Ѝܪ6W|>QE@ lɺ30Z(LyӼV>tc藿ܟKۘ paJd0yTzJᢻZ[Z~c7ffi)r>ǬȠPAK]glQlfRz֔cs͂)")dwl+oAeRKЍ!pKyi;i|Ix,`.>9$n~gQۤUĔ{$k/]ݙ ab|Kɔ˖V+%Lr^W($hrTb𣈂 0:[YJ$Ʀb( G4t<$Rjaѳ/ۭ}XíTӄj;!6\BX )@8wV_orp~œ{a|Dٸ1薸7cˣ@_&F&=hP^ف Gz; '{Kk:[ :.P