SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  3 3B;|| m HOL-Quickcheck_Examples:threads=6elapsed=64.215cpu=137.204gc=5.088factor=2.147zXZִF! _7]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm%] yT{_gc:Z 1[{qy6N]WEcnN\&Z6CNj;E5ħK*[dTpxa˦lQ/m݈2Ж e0%%j`3r:ʈBj2dwՎi[d o2wzJY2,d"He+J]VFr.yb ֧B =8h^sxzVm%I&cZwS#8*ߒ*?'W)rNЂQsi+m"Sh>9"I-'.cikI4[kh ⅕fGr(-H>꧴^wbZn4="e[˗(tgJSfx/lgu$y9IŬd-2LiQԺ _h1h^y[H~DoO U;W8A.4ido*Q>/`:P}:tP w rHK?f[YSyeSA y\I [-ڏF`.@p&]2.<;>G]`]Л];6&D9E-9yzhDq*Vrɔ u*vL&p-#6şF/q=2lXf 7[n`;+8Jۃg,2߿oDI.XN;F ~RrqWY [t=>e@6m}Y8. 5 S̶VXW @Cb/g;h_l~q&X1 滸gYZ7zXZִF! / ]ŗXi%6mƼ/ Qbw$!S'/drJ~* / w }8/'k'cj=6 . Q&N?Pl|g{v$Q`g;M0Q~M&^ >Yi>XpŭCU8}z|1`u4x|89y`}yr 6W(%o*^<iQSYKT|3mG?tLJ"X&4c&~E)of!&S +>eQ~(}ShvC/Yo}ʼnČ.12!ȟ2x<0 >g}^g|.̉MC/ڳpV@^(pUbǝuVuj+p}~Vr.Ba5߼*54h SՍ6#Yvݭ~>_)xބx4ӟA|k RA/+$S(y!sʂg %|#__VxRڌfdLYC'`<,f& pm{#a)n!=WhWEzjkOY)%vbgH隳XR4g(8 <^QO+'ay4e`aVSQ_E)]0骕Σ@سk;_?7SG.0 bܭF|Y j~Ud˧}7w[PPxaP 7rusNF7կbxy$;N4L2\CWIϭр: !9 5f9V(&rMdž|(J+|HT\OT0އ0׳*ߞҗ҅ѳ+G7ez +Z E$ƸeC> 3E }9SJi`_jHR3v%Հt]]"\lCpBQ~ƼPX~Qe zi>|NAsݏwSE(CUqtq@.MM[t.(}D=e( Y;y5f B̾(R2 z%d4ZIԒlI2!$`ueeݭ &wxQ3k˟\O{WjɐoNJ3 `L3j}&t2F&i4oi␘B_XM37o idRU^ks.rG & l Nl,Fb^Vas:p|B !Š\뷀iveuRoC$ѡApH%vhV%Q{RnES?tZ7E,6*L( Hj9r_% Ƭtpz82w$S${W Y=CƖgT ",266sh Y=\ȓML2&$WRf^GkYut͹{: y՜[F#:W/2}Dʓt0^ops{?h d]K!jY@@E@@"ZAH_-h v_1߉G>Q_5lMczm6h N y8"+{rɃ!E:נ?橣0a_P[%ikNx6LYe cf 9JԆiDyl?. pCSoۤ@>`ŬNZ qhEJ |=5=BgnI9\ ۅ C󈴮cvm-#Qz/jy\Ao9#~L|T-ۍ> @̈bqް (8]US5=3j!B/ nn)3rmڅwtHzrPb*D𰯾X!a!}\5Tʿ3ݯ#6HobSQc@^z]48ĿF+!C5oOL@"Gyz~AyNɥ02mcm4 ePbQuWYdO&:?%{s䂤?(m.E psӬl&(DJ/kXl.v$ㄭ k^(^bY: vvj3B͌!H+tw?vPo N,cRzĎ# ;EF5+ʆSg`zeDTJfрz^{5s )C$#M͎IC"%s+ io/rg~Ĵs8t p(* (ER.]Ji5pL| U)*~a Ut\{\T '+WG)Rzcav4@+?W/KLlRBU=o c$qN%~]Ԁ$ b6#ь`ܣ^xv`U1[ ? `ܗL>2" ~VgYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a4960c6653a213398dacc5da9ec9ed78efb792c1c55ee 53e49ceb6bdec01b73abd578b53ab5073664047a 1b514ea73e71e3dfdda3608ed1dd60c9047d0d7b