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  ;\\ ] HOL-Quickcheck_Examples:threads=6elapsed=65.566cpu=140.656gc=5.468factor=2.157zXZִF! `e]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmXs䔙W \zS]eaiK{qI܁i:4ϋYG6,wMXi̭Fg@pLn,\y iBw_Iܼ;،a(>ɡ|9PXc>%EJ/ :3Thq5qI4oKʃ`d?H?Sy~K0?ZDESٲASa(چUJ! '? >> nɠiIIy?=▅qj>MVeʑe}4n$a6+c̋I`ryEu,pPZ~t(R2x:(}S3q_RJ};&'ρ|Ex9*W#*pdUxУj%ǹUyғ7[#wkpu*zT،Tȑ yδ?\Ն#..fɷiҏڱQHCȚ!qXj+kTTă,rSgbOr"st07dO@*N3_qi + L ?q'Ie<]A ]J/D +DVGiNT>X.,6a!NNoV]=Ѽ,58\Nud$ 0abxIpuJ_͇-vՈ/ݖYGƃ?c }%%iC+կé=l{4Ԛ'1&35+W W#"} ~7c.^#tr11\<^DZHg&Ւ{W52dt )/z]Y !($UOr{O|qC٪Q+1%J;"٥xi- fc-GܤB[C&]<#>kz<%/aӊLZ~H! :7D j7v+P6 076S.yv8;isKoi!ag |ʭ#jN8 #{g^1J;ÙҎhsIY9 +"מ62 ; HOL-Quickcheck_Examples:+)*<[9>u>4$OAgMRsdy#ЏEyk Tg7Z}`.=5בb)VIlb&*¨Ƥ6iOm- )'#*˰Ҽh:1B` `g@o,XI~; dn-5]H)$dUTEIi!Rj 3pgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW }a珧Uj >s3WY5]w%^=}1rgjIN4XQH 4=? $VZrH0JpIr%޴V^>P4!:Ya2'hqnlW }DvmȝVl A뗝 ߝԏgYZ7zXZִF! 5 ]ŗXi%;3aG $0~<C/BWL )P򧫙(20bEx#͘eJO~KsCu6۶Mcc23NJt~.?Z*Sso7C hn(sIC?s:96iST2")?P4k'uR­5.#,KcmBD}( D@p&šZPbȬ*4I\D/eԥ-h@|-Pw7j(`'dfYv6SkEv/7iH\xArS31EQY k#k f,3؃ه֖4b֗dn w6$"j|`LMΆFwJpR\ɗ^_|LЪhoqUC$NHz5zˢ5֜@SD ӧiwDU3@~xp/J;;vѦo6XÝI f'ۍ潿P֞\F.;1$3F~`U9^ւ0ħ"^g$^ҩ7JbYwa|_:ʣPW`LjXo~.1}YTRziGTe-mh#}\5  gW#0氢6Ռe9ԁq tz..k>F)+f7a+XӇhSQ.{b{ ʲq8=6f\ʱp2L}qTnUŗ&rV35@oTr0w>+b- 1 #or8r*Uk/A5KU/7P ["0_5hk5Vp$j3w r뀀6\җF$|XLȩ~k޼tb]:Xyy ZPbk{GV/@RV&]r^AOy:Nf" ـt­]'FojLY#H~^śp)I?`5~b??8 VAܬ֝KZ/SK:Pp  V5X5SP=FnM' ,AېYDxⅬ/W,w#U 2oIDӬ!}fSxm:O~GvO.XMY~۫uO?dmJ)Bib,6I5m=(j:&e|2 (B qQԽG6Vzy @(լj+){K++IL& \ ׎JN(-&bz3Ρư=+wG:4p'_9 (:)6мnz M^rʃ_b`'I& r?Y KA<8fm"66^ F1ӥ"cTP W`v"~^-ƙSýS@34Yrxɠ]Y &nmlu\ 3oh^!+WI87yU`՜vTMRF-3.!FkBٿpxѿu֝d?eA'g΅0 1 b2(ua3c -%tXEr&3#ͤuvC#)n[lW/WxnTI)0? ʵd^>Tخ&;PG1 O(;í|UqCoVeh;l!VD͵tGLh+גtFUW Ҕ r}@?r[m}*m RP%!v5H=Y: mSr3`'ܒF7 Gfֆ. S#V6W?O\2?'@q,Or Fx0acN7lrȕ LNŧz6(w ~4)}F؄OL(>dD ri/ vi..tԗ!쵓 w1f!PP9rq6Cci$9@/[ΨTNihg