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  K K2 D4 ]/]ZF-Induct:threads=6elapsed=3.193cpu=10.772gc=0.384factor=3.377zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N"IfxRXڃas`n~+QASނI#\YM,=j]-D/}L  3t>s)8Wґ$E%UYm-BlOd$ uމLF&}ޢ.c!\q|X`w6uDOhWdE@>)VS='YH%E@8p&C}^黍F:JEz+;r7lx-O.i 2dرd*bpxL5jڠ4 }$6%#5C:<8ܞr<DI&-0ΰ ow PT ng7Gf[QyC*&bnE8q:8M_CO 1t;369ZJ- +hPO;Co=Z߃|G魶:i?9aG[&zJ7}+}۴dZS 5(x OŪH+ue <0CaPNF^ܱ GgYZcb5622fb356679c69931a27f485be50fe06be89d41f17979ce98542c0541e9d469ab76fea38a3827 868dd4560e7b65b0979392f7f50959a32248ad06d6005179fc1efa07d3f57fadc12ba38e8603b1b7   ZF-Induct