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 * ,$4 ]/]ZF-Induct:threads=2elapsed=6.541cpu=10.600gc=0.440factor=1.627zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Mc*Fy̛nMШւF+юZ6 1B+l-9 ?b:CGlL̐W`ၳ:"I"$5dgTa gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەx?vr;fܳarDYvx;|l#K}J{Q*Mzޱv& &qYe_Խ2-p1IbR/[@#b=vY}*邳=Tjd`S #I*O"G+N]Vic7*zŚi4J1@uC?0ø: @c-ƁH q^e ! N˭ꢓz+a=QgYZ7zXZִF! 5T]ŗXi%;PXۏwo6rHR _s $'UzCQ[Y6Fd~23eOX ;wjzbZ?Mxu"~<ˋ89X=N(ZTꅬ]0!N;?ϸlmQHG4;~$P)ögox: @* _w F?]|Ш\YIN)i,VC{i(_lzR]e]m1Rx,z @rrFeAo\~:œ+w#X_ Ni+/ц:suw;̠1T 'ֆ՗ )$Gi垿N(f )A>,mhf0?@"iT8ʥ E lcDD*QД{#[l,^Wa}XK cF)k0 uUy#7_>T͜!ܫ?-3VO&!r ϝX>ɇR_;y)[8@G*gX} aB|~o,k@9gYZf11ea031cd031d7bd30bfc685a78bfd554a81d854b2e4ef84f2f7c72f1d619e9e1af08455389b338 41e65c246344adfe660a1912fbe78ce79cc96f735aa58055026b37e2d27a1f1556c277b7a86990f6   ZF-Induct