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  [ [" D4| ]/]ZF-Induct:threads=6elapsed=2.801cpu=10.304gc=0.348factor=3.687zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nzz&i S#GiU?aiT{-L9j]`uю.2&mfuU<JġӔ!ͬsY|gىCނXxRp!&wCL r"_!Hbx D\SgYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz o[1e_z"fnߘuzhm/(mhppZWKM|@A3xO^K@;Z Hk/'}”vgDn>w*J<6JPΛ\N) 460;q6(IvW(eq_H2"cSEŶ=0}U̚K*@yEݏ#rCꮍBXhis2vCed:?4h:gYZ7zXZִF! ]ŗXi%7bw wl=Џ!RQ2qޠ9kz Mmj= 4ΓG.Մ@7*2QDrF,,ŧV14wy@]ő2HE'Pvl6҄oHN;erc³Qڮ{Ob|o5XI{ ̱ L#Z'fC4db#ŋ~;19$]c\hGG·M)x6s~H$FRs&he}t+쨨Ur+`i 68H %OmwxB Fb+PB[S?!RjAt܏Km;~Nrb92iSo@j O/?B{ 1H%sװ<Ξ;qWJt6].7q\?ܪo+}5/ b{R(`(F9t1_7ke1 ~b}muΔ -8]gYZ25b514d90ff9b3d69b1b89163a05d318579d484e8f0f23b1ee8368666f183b49cf0e04597c11b03b ef47d180d8892ad52945c8c5c512be40fbc1f962d361772642bfe149db521bdba81c90d4e672393a   ZF-Induct