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  v) D ]/ FileRefinement:threads=2elapsed=10.690cpu=17.600gc=0.152factor=1.657zXZִF! C]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-Tyf ڜl뾣Ex>Y}lFTG9OW(ռ\W{(©EkM! h/GKpXlȪ#꥟aIso .?QOQP̠Qƅ,Ib|wDɷ |[$0{yVcDR6_n[Dqtv}b ӃVerF\Z@XSw>v@hU|uH )ts8lTsՍ=v/j?9!@dc fбgYZ7zXZִF! <]ŗXi%6{Q&O!@My:'(L~2m"bl;Faa裈ğWuK,fه2⸝OC+$؂x~wWؑ#Vgg*5<g4Ii.c(PZ )c)a$=N7 d2D̵苔jWBkhiupFz#~(79sKGތ!h_~UT swÿŌ(x3!p͇X]4MԚmw 1@;a_!k>Սlo1NI(\oF"?T>{EIyXV!koar( n9EW$HkIYJ1co9$DnT^A`GζOr$rx̦|e-Cׯ Z7whj ~\_QJPyΥ8Sx}aɧ|+:]jUrw̛Pz*..߀}zatm%v !tys.s>.~p57N< KИ?hߖ|ZgN4=ߜR-wھ?_eY~ m\.VĴߠxץzZ7I>$FXzQk.@]vn;dj|$ygYZefcd5672156f6a0cc779d9ad42986f58f36d6a0b72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 ) FileRefinement