SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  S S* 4D ]/]ZF-Induct:threads=6elapsed=3.476cpu=12.152gc=0.412factor=3.507zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ BHXTۥk3|8}~/  OwlܢÈem{S>R;g\QC.9{vwR|Yj6VO633c|;{,e1OJe-ߛ ~_LvHrW'aw(s+P`+mu|  ̏gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzޭ|=`[,1?ţ>὜&9*Pv;j"^_WUSy\Gh)^xsM6s- +tܛ$Dނ>Z,m>e҂O@ fd?(1f=&@Y8jbF=p: BFa7+|b \vGK8$KqjVn pjfJ{NF35>4?z] G Jt>/88!r,?f0g}: 0-bgdWE/6?ofh: '͆ CI­ [AW9i^Bn; (_``O.wY/T/ňI>e3j0Kز0Y$Xjn~ID]>W=%hl PDç_跫!1MDwz7ߖ3d@7瀓~"tR$ᷢa.GrRz06k;隿_ 2r.P@QhxLJ~>65O+.l񂥉}ʒP/؟kM1Lꭸ@Vohϛg1\?s#?a$"BDYsw &7%LMN<߹N˰,zpgYZbd13ebb528f3a3a87c253c44d3e494c391c255f2bb2bfbd9c0379d824a446c61f99c1626944f30d7 af00ccdc73a0c59a5f9724190038eca6cc4c07a7571d6e517b547a41fdd628b1b0f9dc140604dc3c   ZF-Induct