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 MM0S $l ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=9.497cpu=18.064gc=1.116factor=1.907zXZִF! V]ŗXf1-/6vR[y(&j-:6,˾ml?tv{vظk[ަ&3 ^P  gYZ7zXZִF! 3]ŗXi%9(SNl}Qk1AfBBRT x.č!:n)Uڍ]ҩ !{bk+o x@D +GSж{FU?s>=},\W 1HXhgf)?.8rI@'xƘp_؎zFuxӉn5[6sls6'&+CŸa [B]@%X9uacUk<իT{[J̞BMokYeZ7Ȑ;H-yf݊n5򤿏VAl33e&@ ݧEJu}}cx8Ðy[;D(ά'yڃ3gl]Sg/#NXЃq*cL7 P-[Jr+& ͎n<7V_\09y1,;vÖA͆~(ED~5mbwgRrdh@l 5%zՔ7(t>aN!/'g˅念̽<|V i򤩜/Bc߶>>ߓųRS *)fv"d=َ[=:k*pch!;ZatZ# <m/6 OmJ1&Ssdq/4Dl''m]Y@]T{O2Ǝ wEPZ ,it޹P EV9>0CI} cb\=87sv/d$B!IuS-#f._5.D]`gݱgYZce6b1d3c99bf6023f9d924e37b63fc32ca8a70bb2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea &S Noninterference_Inductive_Unwinding