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 jj Ll I% Bernoulli:threads=2elapsed=16.047cpu=21.736gc=0.548factor=1.357zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sCm~Eu߈R#hC|++)iDJS;XxVhu`k,i$ҸzkypoeD) v /m NA>>{f%y%ê7>XR[]xG~!\P}ŵgݝII&{?.K ,W Y{kEJr&-B 3 UgYZ7zXZִF! V]ŗXi%6q<ïgw#)_uflQ,}Z)VSnBC:=zRǂlVmX]xePR<N1A(5SI~O,ju _qPG>02' T+Gx&5 ӕu3DOr:d% ]غfd:$*VV>t8ىtW ˷y `ot4DFb 3u`;<:,ҌBggD ǣ'apm[?D*m!hn}.צ |ُV&^ڢ.h| WD8AakI%\m2Rc8XI̍w,ރ* >M5itt%9˶Hۙ,8Mj/f+a]i! OO}6eej,f`}/t=a$$aFTrg1޵hS鑡QUxS|H+L̴GmM*>g^*#38>S%Gվ-?@0+m%FC aY@+KD~=xpk 41Plğ޶kŭ/ (f1E*)L/S'u%> ؖ|w"9~pg7 W(W2,J 'jI1 ;@kݻV}? d uCy^ F[I]707BpO6G}R| q|fZޔP.= Yʀa$\Yk椅`Ks;og~1>^݋Qn3НBU_a1۵*lū*+aRR{ifL:Ŷ ٓ:3@`:Ft߮7x6N:\e'