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 SS*C tL ] Boolean_Expression_Checkers:threads=2elapsed=17.328cpu=30.392gc=1.676factor=1.757zXZִF! y4]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1ف({G29)C `zzE}F4` Hџ$@F:mF A;*qp0*%}jue76+vɀ4./㚫,^(!% ܠIYs0yDe+nv6guXY³0 3+V5"5s]&QkZU 8JOoo`+b66O]gYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=Q~p' oub*[!+3aa#t N}Y ֛7f̀ )ʩ}+P?#nDu5gYZ7zXZִF! []ŗXi%ύw4VG("BsrNl FBNr1ySٌ9s}.j`p{fU+Wڶ+2L,Tc3 E \6{ -@S*|J;#rI$g9Xy7F_j^T[1朓9՗ f^+~/ v{ Sq;/IDלIƇ܄MzmAjJ9 ( ^K>T^p9Bո̫< J'XQ çƉIq3܁2 ~VUVP4`'س(恏,N8i-)Ž/&?oh`rLI#ej3-PLD9[v1v|pfs.. .{pqvC-R!V!P9sN$qe%r§i׻w{.,LF*XR9A4B`F(rg-9XйJLEYh#C0 fl8"\BiG`@ ^ Mq rmy=d^m! rOdi E g_ޑXLDiy b(]gp7!sΠ5]Z s4<V(aB]8zQMDaJm">+Alc T勩WaxLTML..B 6dm vAl ܧ+\b!ߥHMGvWri΅?̫z#BĕYSd*_TX7o9x!~>dBЩ~kT Z7P8|T}fIl6"򸪦M^woa~a4BH#3/ <