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=78.668cpu=158.920gc=6.208factor=2.027zXZִF! aJ]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ[q){{a,tLFPr,r U\,#x \:PV?tls}=i!@|wf嶈ªPh!m=/Lx%/FJsbY}a@ M_MҚs44L[cgǧn,NBTUO '8.#XTUR :7{?p#,V e +R}ï-NAJ7IP;//;\k@:srE#-Mi=3G Q 3P҂Ne.+‰@ypׅEMږc4ށ*xNO *v2))6PgEo.Ђw4@H~z54NO$NY˕X.2DAxXt@xOL !->jFcB{H)+w E3&^W:3Hr1)Ó7w[zXT1vͤEao6]AvOaVa.-38t.X˭#$Z[?8Aqr;v^s~Rnk7R)B I1ٖs 2A裾0YkӓkQ_/UQTߦ*WN_B؊=$XՃBYc(˦꜏d20Oh&GX5ːi*i7[~Z5,S#zm'7Vp]!J5 ԭoFa#`GcA+P op64Q-)>kǠؔ`y:4 Dܒa5(FP^ "+Kb@'L,ǷUkìζB'<\3bWsݐ }<BҐ|h1IV!ffIՁr1- gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW MbT{srJ-Bxt>_b%Բ}SFpHLI`p^Ä-@$7"YG2(ϧR(D#@ڈ2A?%zÍx.kxr$0ʀcUDbLpMP`dEzA<lHiPaiHp[O^!J?E`[jT D'$'RWcNY,eHEX@?wwdjY(=^wX"1 *&_I}W?Y'lH?$gU2HG>~K";Z5(Dͱ"./Mh8XI 6#:s1`j y;.JF_TF^V\5@C.hG$X1aْ]ăXgӕ!pC9M5nwG V(mjj7xgDXk&CHZ(L}uV"Q/ME٧8@gT$li'wnR~m틑cqڱǛ.6#QώGLQpMndYۋ7pt|͡=Y栧CIaR&oKxp} h#7FTٝ}3CsD|Öt;?}~HךK>`m+jd#Ķ-hu ^"KNRo Yjv,!F;Y|7&AuӴ+9xˡ|Gv؋'!!AZƷj).)T}o&)ZO(U?+y@mBAO*o@=bj:߶B*rNr#ky*[ڦX;,~=8\ 肀eފ0 ĕ=(zf1 kVg.{oʯΈ1$]-4X a71,+ڏ򳚰o||/-9i t]T]bݫd30ED&OV餓~7ĂHm+TfĀ7]p"vq)Hw~ĵ:Dq wbP'db@5Л)7dZ6l+>D"rb3%233rXFyi'+Pآ\FǪreJY|ގ dt@v+$K`$ ( ۼWO{jF: rVf>Ia)O=0VHz) N N=G7gi$Owb)m8ۦQ;g蓢x&JBmòm( 3w@\࠯}s /IPF&8@'D4i>= uHϋޱw)HP V7dyԽ Wc O7k歏,<%d0ꘫOQ[d"7z7rh+!LQz?GXTsqe.B=/%kib}@C*=llbykkKTz g :طD&+鶇(y%@8`&ɾDA6<6߮X-,-D ΂I};NjJ{#=>?QI&oprczW.tuo%'ߘ"Sf9hC]\.O!Z!L@.`VdAp/<\|bA/UIfW]߃_gE22*siE]e,X{~-kyKS ?t}?3'ƻ穬[|)9 HUm0q>bl+|6pVԷ?T^ 5˝Lqka6\ T WZ;?cĴR|.lARuQ)UoPKMscIW 1cJ۪ u首 &.^iX_f ¾[h$ J_!z{_FCKkC}ȝՐIoq"WJ8EAxthw E\ jn:t>Mɵ%#6P .Q;߼P{2Iw\bv>Gw5_>qO=OnPjtKͥJdY%)Wb`^y5]<|η+ ]qYEeB>Pq-ˍmW+?'92ed-sZ2BP}UeVPW\6 uॷ)8"ޢg/ ( Ig'ǭrk{ӠZK>DQqH|'TwIy5ȡRmԈݙa]AejބF_@k, lrݿ06{r().>XpәN;i\}L?z5F1OFM-GTEG?Hp:-M%el͏VNy%ƕJj*VaPy7 Hq!wpvc_ʀ!;k =7Cɷ_vbϿ#'L1~eoVywq{۹/(&pjbH(0L9+ꕆ w;w4[m]Bal,? s8_ի{!H}[v뽸?%#83{hh-]hf%[b}<¡tQ^#1\a 䞑ᠺ[*cW3gYZbeb245827beef8898e65da50b22b2279a357472ae2fef00599d8b719ae96960a40fed04fe4f0ef33 115924f575558f617ba2ed10dc40ce0bc3b10ac7 b651b0b1d1b1049b7a532c10fb5a1371c687485c