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 ((U/ t\$ ]S Monomorphic_Monad:threads=2elapsed=21.304cpu=32.948gc=1.908factor=1.557zXZִF! q]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdK\Z&`UK4i@ "ZG + Ϝ x& v/JHX,‰?$(Ͽזћ5*%THQ9L\qߙcVo1"ś_5}{uLijj̭6&N3CqrSrQnwa*n& N/2G;V(X#a767'&|iKOWҋnw) [L:f5kSB1pʽ9EQr(p͵dS'K5pB=< #gYZ7zXZִF! ]]ŗXiɟ.:QEQMRm}!;h; N8(`J#RiD'4`e4xO1X ”Of/DV֗^Bg@ .P]ୋL}PjTa!C,"BC!̯zd.iŞYR󝅈9d)'p_ˀYqz pp1>D',24K+8"͝r9FL'|4o*O07 0iÆEL"Vkn]T6Lj*HpL6XAt„ JgYZ6d1d825992d9eb322ed302e85fcf0083bd5f5003d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f 56b2ca276c24a37c5827363462572e2a1413e3d4 / Monomorphic_Monad