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 <<5# < +/]HOL-Nominal:threads=6elapsed=6.368cpu=15.904gc=0.716factor=2.507zXZִF! (]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SE"Qu3 e¸(]TIटpv#.~t>UTuw';;F|FDgO <n3W*Ӳ ǥ&Ԅ;,D͔jJ! 8RnfV:,E '[CaHm.ж"a}7vl ۠ mBjаv$!#icϴޠDP's%p懽*3quzR~7:wלraF "FO@)տGV''ѢD}-s 8~`d_<ڞ fbv:K|a岻X̲!Jl#>E$CO8RLp P2VX/ * a.B]axHB0EEI[Fn z ^96xGT5w1Ӏ)Ⱦ5Zq ȝ5y'8pW&cEe.HuC_ i32K@~ ]'|Wfnb6rY6$5u_ʖSIo| vݾTXb3E)aBsO@8՚@G 害wdD|΅0Aj3Y!\`z;JWûr C? >KK C Be/BS^:1NhQ!ѱgYZ7zXZִF! ]ŗXi%aK/Λ ѣ.QGWݰC!C-w%eS֎T+yļWO R=z&v;ҭuD1 .K+NCaʔ~R~Uv-Oadّ0;ꙕA#I7hY}3ܺg20L--ĕ ʉU<2ɷ rgqbc<$眿i')+ @[ٱNU> JTFTmAq4L$zϑu j<^S'q(R \k,z0Bp$v,@8{eR:u7U\fHEYݤkl]ja%1%8PHrj{HFLZ85Zq63԰+j?ˮw}5OjM v|31WeŒ/Tu0@=gYZ0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 39c9c88bc368740335af63ee0f783764c50d575c 5117119a178eac69d137fb85243808da2d667eaf 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 6adda71d7b17778aab6a1dfaa6291add1cdbee4c 7bb2894bf6b2b1879e224f67e577c429b34466a5 84d02217878a0ded53c9969d4cbefdb5baec3adc 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 abd154de58055607dcb6b8efcb621e40c5efe9f0 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d75db1d9c8bcf6bbb6548235e3c7c906b36b92da f612bc828037d6b79efe4fbae9e84b91c46ca856e971f6238440d3d78ce2fd541cbb47208f4c8d90 dcd687d65bf4dc3808676ddeffb73471bc630ff98971a32687059a39b71e1952a454240587dc668e