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   b! Ll ]/ HOL-Import:threads=2elapsed=0.910cpu=1.652gc=0.000factor=1.827zXZִF!  }]ŗXf1-q恈1U%BH^.D-Iys0)l(Yd:I%d{h%hXyṟgYZ7zXZִF! m]ŗXi%9(PK[Z0h`Upţ<@L/G]%>Ọ4nAp*rضl%b~K]B7a;pe'gӣ(# ;y']di^  mGZ}7c0'?A-n&FZkqL E9lς|Kp@_n1¯f9ݭ\G vXsTh$\2y(=,5\ǘs]!fjIױH'Fb}o*C<)3̔&k7*Aڡ0 LkW?,~&.Q͑L>8r= B3 ّop؜ D r v9cgYZ3dbb0df8c2883def914eb17bd5a9706a6c174555f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf  ! HOL-Import