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 ""[7 d ]]Abstract_Completeness:threads=2elapsed=8.327cpu=14.156gc=0.652factor=1.707zXZִF! l]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥sFèQQY)KK&.`MF~͓hci I{'_*Cm<rP0&jzw~ЩZS$!lMmw*n%+qy"MCd_,],RĜM OsTiQ lWf"u}0,l\_4yf A7kciL*!TXgX♋cրܳ 0I/*;- zJ&$Q4ՑQ7SMDQʱgYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, U%H3B uyp J=@:!*o2\~-y #Z 4COKC,yzZ[V*b gC|tŴj1EBޢ7Rm{WkSN)\HU?'5ıgYZ7zXZִF! 7*]ŗXi%;4b!1Cf5)K~ *VھjW[C*l eQ)Uo`.TOӉ8J!1Zq|''b[03z'OM`tx(Ճ<n"hi{҇4COұbTfu( VꠞɑVh#ٳU;S%P WDѧ^g1Hp0t-?$CmD;'1$D@P-_ΐg=m yt4OiЙffZ\Iuv OVߣG~+)zs}M[?r6Ř+P9u|G#MI:XX8 ,)xa){pqfGcnBcP/Lᐶ9jFd9=VZvj[z_$ pN 2^?Rit`sڋ|k .Ke1Օt]i {/ W6ʐ!jR-(St9~ż;f'_fF1ֹ@SpR}v蘣/˻~pz:2ye&G便٫O+vnm$;ԡY<LŮiX}[m NDuv:0d/VQb_r TbN%Hr.)/->Q,@ںsqA_?_۸,";={}i$>BT0/^,kVX:@~?r4$"I>+et cx Fי\V&SE +"}oY[A:g7Ь 4ǵl腹$?c`6=;WG#UQ9Pnw *U¢kngYZ63daaf4702026e741e3ac5dfd8736c98fb32a7f3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a011820c2371394154bf8cc1b5ba96e49eff51fb1d3 7 Abstract_Completeness