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  / /N 4 ]/]ZF-Induct:threads=6elapsed=3.519cpu=12.144gc=0.716factor=3.457zXZִF! a]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ nXhhKt१暾.9̍-=lYN]B4ߒI/{[@h d#nIqdxe:'*sr罢JMfE|Ė@,bh3 ȳpA*#O0'6P5V;F ɳ6aCb4|(J XmտgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzm7@d2w*ql|^0-eҸ4<9.o` ֍S+ fN6p0x/'\A3 MWXNYnPޠ &4gcϪoșfB*C؉%Qn0:cHrR=4sQ:lajxt,˔5h_PՑGs٬CSU$dHsGGrJL'e;gYZ7zXZִF! N]ŗXi%EbNAs]V|rۍI=礎ˤj+!(e{y Cr<"O@4?짹:.q' ֹ(X$3>,HPz}3B8PM즹[5p|+A-d>?wKL^E&"kӦ͚ C>:H3)cM OaRS7mbGJ$tZUnHOߡ0DC<^lc =AYNz.r&©GAAsHb*)tbԳAi&lߧ.$919₎+LC9e!*snAI~Ե0vy-\L: uRv".76|[*tP&PZ=i|h/d w{z-ȳ4CY~\%*kt!sCv6#.5o-[! tqEL@:)_ ܋!rncx?HXwEQ/u *KNv+,)$gYZ1d288ad3aaffaae8e51cebbf5a677c71eb46e8bb3544b43f6233cac7fa59f57a860ecfae106f5f76 b33735b4df45cd8d27aaee9ac47540d425d3d610681a590c49d96940aa7feae66bdcdcb04beec195   ZF-Induct