SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p1\ ]%]HOL-ODE-Refinement:threads=2elapsed=583.305cpu=945.108gc=58.028factor=1.627zXZ ִF ! ᎇ"] ŗXf1-%˓> ؽΒ$%`?D+l6\pR5J^o+*kK=,Z[%o]2`rG^ g) b I9N:%C߾sX9J؍t.f Jw;4ju-x/=@XvdAQg4K%ۈ:O =";{!`^`0'HKV}ߐΊVofFȀU[oz_OþI۬@VH!ZĮ@Z?Ua7[Vd'2(þNHF(t,oMs =7'p\]}hV &G-&w)ۋ;
u$RO+VPSO`wP&c$$52UMe .AigPH^o=cl
/oya!
tRFR `y`ᰨ~(00vsKܵQ
n*4:`b{"ڃIpOaYπ@'=&\sث2fѩ?{yr."@p>H8ͶG%e=(Hz/kN|"Z!ERk}-)yJ]Ǵ
0E1RPL5B1mN4]3Y1l_Ǘ\S86;sc8(AҦU*)OM5ʹk𦗄9l;]CW[ye2hT,ayDngY:7kop樧
%.sP#KXiFր+ Pf=W