#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ysminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#00#EQ0#GT0#LT0#false0#neg1#pos1#s1#true0::2nil0#cklt1#compare2#less2findMin1findMin#11findMin#22findMin#34minSort1minSort#1122.211#008#EQ00#GT00#LT00#cklt1081#compare200102#false00#less200102#neg1201#pos1101#s1111#true00::200112findMin1001findMin#11001findMin#2202102findMin#34041020324minSort1201minSort#11241nil00minSort#1nilnil#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ysminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil11#001#EQ00#GT00#LT00#cklt1081#compare200102#false00#less200102#neg1101#pos1001#s1111#true00::240112findMin1011findMin#11011findMin#2241102findMin#34881020314minSort11341minSort#11141nil00minSort@lminSort#1findMin@l#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ysminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil11#008#EQ00#GT00#LT00#cklt1181#compare200102#false01#less210102#neg1001#pos1801#s1011#true01::210112findMin1011findMin#11011findMin#2211102findMin#34021020314minSort1021minSort#11021nil00minSort#1::@x@xs::@xminSort@xs#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ysminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil11#000#EQ03#GT03#LT03#cklt1041#compare230102#false012#less2120102#neg1001#pos1111#s1101#true012::2120112findMin1111findMin#11111findMin#22121102findMin#34021020314minSort1621minSort#11321nil00findMin#1nilnil#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ysminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil#less@x@y#cklt#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yfindMin@lfindMin#1@lfindMin@lc2findMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xsfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@yfindMin#2nil@x::@xnilfindMin#2nil@xc5findMin#3#false@x@y@ys::@y::@x@ysfindMin#3#false@x@y@ysc6findMin#3#true@x@y@ys::@x::@y@ysfindMin#3#true@x@y@ysc7#cklt#EQ#false#cklt#EQc8#cklt#GT#false#cklt#GTc9#cklt#LT#true#cklt#LTc10#compare#0#0#EQ#compare#0#0c11#compare#0#neg@y#GT#compare#0#neg@yc12#compare#0#pos@y#LT#compare#0#pos@yc13#compare#0#s@y#LT#compare#0#s@yc14#compare#neg@x#0#LT#compare#neg@x#0c15#compare#neg@x#neg@y#compare@y@x#compare#neg@x#neg@yc16#compare@y@x#compare#neg@x#pos@y#LT#compare#neg@x#pos@yc17#compare#pos@x#0#GT#compare#pos@x#0c18#compare#pos@x#neg@y#GT#compare#pos@x#neg@yc19#compare#pos@x#pos@y#compare@x@y#compare#pos@x#pos@yc20#compare@x@y#compare#s@x#0#GT#compare#s@x#0c21#compare#s@x#s@y#compare@x@y#compare#s@x#s@yc22#compare@x@yfindMin#1nilnilfindMin#1nilc23minSort@lminSort#1findMin@lminSort@lc24minSort#1findMin@lfindMin@lminSort#1::@x@xs::@xminSort@xsminSort#1::@x@xsc25minSort@xsminSort#1nilnilminSort#1nilc26#less@x@yfindMin@lfindMin#1::@x@xsfindMin#2::@y@ys@xfindMin#2nil@xfindMin#3#false@x@y@ysfindMin#3#true@x@y@ys#cklt#EQ#cklt#GT#cklt#LT#compare#0#0#compare#0#neg@y#compare#0#pos@y#compare#0#s@y#compare#neg@x#0#compare#neg@x#neg@y#compare#neg@x#pos@y#compare#pos@x#0#compare#pos@x#neg@y#compare#pos@x#pos@y#compare#s@x#0#compare#s@x#s@yfindMin#1nilminSort@lminSort#1::@x@xsminSort#1nilminSort@lminSort#1findMin@lminSort#1::@x@xs::@xminSort@xsminSort#1nilnil2#000#EQ01#GT01#LT01#cklt1111#compare21#false01#less21#neg10#pos10#s10#true01::2112findMin111findMin#1111findMin#22111findMin#34111114minSort10minSort#110nil00#cklt10#compare20#less20findMin1111findMin#11111findMin#221findMin#3411minSort1111111minSort#11111c121112c2111c321112c421112c500c600c700c800c900c1000c1100c1200c1300c1400c1500c16111c1700c1800c1900c20111c2100c22111c2300c2421112c25111c2600findMin#2nil@xc5findMin#3#false@x@y@ysc6findMin#3#true@x@y@ysc7#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ys#cklt#EQc8#cklt#GTc9#cklt#LTc10#compare#0#0c11#compare#0#neg@yc12#compare#0#pos@yc13#compare#0#s@yc14#compare#neg@x#0c15#compare#neg@x#neg@yc16#compare@y@x#compare#neg@x#pos@yc17#compare#pos@x#0c18#compare#pos@x#neg@yc19#compare#pos@x#pos@yc20#compare@x@y#compare#s@x#0c21#compare#s@x#s@yc22#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yfindMin@lc2findMin#1@lfindMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xsfindMin#1nilc23findMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@yfindMin#2nil@xc5findMin#3#false@x@y@ysc6findMin#3#true@x@y@ysc7minSort@lc24minSort#1findMin@lfindMin@lminSort#1::@x@xsc25minSort@xsminSort#1nilc262#000#EQ00#GT01#LT01#cklt11#compare2122#false01#less21#neg10#pos10#s10#true01::211112findMin111findMin#1111findMin#2211112findMin#34111121314minSort10minSort#110nil00#cklt10#compare20#less20findMin111findMin#1111findMin#2212findMin#3412minSort111111minSort#11111c121112c2111c321112c421112c500c600c700c800c900c1000c1100c1200c1300c1400c1500c16111c1700c1800c1900c20111c2100c22111c2300c2421112c251111c2600findMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xs#cklt#EQ#false#cklt#GT#false#cklt#LT#true#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ys#cklt#EQc8#cklt#GTc9#cklt#LTc10#compare#0#0c11#compare#0#neg@yc12#compare#0#pos@yc13#compare#0#s@yc14#compare#neg@x#0c15#compare#neg@x#neg@yc16#compare@y@x#compare#neg@x#pos@yc17#compare#pos@x#0c18#compare#pos@x#neg@yc19#compare#pos@x#pos@yc20#compare@x@y#compare#s@x#0c21#compare#s@x#s@yc22#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yfindMin@lc2findMin#1@lfindMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xsfindMin#1nilc23findMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@yfindMin#2nil@xc5findMin#3#false@x@y@ysc6findMin#3#true@x@y@ysc7minSort@lc24minSort#1findMin@lfindMin@lminSort#1::@x@xsc25minSort@xsminSort#1nilc262#000#EQ01#GT01#LT01#cklt111#compare21#false01#less21#neg10#pos10#s10#true01::2112findMin111findMin#1111findMin#22111findMin#34111114minSort10minSort#110nil00#cklt10#compare20#less20findMin1111findMin#1111findMin#220findMin#340minSort1111111minSort#11111c121112c2111c321112c421112c500c600c700c800c900c1000c1100c1200c1300c1400c1500c16111c1700c1800c1900c20111c2100c22111c2300c2421112c25111c2600findMin@lc2findMin#1@l#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ys#cklt#EQc8#cklt#GTc9#cklt#LTc10#compare#0#0c11#compare#0#neg@yc12#compare#0#pos@yc13#compare#0#s@yc14#compare#neg@x#0c15#compare#neg@x#neg@yc16#compare@y@x#compare#neg@x#pos@yc17#compare#pos@x#0c18#compare#pos@x#neg@yc19#compare#pos@x#pos@yc20#compare@x@y#compare#s@x#0c21#compare#s@x#s@yc22#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yfindMin@lc2findMin#1@lfindMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xsfindMin#1nilc23findMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@yfindMin#2nil@xc5findMin#3#false@x@y@ysc6findMin#3#true@x@y@ysc7minSort@lc24minSort#1findMin@lfindMin@lminSort#1::@x@xsc25minSort@xsminSort#1nilc262#000#EQ01#GT01#LT01#cklt1111#compare21#false01#less21#neg10#pos10#s10#true01::2112findMin111findMin#1111findMin#22111findMin#3411114minSort10minSort#110nil00#cklt10#compare20#less20findMin111findMin#1111findMin#221findMin#340minSort111111minSort#11111c121112c2111c321112c421112c500c600c700c800c900c1000c1100c1200c1300c1400c1500c16111c1700c1800c1900c20111c2100c22111c2300c2421112c251111c2600findMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@y#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ys#cklt#EQc8#cklt#GTc9#cklt#LTc10#compare#0#0c11#compare#0#neg@yc12#compare#0#pos@yc13#compare#0#s@yc14#compare#neg@x#0c15#compare#neg@x#neg@yc16#compare@y@x#compare#neg@x#pos@yc17#compare#pos@x#0c18#compare#pos@x#neg@yc19#compare#pos@x#pos@yc20#compare@x@y#compare#s@x#0c21#compare#s@x#s@yc22#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yfindMin@lc2findMin#1@lfindMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xsfindMin#1nilc23findMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@yfindMin#2nil@xc5findMin#3#false@x@y@ysc6findMin#3#true@x@y@ysc7minSort@lc24minSort#1findMin@lfindMin@lminSort#1::@x@xsc25minSort@xsminSort#1nilc262#000#EQ01#GT01#LT01#cklt1111#compare21#false01#less21#neg10#pos10#s10#true01::2112findMin111findMin#1111findMin#22111findMin#341114111minSort10minSort#110nil00#cklt10#compare20#less21findMin111findMin#1111findMin#221findMin#340minSort111111minSort#11111c121112c2111c321112c421112c500c600c700c800c900c1000c1100c1200c1300c1400c1500c16111c1700c1800c1900c20111c2100c22111c2300c2421112c25111c2600#less@x@yc1#cklt#compare@x@y#compare@x@y#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#less@x@y#cklt#compare@x@yfindMin@lfindMin#1@lfindMin#1::@x@xsfindMin#2findMin@xs@xfindMin#1nilnilfindMin#2::@y@ys@xfindMin#3#less@x@y@x@y@ysfindMin#2nil@x::@xnilfindMin#3#false@x@y@ys::@y::@x@ysfindMin#3#true@x@y@ys::@x::@y@ys#cklt#EQc8#cklt#GTc9#cklt#LTc10#compare#0#0c11#compare#0#neg@yc12#compare#0#pos@yc13#compare#0#s@yc14#compare#neg@x#0c15#compare#neg@x#neg@yc16#compare@y@x#compare#neg@x#pos@yc17#compare#pos@x#0c18#compare#pos@x#neg@yc19#compare#pos@x#pos@yc20#compare@x@y#compare#s@x#0c21#compare#s@x#s@yc22#compare@x@y#less@x@yc1#cklt#compare@x@y#compare@x@yfindMin@lc2findMin#1@lfindMin#1::@x@xsc3findMin#2findMin@xs@xfindMin@xsfindMin#1nilc23findMin#2::@y@ys@xc4findMin#3#less@x@y@x@y@ys#less@x@yfindMin#2nil@xc5findMin#3#false@x@y@ysc6findMin#3#true@x@y@ysc7minSort@lc24minSort#1findMin@lfindMin@lminSort#1::@x@xsc25minSort@xsminSort#1nilc26TcT3.0.0