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  { {) ,D ]/ FileRefinement:threads=2elapsed=10.772cpu=17.688gc=0.172factor=1.647zXZִF! xO]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T|sNhqQ[3*#qn A :k3RF"[9Q!uZNwyJzoݯ|~RR"غ%} $Z]}de򗴂Ja=_2CIӽj) ;h[6Jѽ eM?N]`ًAWj1B(QkO*/r˺9ޒ?QDzKcG8x]\=n /Qa+#QVoD+gYZ7zXZִF! <]ŗXi%6f.*Ӝ`e~ZXXk6a~>j |"ĠJP[ !r xk\f1~}U0MֈlKAWu ^{9ѽ_jV_kQ*k5H7̵mT>A(qkvN.* th"%Fqp5&?C{'\fD'O9{5p-I@+@4Yq^ΔQY/]|-A%p19. s.^)O6MogGѲ3䶟_b@P7(e` A{1ertɍ^X*b^l@Url+4m`&,{-z(WvXǡl1~1j(9g?δ5.vO΁d˭w1յG~xd!y%^H\mx)0PBCT;#)mg1K1hmĨG-/[P24OBU5jȾ (wç%PX:g%VzFBU)w a$ֶ%jEylW6}?-խ["?E}e{޷QSPhWd P]yCkG\ BЍhfHnm'[imWÊ<^uBfEa0MRkD QgФXLeP 3TU%L@HD."rFB fRe Qk{ 0HT=[r_`WCm_Ҹ/4 iԱJ%>_+B(9 OT'00z Mˀ=ùnݪW^{F&#/[ Tu4EJHu9PK,&YGY]F~!ywz=gYZd5f73847c3c625f466e299bcd1ee7a099eaa0f800a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ) FileRefinement