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 - <4 ]/]HOL-Word:threads=6elapsed=9.019cpu=39.752gc=1.464factor=4.417zXZִF! ]ŗXf1-q恈eO/O4EhM6}x6 4UP>_^BP<}L| f`V8U„kQ|\VSJ|ny`4'BCY_4>?d&kwGh?WD2y^o'=aS׈ud|QåovP:{#<0w P@Bz @} 7ukqwckcGb@ƨ dB3̰Vh𠷍v*u;.BMS=/RRG^+Ns޿Ep]!]ẘ7J|gV?OcRN$ S`+1v ,b<\PG>+jsb8GC!Ǿ „,U hy 0_P8 '~vfr]AӐs_Q%Swj2t/nrxV@Cg_FH6=YyqnSEf>VK> ~ \rT‘J:([=˶IffoѡR0dj-Z?AeN*40LSYlrd 6:{&~ڮt._>Y֏X \YZ!^:Mi\ۃ_mA|ʽ̰va AqxDnMk_P7{vi2y ml p=Pk;D4Ar 5n ] !}Oo˅fFk0y@c_2+~ X '-n\b a!߮Ԣ>w Z|Odeq-3i4j[/u=v2p=a~[džxb FݘҽAޏ6A͵B!:jOhVO<zdb18´ q0?C,OgׅV (6ѓ;q̜qpt@lY "xNg2t !p+<_|LFQ7D +T=F)DN?OmG2{TGP始ʟn̕V8cJ20O#dve6庾VQ_Lt,>1SK`jUX^뛣 ]w]P'G"#2OAy=[I852]$T!ό6 k)8Y!gYZ4feb77d1eff455429df77b3f01faed0149629cd337873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a3686e8b6b7383345b390581356460eb581517710499   HOL-Word