SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 \\5D wS Card_Equiv_Relations:threads=2elapsed=1.182cpu=2.196gc=0.000factor=1.867zXZִF! \]ŗXf1-/6vRZy_Ď4/` Nz3 3[IB~Qݑ^Y1Y|lP|5kuФG!jsZ4[ _]Z:10RdVec}-|ƸuDM`aM ےd <2D*&&ٴT.R_="R汜as 7WۗzbPj'g vÏ(H"&,Rg!F!mrdet|B- H8s | ByC eKr.(xfy*r-GkÄ55Fsz 2݅Z_-;ژi/EOk2´!<|:2h\{r69qlx:g⽉Gvwse Lc dP`TFUL6 42v87f`U)&SVm8ga.v?![dMtW0@h\oYuRP} Vx>83YyPKjHzQ|>'GMYL">cHϡ ԔFQUy^Sx DigYZ2611971cd215ee8a293434d7467475de6c036fd3 5bc224e55af0dfd4be16c0af4069ef294d8d1f2f 77978e691d793d78c2f5745acea812b7cb856c8e c471263abe76708881b70375b7e38a8eff1a724a ef1a10e77214d1da382be5d397d7b06ac37d759d ef7a2470be12f003f0166efa99e4fc3b643d534bb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107 702d68dccbb9257c216148477eee7235e7590579