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 m D S/ PropResPI:threads=2elapsed=15.843cpu=26.728gc=0.812factor=1.697zXZִF! Y]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?o湗teݹGa:%֔9UtIh5S!nFnGJyfnh;ԟaZGm͐l4p\yֽ}8Ғpi`_C LZ+0 {F#:dz:i;E=ҸAELCa~mӋ&5 }4Y`Y<)uPw/ _s TP&^Y0 p>Ds?AwFC?}< p!8 ũ4_'{}:9J,xr/ `4mu u*㪯 0o+)LgYZ7zXZִF! V]ŗXi%6nGr]EF[f?D;u*YP. E.Qu4( (ޑh^Q>PMge.cgB>-9F OډE D On1zj0=OrE/A55~jcu uq| o'Y}n3/ZOF @c)I4&yop'e5)١7<5K3:|Ymc}HQD2o)vp7B~JF7fCE?7Z3l-QA^mWB&QXbGBW 25.W ;0N{R5eF=&~5m 5.|[֤RcpZpxʱoOJVpqK6~\I,,\|LFK^<|5;mqwp19Cr=z]I-|9~)ۤ w{J"ǎxbGF!T $ jTb`glA濸? 98ap[)9[>f{r3wGf' UViWoRUW%- wvW6A:T CֺF+,?i;lnVQLwloH!S?4565^!~qpHmҝwa/iEblc!z?7Ap6,ywf-p]r" ^Dӆn7lnon MtYN*Mq٘Tވ{.3B5%V~~#ئ9 <ÆBTʍA\j|wW%"t8r4)YرBҙ6Ӎb_5PSslwd9 N$ é7>/LrknZEd=$~K^Cs`AJ6'M)19.ӑ=*VfOʿ'O~ۡI &Ke)15Z0xPp^@wK;"YrtsREsuAiFOZow܃J}g IEOt<].D%!m>7LQ1W]EsȖWY!R.ir1$cK^\^sZpNVih*vU6;S<zˮs ѭoN~gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcdb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36   PropResPI