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 R <,l ]/]ZF-Induct:threads=2elapsed=7.177cpu=11.584gc=0.492factor=1.617zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NZilѹ~f  f% .qb~,kGML^0oz|G ѤUd6 'PU&!z⼳Ze;DwluR586[ 6y]Yw^ % &`~]ߞ3tFpkOShDCF:? 'Oi6d^ 3Nwx0wXŸZ}$fǛR dnȱgYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەzvr;o5PC3fh`8u38GN\;(`w=GɄ~P%bVoEk}6Kʊ`Dm`y;44m9ӜP4?5@R &ǸO8&iG`E 8-uCdÆSm~ȑnF/\s1gaq?uS|Y"k=`l6i`&gYZ7zXZִF! 8^o]ŗXi%;c;&m2嵲:IhH  0 vBj-^-)|tOA,:w /1l~͘((*SMYB CTwwճ+ʡcn0V6h@ζJuH3u3 *ܽY/Iz6o!c.;R2̮AChiZB= ]v6E:1A0NsUՙQOSYIoOCWKX_ЊM}*+, kw)U/}OD6AGٝrJuz8*VRܢ4'G"w1\­LTaԡk(g0+z?B9m[:ԱDNT͈f=Ck XuVmW]mSZfN ;v3b 3ZfjM ^NU0miQZ<+UDU4@StɺjAZJئ~Z/ S'"9p6o_biӻ}¯X9&f5qP!q_?3]y 8tI'ͬnG#!W)R<ƞ;fr C53^xG'D\v UepI-/gYZf11ea031cd031d7bd30bfc685a78bfd554a81d8562b89b746f265b39aa07d30f95ec0c87cdd2cef6 e1f33615ded91ff31d28c00091878a43e56b4682d4784564a224207865160420aa746c505e6ffff9   ZF-Induct