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  2 2C;T< ] HOL-Quickcheck_Examples:threads=6elapsed=65.299cpu=136.592gc=5.496factor=2.097zXZִF! _;]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlj Wg"Fb$8 ;X.`dzOb|Ovi:a5Zz |dĘ[Εg{_Or'!"C6K[> bkV#?|4ĥft}Bv(!!^ "@RMPD+u~/hNpJ"Y2a8&qqO93↧ /N$uH0 >`XZ޼{[,M'Ig Y!\$Y۱%[ BJ!voZsQs(/a7ь]M/D,C@9.UBYJr;۝yL[i33fۢ[65O1c~< ; HOL-Quickcheck_ExamplesGj#tRi0wyo7n'榠Eg&3)@^Ն("oA)vP8?dcMəպu1G q7)`TەxyV)7 rVosق3!T]Z&֚8tUÕQؒn壎bhS*uÉcF.F+9CU7X,Pe#zq٥:Mi֝k ?w"a.V Ŀv'gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW ݭ7.XY$L? ՝t!==b2/^?jW ؓߌLdrHUQb:#o{Ѫn*u- 1C?neS !Go"! sdf~I+ΨRj;1z~D̲+1tD^d0бi'lӃohO 4AcHӼl4:my8v}dzc.݂Tנ4~Fe]X+CX*4/4fyԥƾWDޗt_Ά#bzc ڦT=c 4,H4WptqgK3Te@ɛ |iTZES%Cy+.*Igg>Ps4&(pnVˁEꚨШX&ǰ޺qV˙1N+wQ6s_H\ 1~\6.ߕҙ/ҿ>`J[Бҭz<~ uծ>xUF ֲs/2 {> [ i~ŋ54&:w^-b6E8eE^ޱQ$ RP#sWsG3Jn>@X(֜ ɋaE,g>8~M'-B5uL\̶~#< 8G bԳD qh(PkPF39RD.*a8콫Cqݿ3C:]t@/ɰN%1mk'k=)3DksŷUфu)yY7釒Lܲ4'*#XNGav+Q{Hhe {\cЊ Cmcz&N1Lwt-fIt;cĢŸEՑt TpLa!!Y+ gR!F}^YXHqPYG6I!W404O;=ET(>[@0?!O~Rs.Ku\Dp2zl<`fƮ 7!/սnj'FI& {oS=ގD92)3&g W-UD* 'WĮ\D"[kz(ᱴ.YiS[]}/$vc#Fp!^+DJ0!jZ2oihKp2vסlڥ[tf۩_-j_]`8kmȜTQn3?x ^OB dbs4@YqUtyfAg&n VdDO~ HߜZ.tbPzlՈ=PLLMZ|YM{ܩ*07" vf:x&RHp.!uL.U!UPN࠮PR0A6ZC_gck^嚵W!!}i3|NT)& - 5_R^]kGML5|a+t 0l/$4#g=tEy^"pȿgˤFU׵mm>4l͑"Mk(b1OHqu`c/wAeL&EٍfbN`}3f1[k3sR 䪻aܟ˓N⭌VAY!h4mb$Ė {5h/*FY\[6H5`Ki} 3r.H&i2'ߪ' |3ny+9FB,58[8JR%AW# .Z~o]oS`F'[ÒBsĻx4XŚgYZ11c434df52ad55fe9f30f3d6ec1a1b720fb3447e32e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea 089e08bd04413689c9c2f25359f75795d5eccbbc