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;DTt ] HOL-Quickcheck_Examples:threads=6elapsed=65.634cpu=141.948gc=5.712factor=2.167zXZִF! `Y]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmXZ _^/$m`2{Z!2JQ!yJk2!Hmh;}w&Gzܜ#` {)^гKz$Ͱ6i^g 5OCjoWc+@hp# etst"mrw* quu;7YM' l!sd Ҩ/:7)8uz <ѓ@(DGAn+z[2'VU"[yW`G$F]"3rsd ?=i1}T1P(:ƐG5\?XOy7׃+؛tGn?J?ۢ>\ˤETӉ=,h򝒂Ǫ9xO u 9~j {y9~#1{Nj%AlPb@}sş*$*:ׄ j:$,&+ ÷ ۛL;mԜ9#te n## s;}⍚rj{Uo WH+6 ; HOL-Quickcheck_Examples$5GDwչx($Ͷl9/lyB9qtbdq2i {՘ڟ&U@J>#dp˧tSX(Q,ʨ έ-gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW Éw4 t)aU,_UpH IeF@))pBd [A Dm*%P̢ l x OV 7֗ RX KH_/hkgNX?]]jXE7`vUf5ʭP9X_͠lg 5ėgYZ7zXZִF! 8 t]ŗXi%; _EE);"+0iTrt/Y"pЌ([O)I;ekMc?NjO.rWCx*7!;XyqW_wyRAɺ*tt$+N/NQ\9Ԇi_"C`M|w8?{֗LOVQ5e"tr(F,Y5MImx+Mz"w*Ͷ2*ֶϪl4Cvpf >Pi2'&t_K^Wv%E?M][!1_}i@A.9Y0!FE+2/ G`]!v ? ڣne9a@u68]N!|Qֵ>5+'E|pNv&AvMw`mj`z&ڞjw ҕhOof(ϛ6$HY0տd=f>ҥ%qkH Y% ޔ N~f~?:R>W4jN%*'X\ia[NL?7p!yM 3uLM)4GLI<%W@vTjTEbVZһw>=o' dV)ʨ8AϨ =f`ƽ('dm\z2ux-`FR&ijka(,Lq@J4og̿s9 )Ii,9WɎ}e|%Nq4ef¿KGsNnQmr75i{0|s=PTG[BB1F[0-{ x(0L^{g@{]4C b3jnsUJV醀. uL2!lZ]T\Q!i)KwDD(PIwj[k501:S Mk`|0|ⱺW [vKjkb嶸ԯd OC;~C/-s&]nn Ui"lп3ʼiv9/ifnx"<1jDX~ʚ|;ֹyhSfƧ$#8@@sKh KT˝2VHgkGòȸD͍CWo"q1RGٹ0V,#ٯ $9aj-* )Ir^I{l{E-$-nT@@YI3”"?yM`Xt(mir/}x`%(OЁIJg^Is tjnE>ko%~/z u174CpgNw,&eT7`u7pDpcRy|PNi"ܥ+2nJt:Mcy;WrNZ.i A7uYj=2B`H:*;~>~ɐgx:\ms $AzԽCו 4 j(,B ~R}S~"1Mw~'nm!#`K1X$NrZ= 5kYW"X 4P Ł%y5Nf@xcaF JĚU~%4U/K 5!@$VRܰ=~{ ]b 4h,PY yEBJ0T:lZO]ץSre|{cjC+qMB+%餪Ỽ|1fZ7'r ]ĚrûGGTH[oV%?dqSQb9h{pLAwhp ]: ;%/ݫiEq40;li,vuq`+pd+MrBKڬJ(µ\fWqE&r[Jo:3 kgqGmI&,M5uq."9a)7~'MMS#uAІu(kn^^Owd 4j ˲?j &o{D:0d_{#YP_0./nJd[9 = ?8BeY;ʳA ~*rP'EVTuHq K`Il M$o$ 48x#HN Z_M{P/7MM8Ֆ+]\b|cY^c#I65S}emVjfWT(a ;X-GGj ג%NY\ޥDьso.PDlj.aIsk){umPfvTyN3*.hswdSL >KR뫦|gu` F+cLPk][Z`rXSۙ@kCC1ZB^j,b1&΢߫٦S?^=z?k-Zk8vSjC:S