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 VY  S Noninterference_Concurrent_Composition:threads=2elapsed=9.339cpu=17.808gc=0.484factor=1.917zXZִF! ]ŗXf1-/6vR[y(&j-:6_=?۠) :)cb5)e}jg2$zSvG|N.N|5rX3pX[qr},RºK\X&H@C_"A8?l ո+3`>\':8^0e-Y삛}2lB)gi)vX: d֨jKΙy[v 9O -\6ŠZ2ڣahF?NbCFʢXx} nK?s˂Ÿ}Eb-!4,e쫃rjq (S:L(VMN~+a[xE$FM-sq>TЄu( l==fQ"vxn_ycpVGͽo}n"0sI3"8T958 R'A2]l%^XJ9L]nq"8re敵fXW 4^PEp^rr7m\H KA7qYu%K̏2|+'$-5 H~b-~6!{r|m>P, J%\̋Hw%g|އ859$kmquN`/rm~ T걎.ie]q n;*# ჋nF` Qr/iCg⩟w<^N$G9XI1f.=˩2w׶( N5塏) ޺L }1[/bwDQ{GuJgzLOzuz}`ܹj C=Rʿ)3]twKP$`zWaC1\m=T5y'M-KvDK%-+)NSAM\(/5B]pQ.ih"GV杰3C;h!BW_?_)Z% u|Cyo(6M6,J{#_tt? ^dN4U/L*A|(^X*Xf,eC zc:A^;S*4LEn.Qe%lWҢ_c'-ojEa@]n[n/@Q~vbv%aA2 q 5lFi˦ MVD1%ORv{;$vtzHgJOra+By\{7,sb;u*'7 S+hdìLG& pʳILJ$B9u|Fg|>#60o5 ,(𸛪H\>hŠ.Щ#( *D)HNf4f,pŸGկ=3RVB7nofƼ@h1kC{_\qQӑnH"g GNV*B E7t{soI|+hx `7c.ItW,_i$EGF_^4tl Ë#Gy̓,5IHZЄ^llTTW{_*~8TKMyxK;/c==nui>3#KՉ[s1 yN\bj*« {AV*ExNE ^r!WRƪ ѓY ]#JdsrUC£o5ko+;@ {x,S]^%zudlN {Wey83L}$s ¢)g:Ɍ*tF]X0F #g} 1=fvސ!;b 6 {YS6ǪX̬ 4v >}G4tu%1h? hE!q)w z24߫egYZ7zXZִF! 8C]ŗXi%s 8 =aq]ZSڤ1gpyӾsט:_OK9,R!7l;q_|Ω'bX{:Ò{>asd~IVNjW@xjTi_;u{,O^#x ˛yj$['hI+ifvކ=cPF> 4?R~.P-h?bn9{&V$/ɠgF8)doɈOoAhၜ (IPCeuz{[ii;݊ Gda^H=Ǜc|6Q{2J^el;!f0"ؾ bR!gE\>xB H}PӸS\ ϗӬ?^&˷ 靨>MW |r Y^\;V/R/JfuEܣHիCK6'pi?+`2'a?:.|'7WZS/ =tמjN{* ;.UWP.?>E=C[` D"c,C0, `)~e{f!yoc #g,D JHzB( ?#\O&,Q]촂5Ù\ahl~"˕H&qZNuX?L!p"gYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a572289711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 3c7df16d8af3312ff02cbbbfc72d68d62cb72136 )Y Noninterference_Concurrent_Composition