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 + t$\ ]/ Strong_Security:threads=2elapsed=15.246cpu=27.048gc=0.928factor=1.777zXZִF! r]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸W+V[`~ gū7WԲŎz;e>b]Ιz{&; e_#` mgl  c3ݕjϖLvBi=UF _UvY~:%˺G*hR?4#,j*+ʋ T4IEDlBWKtVkaP Pc>U(&@)R ֔"򩑷:$L"Y擳?:`H'|wPYn0۞&fS;)άSmL3cnj9`E)qMkbBJm6ITڿ𡁍2r ]<J_7|g+~z-!IJKDBrjN31M.>sGlMBl cܩܣk2"~$ 8K$l4ž=p%k`5aHqR^.T2W|7zO/@XђQqzRbR[2<Z'NEDgޑ\D*;̷; . ))j;ـSa0i6ԻdxEd{z+Χ"M*'-k[ 4--^>1hw;nnw/rq{myn'>S='S,[C2| %BV/dCԴ:4) cS.y~'Dpf{8rUgz >maSj~ ;7̥ҜTW{ 挤n\dOS/mt^WqX@QERdy 8Ӑ(v۳]B`8ql<ʖM32qXm{ߞ%,64t;ofw QF6n~Nъef%'H+Nry35!LG<:݀g{Mo;1Lh-V߄ ( NN"v!ڞDT͙ڇћx'{ 4:&?eh'8fz gzBdZFpqG7S*"h! Kw%6S-ڢQۉ}rMF'b"̙Q1]:/Gh;D3/mP?kEߤ z AzRo78pu v#; ڻ*}'S5\O)pKDE!‚<㳮OOz'09\C [¦36JrJ%9]ƉhW;+p5gb0C JA9y*OI/}F}[ʶ+xMM_a̮':lgArE? L{\Ws+fz_={PcB&Rg}=4ĝщrL(/w)oߢ:MϱJ=~{3EM] kg9je@#>= SgYZ8b8203631f16f4bf2f18ce2b35c22ce93c20f046d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 + Strong_Security