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 g;l\ ] HOL-Quickcheck_Examples:threads=6elapsed=82.705cpu=183.068gc=6.872factor=2.217zXZִF! an]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmX6 OFlTm{uz(c?ˋwyT[EHW,YM#%])Ha&sAdyE-abpDGնn\Z2ӠrDk#C(Fwժc^F܅E(/s3]%v^Dx}5蒄7k&=QL"p^S>6)%03$K]ƪn@DG<l'5cݲp#8IEl!Qisk={L"]TM䇢[MUS/f (Xpb@ƘWr!׿oqݤ 20!0 -.WBkx ~ԪsG1eH{8PO41L*/o.`<%+R!ZƑMZ49Aa ⽀^&˔SGdg{=UtZpn)T[[Ü@}6җ/L|QWoOû+pj傑+s^l&}KJ%Jl]A~%4Q%0, ?$yu3[|{Cug# ϱgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW N|l .X|=% fs+t d-=OY;Sbw4KX>P_ 4 { p#W8޲)0<7LhN&K4 t7EW7b"O=>T4zUwrCw$abjÏ'&+H77B#|VEq\(gYZ7zXZִF! u]ŗXi%90.V5-ZjZ´(a/$/M7- J{XLu3,ݧUGX!u˝'tj&S7|`Lǀ(DYb& ; HOL-Quickcheck_ExamplesR[ƁO?QL]rȔ‰*;-OIVQfR]X=XW]8դ*aisNE&j,yhf,a8vaGh\yPt^G3$ZBGv긟e#op6{@nC#1rSl3~Px^K }GyĆ& b-WX1 yy|K<U/sN8Em{$7V+"S)x8+T]_;':A#]/0Vq&..B*MqTG^ķъw4m,ڤCe0 o-X]5",uh,kKuxGMg[@Dt]8K bI %E} lnrң?K92mҟQZH܅\`%Sy9 h .Ƥ,_VCeЍzEY f>Ns%0t>6?)B½) mfl&8YN{ab3%8)vھ ]LըAST`~dy#K4N4W= >4!Orj"GV7=PXkUic 9+,Ҵ׃ Jv** dߕHxݓӤ^>`7u+Yb S)+2+s^ 3U;Y%h;RfRVpwLJJ,4_v ?ujR>#vSǏ˫Mۊmv) kDCQoH E #ʾu(S/6F?H[IAҨ$ݽ=N߀0Ձ\ k/͓@k,34/曨u%s X; Z{X}ߣuZlP*|={ly!5yEH>5G"ɽt`Q ׾nqwWҀ?wvv h)JDxN8A͋Pz [䶴ߍjX+EYY!;RNΆɒ#KG҃SH*WP- L Tu*obOpxڿqW\ncTZS4Y{Mʙ6/R}n'C@K?i&k4W1͇YtRLZ|eKi]g*8H뷌1Q~<FBHëU ^+.4`ui9ï5\~i ?7YGY]kѴC?X<G[|~@ 7pwҤLIC`6(yJ..9;/zΩ\U壖ln0 qąih8begB j۶4oA;}iBtC-X7v8LcKE_ʄA 8=7 <90XN_SٝK:ސ9QW:N0Owع/K|qW`&uhkfl]j_yBKԋwQ T*{?MNBhz8Hc{M@A&IOQI1uƌ*RfƢZlxnZl ~ϋA Uv'P7B}8sHTHqG33\s[`+zsV;3몤CiEDE79dsCj1CW8dBLA* ا # upHg"" WY{뫧~n>cT-YXA+sǏЈ:j1ʖMTakk<1x$bk|/-+Ĉrŵ>[#V~eջ7GvHp_ :$ *Ss_L<\"b2o/CXVliG\%T6JBiTm*23rP9W( (ύBop}Qh C vVb}Wa~d\wWg7eN'+:N0\,i+ [*ƭIe(/cّ?`G0O|/Wn*uҰf,jeEdm@edzt5z/H9N}$Z,G K+ϕuaM ~F-j#˩-( sb̰lC<㧋϶۵xJ`w2 m_t7s\."P>45B ƇK\*<<@q _DC|cb@3} ikhYh}xz) Gr/k TӼ K.=WE!İ``$|0 q %Nc:Vo qݐ ̵DU_7W4w yME{#kG|/IL DI#^\Al;I}4ڭRdV*|sOE P3}cKVPAP !f!hzf♺b X9=):0AAGq4ȡaĆ&7Cjjys`D.`#\Vr,ϳ9m3!8/,Lakqԝil?1N_\-ߦa &:G\[*S+ h 0)f_㤮&c=3 Or>(J_"H>@@hXOf"irL7H)LnnEјP餢i p{Q7PI-SgPG.(҇(xԿ(,&4OwMwĴָ. ~J4՛9i4y^P=ЀL&$r:ze:VaN}ٮ^oA:ǶJk_mϸW%.NaFlM/ޢБ/̃RuPvzOಔ E6o ^jeKb& n1AXĴ&?/΁Sv.h`/Yo