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   zY <, S Noninterference_Concurrent_Composition:threads=2elapsed=9.242cpu=17.384gc=0.392factor=1.887zXZִF! U]ŗXf1-/6vR[y(&j-:6%x t$ZviNElu0όjCB\KՍQP(x4_GeI}S{mʈj*Ȍ3k_fCkD6=(:m/BOsl5,X9i$3/+23.#h;)̑vGQVUs<߳ݖᦡcXWK^c&aQBR0 >quXo+ܔv_-f.h; e9q.DW锥-BԹRpnm15Y7Jtoݼ~|XFDŽc vS){!AOUSC:&|\[[z^deJCiF_R{So ԃjM<9˝Q k4~[<18&[+h͉V+[≭xhUPm_N?]4Z$KҴr J1$0JuSsFpgYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 75524b2b08f55c5050db1fb3554fa6d120b22e31 d59aabde97feb8b443de5c36e73b352d04a57228f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 3f690e00f4801beb7941a958beeb83b8eeb80780 )Y Noninterference_Concurrent_Composition