SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 0' t I Stream-Fusion:threads=2elapsed=10.086cpu=13.460gc=0.400factor=1.337zXZִF! 1]ŗXf1-qN ~m{4vW||MXɷ-ֹ{̉ҝیXZu/n>Zݜ-$«/,jZ^R!jY08nL>+Wo 氜)0s4[2tRֱgY},Wa K}0I$KGI`\x5*jlʃ(&w87_>4v`Z`c6D.73Ko5}z]x{V:hz0Lgui4ݔ6ғ!@t]^6uHKor`7f4a#ɏd.IIi6gLF [\c8Q36%PBpK g)tPPiZ"P p&I+}67t=1Z>erR߂!S嫯Yʰ YbqмVuVP!VoYqg5V#gbIPٙAM [z&enxc gYZ7zXZִF! 7]ŗXi%>n q t%E]bF0b(06InWk!xnZͮOg*E SVXDt{׳2R-7*ŀ>>H?_Q#_Q~xK@9xZHznu_G5]bǚdX} -ԤU$"CDj8RLf@}Ƕ!QK6 8`ӷEZLyx<2E|^~ã6QEX[Y~>Iה3v.3E 'ո0 ?K^/~˓ VPˡjE(戟0=(:2+-謵Y5詸{ 5|d}Nyg_/x=n}֊L@XJ;Y?%NhsPGÿ«n$(:'ВK j OEDZ3\i-1l<[hb~U$ 8Otn[?] :v\~*2+w~3v;2%k