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  V V;T\ ] HOL-Quickcheck_Examples:threads=6elapsed=64.921cpu=139.096gc=5.448factor=2.147zXZִF! _b]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@q0R F wa:)jBa!wYVܪ[)4WϚ}勍O$꒤Η FE教r5;HEޠ=6Yl)1BlQCG>ORhb{jf˜[{Nbשh%0Cnޠq)_!CQc.X,3y ﹰ˃op'{_g(k|fI>۲f/RI37GDs:G=8d /9H> Y i8`6*AOQT<:]sty $&ޯ->1R0$xq.cCkSs`8ac3/:BW> J4ioh#bM88ag2K00Eu18`B؛]cC9Ǭr6&I?+PI_ Kwrn_8j[(M A{hN+huttFSW (kԉ{X|a)CL+`J[I WV^[WJwt1UȢٳ2Ó2-p-Lچ9ؕvX*P ۻ7Q"_w8Wr-,3@8]s'ɚzQ. ;Kf[ o[zw}pZ- p/  ; HOL-Quickcheck_Examplesl1i< 0lf%޼") (;D)7Қ'/_wJ>ڄpI<ÿ9RhϡOGD?46^t@9VkRg%@+p2Id&м`F}blzۀWnmF;lҐ?6u#*?40Yߩz]ȝH r5_[ZĽԝMFۡ~*؉:DٜZ(,v^81[jXlW' J~K> Ȋ :UέL_-/=#ÐwJ%P Z: yyswzxI8uV=tRf;] 3ӿTYԓgjAnWmШܓ a!)~ZݳOAT)pI>v£Tb˃x.ɿ_L@Чx\KrD9}7Sx@_̽eNSiR?ٰn[}N]R'B@AG 8W|ej_08W5^B5⎨^=4#'3t5D2N v䝬=ЌQcWv>HXr7R'\LUv H]<$\ۄRsU³A,BHn |T~ʺt [foX@I_9K23Z9DiXO:u1CrVUe90&z A"s7s4d@me@DE>Bw'}Y%IS/)4ǫe`!](B(zvlGMHDQÜƇY >!`?]xwڽ3H]Id*zݯy'KF["]*^A)}{pdet~(_9*s,,|W4AntAb =5HS˝A. pÎ 4IcҚ\`<[gDRߦ.gɻwlփ|8m:06530LD'pm|giA3Ľ_p+nyi β?jp8{Օ\T1 *K"'=z?^95#WZSpL rbz,`\9T(qQ P*k9^5_:$_O-wsN'cW|x饡ǗɄT/6G"`Ps2kk M6d\{㏠!P