SQLite format 3@ . YYQ77Atableisabelle_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, "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 ff 4, ]%]CAVA_Base:threads=2elapsed=9.020cpu=17.680gc=0.848factor=1.967zXZִF! S]ŗXf1-/6vRZ*_LgNۻv)kyW+ۏmU1dk(|p$?|vOro/n,̣z{}̙EEJ9@_c徧Bc R8U6'^\vuB.Fs';~ ʘfQ'"(y:@ FT'b_ "8)_0?P.19*b&.e` yr߰'FW(E>V(Kz.9@3ƗRm150ʡuhNıskC/ˑzMOzɹWYKz2IQ?T;({mZψ&o擏R߭P*|ݸJf9!:N^:C렩U Bv[eE89ı/[$o\Z[0[O9N#jgYZ7zXZִF! *9P]ŗXi%6ȁlѾ47II m r( g̏;T@$gP5a MMc p+z y=}^Es*X?2p/OiCQɯ4#Ll *ƋB@,2%aUQ!V]޶~%s\Fڿn <'}BFc gpC~4QuxT .h^lo*q"8 -b]||JIr4MgСA;x:WV.jihַG)m9798v\!~Rƽ t h7&RuKX;hSbBh y. 90y;JP*R)y9EhuY<5zny7Z.{Jh & < Є1N2S\2>C8r v8NfPI^, ǯyw8Ȝ=P|bRҹ#Yq[~Hq.uG7H<5s9f| ]>럠O7Ml`$6ȇu^z?T8x _/wʒC~C镋ipѺ</z{ HR0\C{,}SJN7ƐYT4gYZ04181d165c466887f99f85af4a5cd3692539a30572476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 d3b717257264742e5eba21d7cf3c6eda49c5f382 313911482b604fa13e55fd1bf97a209f339bf41c ef626f17313e3450c927dd963884ad0f8b7f59238aec8863ae4c3bd18188531d83358b796d7c9b0c   CAVA_Base