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  Ztl\ ]/ FOL-ex:threads=2elapsed=5.698cpu=8.028gc=0.216factor=1.417zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n͑:b7yaTwHS5^mig"?Q-==/b@Ҝam 4 z&^B@3 1?uh̺kfl0X_al1!f.iT 'gYZ7zXZִF! /]ŗXiɟ1 UtjL+S ^-cfkv t*@>X`ڙjo8Z<.Js]oY:sͫQ@,V!]12PY3ѳ8<1/'x1uC4M,YSewJ.xİk[ V ~ӱ`6 : * + f BվiwCCDLF'q{Ӿ>Ig"̬rE&YJczX_1l98(F2@kֲw@]Uk*籉Q JǛOܐA4u֤/ e><@범o3lXiF'؁1 2 :T~$)RV\AV|ĝ(?/4گoWZ"F3`f",~X.N1L䬤ԁB.tbՉh`i2i=@0yZ}FIjJcRQ:=`kI(|"'|do/%p 6zdţy8d.Rq;@Õx(.E_Xi]?r8*ul6˫d `㯠ZX@{t{iKɄQ4M1