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  / /N L4L ]/]ZF-Induct:threads=6elapsed=2.863cpu=10.656gc=0.436factor=3.727zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQU3|a[,R&+Jߔ{ü/u Z$Ksќځ.I˛ţ݅ΏnԷ*>nBlC/xedރP&&zJpo;%quX\T+"u@M{0bk2gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|^]`U7@/1bsWްE%v on prގ-X/5 ]VY?d9a^*brcXT:J 딌TEr{  %= `Z E#Om40U!S(pXqЋ’ ڸǽf*x%;İBO«i~}>Pye:gYZ7zXZִF! s]ŗXi%94-T9{|Dr=p:Q*d8~YWFj:qT7,̈́l8>6廓oa:AzetsAzy^̦GQ`'H.-B 04q&!XނB€,´M;D~8ĕi  n  rPdP7l/ l\y}Ǣb(mnu] BTvI~3]F B}F@ k4LuU Y:gYZa969d7188f018b5984fdd83877ac03423e8f76975a65cfc9184ac5fcff440c336649c488e962f666 3dc2bbab9c7befd529676992397d86763668b519be9a7b7500c90c2ef6b575c870c19b73c6135903   ZF-Induct