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 Ld ?/]Noninterference_Sequential_Composition:threads=2elapsed=22.125cpu=38.020gc=1.780factor=1.727zXZִF! ]ŗXf1-/6vR[y(&j-:6 Q썴?Jӥы}sYw;ې.@-^lO3leX 1o#XНj,z)$7/[U\ 6P]/jXXj i|KWۻ`㗚Ж K#W^O8yžJON] ;:blqǢHlcVE Y2~t? hjmܮ4&ʍȦru=[+PX+gYZ7zXZִF! uj]ŗXi%u7mNO¦QpDX:_شt;р3? X$fgYG=O&ăIg 2 'ȧIs[9kjbANUS44^靥(2vd[ܤN ;@&L> oy H ֿsv_űxwU`^j#7UnO*҃@aξۚ!̆a9P}yNXJI*j2OʄjZ"[۪G,^s1\ԂAR̎XA.إۍ. *>K7>[56GP|8hLLp&c~l5z琩XFm_1c! HhG33#I 4 gSǏAPi~8d F%7mضї/O$XǐI xˍmEHc_Ҏ~,}nETKb/*.t4 7j։0JGw.cf"b-7OZ %Ԧ-E4݆>q-XxGxgNWa5W 5ͧBRdaq$dQygɫxD†\PO/z[yxW|t)GP#z_ 0ycyS֔+t Ҏt~#BC3܉AEit*45qo}&=g%[8u!Q_ ~`@R-'΢#0;h#϶QX[oS gdM8)țj8"UL HijZ$^:\ISn7'4~p}Jha &_g`C;_TːrYeӢf#*BjW@kן L$[Ӄed]=q/ۅ}W}!}FVA;np#+rUP-v^yKf-8oʭ?2vZ I੩3~2 Rn`o gkmHY_te`GOq :( _(B2CrpYSVhj  :4>s]gG# A pͼ圱kexi_eao0lQu)D9x;)i  }J%W)>t4x6Řړx.635. Yd.p雋/0BYq)r x`y;`yqr) y '8⨱gYZ017171389b121d0e1187b890d341b319cdc77d1f 022e4f27b03daa3775c37e35b41d630d90be5d75 2958093b5d5bbd828a14a14b34a9d78d33db88bd 5e06b13a30afd7fe11053a928a158d5be6b38452 63b9332e0c2b071f8797a7aafcddf15a927e077b 929133d5a5851b24e4c38f83a8537c8e0aa3ad8e a0209cb008417d27a08a814859edb9db1cc1f428 c2b5aa7d49ade494586a18baed221bf5d3d713d5 c571be726e2b51d61550b43ddefaa284ff8eccdb ef1da747fe28e872563b4d4dd6ad351a77b9924a735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa4e1544ae781bbc2e99fd2f47ecf1dfe95b1a629f )Y Noninterference_Sequential_Composition