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  Q/T< ]/ DataRefinementIBP:threads=4elapsed=2.774cpu=6.024gc=0.248factor=2.177zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokXUAz 1 xl.T$L|a _D4?yʖlSU߷[e qj)f|g+2miv;(;2U oWtmWZM%ݍѧ cpzh\IXwEع BgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg ,~y1ycb臲('+lu| ,eX&&뛖ghEKe7Mp[$f1w 6@ڑ}#!BIB%3OjmKwH vnp /p5G||H3pWNk@mq3=4,u]kdgYZ7zXZִF! !]ŗXi%Eb⬗z%a,Yp9`>^fLyy9 {lQ9HǑc&?]Os9Uazqiԃ$?>qB]G+4~G̿%U{ɻvEKWt>1%H.k?D[>d<{bh1&VƒLTSg|YC40w=Moo[>8dD˅"\Si{.(TϜ>|#_rqOu,ʪ]YC-܉8by6ځ0кEoaՇGkBp+m='1kRMG+fbEXBXKY}ڹZ΍ߧ \l8 sn_{2`3.0tFL{EhJ>zSJ̉ZX} UPidp0q+*f \} ^czm"eL@hcIe`8."S)D$>yO .E*.QghS|ݔJ}ІjwV_M^b&SRyt铗qgjX±YTt_B{i55<]1ԛCp1_h{t0qZkct'`ic6g^6A66"!3BTBgYZed406154f1c73e3474b4e800140a457ed50f435387d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 / DataRefinementIBP