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 \t S Noninterference_Concurrent_Composition:threads=2elapsed=9.341cpu=17.188gc=0.404factor=1.847zXZִF!  e]ŗXf1-/6vR[y(&j-:6Q(lK::9Nh,]5:yfܥzd'Ke'2G'}3|]!KSz0ݶwe:GiÝ-&ݦlh⻵(i3*fKŸHukaPh:TAG{WB pheN p+dʨP)H7ƱBR`t"nn)߂/|rb]wiQ7חI 7 1@yV_ ~@:=LP~( |X]NU+ x=g VmL}ʀ/,?:T-x 7P#-!VJzt'5 07_쾬18?n( t?ܜ4l[%4M=xLOFfsGG Ękě|1qIYhg.ipĆ"¸GÅ|pBHΐ4tHi6g 2)5S>a.~"9_IZ4N,&!՞Jd@iяCRDmB6YοsR6Lӳ_ӱ '2鑼2J {>*'3RIӘ4" ,Hϸ3 %/_O q.uX6Ӡ(S'Ex`"t7QY$aײϯ9Ɵu7J1b~ZN乤j`0TGi[sG=Oa)u_1gYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a57228735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 4e1544ae781bbc2e99fd2f47ecf1dfe95b1a629f )Y Noninterference_Concurrent_Composition