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 MM= t /]HOL-Nonstandard_Analysis:threads=6elapsed=11.080cpu=32.028gc=1.128factor=2.897zXZִF! yw 3]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S:{SeKd4A~vY5Ai.3?_bƓJ]S"gdƑ ߾ìD<@r #2GULjK|Z[SweMfe09[6퓕P#,w}΢uy v ,/ ,X c(WtlޙIp՘!ϙ1`>XqWrwT%Zzrϑ0Wk}O* Px]|QOn&ay|U: DI5K[\s+i{0ǔ‡ˡXߪO'wÛ ?J\%fKlJs=~&8c?1ÃjE1ޔu!afu*7?!I]'1b$L@ژNϾqǼ''r q?4tkGE:­ cr㹘Ue"eu#h4>Ӗ1LI@|/ݮ0!ۈ3/{牿ÃBQW9Wvoz4Kn oJ_UEb2 P][O 7Y\u1*8Fl܏:vpk#LQE݋7A=>az ZVo$iX}u8fcmPΖ(!L/%d:,q)|I1]9E$hvؠl,BJ O>Y4]Y&ed_ڙO- pyVJVjv<ZrE{TH~8{m-}UDn:j3zL1~Pu{J-Vz)S]6y^]ggZQa'XLDJ^ղ?yevql)E^I^v;˫MOhAjG#D4=`qkK orqQOcf*2 kJdXjM5zH5JušDewϊyvB&~UR^\CV;_B`nJuyOyȈORn'cIn <_\X *1I>ט .0+#Ba0$ǖL0ٕ#^%gB0 c>2K%]Gr^ Cj[<3tqTODכQM+Jlmv p,ג/όtY21BձgYZ7zXZִF! 6<]ŗXi% 0ُm ^ON  CazUDRsNjYֻy]O(&aͦ ]%rQ,%5ՠx$UO-nsvygIg*70.|P4*6yAyy vZ@ 3/ eq=ih$(%'i*Ţ$O}ct$?픳$(ЦgNy|SykȒ )