SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  W W&) , ]/ Pop_Refinement:threads=2elapsed=10.447cpu=17.672gc=0.688factor=1.697zXZִF! ]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&99<`ͿRf=""6]UmF^:kWve{5Еz[Ea@Rգ|Ҽ/Lj TFnr#''BM)tF B1:eO4}(}5TOp,o:`gNRsVw[b!O嘥k5߲%Jm !tqֹZT?7`sRhk#1D[A)zΤ_V V|xl5 HkϷ.η{;lc*l{wM;x ieG Ւ~7ѨJBA-dӶ}(,Wķ²Fe0Ts:C+U Q p) xp% }7-o6ϥzԇ*?KՍN9[Ep.  ~X?Xl-+n}]/zvN[#v,٪sb%xye܈//COw{R * ,gbc CݖP]у%@ԉ|}qf I ;cҨ s%GutgYZ394ab51e886ecb80f3ca4bc5ba0bbcac93b5a5511e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 ) Pop_Refinement