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   z 4+:(sX^ԩ@g"f\YmMk[sc~ rԜ-&P3K*WI u`m] !؄|Qcni2N wG%pH16Д1oX~6hNGuC+hZtx`S*8M%_JBE"fO,t6 K6ciwdgl}8:H~gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz'xiq)c/<0ǰ%s'L fs5d2Zgk􌝆U\MW2^Z_ }42v3'0DCBZZ=: utcl7K`R(W>vs2Kk|iv.MEAsED/v%y& qz"(pgYZ7zXZִF! ]ŗXi%96@84rhP*)9Q׮U?T5MFH xHjK!8+9- vplXp)kǻ*$ {[9,`P((. ɯ B ]Ca$S6FFj.[P҅v+}"4S/L0Eo z|{(o| G|:hiklCy&$`kҎ2z4  AXz|ø1xJ==*XO#ҫTz"RltPoV;]Llx+g DEjC4_nH7dp&#pH7 -s`Y8J _z#MJ$k:0 p|*tK9E;tr}>=kU<4&V 5i?i p,QmWveAz,,=Nŵ;dikiwׇ끥Lvhc' /{Z%YPÏ$P#IT81=;rmQ!l^ $ SuV&*fLըSx{ '7|tٌFdܿK /tiꉟ+M)vT m]8~q?2--w!OV[u aqBYk̐y.ر2.wmKA,U;gYZ23e19acc42faf4ac69417e4d56830d5038c6bfb83fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de 2ea1f5e34248faf457e26c7524748961279dcc2c 7641297e68f20ed4ed195ee317a7661f39f483ba   IOA-NTP