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  W W& 4< ]/]ZF-Induct:threads=6elapsed=3.115cpu=10.636gc=0.376factor=3.417zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NpG]8D|6g}wⳂ$qxyB2e2adԙojgW$қ} cŰ4I.?-yk (lb r _LCvEHj+t\P@\<<GR˸Q~8=AEWYKcF.5NKӖ鬬f_-ϺhxG Yx9TV3[IT-gYZ7zXZִF! }]ŗXi%9(Ioʜ+yG~zUu(!N#Ɖ1p2Mtx/v 4ncL9,ܻ޲:œa1u'{mP5ΰ(QZײan!27wyhGR_p v YA+'}+lz*y&h e\:r?8 q`~Y yY`4Cϕb4RYaࠀIoy=@܌4WΛhTE(bčO_s%ȁvxɢzCjHIc,dQџ=R[asƳ]# 8Pٷp@#(?]Eq NřsGVpW0&l ?|'q-~%%tgsZA&qAc^El/Eh#Q9>XO.v'z!8\ۓ& QgYZ679d2ec6c8fd00a4705967b2596a1b3e5f04bb54247ee34b70883a3fa10ad7a52a304d82cf858666 330470636ed3f0ab465e5b645210a6e31d667620ea75319171cdc2beb5c07cd4809c9e7092bfcbce   ZF-Induct