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  > >?) ll ]/ FileRefinement:threads=2elapsed=9.133cpu=15.100gc=0.152factor=1.657zXZִF! u-]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T|̐fŀE ,ȓ jl{zEH۳uHP :z 9(bU&lD˻@(֌=Q2wElڗaPztR5;d0S$*_尿Sq; ZW8W<} *~E'RTn+!Igh0`4A|vp^Zq#eo-9=`ҎPiw3rg*irsJ>gYZ7zXZִF! m]ŗXiɟ—Uޘ[;RjuF1 D+!ř0 ӆCQ5|z 9c*re7Q(KU^'\k)Ƕ.@gYZ7zXZִF! 3]ŗXi%6SwKJ}xs~m`71d2e_Yn *1#oj8%ZK="EJQqs)n&}hU5-1/ Kb2M ,q=V9|I|?p:|l4͙ಬrW? A[D,}JU3?(A  D -m>'s |pOn>)OC*X+<CSJ":2•|v>l>#} 6׊68WmriL;ָ,xv"~J=.\U#[\d~S\4?t +$砼k7볾m6،HO𔮟zT٬I>ѻAۦ'Iۉ^db╅&v Up:vXvfnduB^`(i\eCv+-A1~P\HkFx:xQA{Racq0/_ *4$̈́d.4Wr&AVE 5!㕺n{vx$USI#P,iP"-K83ц-Ltq"^ *T,B$Hqq=ASy`w4dۨ3WD(ۮ&_xg֧ rtII˪U2}6 &"FBFfle8V-chvN ܜWL<)$-46R_6ŕsKzf3 '#.~!wskv d%g8gYZ9cb0f42b68d7e2ddf54428f657e2246f894b3b26e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ) FileRefinement