SQLite format 3@ . BBh77otableisabelle_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| ]/ Pop_Refinement:threads=2elapsed=7.885cpu=14.764gc=0.700factor=1.877zXZִF! w]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&9r~dR3 4fP &!&Ӂrb Gef&2֢uz\j8DSxQn UM:@vd;n;T}O-?&B۠fR΋>!TINL.'9$D.o h}mx00?&!/+@fIȨ݃_U%D]PAji.u uƚ{DǶ3V4gqG#:ō@>9 I!k>{+#pGk{~l.vH'5gYZ7zXZִF! ]ŗXiɟˏa)'u KNv%߳I$Y@ûy+ҁ Ke+ -w?@+ .0,ضR[Kȵ̤BOSu0X%3{vV ^#s g OQ;%z0YgJ-c|5b}+uno=S;ڮ,%ws|ss@~pƧHjZ'|/0{3ZiC/j%lY*=+΂w)v9晁JU倔uŖ6yST̡nމ|-VJB2={#RJ6TK|zb"O4%ЎT8.]ƒ{pȜDKWg2<7U\s5G>Fs] rM+i'9k[2C&Tbw6?0X`"6/VW0ڸv.C]{LOH&y^.;[͐LmŭtTQCBl-} Hb"s_ z)pO'(1Tm7gq`qkG0q=6Q-F"3,}o:,Y&wҤ;H?|kN*gYZb1bf07db01772e6da9d4d4a12e4ad42f4c1e056800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ) Pop_Refinement