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  O;\\t ] HOL-Quickcheck_Examples:threads=6elapsed=65.572cpu=144.904gc=5.088factor=2.217zXZִF! _F']ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@3=Yu W'O5Fwq-W\{gz- {kμ٬yGa1 S|#GLZ=Z SW'ۥZeܬXf<87Vf?r0&֑?ija-3n,#+w͠7ܻ1Ȋ߮8 bO@m` 'cA=I=h9*J/ӜfRs:&kTsT颧3H jKdΙ>PFJ4Xuqoy 8a{,%P #Qӑc%-AԍwG?rו̝ Ef+tLw9%c}?GfO'}+r/ugـӻ̅v `OMӈB&Hr!7 u C!#`AY7"ȝg{ >=M6ՙM !{'IEI`X$/L6{{]P)gTpk\%8tׅ\ӱ{!:NӊyRB4<Lr^ H;M+p!t/;#+x> |k?4:N\Xз9UX}?- { lI gw i13 1m*ٵ}bXoj5cvY4IBUAPZw-y*g 2!T |\`cbw] A9Nrxx/2"Lٴ' MwP90 EWC0D@]w:g6mB^d2iKk_MŻ&^b1uͤ9z%,~`bE} i!A'>=RȰ*17\Rg:` sMtsV%2Q:.uŵ;"`fMV%s)NY<;')L吣qP|ty]n?K 3-нgd(#-'V'!W ; HOL-Quickcheck_Examples Z^yҸ#zc +*PI/ޔ( ?;4BR0-TQ;D Ǿ"agYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 1֩Im)Z8G|ۣqu-&{s$W2Bz)'xw"^W1(W|@t$G&<^/yXF$.(WC '8̌1m+ѰwfmOc~ '9 SC/翌zregYZ7zXZִF! 5 s]ŗXi%6YxW~GWKSw1L EyE05.'OKABh,:tߖ%t-n`R zW, `"-$R&!Az ݆|hHՠzU;S.w< >e`cN.Pb)/6Ҍ^LdC#~W F7e@;FzZ7qױhBUVzgQSWIU$cХXiq DsMbnJ>^O˚]dR#Σ|s,+Xҽ} @Ep@= WӲ|&T#)9vj 4!Z[@U,zJ$^^F%+;ڳ uRP~}'ﬞ("+ dt#Lc^-w kf*7+ K鉅X 9AX$6Þ?ԦW 0rUϥ@R5 <$ٳZJm(ߓ 6&=4~ZS klǁ6&FT `HXh1EhQl#^0꬙6[c-zDR(n1) y{F?MrQE, dr<X|?&PgMQ2^le팹& Ue:Gnp S#NحIC`g Q |XP8Kؔ2CSS^ݹj%r!SW%ӄC7z.7'2Gى!1_:wv Zm[uKuӃ^cۭ"Ԉ,[:VH=`- :|Xڰ:%Ҍko-  {v15rD(ޞ{G }; L/lڠ8'ksiPUp2(lZe-<xXJm*jS n M46lX'}o壏D1Z3灣E[:kt >+k.t̔  L覺R*0$cPW[a͖J9}M>L9)y8zj.S)bj-sf% $+?hb 4ΙF! ZLS|@h까JI_X>8O xj&P&1]MBbRw'dدB>  PзiEkqihxdjFڦ`etE n:M #~uX4`}Rb{|eg: V a;bkqz0b B!,4wepG ԤH X; {" nLxLZUp3a!rAZw|*y_i9[Z΢ AydeŊimO&ܺHA_U 9w֑29=зYr)#ױO´iaL#|.)JsjU.ă@emvǤw[_Σ%ݠlZ9dR?0vf] 6@afɪ6Bóp̧ŚiB >'*yba-gg5m26Xb8&&-V1/6X~[TITAs6hOI$!-ؐXf/r}@; ߐm)X&Pncٟ?9Ȩ@y>(9_msHS ^BIɡ8aZQo=@4,qYtHto qDK TNmfT?M29#d d!+|*~8Q.0#d]P)D|Јlձ_Kxn &*r4e9dy[dZx>NLԑNˉFvXg3[TA>H j쇙4I,΂/v|pmI[? NT߸1lS߱<ɻZG#־vމ30ɈM}2[XY٢!=CЙeMot9dՐK?FǦ-hNV 7þВT 69{WF0** IJMgN?ˎVL4뒂(bWK]aʃ1 .I˾PJYogYZe4fc85c57768da8e01429f3b9b39560eda02b844e739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c2