SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   j TLd ]/]ZF-Induct:threads=8elapsed=2.625cpu=14.005gc=0.715factor=5.347zXZִF! !]ŗXf1-W_X<.BNehlMɖdTȀ|99(b #sLYh%( }pkkK"iw{+w) E|9@NקnjhB}ENG6`]ioʣyRќfpqKhj:s=4lY IUOH  2]˱gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz=`b^Dˋ s97?ev` \>XWHZkvIÏo#0uNB{NJgYԇSs/7sI ͻĂ(MTwNՌ3EަGɊC7eEwTa~*I;d٠%N1R }_]I~ 5,R,鉒#B8+ 3xEpߍ$Z2,٤ EN.KdJvP@h1JrjY@ X8[Ԛm*DRD}md'YZ5:|ET?B۴ћ5l 0j9ҹoάBczd>^/~PC ,ں\28z*9Z7ڵ紞uih^Y#B 2|8HO>['[aRKa)򸞿:1u1u/(!!BjKd$A~Sl/K}M7FT/4vp)nƋƂeo5R&?>P֔; ))b{oYxJ[!} Cu~!laM3rGKnc>&|>M"["TExI\ұgYZc4931dd51d02480f0831c72c324c7818311a5e1dc58d21ba3dc8b698b4c6d36f436849048b45c256 92c934cc249e7ff5f6d99d0eac10ddf3c7c5a6a40e13bc4904ad8b4acab5b20bd0138bffdfb9731a   ZF-Induct