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 f |d ] ZF-UNITY:threads=6elapsed=5.135cpu=25.724gc=0.884factor=5.017zXZִF! P8]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1g ^ʖ4YbyfUwu+9 9kսY܈%plT8>Wv0i5V ,%)U! ^}Y6t|prL>oImyC ?Ğ\ne/Qd l#w.55HB':1o~4*D6Z)U̧i{5Ys,Eq(Ǩj-r 2>Wt)cIy,nYwZEPGM<ڢ9طB#`!P2c?krF bBPUxi4CQ`+󾵮IKHYc6J20B7O85S VWmOR?ϫXpLFP p¦Q>v-5Vsܑ ԮaU6^ !<K׹ˎهʎz8̴1;ۃʈh*nkQvb?Qn[wV{0.K]I,J& d*] Vn GjSZ.V>Nc{u,~x;첢׎]ä hlgYZ7zXZִF! I]ŗXi%;ID3>2OsTcϘ$$K -.mߟu,PyQ FO DUt®>q+54EP(B=?'[c!'Ia3+{>U5[Ȼl] Ƃx=rUO{3Ŋ/Vw޶eRgUfl:1Ims6Tu8YpkMSYuV`?>73\$h ..#ٙ Ve e9bb&trx4=/\PIEhfMM#n-q@!Ԯ|o|=|^kB\q|&G:ź-4A77`~b_.+偞=26ZSѣj}/löG|6c};W!1'ų%`y@ۜB9*P`ɃHPa?'F(XngRBiE_bVbz_lk'/-|" ZyϠdN+16z_N/KQRaSL(7b~Q8=k,i؇'UHbNa3>~kkK,0D\+) 3Ww.D& C'.6 GS@IT$8wgYZ557982b0d06883e5fde081e7b7c96d6abc5e003484f26ce01913cf374dc1c991cfbba0ac44f7783a 82e04162c279fa57c60cca8112c84ca5c8ff82bf a2e12a871afa5f9673eaf76c4c71542da7a8cfa6   ZF-UNITY