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  [ [" D, ]/]ZF-Induct:threads=6elapsed=3.370cpu=11.896gc=0.412factor=3.537zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ 7%, T Ǥ\t#n3Z?2V j^{ Y:|A13V?gr;r/~G+i.)i#QIO"7J%`YMYR%0f?̌`/r.[gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| {@C\֊ С4:q`wJNp:̢!^mQb|(@}#Baw%1f\$Vۗ p@ԟM'}ޛ=1g(Ǟa<3ԒP~{cI3xxpv&/_ æmCw,>LdeI0#fn]A, ]H{nԆ*vɁ)9l{l]?787 HB7p_4 qd7u4<+7@«МKL~U'gY\qxXA(y#aG4 "sC Ȥ>εo $fݛ,(=gYZcb27231d2fa6f0c12fad8db4480fb3ca5d93bac12c82039eb3757b51a1431a9f137ac66d6aba80c0 d62fd74475697928427792d732d221ef0446bde3dde3d7b65bf9371052d78f5eca7b4befb1ac02b0   ZF-Induct