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 $ ]% HOL-Quotient_Examples:threads=6elapsed=34.837cpu=51.012gc=3.004factor=1.467zXZִF! d]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%2pOb9sES6H Uъ <,ț'bdH㇀D5*zTXሦ_t4>N VQO r.Xb嗠(okS2&{7~Tym:E%tYlrĻd&;-2N2?PvaTO-@H$EhʼZ&K(cx_Ԅ1r*>=e*I}dfЬ8fwXgqf42K$Xt9Ɩ"7{m9^hy>ppB VNn1-M{P̎SKNrC]?ۣ!u BLh`dsiv1D&vZ2 E|Ajd8lX[N!v㓷49NUkj4I*I@ˬA]#LyJwt6{#'O#*-/t L2=H9sV?,/[?m 73Dk^{w-V7xͯ O;αklwH>aU˽K f\Wc:I`j0p;d׿@.̙(ϣ X [n|XqPe˺Cj*1AY~~C`*W]4;3L~7 ILlUJ:iK|yCU>帶Fذcª_/KYЛesh٘]&*smr:p<9mHϏxU&X89fZtvR8y~o~qr)mܑD OT(׃sLmsI._F1 )I;h}S4M>"F;" ?anJ>ZQwit65BB9 1&0i'0T`9є<8pÁGt ?mf`z#R򞇦N N( :( Zy@bCW(f-9U7ʴ ЁgYZee5cb21decf4c3a1fd0d14661b39ae9e850a03d37430d2c0a1b08934e5f6cb35e5fe155e1341f0ec 144a96b403b56eb57a7d98fbcc98662a2732b6c9 e7f2807964d294b1bd82041a5dc1295b25dcfe01 4c1c1b6e02a15e5ad0555f83762d1d7ec7fda705 85e32c66795eaf3b708d1643c337027614277138 7 HOL-Quotient_Examples