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 %%XY tD ?/]Noninterference_Sequential_Composition:threads=2elapsed=22.570cpu=38.416gc=1.852factor=1.707zXZִF! Sq]ŗXf1-/6vR[y(&j-:6.DQcr6IrWh`rF >x9HS95P)rT&7Hm;f:R(b:LWmo--οy.=YGuͱ?أH34I\]r:qϨЯa4Z-gnJwJd /q@1n؉haM$Z`J@~"x73|ƭ*!' g28 +>K@P=*6ia u_DfLųHY`|`h䤊T,e@t̟hĦrjByٕXLQ1΅8|:VNPsZxj ]`od@2ֈث, ,yoo[ -yvf>vW[ I|Kxi>I}s;E89ZI[-|\lN~5;Oo9lU.EkpU<;&ű?uZCYXODK -KU7Tdq؃+ rCedzs/v5+(~-D e32U/÷f EZSSoXB3{ L\/. uY@bJ0J?'K[xx:sc$l`ٓAUQ'sogCתP/YX;qKZ0?'#sЬPfRx)_Nʧ1R ?.sEXBm]Yi9~\ LI6ҟ6Wܔ\Jg WMyaRQT*qM-)PKيԂA@[A-c,N*2:tӞ#ZgCBM.!9GTS^}4~Ox6պ%* ,@O?&͹h 93h,02pc9)X,3ϭB12LbiWtNHnYr;̉u?$f@ .$^e~rM2%ee S1!& A%Z'/pl*!sdyɕj"Vڗl)Eջ£S~/+$)0wCD bgYZ017171389b121d0e1187b890d341b319cdc77d1f 022e4f27b03daa3775c37e35b41d630d90be5d75 2958093b5d5bbd828a14a14b34a9d78d33db88bd 5e06b13a30afd7fe11053a928a158d5be6b38452 63b9332e0c2b071f8797a7aafcddf15a927e077b 929133d5a5851b24e4c38f83a8537c8e0aa3ad8e a0209cb008417d27a08a814859edb9db1cc1f428 c2b5aa7d49ade494586a18baed221bf5d3d713d5 c571be726e2b51d61550b43ddefaa284ff8eccdb ef1da747fe28e872563b4d4dd6ad351a77b9924ae4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d681c31a0af8aad8ba76a9e14ae522abfe7d2f398 )Y Noninterference_Sequential_Composition