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  | |/T ]/ DataRefinementIBP:threads=4elapsed=2.793cpu=6.204gc=0.224factor=2.227zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokmM3G砩2R~|q]o-V S2 _?'@+`g6XBĀx5T!%.hϟ/_%`9c1Ҙr`m@[ $V_0Jy%|GgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg,ϊ-{nnFop8)Z8&/-JB 29V+Ia*(3ms hbWk k4U2(`T2C5^|&p=fJޔ(3&7gyUb0 ,*U(jWMnR"D4 4ўyLƼ gYZ7zXZִF! #]ŗXi%G+ ~U4-R Tةy/u RvsF]!@\LE"n_iYԭ2-A =ސ"y7h~H uX`O%.H)"|Z _3es^ƗӼaS·FRcrOW c#C)/<}02CX?Ka>"l߀sfjUק@Rp9.?8i@f>\~7#.4ܷ.Љ|uUw! nqC#ImsM3M{ץ8N_8MڦJ3eGv`e "~dv#+/WzG$ݙgN0SbqiOhƈxQ(TLq5r3io|N.kdn缹]e? RPlঢ+Ht[I\[;=3 QcUv8 J O 6>iqY k8}?'5` x4;@xzˑ&J#[Fl 6lGnbgYZb79aca10cdf701cbbcee6fd66b4e823c1577455a4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 / DataRefinementIBP