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  M M0 t ] ZF-UNITY:threads=6elapsed=5.091cpu=25.068gc=0.828factor=4.927zXZִF! C]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē>ai~ x2)&x! dFc7U@D3VgDGdZ —0*`G4j[`PrH&$'$E3ix+_+6P8OhǁWn9R>Xwh 1{pCG"L[u*Q|~Lk"#hƱSG(h"S8 M˲\%/$bmFJ%kj't?ߌ>e*~=Z*#iůvAB*?%,ō$mq-z e$PUY~F:J)TuzF1n>6z|eiA` ueY ƚ%7؅U {򊔇(cDK ɵ^X`F OTp1] RA꼃$Ao0Sr1\u-hmh8uI9f%ngYZ7zXZִF! ;]ŗXi%6Ƥ$sB+(7u^bԧg>w>l7%P1Ck4c8z j#*gIkʟMٲ:YuڷM(ߺQF7U}f@A6-Y A؋L>x.I̓hϞ#i(2QZ 使pB'_-kS'Wʾe<.8z7f@ +f d{׉4_ ˟ J@Q жkz΃}NlDm]_.3gi(:Kղʚ?7URsMOqYA#q=lh-`Og1 `.BgU{1;[opc 8SA@Vq&#011RwʝyCsWNG}i'xT)21@z94