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 ))T- L< ]S]Stirling_Formula:threads=2elapsed=15.481cpu=29.504gc=0.996factor=1.917zXZִF! ]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0".4Mָk(9J05}!k|Of/ZZk8~/ynvY]u. խ"d\%b)06(>Nś\Xz$oym+ {gYZ7zXZִF! Y]]ŗXi%=wm KYN9ZHuiZ*Ln'jnٕ*ɰy&SdBhUS:+;_-I龻s7j3ޯDLk4]e.vb펐skO>68l|(Y|Lf,̷'au|?I*%*^ 𫸴'f?.!kd4"4%O2=:W4[)ݣHvcN:n GM&ҕ}ng; %.$~9< Z1UB x{H!$&s[_QHqSqQ'U,5xhn>.b&SN|rK?X6+v1綰ĩ*T?B Fo5=ѰBkӿn%Q-͊ii~,s]2 ii/gB\NUeibΖ+E=֖"*0_ 0tbϚ:sI#U6+uHm}u4ۺf% ~Tmqw isxNߧH"F6aKS.V =d }5= 3W.άݵ.\LukTdIuӣJxF3$}w.N Htld2u0.&tnyE.ʹ};=D4#4k<i$%~CUGvh 5S%ħ^7bԐ0x~ ,a&~t(]o#nVO ѫf^Sm\Ԙ IM 7ʋIq?&'oQCix'~)u$55gV*DH |BA+!SMɋ@摟&Tq 6LGBp:@eI7|w*ddΣ0buOgS+w[sp;({gbi ȇ˫xsL7\TJ ݞzdrK[蹑5uԘd"ds,( v$֪?Ǔ{*<&oPݨ~AFB@[կ9lO˗MaB&fЕDԘ_")yHGc% ofJ.*Oݚ8̿ ޲2x gYZ6f866253ded2e59a25588629253b02a39edf460879d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 0d9cd6e72a2d713e7f970ecd8db43a8cb97e1282377d9320a2c8b4df6b608eee0a395fc583c98bd9 - Stirling_Formula