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 : ,,L ]/]ZF-Induct:threads=2elapsed=6.837cpu=11.024gc=0.484factor=1.617zXZִF! `]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb g.)эbfne쾠;.-7 Zr3(QQ&Ljʢc*̤a0XA"S=/'MA>C%؅SsS7M;Z yM`2j?/]s׻F+X,ZeZe8Z8(R%zJwYb`ca|13 FbgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz6?vrؤpOL;h1g\p"$LJ*H$t!G޺jI}28 |,-AmEAޏ8T ͜|"7a[dEG,VҟWxyv\+Fba([ȘzV& ޒ8DVV8l@93wz@on!$|\wP85xǿ!Ww)07!LP[]fOߢ?O1/wޜ %1M(U%s#ݾQd6.R_$oN_Z$SA?Q#pLhM'٣ TaWȇ+j2Ǯ7-";ldPw"%7eOP& k[6gX/]uG)5ɩsI \Nv[ӑ D6GÒ̿ٶ)s0bWeՅmQ\ns^u:0 [Yrᦿ?N{=Q{87h5=$fEqzekj67zec|rTy;~8|x$ bAj\_<̃,),XFޝ~-g@-z`h4}U:EYq4ؗYհ& y/}˺Jքهo_{Ks%ĀP;KkW^'ڱgYZ06eb7e7fd880471a1e54c6d146b6028e460de723f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 9da86041fe15e5ef579ab3f36bd7883ad17342afac552cbfe0fc1f59f639f55d12b52b31a57f73b6   ZF-Induct