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  b b;$T< ] HOL-Quickcheck_Examples:threads=6elapsed=66.290cpu=141.796gc=5.548factor=2.147zXZִF! `:I]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlѴF*Jytx$!'w*y)hщNjRLgUԧ/j? ϺٍՃ Od:k7`Y/|AUALaaϟI_Bñ&ߧH9##,$S4+B 'Ǽ멥-vXSN6B2uN 6I찶^f(ȼ_U3*yInaGoP 5{e|Ԥjfo6 #-`j6},Rȗ>ڌOtYޟu8Ҩ Cҟw(>;s1깡-*F")(%хJDuz)RNyxNddMɉ\s /o0P=w'pJ۫C=kWL ׄ-9>Lc-xحH[a UQ_TiahcU :4:5_U.B-7o[ KGp]zf-5^#/)K1du8[ĄE{aci~( RQ75{qϻSVoi4*ܠ' ; HOL-Quickcheck_Examplesx֧c=OAb5q[Tǰ`' jHS#bG)_ L*X14 wgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW M~c&7O|}a)ktNmA+,RbK%6'3yK5'8;޽4^D) pb ]cV7dW[/`d4#lvl<'Y0ܒ?5jnF֛G|IiFڹ+jЀц+gYZ7zXZִF! 9 ]ŗXi%92Tc~*R?R8swd,shp>!cGiEoBL~N~IIdK%MB3C>b mp?W^`ndS!L43,Y[zy^x,3s. )A΀;ffuWFKW<S."Z%}-R3L[y,8jcf8@0`kt?KrO[۪D0ӺGÔ_,OSucGchgrE4)e) ;xԝd!Y=J)Xz5¾+\0c}!ƸvVD e(4ÒlrPPfn}e`Z1:3rO$~clwQ>i9+B1*+~ZĨB/!K7"ScF R 2&h!5DZr 5cA[m$+Od;}U4 tR!gen#vE4k!^78.*c 9LQHh}b"y`}JI΀MFB3Q## EdTB-F[uG}?/B.79hb&nYY5<~?{ИX4RzSCac-&tuȥI3IBwǍ}zzs$+$*cBLLXW<528Fʑ8:P%Vޥmb,h>ګz0,HIo8GZ#lk!/Ʒ}h 3D^*beegBp7** 6QDe)fPy| pB*r#ZUYnvs8-sZ4y-D`<%f]wDLj!JTBihQ02H1<:VP=3OP?Y::e#gJ 5o)U ?-7i\okD jİh~+X)Fל0O6\Clw~1Kzlc]|NCa A~PeډOK\YCe,>/d](<̛frI`ݳM[Ub3X;[-(ѹ |%<"pzVf vu9X@< mbEC%׳/6evM>JJcg+tJh;'%:eIr?[|E%IwLCQy”O tOنGkFSOˍl)\४_@Sj 핣UUXoopoe8wJcqr^stK11WqQ3ExwƁXgC~~}FRգZL {/KA=}|4i\BХ ˦yӵH -_0wRKf<2bR|lb=0PKMPR:zAԌyΪt2jѧ_^.PPMM/]sW8(ya-߲L|Ø*$,YU>u )lgd#X/Pm A^fߜ7XP"e-T'Q7)C*S =US`257,!ڼK֏Vd%6/oeahڟZSj<@gpN ^f{`;CVdQLʉ SZ8I4'^[( n1'3jd/$d< (j"hJW3: k70BXr@ۧӜv?nN~^¢5h 6ZrNK+44ie>* Igf;^:8DAa)FG}UYv٨FT;Ìႀz|R:3bolj!'pN Sa6Y+ĠjR|yA` ly1n|wg}vsXRg4z9c HQy ?h`YU\/aw40m n0z⾷jXa h!+hgg`.~agE&Zyp<0!c4AaH\ܨ;xع`R_loQ }Mq/㙛$ ӻ943RA?,*G)`R=AnNԑzt/j.fɵ;KC6N]OC4X@ܗYX0L wXyd{۝ g:E"geܲJ1 ·"YmGlRcLiu3 aO*K#iQY^XeFs1mwtTs@ Cɋ {٫ď҂RTBLs/*Ǵ+k '4t`IβmvqAG$@z 6& ylB[!AD;ɷ#y^@!4"NwD4[9] B(c 砼 ] }bH=+!fIߝѽڣVT7 M`! %^wPI\3YgYZde322927c9202bad6fb46e55932507fed790a6dca61b507f41a53faf272c6071fcd8d5a7bd20132b 33bfae3d80b5d001fe17b2635b3de728081f0601 780932cbee63133eb07728d450068427595acd7f