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 ' t,$ ] HOL-Cardinals:threads=2elapsed=19.206cpu=35.976gc=1.776factor=1.877zXZִF! 4]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(R I< 5A`q`Xa6}40-ʠ[ec_#مBV-?dߌ$Q>,e 2Gy311|4[elIGA4Ed=zWhZ`g(1ƁgsѵD^ &V5 lF5KzR*AA|S䄚aNk,)IK;;Z*?9z9OGhΊ|&!*f0v-"̸e܀4D t^wCbK|==A?/Ÿ^"' `~nQ'26Gx~kI+I66N^4Wme%SՍ c,ݾNyRj]ϼpw:r@̭ץMkލuӨ|^$!55>MKk=q֛g$zMsQ$w9} xH> @5м_lI }3kQ):Z]sG'!ͻif} 9XgYZ7zXZִF! n ]ŗXi%;P. Ad{B(:6 cT`t@t +,vC~J'ϗu] G>Sb~Gg'Ԧ"1zDQɁW&=A;֫aCo$G_GZtu,7o>*b](ou0V CV wb W\(צeYo= }zt*<@?mMRe0FÈU NaG @bAJ)zlvշ7i:lH Ϥj^"0QK~<Nk^|F}L` a:ϫ@X?FYtŴ\c`5Zc=ZR[n1\K$ QUx ^nD=@tw 5eQdϊ/w%߼4)`Cs&$7>$}LbxDb[ONQmŪ7FxAWoA" q2xU @Tq ^,\6ʖSh {kS8tl~tGZ@9+ͭ1GAN.㎭pA)IK^5uKiŕFq;z*EDNXCZ)?"pun0px*[n(8IT-L7VJƿY+ݹ'BpiY:'|{1,#*^!;SQurz ~ a4g 'tvey0gyV3]+Ɂfp&m+%d0^C~ĥXGm>wlݧ?eh,S8H;6j~E`0;(8gOA qj_nMGVKк&SmEG-O`]a QRꊖGXOX8UBHS%,N1]$icAB/J @M7og~[MWnKGby"_w"PGZ1eNZPX&g,xqI6왙%GyԵkPhܴNoHKݸ͟|scUdI}T:̙yF@Km/Ml9sS^u$a:ȷqtX#oQr͌'I18׫<$Jֺd