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   o;dd$ ] HOL-Quickcheck_Examples:threads=6elapsed=65.079cpu=141.464gc=5.800factor=2.177zXZִF! `k]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm?3ħmO4ϖ5|}EҕfKRjTm9Z5 S´ƣVBB>ŏ%V:ߚ ! :Ql/uՁi[asEHnBݽ(?=da'z{7N7pvRwU~-;MD e\O=U9 @ 6gnLik / O TMesF<\OI`)utd!+! 08CXGb>[>$a"}v[W t2W<>hl'$5`(ishѽa& i0% ο&?fLg(J,tY#JMCu{Ri6㬄)\?X+Ѿ?aQ)L6Z^˜v k4>E+p+Ԑ[7a wi{ AdRHY*ųz9p2y u^I985/+R 8#:MhĚ2^f\(8D^*6t!ȁ >s=kFHϴ8 @_cC1o%^.$}pUp~"4??.4&)=xBeБ;ƈŦK'1 篥+P~AzQgznQ&w *A{T^Rxf qkTʸ>DHQk"L,Q8VՖ/LAkB#TgBP O?S"S:6dNgHږӮ,XbA>% eG۫Z92hopYyGiSpN qv+I9P"mTuI1 2.2lgYZ7zXZִF! 5 ]ŗXi%6`C Mk^6< !ԝ1\"'ŔgE YZdQݺ*XӲNĠ NnoQX*qNqj嵎R``k8XQە!y3-?1TmY2mzt*MJ. ;p&}1IK j~ &T}rAAtRg>Ef 9WFCM4Zʪ% jQ$l9qӋdDe3&"(vh>)uQqNzsU<1ZKAJ]SYwmO[GO&:EBe F~a]DHNJ |ah, PCLuE--"`q| g~ E/3Ql=} V[ G LrY {$U@2Uȓ|, TQA*eYUdC@ƴKj#8Բwʉ :,jOJ-NzCABSأ*BY{5t ne\ou/^D@ pteЯLfKc֨X|@->^"k,DCf%'V|;aăk͡HhAndjʌ>jӛXF_6X .&yI2PGD yhv&3IG~$kN>.4vR}yadoJ(ünmy8m=D?4ܮ:x.n?ޯ \}SЃ?LjT ,Hkك5fgdAr YCfPUigr6fgAoF"YnƯ}1ax&+*ۮf,џa~$waZe"e'>94@\̙} ;56 tF1;-~XN#+x#06Z~]7"Q ԗflRax =fV+iE1":.f>}T毅 >'6{ k#9cD}n _ 3q3ݷWğp6`u_m1| GlnՕ Q"hhZu4@ w '4VOmTkW;?Gij"sㇺRLCv9mpc蕲k{tCf:^KűWO:r9N!=Ĩ֝&Y),%s 55彬d jvR[^!}KN\+Z1D0vEBٶ-`#e vPWz^I JhC,;.8<sqx<3}QŇ?gYZ9d8962c27a94c026eb2f08e3d7edb3b13b7fb6450fd942c2de17ffe6e7e669ea714c0bfd1357b97f 96be2a9745a5315d1ee7c3748cbb3041e3514260 7fbdb384c7dd334c316c02e41305ad9f8b47d436