SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 L$ ]/]Noninterference_Sequential_Composition:threads=2elapsed=19.693cpu=34.380gc=1.768factor=1.757zXZִF! ]ŗXf1-/6vR[y(&j-:6"kE E3+ڱ- \VžaX7255I|#v`cmp -j8͆gYZ7zXZִF!  ]ŗXiɟģ={#1w,<=9<0)xGfX]qkwK~X|! |VU!wIU^qL1_F$`3pR6׫O@KER#LAQZ@g*{:(\:?(EܑǮ )oOdy-mbhmץ*7zx2< ɢyqe` 2J=YbCҀAm{N{.loaWSO<{pRE"oECbc-_GkB{K@y{bݢGZO&aԫ`R/*;l?H$nY@vֳV*g#kYj>P|Rq:5NӚ7%_"w^_Φw_o; lK%_'P 7:ݦ̂c,p Ј8܍<)!h,Zĸc{JrE;6 @.\7fI] n`,۸MsjZ|!+A(WcuлQiN*:[+l4zr_,X[(ФxNW%] ̚(WRk^pD$P'D (gYZ0d94f89df692d62ce060479b00df6afdc701aad5bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d7777136997029a8e76c8ee77ab44f107013bf03656 )Y Noninterference_Sequential_Composition