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  c c l,L ]/]ZF-Induct:threads=6elapsed=3.493cpu=12.320gc=0.704factor=3.537zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ =h}ؕKj3ٕhvka+16Rpc9F`>eه8Ԙoyi5%6Rn*n@TgE^m6s\!G#a Jpo&CadFkQBͤ0'z@|%׃x.-u8p3VIcF{p ARgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| QL KYI15a-22bW΄p*x^^~}tw=U xbTr7 ɡ=B~h-Ϊ 锦٤}ؤ&cdm@J3RfO&oU ,vspX[5(ߗy2:>Q  l9i,Ҡ )3? !}5_c` aY2^XIvgYZ7zXZִF! O]ŗXi%G1~o..VRQZDaa1*rp\\& {*C}\H}\E]1.Qŗ$E+@ڡbH|ATF@USzi8G9_*Ip{0eb{݋s(_*}ݦ7="MPLnizڤ-%~O>_5# o" =YReRh"18̌Z&ɠOMӡ/3}OsJ{b CM!3eKP<ɯgSEDo_XE67 qyEȍFL/G%@ASfp@EqK㭖N(Z"oQ@GiNq;JZjG:s ҒM,rZ5-Z-3ihgUeP?WNhD#qa5oYXe%!ϱtYEs#XP+I9IqpjOhpO2"Пx,҄~gYZd82246573e4b76fa5314726dfebc0b2f1b1eef8aee652d79da3dfe2226e7998ba8d9b6c5b4062632 e6849a25276f714fca6d66a5df65f216a397a1154a337259709c122b1699132cbff5fd1ff38e0a19   ZF-Induct