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  . .O) td< ]/ FileRefinement:threads=2elapsed=8.700cpu=14.384gc=0.176factor=1.657zXZִF! u4]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-TeDŁcm`;\WD-Q4#"ԑ:{TrA4:P k/#0GE;EEŸ"`e 8IAyΗ,ZѢb^zcW(\]u1:nh )m 9ΆH*n>|Nմ wh`r.s(#jb}A0! gYZ7zXZִF! j]ŗXiɟ—Uޘ[;RjuF1 8ؕ|;YUˈd2vv .]|Y_-OrDK*J8vxgYZ7zXZִF! 3]ŗXi%9(O]mz?k~! <@F_fd-0rm/0k&HBQ|# ]W:\%sZT&̩ȭ,QkE _9{z}L>j 4D~PX%Aٷwrb)6z%22خBfugtts ٗM<4(8@"_en%4!f#QM ÷@!Gh<. qkELLjӜrP]vٴ Pdվa('H2v.a>g*kdۛ"AûMBT :ş=a4"n#vLR+qRo6\s=A7i8եVraϤܜL6:Ahit۷HB[lIp8 WFfD7nŚ2[ozy~_:|zmqo3eMSEJzU{mgEsu嗢¦p% jD-9]>x)jU#~$k&pEn޽@wwf!oIlnbzrS_8P/@ɠ]׫@a=rufQK󭬯2 o]{ yO18b\-B.m:Ka3߄\!#uhiHXu5iu{ӥ>`N}9 ;'i۪UtOJt;|.qݱ7ijvy[H!|g u247 XPQѓSⱏ0lqo3aR:cP;ܙXsX4-(fKtvOop:1?ag)=0ggYZ5dc452390332e994e2040bfd03f32b95634d30a13bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e ) FileRefinement