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 k L, ] Tycon:threads=2elapsed=9.322cpu=17.244gc=0.632factor=1.857zXZִF! ]ŗXf1-/6vR[l>efD U9gY(J!}]0Vvy3+rnlǔ )8="#k{O֒Y khX4!x}{louTrX/n7T,N"/qvk]hM_6A DEw =*M9Krx+Ng_{dv7T5WDpԲD\t}H c@*^#dRr!p zwtc^xZaV^9ƣ3X݈Tj44"ԛ9J8Ik/B\42]tb(Ԃl]|z} Olnr =ٛAvS,Di?4qA)QpœIXH~/.˜ A0}d4Eԯ7 Xz%#M?/:SMZ7h7I}YRvF-Kn3 ٬jl+Ӥ ߩ c.p6$gYZbc555bb84aa2e966d4d95d9710b7a0e5fb16abe1620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 f2a43879b50b268ff2db3f5692adc58efb8d10c1  Tycon