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  D+ d ]/ Verified-Prover:threads=2elapsed=8.695cpu=11.776gc=0.420factor=1.357zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\~yibH1`Y'wgfrm 3zy5kҸݙwUvripюm}NX?pCQo'P~Z09B8*p(KD~7l9"sÁEKvtNx''dmЀ\-]Q>#lRGyRsu gYZ7zXZִF! JF]ŗXiɟ@: {GXjWwPABޙH8sݺelx/ OJ LbK$C}YZ7zXZִF! 3zk]ŗXi%9(O]8|E.(PE}`ޣ zI>!W. >: ڮr6n;f*k\6ɖDS#HʁC$Ҋ6D *-H; T cdvfUhHAg_q?1bF hYzݓU晜uՕ1{r[i0udxXXHɜNmv[e 3UFn֧oۘ,1xHF^5x-?l t HKRn&aSn|F.qu)N(݇~<uE% JWeY̰n ʷui^ <%V-f񒎙(OtX,6y%i , Zt3+u9ܩ9$؜VwY4öD!QO?, a4YG2zʒw=3)^~!>vnO??^v.҆]O\ydے~zc7!!e}(3q*ks6^ hmjZa\W;p?k|>:Ӭň, ̕`BzV<e%?K֘Ү4n}R(?UMlsj1pd ޘ"geDX"ftWY%>m k# x6al3__ $ YFpH#25B-r17{}` RcTs.p<f ogYZ0975a34eaeb4911dcee84b8503c9be281ca66ecd3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e + Verified-Prover