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 ZZ# L, ]%]CAVA_Base:threads=2elapsed=8.837cpu=17.340gc=0.696factor=1.967zXZִF! ^]ŗXf1-/6vRZ*_LgNۻv)kyW+ۏmU1dk(|p$?|[oI,1/wY:]O̦ixqU5+Cy;ܑd~Ne&l6jNh{ASFkhg3bг1nݾ]lT:H UyY4LE&W݌ѽV'8w(Z4H;;Id6'2 ޥo:T&j!h:PE4CX,1_VDf!{-TwߩﲞM+t DZ66pk/ L(8c!AqX 7a"8Pi0^ wy^O?Ig& `{W젡;8jrlM^\naN`..$rAOЍړf)n&XWG15 ʾ\g.|FSr<̑,6vDrlnEajmbL5 )MC\k3Y~Ϗ)8t@+).Gė`-RTr!rz[\ ${x~3oD (?="zWo83=D6uXp2U ($f3'].owd^^`aETɎDMOnK1Ebʥ/EI~q31Tx;LgYZ69e0100a81772c6f61dfa40d4a16fabcf152dbfce003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 30eeac94b81bfe234ed36cb0c6d8026fdd974767 be893b48bf1964edf3e68c880cb5becf4ba1aeb9 fa1815b8175aba8afe6dbdbb2d26568717e607603a9155b9fb1bfd12cebe6e647c0d461c39ff485e   CAVA_Base