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  < <A/|L, ]/ DataRefinementIBP:threads=2elapsed=2.840cpu=5.068gc=0.208factor=1.787zXZִF! Q]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^džQ:G揄9 &G:Bp&b,:)=R&J6ֹ1۔wmYE8F -r A)|Yig] /Zy'4N\ Qt~Su^P[%HOSmvniX,=:bFh_3ԉodu*^~zL[*n\ʁۼ>Ok|1êDo3R:Zy(=:)L9ZfoFn}zwo Zdo oKfG>E_L K]@=pgYZ7zXZִF! M]ŗXi%>g#`>o0GM~/RJDa3rf+u/eI+Sq6~E$WAQ&F7f&b;*"JᖸbKJ"Kc4U <[84K`yjR#(u +'64A6;6Yg,UC??^ݧɩf2,ߑwֺPyh 4*덉Z\+z9:}~yA"Wx!S HBh#k$@eؔ-,0z ;gx.F IE;篈JP9kgYZ8f03c6a871b284b94aaeb1fb999d9af910afee51a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 / DataRefinementIBP