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 ) td, ]/ FileRefinement:threads=2elapsed=9.467cpu=15.124gc=0.120factor=1.607zXZִF! 3]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T^p.NsQ &mF;&ӆc>,sˠ}"6,ZWu1go4y4-d$ ~?7`[-QELTnp_$zgYZ7zXZִF! >P]ŗXi%>gs2eNZA,Nw?g"S?s}XDRv.} '? ko:c$fkp*R(IMՄ2Bf4w;|KK濒OX!Q׹x [ H-si.(~ 0c$'7.Yܰ8wQ?Ra4+;H7jM^RHײ"fzGH'Uʮ[. 5&Av_a DR{(M|eڞ,Īf_RAuˬ ŅM*B1YQkSRuس0oӚb/3*[!84ƫzM o`}ɊN )I8vҹ)$ΓI#ɀfjNb OUy<6ֻjA^SH[ 3D Y, _eAFieZQ/C^al(!Bݴv29ӆF8{5MwsA3j$+|qjLU.SZ|χui);~ (!U'T&+l%K !^O@Od`)Z[)bBA>k~9 u΍CUQҙ]ySJ jS:*,6#רdl]Hw UD@:.$38,mX.WYS(;v[48+=%AG"}&*_!u4)^ͺH"wOuV=]@Dvz׍{~SW! 2zfg2`q(/rboAh~]P^JQdѵN|DαgYZaa37a3e02a3fe7237ef7cc11f6e7b44b6377880c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 ) FileRefinement