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 FY T, S Noninterference_Concurrent_Composition:threads=2elapsed=9.683cpu=17.876gc=0.364factor=1.857zXZִF! b]ŗXf1-/6vR[y(&j-:6|$YfP;>8ǠRf2"|0 @ۀTeCE%ė-}iCQ0s83b a;Dm8G5e&D* N؟ܿ+a1f %~=:^f12벜utbP 7CoAA-jpзU|n7}LFe)ڌ=Sb7;YgYZ7zXZִF! :]ŗXi%6xqp%vw\~X#x)TPa-^3)~AXX' F.&ȅD#I;k0ևι&lJ >Ii&W(齤Cs/GV첀=Sv?Ѕr$ -]_SCn>9Ejɑ^.n3Փ8 ёµ@bʩuVVTrqbE6\YE&V%UE> +C.`A B[B20մ43Yˀk=@7.ŒU՛|KL{]Q=rF|G W,FbF:A"!AAUS}S?bsM >M }xƧ1FoN t }mjѢh ~a{?Lk9o Iڗ/?'&Sxx2!+}>8T=Ycx>An^l{ꒌR$S[7%;=Z_X'B7i! ** %<8,$M3_O,]RPn,Y~Y;aǥ.eB+HkiРxumcgRؠX ERQT#%ә2! Hl7]PHc>:i Q g_-Fg_åÛϤO}Q y^Q=((t|f7qhC8\E bM,hv;%s04ǟ_OIlvn\Ј;pjο;ӺwI,B1SQa#8*?_o.C(3gRu$Z8C'Ӷ$q|1]siԆ|{LV Pbb&u gYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a57228554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 88d3741299b76bf48b4a2fb51e4a8cfe90be68cc )Y Noninterference_Concurrent_Composition