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 I1 ,\$ ] HOL-Metis_Examples:threads=6elapsed=12.045cpu=50.140gc=2.656factor=4.167zXZִF! V]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ט(C'PDs!.23aPn,ⴹj @DaTWiyp`ՇnK@d0cu!ˏLp`H:} "{efGrDfзY}EX2%O:NT_/ĺ#9n&Fň2RQ `E> v^:M4MfhV~Dy$M_|>={C7]<`u`l3t 43bh5(CL``4'IVӾ*j>Hޕҍ[=ؓ?ֆ50[^:9E `lߚWnU͆?tjdJ> ɠ;pn)5;.pbMka Y?%a\Rɩh lW t(Ø4,iED_81Z(GQeٱ 4v %(!ZEdMh}"lj PNP=\Dd-֐k,)GNU28`B['@0I2^?/"4 =unHr3 gI[=_a\,̿F8 8Y mc۟t$NWt+4޳4e k6[MmbLA,nMOW髟$Q$oHz{ P$188]#ـ#lzt/exf:@<}B^R샘y-HI/z $8,wx? f[o9yx3Ju) W4W `tVx :$x {|e87㤥%7TsZ!cbRQ*[.({VkVmbPhTIBX s=۩p>0MXQ*H$§(H痉#tKQkeMlk of:F~~V}CŪs먆aDW;E;/[\zSpRaY hthTϫ.fN-yJ_?&͏] *N׹Ik{|+Ľ[ {]nC- * b87t3l{)8(T\wYi҄cTnW'RpV4Yi~s}@DlD?߻ Ġm)-Bkc[Ta}?M8Ub’C D1UBȤ