SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   t44 ]/]ZF-Induct:threads=6elapsed=3.330cpu=12.956gc=0.512factor=3.897zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nر1Nު?ʷ>P5^?INVhHᾳh:\{‰@|҅$;Ńj| E wm6}Ʈܟ܌l7[4,ʊiRblʶ\/mJ$TAB ҩyɽԂY{ '0| g-gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|3#@9K$1lzb2Dcx?EhN}? 'JYSWBh浺+ E`(C7SjѮݖ okA}y0=g.?,ޥl}M=~&g8e3e{=,?(.v.JxS.7|,j$EM4s#3UxD!qgtE]:gYZ7zXZִF! QQ]ŗXi%>p/n9)ƞY᯸X}"'C8 E`5a 众ʉSƃ`'cX%Z5ܼɅHp^gͽ/f1]Kը<G7|j+ A"_m&pɥ3,!424k##5x7jϸ}9EH QX$?/J՘uT_ߒxu[>bQּ|= Q F%ѻT`Qt2 @=6pfWIq|"N4r/j"Kh)dfJS7 40kAvvٗ')9Ac2c~"tOzFJ&pMGKa2*0OxyE9jdz hjIegqNms EXf V7w]L14KI4z<-.٪>@A. pU,RJYuLQ <+?@2 dgb]?y1.`NJ]{&1,gYZ2036f6df19e55f7714ba47de845f47237ccea13fdd3df6fd1fc63d31a2930446f6245215ba2d6c82 3b246cd6065314d14e2015522d73d30968cec82f0edb51e212c6691a083fcc492ded3746829f9831   ZF-Induct