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 T, ]/]ZF-Induct:threads=6elapsed=3.199cpu=11.140gc=0.424factor=3.487zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N ׌$#s,Q2Q4J,0{_NWГ#k1Y=0G%AŔ4:˰ۏuڊt;,1s9#|+w$jr8؊\6犳o 4 &>'gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz 7@=zLecB NY; w-V$C|>W.Ut ]or>c~p8!OxҖC/# XAvr?`Ӣ``RJ^ηZR'Vb2A-0e{ؠȁ\{t~§F(>A;;c#&ו* :Lk%hÀ|B[EQ6hO.j|_ԙA}IvgYZ7zXZִF! @]ŗXi%;005;=ؘDmٽS[#0So4.Z׽䳆 >nt2h,,G!ݔp2 o5qXz S6־Ql|hۜ]J#VԤKn(UA#_WCZԿ]q_T\xx0$JBTJtG؟z=0Ձ wWV Z,İV/] OůQ%VER4lB#&33{OݩDo&?ߢ;~_jHZG?QZMu6YbȋdI$'7D#ĈI[i5iD `ݖ[>Y|p_9^E<I [a73Xa̭uW];O_}0"@g)%KgYZf11ea031cd031d7bd30bfc685a78bfd554a81d8551fdd790dd5bb3b33bbac5928fced7476c30aa1d 85af337c2ca65332f0ba0a4985b878dbf0982f823e21b9f0dc42c74df834fa42b0f2d628f4f19025   ZF-Induct