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 <<A1 l\ ]]Abstract-Rewriting:threads=2elapsed=31.494cpu=57.028gc=3.032factor=1.817zXZִF! :]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ*/r\F(\eGv(^S;˃RZTƬ ~RS7,\Y )4Mv{Z.,Ă3Kbxv?Wmf O-_{oN]Ruesbw,|>#޵ l@y#:M+jgZw- c~$t"?GVSIUh8s{T pebad*^i@=WVkN1z _-V SHCʾ  Qޛڕd(;C g!'a877v(hz'zyFaD-|\+! {sH6Zձ2B$x_'FY桎9|'S@UƢ^*L鲸1?{TtgGeeLun?%+`l/[0K$ݥ=)%f٬%h¦*9J5>GGe8JiBi'U%m=$~_2`x%6s~+:5NG. jq-2i7_H[I鳼||(RWi;c6׈zcr'@ jr9=ZA8AOKE?&Zh0K(Hw| hPp3=#f6obɷШU x;zұgYZ7zXZִF! 0]ŗXiɟCrhi^IxDY?Av|4sA@#9Q/M )`pDeWU $$1oٽ+펟[^`[t'$}2`)jLO-xS󸬦]Qf=͈6(7jyT ~~[Ʀl\peĖ3l7^u|eoJh-%:RqJQG1?p=JkR@71t|;LL8-@Ie+IRcI ! q}q*4:!űgYZ7zXZִF! h]ŗXi%9#H gET/4$ 9{|弶1+Nꖁdy=ggZFf.e(gN\U0cR.׼qU2VQCFP\rx 9I ݼqu3/'Yة;^-д{Cۡ;pqTXҝd$rw|՚P\T;i Sj=@8Aq.z}!  8|'9:ZГGǏ7q9zǑr+:$ٹ_+e7r!,$1MqC'D+H~'PR`?|T==!MwЕD32I^ N=vCbkI|$ j^Ř9Nj}lMY|H3W~x;$]ӿ9] Kz_, T3,' pKj[!//raГF&BDz)J|{ByթBO>(,{Ke{Sw^cou "'A;]XV:rc}P8X˂= j.<`ٜʓ$9`b (JEѵr:ږn%STNXDn=UkB oz i)'aK(VW?s+C8 G iXA$H}:5߄9rmS?FvˈZ /8I9]ȎSi6NcWs=vv0u5Up +#yِP$obC~kUF9ϔ%`uיZk|oO@>} .WlPxɱ[3W\|LvjmKf6g£*)qYA{36ÄDxQ:x|F% 5u>T 1I`iTd]\Rzo#sSQZY-)N{f@lLYWމlVyR+(5@1!?w@ɍa%j-Un=@$vEySIlȳA漦0ɤU auk/w\;o$>߬C#O#ɐjgYZ309f5733961a16bd25a998f1faf30cbb34cbbeb68ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05cfeac82058b7494d758b6085989bec9aa566aeaa8 1 Abstract-Rewriting