SQLite format 3@ . YYQ77Atableisabelle_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, "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 88E7 T ]/ Abstract-Hoare-Logics:threads=2elapsed=12.927cpu=23.436gc=1.532factor=1.817zXZִF! ]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸$<{`ɣ&{l?;Rj ]؟Ѷ%-p͜lM)'gl1}nQYMFVV/Yc-H+&psguťOL}}]o6;ٸ#jCr{g&~}9ǯt]wVy)d Yi,:6`7}zT{Ϛ(- o:#A4dJRّ, >h`kD6`]組\0< p .(/SY6vRe1?@57#9}+e.tV33z2i֭˦sӅOWM ـ#:9h0IÚg烴W܀I?Yb6eɕU~JH%–NHY|Mgq-CE*P[FHcS!e ^LOL r14j,9K@ VO"4v~7Xɰ3fdDB2_:3!X:~KtQ@ xUDA?.;/[yQissC39O_y镞b6dp(`$)ˎkM.)'tpb͊~5^wZtl?@xv Kln_Smr"km"ϒ8D+9?^n+}ѧ5w_W7VQqAlG$oʞ/{psuWk'{߈j@.hP6eGA1lOS㊛B!EMHlc+!{|2늇A*jr`$EDqU▨=f_%N{6CxjK~T,UrJ8g .<0[,.&3AaXfPzG{!i= = ۑ/n"{gYZd60cc90e87f6eb2159e00984279cc0fe4643eea6e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 7 Abstract-Hoare-Logics