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  S Noninterference_Concurrent_Composition:threads=2elapsed=9.107cpu=17.084gc=0.356factor=1.887zXZִF! G]ŗXf1-/6vR[y(&j-:6ENgYob҆(/ڃ-fWTha=Hm煝O4%DjK[@y 4]8T>=CgwA#Qf-{H?N8HtgK#<"k7#]o7%QB6خ61s!;d۴`q{gYZ7zXZִF! :]ŗXi%6 ŕv7B1. x97)@52jW7:znI"+t*t3CRU<,j&ՅE3X#vZ!9>=$jWf[u2SԻ̐<4|Gŵf>\;`+g5gx$k hE^v@xO$2~ TqwBHAf?._#/`4 zA-={Ev_66E|a繵ggRFq+}gWνlX2a3۫kC) )r\H(RJ:*^ -WOjh:5sK+:̨ I ic8y20l\. p %I9l}n߆%1c%<nddlYsċL96XPX6SNJ+d%dhQBrXk1Fwؙ.񩃿#üA4_rEUelJy)9+g S 7|T!ΣvW;z}'_ܽT.*"{C,⛓D2V6Gjji`ҿF* 5㈬{B@C{[J+SmC3?q?;E'q#;K CzٓXGSg]y:&: ޑMɐ,TgkF {@ 06M=$rzS&G;s%s߷JYg/T)\"$;#c[11U4 0ӂhqe<A4>p e>7 m}uHgYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a57228b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 20f286ec4bfd36bdf19a56bb784527739d8df846 )Y Noninterference_Concurrent_Composition