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 }} dD ] Datatypes:threads=2elapsed=50.452cpu=69.912gc=5.336factor=1.397zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xTA ̎)x(+F,OF ,tNqb!JQW9m79gM~I%#6u~U/l(M0D! )QVg?ݑ5_:7X~19 u35퀊W[4eP$qL/ GMLe眨쌯"p3 r?qpMVOS̰SNO?^M{42LXpv|ɽ:%-3sohDi}&v7|¦ՄA0CuZϾ ﶻp?fTzZ3ǞRQtjt0aƱgYZ7zXZִF! []ŗXiɟ&zLoD]@17%;VDgnLrMj;2: LqoK_颡LF<=m󠤩_wjE/޹wl}iڇ(rSZ u<`#B.^4,xFBۯ=je bǸG:ei,Ժ:3d#\DHilbŹldذ*<\=Δ<MrsƒG7IbH@&Q-impՇk`%r 1=ǩy&]eJjTo+FЙ"cs<-{&ܻnPU9*TIJ)XF MM;ݤvyDzE5uɕ!f_O1@~ V! lk؉XTϖ0%]69,@ R[YkCYaIJ7>JS`>v-N#O{(џ ̮hyo.:3?~gXyrka&4x02 k8#fy K£|vca|47 h %_ p/'W )V8U"G!ڡ"-t҆ J9adzJ>ahbyM.=p-хRupxIaM81Ӛ/rN\xaM Wsf{fY.W g+l?zj"i]}i_B&EJ +.'y*dTPfJNSIn6K tz9G~@QQWEZZK0Gn{N!UBv KaJ}ڂsW8ˬb薵~k u5uY  u&]M,mqF;Z/Fu %.mzb[B-*ArwB;^E)ߣffgSKVd M;` r o#-x3 VZ>·jiMv~S;d(}4N]h?js`dHVW=a^ǵxcO"?$#%ufl@9oOvF)cHwE-Z!hWaNN,W: :vUGW#b+EqUןBC*[,e_ʎ$-Aq 1eHqGRYidS[|>`ƪ4f')\a&P <au`ڣ޿NPp"OMG @w-Ǔ<;3юsKͬ!r-G } /kqwO)* H݀atgD3`}7KvfMD3) `: pLz =#ٓ8d3c.'_;QqZy0b%10/z? W=w=pO1OwZ_)`i'z d lk٘@צ3ʮ%aDu?9ni۝}OgJU9~ըsH>{Iu Yr+,1] ?m g[3opo|Z`lȔvy),D 9?77+Yl ׌{4_F0S3y'Fkxyk0aBȪh.Qtl?Dp|P.94wwl("6+ڮ՗b %ޮCi p ;pOqƗ