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 D' t, ] HOL-Cardinals:threads=2elapsed=19.496cpu=35.636gc=1.320factor=1.837zXZִF! Y2]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(.&Պ|8,d4䯬sYegŸV}8[5`jFvOTX?@.Nj́X{HqkTê7~SfMH|5&ϰKR+_T=ڊ$η.s8hfY0`:YD'{}9ܧ. 2WYʢI#[+2eOMV :DFi'qX71%BP7=R>.EH@SU$&~ w,:#coT(d[PS'bL3 )7fg[sfy3v-VJfH-V뀫N UE3cYWpIf GZE \"@KlFw#2 X 1 6> }@;oҕsr&*nT&ĄRO_2As] KSCY aS0?mbVk :\ zJF 7FSL44MCa* 12ᑴPSB *FQ PlSvgGt:H ]3Mc?&vgzCȑs!J,ZOG8쐓͗gY#5LPcE޺by9{ǰ{m~%9{Z|V]r"oMpч\&3,FV0Dwtv~OVUĊ/fF/m_>]V>ωD[Rt# `?FR\{z-Owx\,+gj.B݀:E n #^9Nޝ~z9©701۪̃v ##lŮ1 %nKH \%C