msd_pisot4 msd_pisot4

0 1
0 0 -> 0
0 1 -> 1
1 0 -> 2
1 1 -> 1

1 0
0 0 -> 1
0 1 -> 1
1 0 -> 1
1 1 -> 1

2 1
0 0 -> 3
0 1 -> 1
1 0 -> 4
1 1 -> 5

3 1
0 0 -> 6
0 1 -> 7
1 0 -> 1
1 1 -> 8

4 0
0 0 -> 1
0 1 -> 9
1 0 -> 1
1 1 -> 1

5 1
0 0 -> 10
0 1 ->  1
1 0 ->  1
1 1 ->  1

6 0
0 0 ->  1
0 1 -> 11
1 0 ->  1
1 1 -> 12

7 1
0 0 -> 10
0 1 ->  1
1 0 -> 13
1 1 ->  1

8 1
0 0 ->  0
0 1 ->  1
1 0 -> 14
1 1 ->  1

9 0
0 0 -> 15
0 1 -> 10
1 0 ->  1
1 1 ->  1

10 1
0 0 -> 1
0 1 -> 1
1 0 -> 1
1 1 -> 1

11 0
0 0 -> 16
0 1 -> 10
1 0 -> 17
1 1 -> 13

12 0
0 0 ->  1
0 1 -> 18
1 0 ->  1
1 1 -> 19

13 1
0 0 ->  1
0 1 ->  1
1 0 -> 20
1 1 ->  1

14 1
0 0 -> 21
0 1 ->  1
1 0 ->  1
1 1 ->  1

15 0
0 0 -> 22
0 1 ->  1
1 0 -> 17
1 1 -> 13

16 0
0 0 -> 1
0 1 -> 0
1 0 -> 1
1 1 -> 2

17 0
0 0 ->  1
0 1 ->  3
1 0 ->  1
1 1 -> 23

18 1
0 0 ->  0
0 1 ->  1
1 0 -> 24
1 1 ->  1

19 0
0 0 -> 25
0 1 ->  1
1 0 ->  1
1 1 ->  1

20 1
0 0 -> 26
0 1 ->  1
1 0 ->  1
1 1 ->  1

21 1
0 0 -> 6
0 1 -> 7
1 0 -> 1
1 1 -> 1

22 1
0 0 ->  1
0 1 -> 27
1 0 ->  1
1 1 -> 28

23 0
0 0 ->  1
0 1 -> 29
1 0 ->  1
1 1 ->  1

24 1
0 0 -> 30
0 1 ->  1
1 0 -> 31
1 1 ->  1

25 0
0 0 -> 32
0 1 ->  1
1 0 ->  1
1 1 ->  1

26 1
0 0 -> 33
0 1 ->  1
1 0 ->  1
1 1 ->  1

27 1
0 0 -> 18
0 1 ->  1
1 0 -> 34
1 1 -> 10

28 1
0 0 -> 35
0 1 -> 10
1 0 ->  4
1 1 ->  5

29 0
0 0 -> 36
0 1 ->  1
1 0 ->  1
1 1 ->  1

30 1
0 0 ->  6
0 1 ->  7
1 0 ->  1
1 1 -> 37

31 1
0 0 ->  1
0 1 -> 38
1 0 ->  1
1 1 ->  1

32 0
0 0 ->  1
0 1 -> 39
1 0 ->  1
1 1 -> 12

33 1
0 0 ->  1
0 1 ->  1
1 0 -> 13
1 1 ->  1

34 0
0 0 -> 35
0 1 -> 10
1 0 -> 40
1 1 -> 10

35 0
0 0 -> 32
0 1 -> 33
1 0 ->  1
1 1 ->  8

36 0
0 0 -> 22
0 1 ->  1
1 0 -> 17
1 1 ->  1

37 1
0 0 -> 18
0 1 ->  1
1 0 -> 41
1 1 -> 10

38 1
0 0 -> 11
0 1 -> 10
1 0 ->  1
1 1 ->  1

39 1
0 0 -> 42
0 1 -> 43
1 0 -> 44
1 1 -> 45

40 0
0 0 ->  1
0 1 -> 46
1 0 ->  1
1 1 ->  1

41 0
0 0 -> 47
0 1 -> 10
1 0 ->  1
1 1 ->  1

42 0
0 0 ->  1
0 1 -> 18
1 0 ->  1
1 1 -> 34

43 1
0 0 ->  1
0 1 ->  1
1 0 -> 10
1 1 ->  1

44 0
0 0 ->  1
0 1 -> 35
1 0 ->  1
1 1 -> 23

45 1
0 0 -> 10
0 1 ->  1
1 0 -> 20
1 1 ->  1

46 1
0 0 -> 39
0 1 ->  1
1 0 ->  1
1 1 ->  1

47 0
0 0 -> 32
0 1 -> 33
1 0 ->  1
1 1 ->  1