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  W W& |4L ]/]ZF-Induct:threads=6elapsed=3.339cpu=11.720gc=0.404factor=3.517zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ ax_=!KmqQ@cMٮ{r#, Ad(Z"}[ fܓh"?:y©cQ# ")vb9/2r_qs*ltap_6D=4Wcİ:QX׷xF2b~4]Y)0-j܋S;yL` `XgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz6?vrدpi`-ZK Uk?CM^Mm ^فfdHPkt6[i!,$+}\5? [\ HPKU47't@ nit>X܄4[x쉌y[7 Bm|A'F5DN W0u DƮ*ߘ,&7 3aGH!Zez}7e('dЪ@g@S@.gYZ7zXZִF! B]ŗXi%B0Dk&cGA!EvR[yΙT<|)u^^mI>9 +}မZʴe24;SղЫ|8'h,gyomD6Lǝ1 Ds)RLJ ";_4MbPnvnL0`OFttH~#gˆS}m;.Qٚ1@.W6\Mi FBRK֜UAߏWñhq֒Kj+ j_Pe!E^v~E9M*ttT"p捫BIN6IDt b r[ϊFT|:D}oٍ)7[ATjp^("L^p܊>a"!)u~f`X/1x.6tw$h;"ᤱ* T^RcMgS(#R7{Ѱ)0j{pΔr .08TX(1>Ruedi ɰ-F P8d\fЛR?%GTU^2$E,oN.(\N7qͷ{$D5R?L>8̓޶,LO!gYZed62a77ca6509109ed8df272a112d9f28d5c70193af822fee716c8c3f7a258f5d449a67bb4886bf0 20e803423cec7760a4efe330f27d1fb39aab05f7dd61de13bfbeb150bda5edc4ea0c194601f7ec78   ZF-Induct