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 > Llt ] ZF-UNITY:threads=6elapsed=5.109cpu=25.304gc=0.864factor=4.957zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/$f AT=r֙Mpa!Ȼe|Lp?i~|?&492یωR;fYU=7a[bw3O p&$;,y?:ְzN52 .sZU/禄)xPLҸYЦ? cw% ~d?ʬ(Ƙb8:b#@8dUG 'iygSy d`FgYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP7l'iq&\Dwi*RA/¡]kw;.x z~^3;&b74w}%ƹ_%OlɵU?&h~z_꣈Gz^ᖪgڣt *YϮO>o[ UwT_pVu?m@ ؊t, z6w+0 sVS`( d{vfNjDPpűA^@hbmn1ؿڢZvce\oL$+6ԏsnz.-5zo]g9ÑA y`gYZ7zXZִF! ]ŗXi%92(LjN*E:N z)Ne_Z ymGlNrQyt6{ۏ娺E],ˮrMZqRbo&X^?!+4r%u3xlѴ$|Rj{rGVq3a=X仟qN8-TOs~l3z,ePij&ZBG2@pdk/1WKK(T5'S)?%y 6 YX"Z:"_ߔ*hIcݑN705dXqٌ2Ϻ&&;X'iH~ߐT-8=Lpw֕90.=u\_~e;I3F5|)S`DITu81FJb'CZX4ݷP9x1;x!D4yq5}tt(οx P:x݆F'5'2ϊq;QsPPǩ68\ށʦDE޽݄QQT#}G/p I)Z*z3H[gYZ581fcd5f02860c0f20de9d42347594e18226fb21bdf52547a2d1ec5238d42ba24f34b6bd872981ed de68d04a07f107bc109b402e2840e7a72eb7cf50 3dcac7ff51be5680a5421d4b3f51871609f139e1   ZF-UNITY