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 - d, ]/ ZF-Constructible:threads=2elapsed=16.125cpu=30.632gc=5.468factor=1.907zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό_lh8<~ xKuVk,7TX5xeДUG 12236Q~7(=8_U qQXĹLòk;6 9 눿$PfPDjCs`8R!1a,4F/W߅ީl27BNa5 \#,@ e<յsx n e\3gAKrn TuH$JK%)y y=Iy&$ f6BM5O XR7@>]KQ@HnlgEŜB2:H!sY|?:c/N$d~AOR'*(18ROOg<b`8bΝe>wZ@h# 8 p#gs/`:v}jH'ro\1{؉S`?ьM > +!XN1:KifZ7.|B yS{B*= g՗s Q[%lEQ =厧IU ݩ@<.ObiBIk𲇎_9 zy90ff?ygD\V;#D~WtX-LVDqawHc0fEvQpҞ9ညI<;tt ^8hml5T.dJH$^ |t&FMͼkg,  m e[