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 `7 L,\ ] HOL-Word-SMT_Examples:threads=6elapsed=53.099cpu=73.856gc=1.092factor=1.397zXZִF! _]ŗXf1-q恈2Z( \9rfJ̔`ohC/1UŬh~a)% Bd쟏~#ja9TSO LJH;Lƥ؅ hwx9"&5v=Ph}2?Tlzr{<@0BCtΖQiŃ|/+ɱFA U)fu(WWn-VE{!x f`xЃE G&Jt;⧣$t]}s9Ȥx1wk;ӢbB%Z%B%5K:;.px<]Ihj@ʲ/+:~LNc~)wSTHH{9qy_i/&_ hMi(dΑۥ pC8D4Sڔ(AcLJucg^ 8"ZփPl+߀Ñ^PsI8l e5HML#jM—ɟn;ys:%, C@#7>8%"Ϥԟ=K}HEtǷ:dCc6R-E 6Fvz Bl>;w.9k=peO"28BM YN9Gֵ \)Ve$E#J:OFyoz㭶F/uRb~C|м:154Qϝn3ۜ3'}/wn'g_ W>iQrXV@=%]?| ɬt</#IeTn(0>-3dnVpqԕ2IchMy5pD`(-gmXʽ_H@4ˢ#LF ?{iAOjfS"~#СɎ %u"v[;C:I5@MYX)!;g[;cW&9pUO^ 9(N'iND}%pS֕' e&ow gƆ# œg #+>GHirZHw4`DhL ~;MLcMT]3'X5L_!S%пy 4LK펙ÒIMCFiM25CxW'1[:*kjd`ss `O5?[ /2d $ESҳcmɻg0o} Anߪ!a.%XK~IL;N*xVx %nJ!0m ?p`.1v VmRA 8Am " ?Gg+w&K7ulxGtrLV{+V(?#ɘc.5~)cH9%Xc~l9›  U'n&u=w U5Iƫay K~cDYxߛ AиޚLӫ'E6 !*"$?i1Ri|g۸@/y[oK^ʞwNS:3*%_Oh$ j~S3Fb6Qm͠u}G%{Ma Xcȉ F4s,l7U