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  E/T$ ]/ DataRefinementIBP:threads=4elapsed=2.659cpu=5.788gc=0.204factor=2.187zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokmM3V6,jּcϘ ^֎L]V2jS9XT*'K, >V󤍢 OC~J y;؅6$=*PL4cH: Q.aG Ox1>% ʼ(z 0a_zMS`>H躤)S_Yx@7ݩµS |(19}Dz&Yd*xD\*\53MR^S]kdgYZ7zXZִF! !]ŗXi%GgD9&63[J;l&FX(%PK7X 7{b:Qg0d#mqО8)ndH,CNVjڅpѯӀcM]U8„~0+\ExN u Mi2?jvZqz+5l -|U1?}Sa9Bf8M9@/. D1bQg$iwn#+ 4^*@܉C$ff']4iPFEh* zbki\uhU۟F{Buk9gڒ;g®j(1Mjj,Y1^2o3k(".y|JyG)2rlgc, a[A~\sv Ekv޺t7֞2~Lqd @[&lKw %=~ݨ}) TiKeU33(ev[@>;eUjIqS{.xgp1+h3b)Kgt.|q3}~G_ krU5N)I`O 993uC6~p֖:+k,5U OHCzdrMєfְ)w1߂b^ KCӑ'ׯ3O:"0YPi! O5(B|wBRHgYZfa07c165d9d60e05260cecf6acb97637caf01ddb1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b / DataRefinementIBP