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   s# ,$  Integration:threads=2elapsed=11.310cpu=21.936gc=0.672factor=1.947zXZִF! :3]ŗXf1-/6vRZet A$  Wg6E H{'Ӓ,* fe*hĉ6/Nxe7(X^cu<:NpNQqF]ͽ,M~ً#&@+~~G4{0*$c%^Ǫ!g.^H-'z"4~VkXCxtYw;!~6QlVc׉%6?<.=OI ʹK ӡQUi@}|_FTO͞y򐮤Lw> b VrMjGJejs~8wnIɞUf@6<qqcyZ_G:|A- 39Ü\#.;N( q hG+lQ8s˦:٢@0}bi\ᶞ@JsoX2%ɤ()C %5ʨ̎m0Fg3`89P+>}UGFeE9NQT%0CZ{ۦY ide[֩-~Vj,5߆K^U ֬~Ǜ饿mDE\ .Bt=[RfZrCn\:)+~ʄQ;%jCg\%Vk])-Mz?Oܷ}6UFt9yw "3AFOz QDߖbQ-Of)K ɸysWmm4cSoՂgH˭L-(s%?5ܼ'[WCXSb)L2@=v%;h9jBHB /fMo|Q)'1s9/>ۣ#h0\yd?9vHb t>gYZ7zXZִF! A ]ŗXi% Ί_w:N !5z^oǂԂy 玻-QKo$sb櫨}3L3:KkYEąmņ9ښB~=CΑݖR`GkBמ:Rs"iZS56sn 1ϕL@^Q0JcQ *++ŋef먙?bςVYa2E=]ΗFr}%B!*)%=!}4@ؒ 12_mh7z i1hV5R 0ϥlX 6W]qJ^SDѻY8g0=fq%Qk2IWМDvnk9Lm5X=4vs#H=Y@RVS%{O?W hvį-hyM6T; k rMHIu & KL((ńÕveB=HVV|I/ ]{9WBVT ouU'kY ;Z*[!u93rZ '3h6lԾڷ*l/RS'HJ(Ej6,kCIL-d07Qɏ𞝉b ]_0E|2L/kz66 J]5SU@YbeC⦾l0f_[0x:3_J3g3 ͧHDY`…yvi+IAt:1pzg!챎<%9OJ~bCh`86хa Qf,˃CgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e710089711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef # Integration