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 uuL< S/ HOL-IOA:threads=2elapsed=2.313cpu=3.768gc=0.112factor=1.637zXZִF! n]ŗXf1-q恈^W.U?Eԑ1[ǡMUX\!RHP,[WO^[} 7j6w QPZ=<%DÏ(w H5]H+Dphr $6iwV̱)_@)̸7cfl7a̳ێ?E|߅W|o=uyͽ/ N*MѽE[?O8*SsgQL9Vnmk   HOL-IOAA7 y K. `kX_IO`->FF7s\.,#oWWLқÏGMy*XĶ5\"` Dj^G9@.