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 ,,E t$ O/ ZF-AC:threads=2elapsed=5.865cpu=10.548gc=0.612factor=1.807zXZִF! 9]ŗXf1-W'UTxlFO` -mg}GxRySPf@TKN:19+Keo:Jl|?R( {௼x}r+gؖ2BA}<,7CtZA[EXx>ؕw370$uN&H9祁02%E.N47X|%͒HMZ{C҅mT)/<ð!9[F X/OQ10tis4=SGh&mlYF!vg؈i;R,e_$ZomB-=C\`Bd_AMo4RLw0ElOS[$Ą1ꋧJrI;>%M*`ߚSN砃R`xaaa>Ol!<3 1~t'9hq6&Z,;' `|n顀w tD2jw5郇r*Uĕ;a=AżUx=Z3Wn[ V23fޥ^  ZF-ACMyZ9ch/ b)8.}YbQ lL AOR ø3TD"OŲL$*>=x? &>})*f͐ݩsFue}1  "y5YZ/`/JfW}çSb^kdr#p^!xl[3⡬J QIedQLdd#6 Gݔ?" 5DϕE)Ou~Uw\0j]iZϊg|PDlP̎XiFJ0@$@&VޱgYZ7zXZִF! ' ]ŗXi%BlqWүܥsa6bccꀈ-T$vA9a`@pFy-8vh89pZu7YoG6^M uVԕ%U Jɏp)p# ZQ$+ R ,7_Gˏ]rJg+B72J1QqE+3]vd)|]!b`InoggBU00V&7A=1) S ~g+(Ma7@fU?|)D2hq)RH[zO4K&fixYU($J-EJ{_A6@QQ0n"WF0m)|Ab#~[_tT^'X0Y;z(e4wa G"`uũݿHF;!V5t t]=#gajP77@w n?4,6 `\$avNn.Pf Qv\t.neo X