%mathpiper,def="ShuffledDeckNoSuits"

//Retract("ShuffledDeckNoSuits",*);


ShuffledDeckNoSuits() := 
[
   Shuffle(Concat(1 .. 13, 1 .. 13, 1 .. 13, 1 .. 13));
];

%/mathpiper

    %output,preserve="false"
      Result: True
.   %/output


