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  ';Tl ] HOL-Quickcheck_Examples:threads=6elapsed=64.865cpu=139.408gc=4.592factor=2.157zXZִF! `*H]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlj'CMߚ7߀.!kXbid%.0&*˒mV\[,nwAzm )s0Skaΐ&  !~1 iF\E>@XAQ('$T:?\b hpQqN콩Åa[e;? œԦҼgjMbGKx%7=+\@ݕПCÇ6iZJIqt)hn#z\ϖvܯ2~PPEniلe_!ձbW`JP5AG4 SkYީ 2#dNDy|ԫe<#j9ũ{<@!9O?wXj@ Y:AyYյʽ*0}'$ słkf{L3 +R 0; ? # ̔0-c=B;_[3B 9/rl6géAvZVR8]Godt)qf;΍0*k#- `T$-kԸKj!*Э._n Ƃ;rcDh%,FpoL-UR:f _]h5A跽ܝ˹JOeB9[Ssq߾C0J'._mM8>Yu&=ɘgH+ҖH ; HOL-Quickcheck_Examples"2}x޷2d'&ȸ<-=6Fygl*%bG-xy79%NL7!vEw׵'H5^_= U?uq/$R~Uk-C ,+_:r$.a<6(+y л pey MYgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW A ] C:GPD@PAYA!FltY]ɛ$L% ƙ487:&8KgY=99 ֔X{t\fLa7a,m瀢$# eF̯PH o;A˵Zە$7{ۉ冚LG\ez)\`&l3Nq'>gU!+8>P37f͓-+u%WlUY%cĀ7<OW<$aUY'3$} xo]hOAyHt%*Fӧ@gVV3 +*Ty`p|Z5C[OŬŪ]ίN/lM% c_|%UǑ4ցT^sj5%Ԡ|HDz= glKwj0qy.bjMjݏ㯥"B>wY&3f˒>䃍ph4.FTL:*f4etɍ2[׏.ujW7u)Y !UJ? oŎ $i݉!)övI)9ѻ@IEyGJ D:)[hׁ&㈲GoyJʱy;?.|A}U >sxONC@WF #53jܗ㱣> j9 V5^'O 8pY֟s7YWRV/T\ÕFj'j/y.RȪpɔqLJ`K !i}NJx&gIzV(S\m .[s|t}K=yf(_lwTb ;80gZ*rɚwn]$"i½Oa.CIqaaiٵo>$ ܛT썮eq\A+n5Q=Monh79GB%q)f "(_Axx7Tuune ]\ -&Kj=@Po-qcz`΀-toV046a7Li04_-reb Tu8QӆeM Azм tx+ RpZ;^DIwp:PEtzp<,=}J0A&>xQC98XEPF}^% n罧 R lO.9tT}WK&{Iׅܓ+: [vS2=wb%Qﲘ֢ZU6\m //Yd4o6쮄u;̹;fcHڮ1yG75jݶ̢c B u,̹8 LpScH 8<, _7.Gr(RHFF㖍籟"sk*Y>S/bЫ (.'C+¯ *T^ʎextKvop6>ꜛ-8_!/qՒS460STUA >X/gS8TCun5())% TlN7?ߌcgj*Yfdv!_#@O[`xN4h;#eqChisOyk;wۇ@,݉ Z`,λT? @6y~b÷E7)`ꪥE8Q5r c˄8쐞-8 \Dؗ r TSw -bz/5nʭ bK&/bdB^:vOOWȨؠv5` r+SdZ Oi"ɝ<>dQ%gAղ l;!2a{tmZkC~%?B5Cy~LN$de C/\ FۯUw|kŨШ> *5DW[y*~OyKcds GɪsfntM,Z e_.7N86_JsR4V/ϭ(e1oG~ٕ(KFE&VU0HLj5a-6"WGd%ݡH41z0nhAZ +v&2޼n!:)n!mL-"