SQLite format 3@ .;  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 d,, ]/]ZF-Induct:threads=6elapsed=3.369cpu=11.796gc=0.424factor=3.507zXZִF! \]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ )堌MZTIv6GE Yj`r0Bt^U2|U <. CM12N?̫aL Ĭbpi0?(B#VXu"G\&ׄr8ktg96ز uxcZ/j*2-gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| QL KYI15MjCp6UӣmW= KS$#F>ũ/ GF?4i9Hߨ1Y_B1)Aj8۳٢'v󭁗OC䕾|R9A%uSݻ(@Vz0d>KKgA tܽ(o6>7FE1I'#2fbNK]u&γrm4.m4n~AΙ#Y D>s aEjڴ^ 1w'SIh\X'*cgԣ~~l =8Gy D)MP.8W#k˽2WP.gRHyd}Y2(jʋ|RPLРWzwf@8ٽnnۚwmywQy~-ڌ(7y$nCU#V5vok{p~dVh` syٷw쮆_r5A/ G0@W[\]PKMw@nE E^Q/)9V߅JZZ,vby{R3Săg,^agYZ685aa5b6ce86cf0715091ad3a02724184c54cd044a94cf884247418bea313a9db35e86db2b51269e 3b01fce8cf14bfb627caccda0bec98ad672ad21bb974f52a43738f24017472f032b42992cc643cf3   ZF-Induct