SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info XXY  S Noninterference_Concurrent_Composition:threads=2elapsed=9.346cpu=17.788gc=0.508factor=1.907zXZִF! f ]ŗXf1-/6vR[y(&j-:6յ>%~blQz|؄u)5jݑ 0d~3@(p},qJW32ܸ]hLiOh)m;RNKU;\|O]* `a+`7!mB{GR <<4K}=mݔ?wՋ!E҆|> ɞ&̹d?Uma'(EP\ JXG%G|Y<8-;2irBqn9ч66y9h Y9toØUۙ NAl`ʜ& )Y Noninterference_Concurrent_Composition\%!?!g\W(2LUz#Tfr$iը EXFɉF'g{5GfS*> N{/ i`dK4ڿq?$r0ZB|CLK* 7?v/\nE5RiOrOjX _bgy vH{ZKǤ 5RB=6/ѵ> Ex hMX iч3lح%&aD8~o>}1\wo{IGL?$_8@{»`^:RS֑Kq9ʋ{ fVLgY i+,y D,6Cs= AHj Uce=HeyIf>\hqRa93E&B'U:Ur-& ?[6.J<"xЖt1\ LR@y H ͯ2/M#UOX9C -N?g|lt`p7A2(VFP&' n{WS;IDWG*rDpq:Lwu|넲 t50 S`*}gOΒDun5=[w# )R3h-~ UqlҴ&$/|/Zevƚt]aZpDpC6݉x*ebWAyP("##JͯHN6/h\#Sa3 s[>r\T1U3/x^YdRj2nejBߑ%\ueYJuՀ ܆P|ŒQlK{A< ONߡ%sYC=QŸGA1_SGH-n}Hoz'gQƵ#&r+@p ov| 6<3_%7N#d&Y3 O\Ӯ7;(W2S 5*Ӽ8iZփMZx#grzn&}oDgYZ7zXZִF! 8P]ŗXi%4I ٤ }y0~_qZʷMO>x\U|t:@n#4?(p*AV-)^)p>x~3ǁj*]>03reȪFGomadw,1-{Fuzu_uKxsWH67tcu#Fc0)IeuO|[ bˢr9W"?DԱ\>k}#>@I6 ~}(