fact: CoFixpoint memo_make (l : list cube): MStream:= MSeq (val_make l) (memo_make (C1 :: l)) (memo_make (C2 :: l)) (memo_make (C3 :: l)) (memo_make (C4 :: l)) (memo_make (C5 :: l)) (memo_make (C6 :: l)) (memo_make (C7 :: l)).
imports: PrimInt63 Cyclic63 List BasicRubik