"{1, 2, 3, 4}",3/10
"{1, 2, 3, 5}",2/7
"{1, 2, 3, 6}",2/7
"{1, 2, 3, 7}",17/62
"{1, 2, 3, 8}",5/18
"{1, 2, 3, 9}",7/26
"{1, 2, 3, 10}",3/11
"{1, 2, 3, 11}",25/94
"{1, 2, 3, 12}",7/26
"{1, 2, 3, 13}",29/110
"{1, 2, 3, 14}",4/15
"{1, 2, 3, 15}",11/42
"{1, 2, 3, 16}",9/34
"{1, 2, 3, 17}",37/142
"{1, 2, 3, 18}",5/19
"{1, 2, 3, 19}",41/158
"{1, 2, 3, 20}",11/42
"{1, 2, 4, 5}",5/18
"{1, 2, 4, 6}",1/4
"{1, 2, 4, 7}",1/4
"{1, 2, 4, 8}",7/30
"{1, 2, 4, 9}",15/62
"{1, 2, 4, 10}",13/54
"{1, 2, 4, 11}",7/30
"{1, 2, 4, 12}",9/38
"{1, 2, 4, 13}",7/30
"{1, 2, 4, 14}",7/30
"{1, 2, 4, 15}",49/218
"{1, 2, 4, 16}",3/13
"{1, 2, 4, 17}",41/178
"{1, 2, 4, 18}",5/22
"{1, 2, 4, 19}",27/118
"{1, 2, 4, 20}",5/22
"{1, 2, 5, 6}",7/26
"{1, 2, 5, 7}",13/47
"{1, 2, 5, 8}",7/26
"{1, 2, 5, 9}",37/146
"{1, 2, 5, 10}",1/4
"{1, 2, 5, 11}",18/71
"{1, 2, 5, 12}",23/94
"{1, 2, 5, 13}",49/202
"{1, 2, 5, 14}",1/4
"{1, 2, 5, 15}",1/4
"{1, 2, 5, 16}",29/122
"{1, 2, 5, 17}",9/38
"{1, 2, 5, 18}",1/4
"{1, 2, 5, 19}",67/286
"{1, 2, 5, 20}",7/30
"{1, 2, 6, 7}",1/4
"{1, 2, 6, 8}",15/62
"{1, 2, 6, 9}",1/4
"{1, 2, 6, 10}",9/38
"{1, 2, 6, 11}",1/4
"{1, 2, 6, 12}",7/30
"{1, 2, 6, 13}",9/38
"{1, 2, 6, 14}",7/30
"{1, 2, 6, 15}",17/74
"{1, 2, 6, 16}",4/17
"{1, 2, 6, 17}",57/250
"{1, 2, 6, 18}",9/38
"{1, 2, 6, 19}",63/278
"{1, 2, 6, 20}",3/13
"{1, 2, 7, 8}",7/30
"{1, 2, 7, 9}",5/22
"{1, 2, 7, 10}",4/17
"{1, 2, 7, 11}",3/14
"{1, 2, 7, 12}",3/14
"{1, 2, 7, 13}",9/40
"{1, 2, 7, 14}",5/24
"{1, 2, 7, 15}",7/32
"{1, 2, 7, 16}",5/23
"{1, 2, 7, 17}",5/24
"{1, 2, 7, 18}",3/14
"{1, 2, 7, 19}",3/14
"{1, 2, 7, 20}",3/14
"{1, 2, 8, 9}",13/53
"{1, 2, 8, 10}",12/49
"{1, 2, 8, 11}",1/4
"{1, 2, 8, 12}",19/82
"{1, 2, 8, 13}",7/30
"{1, 2, 8, 14}",7/30
"{1, 2, 8, 15}",13/58
"{1, 2, 8, 16}",5/22
"{1, 2, 8, 17}",73/322
"{1, 2, 8, 18}",2/9
"{1, 2, 8, 19}",23/103
"{1, 2, 8, 20}",21/94
"{1, 2, 9, 10}",9/38
"{1, 2, 9, 11}",9/40
"{1, 2, 9, 12}",3/13
"{1, 2, 9, 13}",61/278
"{1, 2, 9, 14}",7/30
"{1, 2, 9, 15}",7/32
"{1, 2, 9, 16}",73/338
"{1, 2, 9, 17}",2/9
"{1, 2, 9, 18}",3/14
"{1, 2, 9, 19}",9/40
"{1, 2, 9, 20}",3/14
"{1, 2, 10, 11}",5/21
"{1, 2, 10, 12}",5/22
"{1, 2, 10, 13}",7/30
"{1, 2, 10, 14}",5/24
"{1, 2, 10, 15}",7/34
"{1, 2, 10, 16}",2/9
"{1, 2, 10, 17}",28/141
"{1, 2, 10, 18}",4/19
"{1, 2, 10, 19}",3/14
"{1, 2, 10, 20}",13/66
"{1, 2, 11, 12}",9/38
"{1, 2, 11, 13}",11/48
"{1, 2, 11, 14}",7/30
"{1, 2, 11, 15}",7/32
"{1, 2, 11, 16}",2/9
"{1, 2, 11, 17}",2/9
"{1, 2, 11, 18}",139/652
"{1, 2, 11, 19}",3/14
"{1, 2, 11, 20}",54/251
"{1, 2, 12, 13}",6/25
"{1, 2, 12, 14}",3/13
"{1, 2, 12, 15}",2/9
"{1, 2, 12, 16}",3/14
"{1, 2, 12, 17}",2/9
"{1, 2, 12, 18}",4/19
"{1, 2, 12, 19}",107/518
"{1, 2, 12, 20}",3/14
"{1, 2, 13, 14}",7/30
"{1, 2, 13, 15}",101/446
"{1, 2, 13, 16}",13/58
"{1, 2, 13, 17}",13/60
"{1, 2, 13, 18}",13/62
"{1, 2, 13, 19}",3/14
"{1, 2, 13, 20}",13/66
"{1, 2, 14, 15}",13/58
"{1, 2, 14, 16}",2/9
"{1, 2, 14, 17}",2/9
"{1, 2, 14, 18}",3/14
"{1, 2, 14, 19}",3/14
"{1, 2, 14, 20}",3/14
"{1, 2, 15, 16}",35/151
"{1, 2, 15, 17}",66/287
"{1, 2, 15, 18}",5/22
"{1, 2, 15, 19}",155/706
"{1, 2, 15, 20}",3/14
"{1, 2, 16, 17}",5/22
"{1, 2, 16, 18}",5/23
"{1, 2, 16, 19}",9/40
"{1, 2, 16, 20}",3/14
"{1, 2, 17, 18}",8/35
"{1, 2, 17, 19}",3/14
"{1, 2, 17, 20}",8/37
"{1, 2, 18, 19}",27/118
"{1, 2, 18, 20}",44/199
"{1, 2, 19, 20}",3/13
"{1, 3, 4, 5}",2/7
"{1, 3, 4, 6}",3/10
"{1, 3, 4, 7}",3/10
"{1, 3, 4, 8}",3/11
"{1, 3, 4, 9}",13/50
"{1, 3, 4, 10}",21/82
"{1, 3, 4, 11}",45/178
"{1, 3, 4, 12}",1/4
"{1, 3, 4, 13}",9/34
"{1, 3, 4, 14}",9/34
"{1, 3, 4, 15}",1/4
"{1, 3, 4, 16}",15/62
"{1, 3, 4, 17}",63/262
"{1, 3, 4, 18}",11/46
"{1, 3, 4, 19}",11/46
"{1, 3, 4, 20}",1/4
"{1, 3, 5, 6}",3/11
"{1, 3, 5, 7}",23/88
"{1, 3, 5, 8}",103/398
"{1, 3, 5, 9}",1/4
"{1, 3, 5, 10}",9/38
"{1, 3, 5, 11}",24/103
"{1, 3, 5, 12}",17/74
"{1, 3, 5, 13}",27/119
"{1, 3, 5, 14}",9/38
"{1, 3, 5, 15}",1/4
"{1, 3, 5, 16}",9/38
"{1, 3, 5, 17}",9/40
"{1, 3, 5, 18}",23/106
"{1, 3, 5, 19}",36/167
"{1, 3, 5, 20}",3/14
"{1, 3, 6, 7}",8/31
"{1, 3, 6, 8}",1/4
"{1, 3, 6, 9}",1/4
"{1, 3, 6, 10}",3/13
"{1, 3, 6, 11}",17/78
"{1, 3, 6, 12}",3/14
"{1, 3, 6, 13}",7/32
"{1, 3, 6, 14}",3/14
"{1, 3, 6, 15}",3/14
"{1, 3, 6, 16}",5/22
"{1, 3, 6, 17}",9/40
"{1, 3, 6, 18}",3/14
"{1, 3, 6, 19}",11/50
"{1, 3, 6, 20}",13/66
"{1, 3, 7, 8}",53/202
"{1, 3, 7, 9}",1/4
"{1, 3, 7, 10}",3/13
"{1, 3, 7, 11}",3/14
"{1, 3, 7, 12}",27/131
"{1, 3, 7, 13}",3/14
"{1, 3, 7, 14}",7/34
"{1, 3, 7, 15}",1/5
"{1, 3, 7, 16}",7/34
"{1, 3, 7, 17}",5/24
"{1, 3, 7, 18}",3/14
"{1, 3, 7, 19}",9/44
"{1, 3, 7, 20}",11/54
"{1, 3, 8, 9}",1/4
"{1, 3, 8, 10}",3/13
"{1, 3, 8, 11}",3/14
"{1, 3, 8, 12}",1/5
"{1, 3, 8, 13}",4/21
"{1, 3, 8, 14}",1/5
"{1, 3, 8, 15}",3/16
"{1, 3, 8, 16}",7/38
"{1, 3, 8, 17}",7/36
"{1, 3, 8, 18}",5/26
"{1, 3, 8, 19}",11/54
"{1, 3, 8, 20}",9/46
"{1, 3, 9, 10}",9/38
"{1, 3, 9, 11}",9/40
"{1, 3, 9, 12}",3/14
"{1, 3, 9, 13}",3/14
"{1, 3, 9, 14}",9/46
"{1, 3, 9, 15}",3/16
"{1, 3, 9, 16}",7/38
"{1, 3, 9, 17}",1/5
"{1, 3, 9, 18}",1/6
"{1, 3, 9, 19}",5/28
"{1, 3, 9, 20}",11/58
"{1, 3, 10, 11}",5/21
"{1, 3, 10, 12}",5/22
"{1, 3, 10, 13}",5/23
"{1, 3, 10, 14}",5/24
"{1, 3, 10, 15}",1/5
"{1, 3, 10, 16}",5/26
"{1, 3, 10, 17}",77/394
"{1, 3, 10, 18}",3/16
"{1, 3, 10, 19}",2/11
"{1, 3, 10, 20}",11/58
"{1, 3, 11, 12}",11/46
"{1, 3, 11, 13}",11/48
"{1, 3, 11, 14}",11/50
"{1, 3, 11, 15}",11/52
"{1, 3, 11, 16}",11/54
"{1, 3, 11, 17}",11/56
"{1, 3, 11, 18}",11/58
"{1, 3, 11, 19}",11/60
"{1, 3, 11, 20}",115/626
"{1, 3, 12, 13}",6/25
"{1, 3, 12, 14}",3/13
"{1, 3, 12, 15}",2/9
"{1, 3, 12, 16}",3/14
"{1, 3, 12, 17}",6/29
"{1, 3, 12, 18}",1/5
"{1, 3, 12, 19}",6/31
"{1, 3, 12, 20}",3/16
"{1, 3, 13, 14}",13/54
"{1, 3, 13, 15}",13/56
"{1, 3, 13, 16}",13/58
"{1, 3, 13, 17}",13/60
"{1, 3, 13, 18}",13/62
"{1, 3, 13, 19}",13/64
"{1, 3, 13, 20}",9/46
"{1, 3, 14, 15}",7/29
"{1, 3, 14, 16}",7/30
"{1, 3, 14, 17}",9/40
"{1, 3, 14, 18}",3/14
"{1, 3, 14, 19}",9/44
"{1, 3, 14, 20}",9/46
"{1, 3, 15, 16}",9/38
"{1, 3, 15, 17}",9/40
"{1, 3, 15, 18}",3/14
"{1, 3, 15, 19}",9/44
"{1, 3, 15, 20}",9/46
"{1, 3, 16, 17}",5/22
"{1, 3, 16, 18}",3/14
"{1, 3, 16, 19}",3/14
"{1, 3, 16, 20}",9/46
"{1, 3, 17, 18}",8/35
"{1, 3, 17, 19}",5/24
"{1, 3, 17, 20}",15/74
"{1, 3, 18, 19}",17/74
"{1, 3, 18, 20}",4/19
"{1, 3, 19, 20}",3/13
"{1, 4, 5, 6}",5/18
"{1, 4, 5, 7}",58/223
"{1, 4, 5, 8}",1/4
"{1, 4, 5, 9}",16/59
"{1, 4, 5, 10}",3/11
"{1, 4, 5, 11}",37/142
"{1, 4, 5, 12}",9/34
"{1, 4, 5, 13}",102/397
"{1, 4, 5, 14}",1/4
"{1, 4, 5, 15}",8/31
"{1, 4, 5, 16}",11/42
"{1, 4, 5, 17}",27/107
"{1, 4, 5, 18}",1/4
"{1, 4, 5, 19}",31/119
"{1, 4, 5, 20}",1/4
"{1, 4, 6, 7}",1/4
"{1, 4, 6, 8}",17/74
"{1, 4, 6, 9}",5/22
"{1, 4, 6, 10}",13/54
"{1, 4, 6, 11}",1/4
"{1, 4, 6, 12}",7/30
"{1, 4, 6, 13}",22/97
"{1, 4, 6, 14}",7/30
"{1, 4, 6, 15}",20/89
"{1, 4, 6, 16}",31/142
"{1, 4, 6, 17}",22/97
"{1, 4, 6, 18}",9/38
"{1, 4, 6, 19}",9/40
"{1, 4, 6, 20}",16/73
"{1, 4, 7, 8}",7/30
"{1, 4, 7, 9}",7/32
"{1, 4, 7, 10}",3/14
"{1, 4, 7, 11}",7/30
"{1, 4, 7, 12}",9/38
"{1, 4, 7, 13}",3/14
"{1, 4, 7, 14}",17/82
"{1, 4, 7, 15}",81/386
"{1, 4, 7, 16}",3/14
"{1, 4, 7, 17}",3/14
"{1, 4, 7, 18}",10/47
"{1, 4, 7, 19}",5/23
"{1, 4, 7, 20}",3/14
"{1, 4, 8, 9}",17/70
"{1, 4, 8, 10}",27/118
"{1, 4, 8, 11}",7/30
"{1, 4, 8, 12}",1/4
"{1, 4, 8, 13}",4/17
"{1, 4, 8, 14}",2/9
"{1, 4, 8, 15}",23/106
"{1, 4, 8, 16}",3/14
"{1, 4, 8, 17}",25/118
"{1, 4, 8, 18}",13/62
"{1, 4, 8, 19}",27/130
"{1, 4, 8, 20}",3/14
"{1, 4, 9, 10}",62/263
"{1, 4, 9, 11}",3/13
"{1, 4, 9, 12}",1/4
"{1, 4, 9, 13}",4/17
"{1, 4, 9, 14}",2/9
"{1, 4, 9, 15}",4/19
"{1, 4, 9, 16}",25/122
"{1, 4, 9, 17}",52/257
"{1, 4, 9, 18}",1/5
"{1, 4, 9, 19}",56/283
"{1, 4, 9, 20}",29/148
"{1, 4, 10, 11}",1/4
"{1, 4, 10, 12}",33/142
"{1, 4, 10, 13}",5/22
"{1, 4, 10, 14}",2/9
"{1, 4, 10, 15}",4/19
"{1, 4, 10, 16}",1/5
"{1, 4, 10, 17}",27/139
"{1, 4, 10, 18}",14/73
"{1, 4, 10, 19}",29/153
"{1, 4, 10, 20}",3/16
"{1, 4, 11, 12}",3/13
"{1, 4, 11, 13}",179/811
"{1, 4, 11, 14}",11/50
"{1, 4, 11, 15}",11/52
"{1, 4, 11, 16}",11/54
"{1, 4, 11, 17}",11/56
"{1, 4, 11, 18}",11/58
"{1, 4, 11, 19}",11/60
"{1, 4, 11, 20}",31/172
"{1, 4, 12, 13}",6/25
"{1, 4, 12, 14}",3/13
"{1, 4, 12, 15}",2/9
"{1, 4, 12, 16}",3/14
"{1, 4, 12, 17}",6/29
"{1, 4, 12, 18}",1/5
"{1, 4, 12, 19}",6/31
"{1, 4, 12, 20}",3/16
"{1, 4, 13, 14}",7/30
"{1, 4, 13, 15}",239/1087
"{1, 4, 13, 16}",63/289
"{1, 4, 13, 17}",529/2450
"{1, 4, 13, 18}",13/62
"{1, 4, 13, 19}",13/64
"{1, 4, 13, 20}",13/66
"{1, 4, 14, 15}",130/583
"{1, 4, 14, 16}",3/14
"{1, 4, 14, 17}",3/14
"{1, 4, 14, 18}",7/32
"{1, 4, 14, 19}",7/33
"{1, 4, 14, 20}",7/34
"{1, 4, 15, 16}",3/13
"{1, 4, 15, 17}",2/9
"{1, 4, 15, 18}",7/32
"{1, 4, 15, 19}",15/68
"{1, 4, 15, 20}",3/14
"{1, 4, 16, 17}",2/9
"{1, 4, 16, 18}",85/394
"{1, 4, 16, 19}",5/23
"{1, 4, 16, 20}",2/9
"{1, 4, 17, 18}",9/38
"{1, 4, 17, 19}",9/40
"{1, 4, 17, 20}",2/9
"{1, 4, 18, 19}",9/40
"{1, 4, 18, 20}",3/14
"{1, 4, 19, 20}",56/257
"{1, 5, 6, 7}",3/11
"{1, 5, 6, 8}",7/26
"{1, 5, 6, 9}",10/43
"{1, 5, 6, 10}",1/4
"{1, 5, 6, 11}",9/32
"{1, 5, 6, 12}",13/54
"{1, 5, 6, 13}",5/22
"{1, 5, 6, 14}",1/4
"{1, 5, 6, 15}",1/4
"{1, 5, 6, 16}",4/17
"{1, 5, 6, 17}",57/250
"{1, 5, 6, 18}",1/4
"{1, 5, 6, 19}",11/48
"{1, 5, 6, 20}",5/22
"{1, 5, 7, 8}",7/26
"{1, 5, 7, 9}",3/14
"{1, 5, 7, 10}",13/62
"{1, 5, 7, 11}",2/9
"{1, 5, 7, 12}",4/17
"{1, 5, 7, 13}",3/14
"{1, 5, 7, 14}",7/34
"{1, 5, 7, 15}",5/24
"{1, 5, 7, 16}",3/14
"{1, 5, 7, 17}",29/143
"{1, 5, 7, 18}",4/19
"{1, 5, 7, 19}",32/159
"{1, 5, 7, 20}",11/54
"{1, 5, 8, 9}",4/17
"{1, 5, 8, 10}",2/9
"{1, 5, 8, 11}",4/19
"{1, 5, 8, 12}",7/34
"{1, 5, 8, 13}",2/9
"{1, 5, 8, 14}",5/22
"{1, 5, 8, 15}",9/46
"{1, 5, 8, 16}",41/222
"{1, 5, 8, 17}",21/107
"{1, 5, 8, 18}",43/226
"{1, 5, 8, 19}",3/16
"{1, 5, 8, 20}",1/5
"{1, 5, 9, 10}",17/74
"{1, 5, 9, 11}",5/24
"{1, 5, 9, 12}",7/34
"{1, 5, 9, 13}",2/9
"{1, 5, 9, 14}",9/38
"{1, 5, 9, 15}",1/4
"{1, 5, 9, 16}",58/269
"{1, 5, 9, 17}",113/566
"{1, 5, 9, 18}",13/66
"{1, 5, 9, 19}",121/622
"{1, 5, 9, 20}",1/5
"{1, 5, 10, 11}",19/86
"{1, 5, 10, 12}",33/166
"{1, 5, 10, 13}",71/358
"{1, 5, 10, 14}",9/38
"{1, 5, 10, 15}",1/4
"{1, 5, 10, 16}",3/13
"{1, 5, 10, 17}",13/66
"{1, 5, 10, 18}",47/244
"{1, 5, 10, 19}",27/134
"{1, 5, 10, 20}",3/14
"{1, 5, 11, 12}",7/32
"{1, 5, 11, 13}",36/167
"{1, 5, 11, 14}",75/358
"{1, 5, 11, 15}",3/13
"{1, 5, 11, 16}",4/17
"{1, 5, 11, 17}",2/9
"{1, 5, 11, 18}",563/2666
"{1, 5, 11, 19}",5/24
"{1, 5, 11, 20}",31/150
"{1, 5, 12, 13}",3/14
"{1, 5, 12, 14}",39/194
"{1, 5, 12, 15}",9/46
"{1, 5, 12, 16}",3/14
"{1, 5, 12, 17}",2/9
"{1, 5, 12, 18}",4/19
"{1, 5, 12, 19}",15/74
"{1, 5, 12, 20}",27/136
"{1, 5, 13, 14}",11/54
"{1, 5, 13, 15}",25/131
"{1, 5, 13, 16}",263/1393
"{1, 5, 13, 17}",9/44
"{1, 5, 13, 18}",13/62
"{1, 5, 13, 19}",13/64
"{1, 5, 13, 20}",56/293
"{1, 5, 14, 15}",4/19
"{1, 5, 14, 16}",7/34
"{1, 5, 14, 17}",1/5
"{1, 5, 14, 18}",1/5
"{1, 5, 14, 19}",7/33
"{1, 5, 14, 20}",7/34
"{1, 5, 15, 16}",13/62
"{1, 5, 15, 17}",7/36
"{1, 5, 15, 18}",19/101
"{1, 5, 15, 19}",3/16
"{1, 5, 15, 20}",3/14
"{1, 5, 16, 17}",13/66
"{1, 5, 16, 18}",179/949
"{1, 5, 16, 19}",374/1999
"{1, 5, 16, 20}",1/5
"{1, 5, 17, 18}",9/44
"{1, 5, 17, 19}",1/5
"{1, 5, 17, 20}",74/377
"{1, 5, 18, 19}",15/74
"{1, 5, 18, 20}",38/199
"{1, 5, 19, 20}",8/39
"{1, 6, 7, 8}",7/26
"{1, 6, 7, 9}",46/179
"{1, 6, 7, 10}",1/4
"{1, 6, 7, 11}",9/37
"{1, 6, 7, 12}",1/4
"{1, 6, 7, 13}",59/222
"{1, 6, 7, 14}",1/4
"{1, 6, 7, 15}",37/158
"{1, 6, 7, 16}",11/46
"{1, 6, 7, 17}",36/143
"{1, 6, 7, 18}",1/4
"{1, 6, 7, 19}",137/578
"{1, 6, 7, 20}",71/302
"{1, 6, 8, 9}",1/4
"{1, 6, 8, 10}",39/167
"{1, 6, 8, 11}",3/14
"{1, 6, 8, 12}",2/9
"{1, 6, 8, 13}",193/854
"{1, 6, 8, 14}",5/22
"{1, 6, 8, 15}",3/14
"{1, 6, 8, 16}",7/34
"{1, 6, 8, 17}",29/143
"{1, 6, 8, 18}",3/13
"{1, 6, 8, 19}",11/50
"{1, 6, 8, 20}",8/41
"{1, 6, 9, 10}",5/22
"{1, 6, 9, 11}",5/23
"{1, 6, 9, 12}",1/5
"{1, 6, 9, 13}",9/44
"{1, 6, 9, 14}",3/14
"{1, 6, 9, 15}",3/14
"{1, 6, 9, 16}",11/50
"{1, 6, 9, 17}",5/26
"{1, 6, 9, 18}",1/6
"{1, 6, 9, 19}",11/56
"{1, 6, 9, 20}",5/26
"{1, 6, 10, 11}",5/21
"{1, 6, 10, 12}",3/14
"{1, 6, 10, 13}",51/268
"{1, 6, 10, 14}",1/5
"{1, 6, 10, 15}",3/14
"{1, 6, 10, 16}",5/22
"{1, 6, 10, 17}",11/46
"{1, 6, 10, 18}",3/14
"{1, 6, 10, 19}",11/58
"{1, 6, 10, 20}",7/38
"{1, 6, 11, 12}",7/30
"{1, 6, 11, 13}",60/287
"{1, 6, 11, 14}",1/5
"{1, 6, 11, 15}",3/14
"{1, 6, 11, 16}",151/697
"{1, 6, 11, 17}",46/211
"{1, 6, 11, 18}",9/38
"{1, 6, 11, 19}",11/50
"{1, 6, 11, 20}",7/34
"{1, 6, 12, 13}",23/102
"{1, 6, 12, 14}",11/54
"{1, 6, 12, 15}",7/38
"{1, 6, 12, 16}",3/14
"{1, 6, 12, 17}",5/23
"{1, 6, 12, 18}",1/4
"{1, 6, 12, 19}",11/50
"{1, 6, 12, 20}",7/36
"{1, 6, 13, 14}",2/9
"{1, 6, 13, 15}",24/121
"{1, 6, 13, 16}",30/163
"{1, 6, 13, 17}",1/5
"{1, 6, 13, 18}",15/62
"{1, 6, 13, 19}",11/50
"{1, 6, 13, 20}",5/26
"{1, 6, 14, 15}",3/14
"{1, 6, 14, 16}",2/11
"{1, 6, 14, 17}",321/1852
"{1, 6, 14, 18}",3/16
"{1, 6, 14, 19}",11/50
"{1, 6, 14, 20}",7/34
"{1, 6, 15, 16}",13/62
"{1, 6, 15, 17}",26/149
"{1, 6, 15, 18}",19/116
"{1, 6, 15, 19}",3/17
"{1, 6, 15, 20}",3/14
"{1, 6, 16, 17}",7/33
"{1, 6, 16, 18}",2/11
"{1, 6, 16, 19}",121/678
"{1, 6, 16, 20}",3/17
"{1, 6, 17, 18}",3/14
"{1, 6, 17, 19}",13/72
"{1, 6, 17, 20}",64/377
"{1, 6, 18, 19}",8/37
"{1, 6, 18, 20}",7/38
"{1, 6, 19, 20}",8/39
"{1, 7, 8, 9}",4/15
"{1, 7, 8, 10}",4/17
"{1, 7, 8, 11}",7/30
"{1, 7, 8, 12}",9/38
"{1, 7, 8, 13}",449/1958
"{1, 7, 8, 14}",9/38
"{1, 7, 8, 15}",3/11
"{1, 7, 8, 16}",9/38
"{1, 7, 8, 17}",75/322
"{1, 7, 8, 18}",7/30
"{1, 7, 8, 19}",639/2810
"{1, 7, 8, 20}",21/94
"{1, 7, 9, 10}",4/17
"{1, 7, 9, 11}",3/14
"{1, 7, 9, 12}",3/14
"{1, 7, 9, 13}",7/32
"{1, 7, 9, 14}",69/334
"{1, 7, 9, 15}",171/832
"{1, 7, 9, 16}",5/23
"{1, 7, 9, 17}",2/9
"{1, 7, 9, 18}",3/14
"{1, 7, 9, 19}",3/14
"{1, 7, 9, 20}",3/14
"{1, 7, 10, 11}",3/14
"{1, 7, 10, 12}",14/71
"{1, 7, 10, 13}",9/46
"{1, 7, 10, 14}",7/34
"{1, 7, 10, 15}",1/5
"{1, 7, 10, 16}",9/46
"{1, 7, 10, 17}",5/24
"{1, 7, 10, 18}",3/14
"{1, 7, 10, 19}",11/58
"{1, 7, 10, 20}",15/82
"{1, 7, 11, 12}",2/9
"{1, 7, 11, 13}",2/9
"{1, 7, 11, 14}",19/94
"{1, 7, 11, 15}",7/36
"{1, 7, 11, 16}",147/730
"{1, 7, 11, 17}",5/24
"{1, 7, 11, 18}",11/50
"{1, 7, 11, 19}",9/40
"{1, 7, 11, 20}",13/62
"{1, 7, 12, 13}",9/40
"{1, 7, 12, 14}",7/34
"{1, 7, 12, 15}",107/543
"{1, 7, 12, 16}",9/46
"{1, 7, 12, 17}",364/1835
"{1, 7, 12, 18}",1/5
"{1, 7, 12, 19}",11/53
"{1, 7, 12, 20}",3/14
"{1, 7, 13, 14}",23/106
"{1, 7, 13, 15}",25/127
"{1, 7, 13, 16}",9/46
"{1, 7, 13, 17}",7/36
"{1, 7, 13, 18}",395/2089
"{1, 7, 13, 19}",5/26
"{1, 7, 13, 20}",2/9
"{1, 7, 14, 15}",7/32
"{1, 7, 14, 16}",59/286
"{1, 7, 14, 17}",5/26
"{1, 7, 14, 18}",13/68
"{1, 7, 14, 19}",29/142
"{1, 7, 14, 20}",2/9
"{1, 7, 15, 16}",7/31
"{1, 7, 15, 17}",9/44
"{1, 7, 15, 18}",63/334
"{1, 7, 15, 19}",189/1046
"{1, 7, 15, 20}",3/14
"{1, 7, 16, 17}",2/9
"{1, 7, 16, 18}",1/5
"{1, 7, 16, 19}",9/52
"{1, 7, 16, 20}",49/286
"{1, 7, 17, 18}",4/19
"{1, 7, 17, 19}",21/115
"{1, 7, 17, 20}",98/599
"{1, 7, 18, 19}",8/37
"{1, 7, 18, 20}",7/38
"{1, 7, 19, 20}",3/14
"{1, 8, 9, 10}",9/34
"{1, 8, 9, 11}",30/119
"{1, 8, 9, 12}",5/23
"{1, 8, 9, 13}",4/17
"{1, 8, 9, 14}",4/17
"{1, 8, 9, 15}",51/218
"{1, 8, 9, 16}",21/86
"{1, 8, 9, 17}",47/179
"{1, 8, 9, 18}",5/21
"{1, 8, 9, 19}",89/395
"{1, 8, 9, 20}",4/17
"{1, 8, 10, 11}",1/4
"{1, 8, 10, 12}",1/5
"{1, 8, 10, 13}",9/46
"{1, 8, 10, 14}",2/9
"{1, 8, 10, 15}",5/23
"{1, 8, 10, 16}",9/46
"{1, 8, 10, 17}",11/54
"{1, 8, 10, 18}",5/22
"{1, 8, 10, 19}",1/5
"{1, 8, 10, 20}",9/46
"{1, 8, 11, 12}",5/23
"{1, 8, 11, 13}",3/16
"{1, 8, 11, 14}",9/50
"{1, 8, 11, 15}",4/19
"{1, 8, 11, 16}",83/450
"{1, 8, 11, 17}",11/56
"{1, 8, 11, 18}",5/26
"{1, 8, 11, 19}",11/54
"{1, 8, 11, 20}",13/62
"{1, 8, 12, 13}",11/50
"{1, 8, 12, 14}",1/5
"{1, 8, 12, 15}",1/5
"{1, 8, 12, 16}",1/5
"{1, 8, 12, 17}",104/517
"{1, 8, 12, 18}",1/5
"{1, 8, 12, 19}",11/54
"{1, 8, 12, 20}",3/14
"{1, 8, 13, 14}",7/30
"{1, 8, 13, 15}",5/23
"{1, 8, 13, 16}",97/526
"{1, 8, 13, 17}",4/21
"{1, 8, 13, 18}",4/21
"{1, 8, 13, 19}",3/16
"{1, 8, 13, 20}",7/33
"{1, 8, 14, 15}",5/23
"{1, 8, 14, 16}",11/58
"{1, 8, 14, 17}",2/11
"{1, 8, 14, 18}",24/127
"{1, 8, 14, 19}",2/11
"{1, 8, 14, 20}",3/17
"{1, 8, 15, 16}",27/122
"{1, 8, 15, 17}",7/36
"{1, 8, 15, 18}",5/26
"{1, 8, 15, 19}",104/557
"{1, 8, 15, 20}",4/23
"{1, 8, 16, 17}",29/134
"{1, 8, 16, 18}",67/358
"{1, 8, 16, 19}",139/754
"{1, 8, 16, 20}",7/38
"{1, 8, 17, 18}",62/293
"{1, 8, 17, 19}",1/5
"{1, 8, 17, 20}",7/36
"{1, 8, 18, 19}",64/319
"{1, 8, 18, 20}",4/21
"{1, 8, 19, 20}",34/173
"{1, 9, 10, 11}",5/19
"{1, 9, 10, 12}",109/466
"{1, 9, 10, 13}",5/22
"{1, 9, 10, 14}",7/30
"{1, 9, 10, 15}",8/35
"{1, 9, 10, 16}",91/394
"{1, 9, 10, 17}",446/1943
"{1, 9, 10, 18}",11/48
"{1, 9, 10, 19}",15/56
"{1, 9, 10, 20}",11/46
"{1, 9, 11, 12}",3/13
"{1, 9, 11, 13}",36/167
"{1, 9, 11, 14}",71/379
"{1, 9, 11, 15}",7/32
"{1, 9, 11, 16}",43/203
"{1, 9, 11, 17}",5/24
"{1, 9, 11, 18}",7/34
"{1, 9, 11, 19}",62/295
"{1, 9, 11, 20}",111/502
"{1, 9, 12, 13}",129/595
"{1, 9, 12, 14}",5/26
"{1, 9, 12, 15}",1/6
"{1, 9, 12, 16}",7/34
"{1, 9, 12, 17}",1/5
"{1, 9, 12, 18}",1/6
"{1, 9, 12, 19}",6/31
"{1, 9, 12, 20}",11/58
"{1, 9, 13, 14}",2/9
"{1, 9, 13, 15}",11/56
"{1, 9, 13, 16}",2/11
"{1, 9, 13, 17}",1/5
"{1, 9, 13, 18}",7/38
"{1, 9, 13, 19}",11/56
"{1, 9, 13, 20}",13/66
"{1, 9, 14, 15}",7/32
"{1, 9, 14, 16}",7/34
"{1, 9, 14, 17}",30/149
"{1, 9, 14, 18}",3/16
"{1, 9, 14, 19}",9/46
"{1, 9, 14, 20}",3/17
"{1, 9, 15, 16}",35/169
"{1, 9, 15, 17}",1/5
"{1, 9, 15, 18}",1/6
"{1, 9, 15, 19}",3/16
"{1, 9, 15, 20}",3/16
"{1, 9, 16, 17}",245/1138
"{1, 9, 16, 18}",13/66
"{1, 9, 16, 19}",9/50
"{1, 9, 16, 20}",11/58
"{1, 9, 17, 18}",3/14
"{1, 9, 17, 19}",126/647
"{1, 9, 17, 20}",11/58
"{1, 9, 18, 19}",11/50
"{1, 9, 18, 20}",5/26
"{1, 9, 19, 20}",315/1462
"{1, 10, 11, 12}",11/42
"{1, 10, 11, 13}",11/46
"{1, 10, 11, 14}",3/14
"{1, 10, 11, 15}",19/85
"{1, 10, 11, 16}",3/14
"{1, 10, 11, 17}",13/56
"{1, 10, 11, 18}",29/122
"{1, 10, 11, 19}",221/1018
"{1, 10, 11, 20}",25/106
"{1, 10, 12, 13}",11/46
"{1, 10, 12, 14}",213/1054
"{1, 10, 12, 15}",9/46
"{1, 10, 12, 16}",7/34
"{1, 10, 12, 17}",46/233
"{1, 10, 12, 18}",1/5
"{1, 10, 12, 19}",111/538
"{1, 10, 12, 20}",29/148
"{1, 10, 13, 14}",47/226
"{1, 10, 13, 15}",9/46
"{1, 10, 13, 16}",5/29
"{1, 10, 13, 17}",7/36
"{1, 10, 13, 18}",3/16
"{1, 10, 13, 19}",562/3037
"{1, 10, 13, 20}",21/118
"{1, 10, 14, 15}",13/58
"{1, 10, 14, 16}",1/5
"{1, 10, 14, 17}",11/62
"{1, 10, 14, 18}",143/773
"{1, 10, 14, 19}",2/11
"{1, 10, 14, 20}",11/62
"{1, 10, 15, 16}",7/31
"{1, 10, 15, 17}",77/394
"{1, 10, 15, 18}",19/101
"{1, 10, 15, 19}",3/16
"{1, 10, 15, 20}",1/5
"{1, 10, 16, 17}",13/66
"{1, 10, 16, 18}",3/16
"{1, 10, 16, 19}",17/93
"{1, 10, 16, 20}",3/17
"{1, 10, 17, 18}",11/54
"{1, 10, 17, 19}",263/1366
"{1, 10, 17, 20}",25/142
"{1, 10, 18, 19}",8/37
"{1, 10, 18, 20}",9/46
"{1, 10, 19, 20}",3/14
"{1, 11, 12, 13}",6/23
"{1, 11, 12, 14}",543/2302
"{1, 11, 12, 15}",5/23
"{1, 11, 12, 16}",5/23
"{1, 11, 12, 17}",115/523
"{1, 11, 12, 18}",19/91
"{1, 11, 12, 19}",3/13
"{1, 11, 12, 20}",11/46
"{1, 11, 13, 14}",7/30
"{1, 11, 13, 15}",5/26
"{1, 11, 13, 16}",3/16
"{1, 11, 13, 17}",109/551
"{1, 11, 13, 18}",3/16
"{1, 11, 13, 19}",17/93
"{1, 11, 13, 20}",13/62
"{1, 11, 14, 15}",5/23
"{1, 11, 14, 16}",545/3018
"{1, 11, 14, 17}",11/62
"{1, 11, 14, 18}",7/38
"{1, 11, 14, 19}",629/3555
"{1, 11, 14, 20}",643/3734
"{1, 11, 15, 16}",7/31
"{1, 11, 15, 17}",13/64
"{1, 11, 15, 18}",2/11
"{1, 11, 15, 19}",7/40
"{1, 11, 15, 20}",137/797
"{1, 11, 16, 17}",2/9
"{1, 11, 16, 18}",7/34
"{1, 11, 16, 19}",121/678
"{1, 11, 16, 20}",3/17
"{1, 11, 17, 18}",6/29
"{1, 11, 17, 19}",85/478
"{1, 11, 17, 20}",43/251
"{1, 11, 18, 19}",15/74
"{1, 11, 18, 20}",68/389
"{1, 11, 19, 20}",3/14
"{1, 12, 13, 14}",13/50
"{1, 12, 13, 15}",2/9
"{1, 12, 13, 16}",103/474
"{1, 12, 13, 17}",11/50
"{1, 12, 13, 18}",124/569
"{1, 12, 13, 19}",3/14
"{1, 12, 13, 20}",63/293
"{1, 12, 14, 15}",2/9
"{1, 12, 14, 16}",85/409
"{1, 12, 14, 17}",5/26
"{1, 12, 14, 18}",5/26
"{1, 12, 14, 19}",65/331
"{1, 12, 14, 20}",3/16
"{1, 12, 15, 16}",13/62
"{1, 12, 15, 17}",79/426
"{1, 12, 15, 18}",1/6
"{1, 12, 15, 19}",3/17
"{1, 12, 15, 20}",1/6
"{1, 12, 16, 17}",3/14
"{1, 12, 16, 18}",7/34
"{1, 12, 16, 19}",13/70
"{1, 12, 16, 20}",1/6
"{1, 12, 17, 18}",4/19
"{1, 12, 17, 19}",1/5
"{1, 12, 17, 20}",3/16
"{1, 12, 18, 19}",164/815
"{1, 12, 18, 20}",3/16
"{1, 12, 19, 20}",8/39
"{1, 13, 14, 15}",7/27
"{1, 13, 14, 16}",30/127
"{1, 13, 14, 17}",55/269
"{1, 13, 14, 18}",2/9
"{1, 13, 14, 19}",5/22
"{1, 13, 14, 20}",149/722
"{1, 13, 15, 16}",4/17
"{1, 13, 15, 17}",113/574
"{1, 13, 15, 18}",39/202
"{1, 13, 15, 19}",11/56
"{1, 13, 15, 20}",19/98
"{1, 13, 16, 17}",7/33
"{1, 13, 16, 18}",831/4474
"{1, 13, 16, 19}",5/29
"{1, 13, 16, 20}",5/29
"{1, 13, 17, 18}",3/14
"{1, 13, 17, 19}",1/5
"{1, 13, 17, 20}",7/37
"{1, 13, 18, 19}",8/37
"{1, 13, 18, 20}",4/21
"{1, 13, 19, 20}",5/26
"{1, 14, 15, 16}",15/58
"{1, 14, 15, 17}",956/4273
"{1, 14, 15, 18}",51/244
"{1, 14, 15, 19}",13/58
"{1, 14, 15, 20}",7/32
"{1, 14, 16, 17}",2/9
"{1, 14, 16, 18}",3/16
"{1, 14, 16, 19}",62/339
"{1, 14, 16, 20}",41/206
"{1, 14, 17, 18}",4/19
"{1, 14, 17, 19}",13/72
"{1, 14, 17, 20}",131/754
"{1, 14, 18, 19}",8/37
"{1, 14, 18, 20}",3/16
"{1, 14, 19, 20}",3/14
"{1, 15, 16, 17}",8/31
"{1, 15, 16, 18}",5/22
"{1, 15, 16, 19}",13/62
"{1, 15, 16, 20}",2/9
"{1, 15, 17, 18}",5/22
"{1, 15, 17, 19}",72/359
"{1, 15, 17, 20}",131/754
"{1, 15, 18, 19}",15/74
"{1, 15, 18, 20}",7/38
"{1, 15, 19, 20}",17/78
"{1, 16, 17, 18}",17/66
"{1, 16, 17, 19}",1373/6067
"{1, 16, 17, 20}",7/33
"{1, 16, 18, 19}",9/40
"{1, 16, 18, 20}",161/841
"{1, 16, 19, 20}",8/39
"{1, 17, 18, 19}",9/35
"{1, 17, 18, 20}",8/37
"{1, 17, 19, 20}",8/37
"{1, 18, 19, 20}",19/74
"{2, 3, 4, 5}",1/4
"{2, 3, 4, 6}",1/4
"{2, 3, 4, 7}",1/4
"{2, 3, 4, 8}",13/58
"{2, 3, 4, 9}",1/4
"{2, 3, 4, 10}",19/82
"{2, 3, 4, 11}",3/13
"{2, 3, 4, 12}",5/22
"{2, 3, 4, 13}",16/71
"{2, 3, 4, 14}",3/14
"{2, 3, 4, 15}",4/17
"{2, 3, 4, 16}",2/9
"{2, 3, 4, 17}",20/91
"{2, 3, 4, 18}",7/32
"{2, 3, 4, 19}",5/22
"{2, 3, 4, 20}",5/23
"{2, 3, 5, 6}",3/11
"{2, 3, 5, 7}",7/24
"{2, 3, 5, 8}",3/11
"{2, 3, 5, 9}",37/146
"{2, 3, 5, 10}",1/4
"{2, 3, 5, 11}",53/206
"{2, 3, 5, 12}",23/94
"{2, 3, 5, 13}",49/202
"{2, 3, 5, 14}",1/4
"{2, 3, 5, 15}",1/4
"{2, 3, 5, 16}",29/122
"{2, 3, 5, 17}",9/38
"{2, 3, 5, 18}",1/4
"{2, 3, 5, 19}",67/286
"{2, 3, 5, 20}",7/30
"{2, 3, 6, 7}",1/4
"{2, 3, 6, 8}",7/30
"{2, 3, 6, 9}",1/4
"{2, 3, 6, 10}",2/9
"{2, 3, 6, 11}",1/4
"{2, 3, 6, 12}",3/14
"{2, 3, 6, 13}",9/38
"{2, 3, 6, 14}",5/24
"{2, 3, 6, 15}",3/14
"{2, 3, 6, 16}",4/19
"{2, 3, 6, 17}",4/19
"{2, 3, 6, 18}",3/14
"{2, 3, 6, 19}",1/5
"{2, 3, 6, 20}",5/23
"{2, 3, 7, 8}",7/30
"{2, 3, 7, 9}",1/4
"{2, 3, 7, 10}",4/17
"{2, 3, 7, 11}",3/14
"{2, 3, 7, 12}",3/14
"{2, 3, 7, 13}",9/40
"{2, 3, 7, 14}",1/5
"{2, 3, 7, 15}",7/34
"{2, 3, 7, 16}",5/23
"{2, 3, 7, 17}",5/24
"{2, 3, 7, 18}",3/14
"{2, 3, 7, 19}",11/52
"{2, 3, 7, 20}",9/46
"{2, 3, 8, 9}",1/4
"{2, 3, 8, 10}",16/67
"{2, 3, 8, 11}",1/4
"{2, 3, 8, 12}",11/50
"{2, 3, 8, 13}",7/30
"{2, 3, 8, 14}",73/346
"{2, 3, 8, 15}",35/166
"{2, 3, 8, 16}",11/50
"{2, 3, 8, 17}",167/830
"{2, 3, 8, 18}",3/14
"{2, 3, 8, 19}",97/466
"{2, 3, 8, 20}",3/14
"{2, 3, 9, 10}",9/38
"{2, 3, 9, 11}",9/40
"{2, 3, 9, 12}",3/14
"{2, 3, 9, 13}",9/44
"{2, 3, 9, 14}",7/34
"{2, 3, 9, 15}",3/16
"{2, 3, 9, 16}",1/5
"{2, 3, 9, 17}",7/38
"{2, 3, 9, 18}",1/6
"{2, 3, 9, 19}",2/11
"{2, 3, 9, 20}",11/58
"{2, 3, 10, 11}",5/21
"{2, 3, 10, 12}",5/22
"{2, 3, 10, 13}",7/30
"{2, 3, 10, 14}",5/24
"{2, 3, 10, 15}",7/34
"{2, 3, 10, 16}",4/19
"{2, 3, 10, 17}",49/253
"{2, 3, 10, 18}",1/5
"{2, 3, 10, 19}",107/554
"{2, 3, 10, 20}",5/26
"{2, 3, 11, 12}",31/133
"{2, 3, 11, 13}",11/48
"{2, 3, 11, 14}",11/50
"{2, 3, 11, 15}",11/52
"{2, 3, 11, 16}",4/19
"{2, 3, 11, 17}",11/56
"{2, 3, 11, 18}",1/5
"{2, 3, 11, 19}",11/60
"{2, 3, 11, 20}",5/26
"{2, 3, 12, 13}",36/155
"{2, 3, 12, 14}",3/13
"{2, 3, 12, 15}",2/9
"{2, 3, 12, 16}",3/14
"{2, 3, 12, 17}",6/29
"{2, 3, 12, 18}",1/5
"{2, 3, 12, 19}",6/31
"{2, 3, 12, 20}",3/16
"{2, 3, 13, 14}",2/9
"{2, 3, 13, 15}",13/56
"{2, 3, 13, 16}",4/19
"{2, 3, 13, 17}",4/19
"{2, 3, 13, 18}",13/62
"{2, 3, 13, 19}",287/1427
"{2, 3, 13, 20}",9/46
"{2, 3, 14, 15}",7/29
"{2, 3, 14, 16}",7/30
"{2, 3, 14, 17}",9/40
"{2, 3, 14, 18}",3/14
"{2, 3, 14, 19}",7/33
"{2, 3, 14, 20}",9/46
"{2, 3, 15, 16}",7/31
"{2, 3, 15, 17}",4/19
"{2, 3, 15, 18}",3/14
"{2, 3, 15, 19}",1/5
"{2, 3, 15, 20}",3/14
"{2, 3, 16, 17}",175/779
"{2, 3, 16, 18}",3/14
"{2, 3, 16, 19}",9/44
"{2, 3, 16, 20}",9/46
"{2, 3, 17, 18}",129/580
"{2, 3, 17, 19}",5/24
"{2, 3, 17, 20}",8/37
"{2, 3, 18, 19}",5/22
"{2, 3, 18, 20}",4/19
"{2, 3, 19, 20}",17/78
"{2, 4, 5, 6}",1/4
"{2, 4, 5, 7}",1/4
"{2, 4, 5, 8}",19/86
"{2, 4, 5, 9}",1/4
"{2, 4, 5, 10}",5/22
"{2, 4, 5, 11}",3/13
"{2, 4, 5, 12}",21/94
"{2, 4, 5, 13}",19/86
"{2, 4, 5, 14}",31/146
"{2, 4, 5, 15}",9/38
"{2, 4, 5, 16}",9/41
"{2, 4, 5, 17}",4/19
"{2, 4, 5, 18}",3/14
"{2, 4, 5, 19}",25/122
"{2, 4, 5, 20}",1/5
"{2, 4, 6, 7}",1/4
"{2, 4, 6, 9}",1/4
"{2, 4, 6, 11}",1/4
"{2, 4, 6, 13}",1/4
"{2, 4, 6, 15}",1/4
"{2, 4, 6, 17}",1/4
"{2, 4, 6, 19}",1/4
"{2, 4, 7, 8}",2/9
"{2, 4, 7, 9}",15/62
"{2, 4, 7, 10}",5/22
"{2, 4, 7, 11}",7/30
"{2, 4, 7, 12}",2/9
"{2, 4, 7, 13}",7/30
"{2, 4, 7, 14}",11/54
"{2, 4, 7, 15}",3/14
"{2, 4, 7, 16}",5/23
"{2, 4, 7, 17}",3/14
"{2, 4, 7, 18}",37/176
"{2, 4, 7, 19}",3/14
"{2, 4, 7, 20}",13/66
"{2, 4, 8, 9}",31/142
"{2, 4, 8, 11}",37/170
"{2, 4, 8, 13}",43/198
"{2, 4, 8, 15}",49/226
"{2, 4, 8, 17}",55/254
"{2, 4, 8, 19}",61/282
"{2, 4, 9, 10}",37/166
"{2, 4, 9, 11}",3/13
"{2, 4, 9, 12}",11/50
"{2, 4, 9, 13}",19/86
"{2, 4, 9, 14}",19/94
"{2, 4, 9, 15}",4/17
"{2, 4, 9, 16}",13/61
"{2, 4, 9, 17}",4/19
"{2, 4, 9, 18}",5/24
"{2, 4, 9, 19}",47/227
"{2, 4, 9, 20}",8/41
"{2, 4, 10, 11}",43/194
"{2, 4, 10, 13}",49/222
"{2, 4, 10, 15}",11/50
"{2, 4, 10, 17}",61/278
"{2, 4, 10, 19}",67/306
"{2, 4, 11, 12}",39/178
"{2, 4, 11, 13}",11/48
"{2, 4, 11, 14}",15/74
"{2, 4, 11, 15}",97/434
"{2, 4, 11, 16}",15/71
"{2, 4, 11, 17}",13/56
"{2, 4, 11, 18}",53/256
"{2, 4, 11, 19}",139/658
"{2, 4, 11, 20}",19/98
"{2, 4, 12, 13}",45/206
"{2, 4, 12, 15}",17/78
"{2, 4, 12, 17}",57/262
"{2, 4, 12, 19}",63/290
"{2, 4, 13, 14}",12/59
"{2, 4, 13, 15}",13/56
"{2, 4, 13, 16}",17/81
"{2, 4, 13, 17}",13/60
"{2, 4, 13, 18}",61/296
"{2, 4, 13, 19}",7/32
"{2, 4, 13, 20}",13/66
"{2, 4, 14, 15}",149/746
"{2, 4, 14, 17}",167/838
"{2, 4, 14, 19}",37/186
"{2, 4, 15, 16}",19/91
"{2, 4, 15, 17}",175/766
"{2, 4, 15, 18}",7/34
"{2, 4, 15, 19}",15/68
"{2, 4, 15, 20}",19/98
"{2, 4, 16, 17}",7/33
"{2, 4, 16, 19}",23/111
"{2, 4, 17, 18}",77/376
"{2, 4, 17, 19}",2/9
"{2, 4, 17, 20}",14/73
"{2, 4, 18, 19}",85/416
"{2, 4, 19, 20}",89/458
"{2, 5, 6, 7}",1/4
"{2, 5, 6, 8}",27/118
"{2, 5, 6, 9}",1/4
"{2, 5, 6, 10}",3/14
"{2, 5, 6, 11}",1/4
"{2, 5, 6, 12}",7/34
"{2, 5, 6, 13}",9/38
"{2, 5, 6, 14}",1/5
"{2, 5, 6, 15}",3/14
"{2, 5, 6, 16}",4/21
"{2, 5, 6, 17}",9/46
"{2, 5, 6, 18}",9/46
"{2, 5, 6, 19}",4/21
"{2, 5, 6, 20}",1/5
"{2, 5, 7, 8}",65/271
"{2, 5, 7, 9}",3/11
"{2, 5, 7, 10}",15/62
"{2, 5, 7, 11}",27/113
"{2, 5, 7, 12}",9/34
"{2, 5, 7, 13}",30/131
"{2, 5, 7, 14}",1/4
"{2, 5, 7, 15}",1/4
"{2, 5, 7, 16}",19/79
"{2, 5, 7, 17}",250/1073
"{2, 5, 7, 18}",125/502
"{2, 5, 7, 19}",125/526
"{2, 5, 7, 20}",29/125
"{2, 5, 8, 9}",5/22
"{2, 5, 8, 10}",4/17
"{2, 5, 8, 11}",89/403
"{2, 5, 8, 12}",47/218
"{2, 5, 8, 13}",209/938
"{2, 5, 8, 14}",103/502
"{2, 5, 8, 15}",1/4
"{2, 5, 8, 16}",13/62
"{2, 5, 8, 17}",3/13
"{2, 5, 8, 18}",28/137
"{2, 5, 8, 19}",291/1334
"{2, 5, 8, 20}",1/5
"{2, 5, 9, 10}",15/74
"{2, 5, 9, 11}",3/13
"{2, 5, 9, 12}",3/14
"{2, 5, 9, 13}",33/161
"{2, 5, 9, 14}",5/23
"{2, 5, 9, 15}",12/61
"{2, 5, 9, 16}",2/9
"{2, 5, 9, 17}",4/19
"{2, 5, 9, 18}",5/24
"{2, 5, 9, 19}",47/227
"{2, 5, 9, 20}",6/29
"{2, 5, 10, 11}",39/196
"{2, 5, 10, 12}",21/94
"{2, 5, 10, 13}",2/9
"{2, 5, 10, 14}",5/24
"{2, 5, 10, 15}",1/4
"{2, 5, 10, 16}",4/21
"{2, 5, 10, 17}",5/22
"{2, 5, 10, 18}",13/64
"{2, 5, 10, 19}",49/248
"{2, 5, 10, 20}",3/14
"{2, 5, 11, 12}",51/247
"{2, 5, 11, 13}",5/24
"{2, 5, 11, 14}",11/50
"{2, 5, 11, 15}",3/16
"{2, 5, 11, 16}",11/54
"{2, 5, 11, 17}",3/16
"{2, 5, 11, 18}",1/5
"{2, 5, 11, 19}",4/21
"{2, 5, 11, 20}",6/31
"{2, 5, 12, 13}",3/14
"{2, 5, 12, 14}",67/298
"{2, 5, 12, 15}",2/9
"{2, 5, 12, 16}",7/34
"{2, 5, 12, 17}",5/22
"{2, 5, 12, 18}",7/34
"{2, 5, 12, 19}",5/24
"{2, 5, 12, 20}",1/5
"{2, 5, 13, 14}",1/5
"{2, 5, 13, 15}",2/9
"{2, 5, 13, 16}",1/5
"{2, 5, 13, 17}",4/19
"{2, 5, 13, 18}",13/62
"{2, 5, 13, 19}",1/5
"{2, 5, 13, 20}",1/5
"{2, 5, 14, 15}",51/268
"{2, 5, 14, 16}",2/9
"{2, 5, 14, 17}",13/62
"{2, 5, 14, 18}",16/79
"{2, 5, 14, 19}",5/24
"{2, 5, 14, 20}",17/87
"{2, 5, 15, 16}",73/398
"{2, 5, 15, 17}",4/19
"{2, 5, 15, 18}",9/46
"{2, 5, 15, 19}",4/21
"{2, 5, 15, 20}",3/14
"{2, 5, 16, 17}",201/1117
"{2, 5, 16, 18}",7/34
"{2, 5, 16, 19}",1/5
"{2, 5, 16, 20}",9/49
"{2, 5, 17, 18}",88/481
"{2, 5, 17, 19}",7/36
"{2, 5, 17, 20}",1/5
"{2, 5, 18, 19}",101/527
"{2, 5, 18, 20}",4/19
"{2, 5, 19, 20}",44/229
"{2, 6, 7, 8}",3/13
"{2, 6, 7, 9}",1/4
"{2, 6, 7, 10}",9/43
"{2, 6, 7, 11}",1/4
"{2, 6, 7, 12}",13/66
"{2, 6, 7, 13}",9/38
"{2, 6, 7, 14}",1/5
"{2, 6, 7, 15}",3/14
"{2, 6, 7, 16}",29/158
"{2, 6, 7, 17}",9/46
"{2, 6, 7, 18}",9/50
"{2, 6, 7, 19}",1/5
"{2, 6, 7, 20}",37/194
"{2, 6, 8, 9}",13/58
"{2, 6, 8, 11}",45/202
"{2, 6, 8, 13}",51/230
"{2, 6, 8, 15}",19/86
"{2, 6, 8, 17}",63/286
"{2, 6, 8, 19}",69/314
"{2, 6, 9, 10}",7/34
"{2, 6, 9, 11}",1/4
"{2, 6, 9, 12}",1/5
"{2, 6, 9, 13}",9/38
"{2, 6, 9, 14}",17/86
"{2, 6, 9, 15}",3/14
"{2, 6, 9, 16}",2/11
"{2, 6, 9, 17}",9/46
"{2, 6, 9, 18}",1/6
"{2, 6, 9, 19}",9/50
"{2, 6, 9, 20}",2/11
"{2, 6, 10, 11}",12/59
"{2, 6, 10, 13}",27/134
"{2, 6, 10, 15}",1/5
"{2, 6, 10, 17}",33/166
"{2, 6, 10, 19}",18/91
"{2, 6, 11, 12}",17/90
"{2, 6, 11, 13}",9/38
"{2, 6, 11, 14}",10/51
"{2, 6, 11, 15}",3/14
"{2, 6, 11, 16}",41/230
"{2, 6, 11, 17}",4/19
"{2, 6, 11, 18}",3/17
"{2, 6, 11, 19}",4/21
"{2, 6, 11, 20}",2/11
"{2, 6, 12, 13}",19/102
"{2, 6, 12, 15}",7/38
"{2, 6, 12, 17}",11/58
"{2, 6, 12, 19}",25/138
"{2, 6, 13, 14}",1/5
"{2, 6, 13, 15}",13/56
"{2, 6, 13, 16}",47/266
"{2, 6, 13, 17}",13/60
"{2, 6, 13, 18}",1/6
"{2, 6, 13, 19}",13/64
"{2, 6, 13, 20}",7/38
"{2, 6, 14, 15}",13/67
"{2, 6, 14, 17}",29/150
"{2, 6, 14, 19}",16/83
"{2, 6, 15, 16}",3/17
"{2, 6, 15, 17}",15/64
"{2, 6, 15, 18}",23/142
"{2, 6, 15, 19}",15/68
"{2, 6, 15, 20}",3/17
"{2, 6, 16, 17}",59/338
"{2, 6, 16, 19}",65/374
"{2, 6, 17, 18}",31/188
"{2, 6, 17, 19}",17/72
"{2, 6, 17, 20}",49/281
"{2, 6, 18, 19}",31/188
"{2, 6, 19, 20}",53/307
"{2, 7, 8, 9}",25/106
"{2, 7, 8, 10}",24/103
"{2, 7, 8, 11}",3/14
"{2, 7, 8, 12}",3/14
"{2, 7, 8, 13}",3/14
"{2, 7, 8, 14}",19/94
"{2, 7, 8, 15}",19/83
"{2, 7, 8, 16}",15/74
"{2, 7, 8, 17}",9/38
"{2, 7, 8, 18}",32/163
"{2, 7, 8, 19}",3/14
"{2, 7, 8, 20}",17/89
"{2, 7, 9, 10}",105/446
"{2, 7, 9, 11}",11/40
"{2, 7, 9, 12}",49/211
"{2, 7, 9, 13}",651/2722
"{2, 7, 9, 14}",19/82
"{2, 7, 9, 15}",5/22
"{2, 7, 9, 16}",6/23
"{2, 7, 9, 17}",3/13
"{2, 7, 9, 18}",19/78
"{2, 7, 9, 19}",5/22
"{2, 7, 9, 20}",88/383
"{2, 7, 10, 11}",7/34
"{2, 7, 10, 12}",2/9
"{2, 7, 10, 13}",3/16
"{2, 7, 10, 14}",1/5
"{2, 7, 10, 15}",1/5
"{2, 7, 10, 16}",9/46
"{2, 7, 10, 17}",5/24
"{2, 7, 10, 18}",7/34
"{2, 7, 10, 19}",3/14
"{2, 7, 10, 20}",5/26
"{2, 7, 11, 12}",3/14
"{2, 7, 11, 13}",7/30
"{2, 7, 11, 14}",25/124
"{2, 7, 11, 15}",777/3698
"{2, 7, 11, 16}",11/54
"{2, 7, 11, 17}",7/36
"{2, 7, 11, 18}",7/32
"{2, 7, 11, 19}",1/5
"{2, 7, 11, 20}",11/54
"{2, 7, 12, 13}",63/331
"{2, 7, 12, 14}",11/50
"{2, 7, 12, 15}",23/123
"{2, 7, 12, 16}",19/97
"{2, 7, 12, 17}",5/24
"{2, 7, 12, 18}",7/38
"{2, 7, 12, 19}",559/2486
"{2, 7, 12, 20}",3/16
"{2, 7, 13, 14}",21/106
"{2, 7, 13, 15}",3/14
"{2, 7, 13, 16}",9/46
"{2, 7, 13, 17}",301/1606
"{2, 7, 13, 18}",13/62
"{2, 7, 13, 19}",7/40
"{2, 7, 13, 20}",13/66
"{2, 7, 14, 15}",23/118
"{2, 7, 14, 16}",2/9
"{2, 7, 14, 17}",37/184
"{2, 7, 14, 18}",39/194
"{2, 7, 14, 19}",2/9
"{2, 7, 14, 20}",7/37
"{2, 7, 15, 16}",84/457
"{2, 7, 15, 17}",7/32
"{2, 7, 15, 18}",63/334
"{2, 7, 15, 19}",13/68
"{2, 7, 15, 20}",3/14
"{2, 7, 16, 17}",91/503
"{2, 7, 16, 18}",5/23
"{2, 7, 16, 19}",1/5
"{2, 7, 16, 20}",11/54
"{2, 7, 17, 18}",9/50
"{2, 7, 17, 19}",3/14
"{2, 7, 17, 20}",5/27
"{2, 7, 18, 19}",203/1202
"{2, 7, 18, 20}",4/19
"{2, 7, 19, 20}",217/1306
"{2, 8, 9, 10}",4/17
"{2, 8, 9, 11}",3/13
"{2, 8, 9, 12}",3/14
"{2, 8, 9, 13}",163/761
"{2, 8, 9, 14}",163/814
"{2, 8, 9, 15}",63/289
"{2, 8, 9, 16}",17/86
"{2, 8, 9, 17}",3/13
"{2, 8, 9, 18}",4/21
"{2, 8, 9, 19}",2/9
"{2, 8, 9, 20}",19/103
"{2, 8, 10, 11}",32/139
"{2, 8, 10, 13}",36/157
"{2, 8, 10, 15}",8/35
"{2, 8, 10, 17}",44/193
"{2, 8, 10, 19}",48/211
"{2, 8, 11, 12}",17/79
"{2, 8, 11, 13}",7/30
"{2, 8, 11, 14}",1/5
"{2, 8, 11, 15}",35/166
"{2, 8, 11, 16}",1/5
"{2, 8, 11, 17}",479/2318
"{2, 8, 11, 18}",11/58
"{2, 8, 11, 19}",105/514
"{2, 8, 11, 20}",7/39
"{2, 8, 12, 13}",19/89
"{2, 8, 12, 15}",7/33
"{2, 8, 12, 17}",23/109
"{2, 8, 12, 19}",25/119
"{2, 8, 13, 14}",40/199
"{2, 8, 13, 15}",13/56
"{2, 8, 13, 16}",21/110
"{2, 8, 13, 17}",4/19
"{2, 8, 13, 18}",4/21
"{2, 8, 13, 19}",11/54
"{2, 8, 13, 20}",4/21
"{2, 8, 14, 15}",44/221
"{2, 8, 14, 17}",16/81
"{2, 8, 14, 19}",52/265
"{2, 8, 15, 16}",23/122
"{2, 8, 15, 17}",337/1531
"{2, 8, 15, 18}",16/89
"{2, 8, 15, 19}",3/14
"{2, 8, 15, 20}",4/23
"{2, 8, 16, 17}",25/134
"{2, 8, 16, 19}",27/146
"{2, 8, 17, 18}",52/293
"{2, 8, 17, 19}",413/1903
"{2, 8, 17, 20}",9/53
"{2, 8, 18, 19}",56/319
"{2, 8, 19, 20}",29/173
"{2, 9, 10, 11}",3/14
"{2, 9, 10, 12}",11/50
"{2, 9, 10, 13}",1/5
"{2, 9, 10, 14}",17/86
"{2, 9, 10, 15}",12/61
"{2, 9, 10, 16}",3/16
"{2, 9, 10, 17}",2/9
"{2, 9, 10, 18}",3/16
"{2, 9, 10, 19}",13/56
"{2, 9, 10, 20}",5/26
"{2, 9, 11, 12}",3/13
"{2, 9, 11, 13}",4/15
"{2, 9, 11, 14}",11/46
"{2, 9, 11, 15}",52/217
"{2, 9, 11, 16}",189/838
"{2, 9, 11, 17}",191/878
"{2, 9, 11, 18}",3/13
"{2, 9, 11, 19}",9/40
"{2, 9, 11, 20}",15/58
"{2, 9, 12, 13}",3/14
"{2, 9, 12, 14}",29/134
"{2, 9, 12, 15}",1/6
"{2, 9, 12, 16}",1/5
"{2, 9, 12, 17}",11/58
"{2, 9, 12, 18}",1/6
"{2, 9, 12, 19}",13/62
"{2, 9, 12, 20}",11/58
"{2, 9, 13, 14}",12/59
"{2, 9, 13, 15}",4/17
"{2, 9, 13, 16}",1/5
"{2, 9, 13, 17}",5/26
"{2, 9, 13, 18}",23/114
"{2, 9, 13, 19}",3/16
"{2, 9, 13, 20}",697/3454
"{2, 9, 14, 15}",89/472
"{2, 9, 14, 16}",2/9
"{2, 9, 14, 17}",11/62
"{2, 9, 14, 18}",1/5
"{2, 9, 14, 19}",2/11
"{2, 9, 14, 20}",11/58
"{2, 9, 15, 16}",100/533
"{2, 9, 15, 17}",4/19
"{2, 9, 15, 18}",1/6
"{2, 9, 15, 19}",13/68
"{2, 9, 15, 20}",11/58
"{2, 9, 16, 17}",2/11
"{2, 9, 16, 18}",7/33
"{2, 9, 16, 19}",9/50
"{2, 9, 16, 20}",23/119
"{2, 9, 17, 18}",25/138
"{2, 9, 17, 19}",2/9
"{2, 9, 17, 20}",11/58
"{2, 9, 18, 19}",9/50
"{2, 9, 18, 20}",17/78
"{2, 9, 19, 20}",2/11
"{2, 10, 11, 12}",39/178
"{2, 10, 11, 13}",5/24
"{2, 10, 11, 14}",10/51
"{2, 10, 11, 15}",19/100
"{2, 10, 11, 16}",7/39
"{2, 10, 11, 17}",179/934
"{2, 10, 11, 18}",89/488
"{2, 10, 11, 19}",1/5
"{2, 10, 11, 20}",63/326
"{2, 10, 12, 13}",45/206
"{2, 10, 12, 15}",17/78
"{2, 10, 12, 17}",57/262
"{2, 10, 12, 19}",63/290
"{2, 10, 13, 14}",1/5
"{2, 10, 13, 15}",7/34
"{2, 10, 13, 16}",137/769
"{2, 10, 13, 17}",3/16
"{2, 10, 13, 18}",97/544
"{2, 10, 13, 19}",649/3604
"{2, 10, 13, 20}",5/26
"{2, 10, 14, 15}",13/67
"{2, 10, 14, 17}",29/150
"{2, 10, 14, 19}",16/83
"{2, 10, 15, 16}",27/151
"{2, 10, 15, 17}",13/64
"{2, 10, 15, 18}",2/11
"{2, 10, 15, 19}",4/21
"{2, 10, 15, 20}",1/5
"{2, 10, 16, 17}",173/981
"{2, 10, 16, 19}",11/62
"{2, 10, 17, 18}",39/224
"{2, 10, 17, 19}",273/1366
"{2, 10, 17, 20}",27/142
"{2, 10, 18, 19}",43/248
"{2, 10, 19, 20}",29/154
"{2, 11, 12, 13}",5/23
"{2, 11, 12, 14}",97/454
"{2, 11, 12, 15}",29/159
"{2, 11, 12, 16}",23/125
"{2, 11, 12, 17}",57/329
"{2, 11, 12, 18}",95/578
"{2, 11, 12, 19}",1/5
"{2, 11, 12, 20}",13/74
"{2, 11, 13, 14}",5/24
"{2, 11, 13, 15}",15/56
"{2, 11, 13, 16}",7/30
"{2, 11, 13, 17}",13/56
"{2, 11, 13, 18}",11/48
"{2, 11, 13, 19}",5/24
"{2, 11, 13, 20}",277/1246
"{2, 11, 14, 15}",3/16
"{2, 11, 14, 16}",61/277
"{2, 11, 14, 17}",11/62
"{2, 11, 14, 18}",1/5
"{2, 11, 14, 19}",2/11
"{2, 11, 14, 20}",5/26
"{2, 11, 15, 16}",55/302
"{2, 11, 15, 17}",13/56
"{2, 11, 15, 18}",7/34
"{2, 11, 15, 19}",68/353
"{2, 11, 15, 20}",13/62
"{2, 11, 16, 17}",723/4262
"{2, 11, 16, 18}",7/34
"{2, 11, 16, 19}",1/6
"{2, 11, 16, 20}",5/26
"{2, 11, 17, 18}",801/4748
"{2, 11, 17, 19}",5/24
"{2, 11, 17, 20}",5/26
"{2, 11, 18, 19}",243/1498
"{2, 11, 18, 20}",4/19
"{2, 11, 19, 20}",135/809
"{2, 12, 13, 14}",11/50
"{2, 12, 13, 15}",3/14
"{2, 12, 13, 16}",25/139
"{2, 12, 13, 17}",11/60
"{2, 12, 13, 18}",1/6
"{2, 12, 13, 19}",109/622
"{2, 12, 13, 20}",7/41
"{2, 12, 14, 15}",13/62
"{2, 12, 14, 17}",13/62
"{2, 12, 14, 19}",137/662
"{2, 12, 15, 16}",3/17
"{2, 12, 15, 17}",7/32
"{2, 12, 15, 18}",1/6
"{2, 12, 15, 19}",11/62
"{2, 12, 15, 20}",1/6
"{2, 12, 16, 17}",59/338
"{2, 12, 16, 19}",11/62
"{2, 12, 17, 18}",61/376
"{2, 12, 17, 19}",5/24
"{2, 12, 17, 20}",13/74
"{2, 12, 18, 19}",43/262
"{2, 12, 19, 20}",17/106
"{2, 13, 14, 15}",57/268
"{2, 13, 14, 16}",67/307
"{2, 13, 14, 17}",245/1282
"{2, 13, 14, 18}",32/167
"{2, 13, 14, 19}",231/1390
"{2, 13, 14, 20}",61/361
"{2, 13, 15, 16}",3/14
"{2, 13, 15, 17}",5/19
"{2, 13, 15, 18}",339/1636
"{2, 13, 15, 19}",2263/10318
"{2, 13, 15, 20}",3/14
"{2, 13, 16, 17}",911/4938
"{2, 13, 16, 18}",7/34
"{2, 13, 16, 19}",5/29
"{2, 13, 16, 20}",87/478
"{2, 13, 17, 18}",11/60
"{2, 13, 17, 19}",7/32
"{2, 13, 17, 20}",77/414
"{2, 13, 18, 19}",5/32
"{2, 13, 18, 20}",4/19
"{2, 13, 19, 20}",2/13
"{2, 14, 15, 16}",2/9
"{2, 14, 15, 17}",4/19
"{2, 14, 15, 18}",23/122
"{2, 14, 15, 19}",13/68
"{2, 14, 15, 20}",13/79
"{2, 14, 16, 17}",79/367
"{2, 14, 16, 19}",85/397
"{2, 14, 17, 18}",37/199
"{2, 14, 17, 19}",3/14
"{2, 14, 17, 20}",11/62
"{2, 14, 18, 19}",79/430
"{2, 14, 19, 20}",73/463
"{2, 15, 16, 17}",7/33
"{2, 15, 16, 18}",7/34
"{2, 15, 16, 19}",309/1658
"{2, 15, 16, 20}",61/326
"{2, 15, 17, 18}",10/47
"{2, 15, 17, 19}",19/72
"{2, 15, 17, 20}",3/14
"{2, 15, 18, 19}",111/598
"{2, 15, 18, 20}",3/14
"{2, 15, 19, 20}",13/68
"{2, 16, 17, 18}",7/33
"{2, 16, 17, 19}",180/899
"{2, 16, 17, 20}",2/11
"{2, 16, 18, 19}",85/416
"{2, 16, 19, 20}",13/70
"{2, 17, 18, 19}",3/14
"{2, 17, 18, 20}",209/1006
"{2, 17, 19, 20}",59/298
"{2, 18, 19, 20}",8/37
"{3, 4, 5, 6}",14/57
"{3, 4, 5, 7}",41/166
"{3, 4, 5, 8}",11/46
"{3, 4, 5, 9}",3/13
"{3, 4, 5, 10}",5/22
"{3, 4, 5, 11}",53/238
"{3, 4, 5, 12}",1/4
"{3, 4, 5, 13}",59/274
"{3, 4, 5, 14}",31/146
"{3, 4, 5, 15}",9/38
"{3, 4, 5, 16}",17/82
"{3, 4, 5, 17}",71/346
"{3, 4, 5, 18}",5/23
"{3, 4, 5, 19}",77/382
"{3, 4, 5, 20}",1/5
"{3, 4, 6, 7}",13/54
"{3, 4, 6, 8}",2/9
"{3, 4, 6, 9}",1/4
"{3, 4, 6, 10}",19/82
"{3, 4, 6, 11}",17/78
"{3, 4, 6, 12}",3/14
"{3, 4, 6, 13}",4/17
"{3, 4, 6, 14}",3/14
"{3, 4, 6, 15}",3/14
"{3, 4, 6, 16}",4/19
"{3, 4, 6, 17}",23/114
"{3, 4, 6, 18}",3/14
"{3, 4, 6, 19}",11/50
"{3, 4, 6, 20}",1/5
"{3, 4, 7, 8}",1/4
"{3, 4, 7, 9}",19/74
"{3, 4, 7, 10}",3/11
"{3, 4, 7, 11}",5/18
"{3, 4, 7, 12}",1/4
"{3, 4, 7, 13}",415/1754
"{3, 4, 7, 14}",11/46
"{3, 4, 7, 15}",95/386
"{3, 4, 7, 16}",5/22
"{3, 4, 7, 17}",5/22
"{3, 4, 7, 18}",31/134
"{3, 4, 7, 19}",3/13
"{3, 4, 7, 20}",13/54
"{3, 4, 8, 9}",3/13
"{3, 4, 8, 10}",3/14
"{3, 4, 8, 11}",21/89
"{3, 4, 8, 12}",1/4
"{3, 4, 8, 13}",7/34
"{3, 4, 8, 14}",3/14
"{3, 4, 8, 15}",9/38
"{3, 4, 8, 16}",3/14
"{3, 4, 8, 17}",137/626
"{3, 4, 8, 18}",5/23
"{3, 4, 8, 19}",27/130
"{3, 4, 8, 20}",3/14
"{3, 4, 9, 10}",9/38
"{3, 4, 9, 11}",9/40
"{3, 4, 9, 12}",3/14
"{3, 4, 9, 13}",7/32
"{3, 4, 9, 14}",9/46
"{3, 4, 9, 15}",3/16
"{3, 4, 9, 16}",1/5
"{3, 4, 9, 17}",1/5
"{3, 4, 9, 18}",1/6
"{3, 4, 9, 19}",9/46
"{3, 4, 9, 20}",4/23
"{3, 4, 10, 11}",109/511
"{3, 4, 10, 12}",13/62
"{3, 4, 10, 13}",4/17
"{3, 4, 10, 14}",4/17
"{3, 4, 10, 15}",1/5
"{3, 4, 10, 16}",1/5
"{3, 4, 10, 17}",1/5
"{3, 4, 10, 18}",3/14
"{3, 4, 10, 19}",6/29
"{3, 4, 10, 20}",11/58
"{3, 4, 11, 12}",1/4
"{3, 4, 11, 13}",49/239
"{3, 4, 11, 14}",7/30
"{3, 4, 11, 15}",9/38
"{3, 4, 11, 16}",79/389
"{3, 4, 11, 17}",1/5
"{3, 4, 11, 18}",3/14
"{3, 4, 11, 19}",131/658
"{3, 4, 11, 20}",181/956
"{3, 4, 12, 13}",7/34
"{3, 4, 12, 14}",17/82
"{3, 4, 12, 15}",2/9
"{3, 4, 12, 16}",3/14
"{3, 4, 12, 17}",1/5
"{3, 4, 12, 18}",1/5
"{3, 4, 12, 19}",9/46
"{3, 4, 12, 20}",3/16
"{3, 4, 13, 14}",2/9
"{3, 4, 13, 15}",107/567
"{3, 4, 13, 16}",4/19
"{3, 4, 13, 17}",13/60
"{3, 4, 13, 18}",63/335
"{3, 4, 13, 19}",64/343
"{3, 4, 13, 20}",13/66
"{3, 4, 14, 15}",7/34
"{3, 4, 14, 16}",9/43
"{3, 4, 14, 17}",73/362
"{3, 4, 14, 18}",7/32
"{3, 4, 14, 19}",9/46
"{3, 4, 14, 20}",19/104
"{3, 4, 15, 16}",1/5
"{3, 4, 15, 17}",45/241
"{3, 4, 15, 18}",3/14
"{3, 4, 15, 19}",7/34
"{3, 4, 15, 20}",7/39
"{3, 4, 16, 17}",4/19
"{3, 4, 16, 18}",1/5
"{3, 4, 16, 19}",3/14
"{3, 4, 16, 20}",2/9
"{3, 4, 17, 18}",81/427
"{3, 4, 17, 19}",163/862
"{3, 4, 17, 20}",15/74
"{3, 4, 18, 19}",3/14
"{3, 4, 18, 20}",2/11
"{3, 4, 19, 20}",17/92
"{3, 5, 6, 7}",3/14
"{3, 5, 6, 8}",7/30
"{3, 5, 6, 9}",1/4
"{3, 5, 6, 10}",5/22
"{3, 5, 6, 11}",7/32
"{3, 5, 6, 12}",3/14
"{3, 5, 6, 13}",7/32
"{3, 5, 6, 14}",4/17
"{3, 5, 6, 15}",3/14
"{3, 5, 6, 16}",11/54
"{3, 5, 6, 17}",9/44
"{3, 5, 6, 18}",3/14
"{3, 5, 6, 19}",11/50
"{3, 5, 6, 20}",1/5
"{3, 5, 7, 8}",158/673
"{3, 5, 7, 9}",3/14
"{3, 5, 7, 10}",9/38
"{3, 5, 7, 11}",3/14
"{3, 5, 7, 12}",4/17
"{3, 5, 7, 13}",3/14
"{3, 5, 7, 14}",63/314
"{3, 5, 7, 15}",1/4
"{3, 5, 7, 16}",31/146
"{3, 5, 7, 17}",48/239
"{3, 5, 7, 18}",3/14
"{3, 5, 7, 19}",11/52
"{3, 5, 7, 20}",23/110
"{3, 5, 8, 9}",1/4
"{3, 5, 8, 10}",4/17
"{3, 5, 8, 11}",7/26
"{3, 5, 8, 12}",3/13
"{3, 5, 8, 13}",89/334
"{3, 5, 8, 14}",301/1226
"{3, 5, 8, 15}",1/4
"{3, 5, 8, 16}",15/62
"{3, 5, 8, 17}",3/13
"{3, 5, 8, 18}",60/257
"{3, 5, 8, 19}",3/13
"{3, 5, 8, 20}",7/30
"{3, 5, 9, 10}",3/14
"{3, 5, 9, 11}",9/40
"{3, 5, 9, 12}",3/14
"{3, 5, 9, 13}",9/44
"{3, 5, 9, 14}",4/19
"{3, 5, 9, 15}",3/16
"{3, 5, 9, 16}",3/16
"{3, 5, 9, 17}",9/44
"{3, 5, 9, 18}",1/6
"{3, 5, 9, 19}",2/11
"{3, 5, 9, 20}",1/5
"{3, 5, 10, 11}",95/478
"{3, 5, 10, 12}",4/17
"{3, 5, 10, 13}",7/32
"{3, 5, 10, 14}",5/26
"{3, 5, 10, 15}",1/4
"{3, 5, 10, 16}",65/334
"{3, 5, 10, 17}",25/122
"{3, 5, 10, 18}",5/23
"{3, 5, 10, 19}",151/782
"{3, 5, 10, 20}",3/14
"{3, 5, 11, 12}",95/467
"{3, 5, 11, 13}",5/24
"{3, 5, 11, 14}",4/17
"{3, 5, 11, 15}",31/162
"{3, 5, 11, 16}",2/9
"{3, 5, 11, 17}",56/271
"{3, 5, 11, 18}",41/190
"{3, 5, 11, 19}",5/24
"{3, 5, 11, 20}",62/313
"{3, 5, 12, 13}",7/32
"{3, 5, 12, 14}",58/289
"{3, 5, 12, 15}",2/9
"{3, 5, 12, 16}",1/5
"{3, 5, 12, 17}",6/29
"{3, 5, 12, 18}",1/5
"{3, 5, 12, 19}",6/31
"{3, 5, 12, 20}",1/5
"{3, 5, 13, 14}",7/36
"{3, 5, 13, 15}",7/32
"{3, 5, 13, 16}",151/706
"{3, 5, 13, 17}",9/44
"{3, 5, 13, 18}",5/23
"{3, 5, 13, 19}",159/814
"{3, 5, 13, 20}",1/5
"{3, 5, 14, 15}",17/94
"{3, 5, 14, 16}",3/14
"{3, 5, 14, 17}",13/62
"{3, 5, 14, 18}",9/52
"{3, 5, 14, 19}",7/33
"{3, 5, 14, 20}",34/191
"{3, 5, 15, 16}",41/222
"{3, 5, 15, 17}",3/16
"{3, 5, 15, 18}",3/14
"{3, 5, 15, 19}",22/129
"{3, 5, 15, 20}",3/14
"{3, 5, 16, 17}",149/742
"{3, 5, 16, 18}",7/34
"{3, 5, 16, 19}",5/24
"{3, 5, 16, 20}",41/214
"{3, 5, 17, 18}",2/11
"{3, 5, 17, 19}",1/5
"{3, 5, 17, 20}",8/37
"{3, 5, 18, 19}",189/1097
"{3, 5, 18, 20}",1/5
"{3, 5, 19, 20}",88/497
"{3, 6, 7, 8}",3/14
"{3, 6, 7, 9}",1/4
"{3, 6, 7, 10}",4/17
"{3, 6, 7, 11}",3/14
"{3, 6, 7, 12}",3/14
"{3, 6, 7, 13}",9/40
"{3, 6, 7, 14}",11/54
"{3, 6, 7, 15}",3/14
"{3, 6, 7, 16}",5/22
"{3, 6, 7, 17}",23/114
"{3, 6, 7, 18}",3/14
"{3, 6, 7, 19}",11/52
"{3, 6, 7, 20}",1/5
"{3, 6, 8, 9}",1/4
"{3, 6, 8, 10}",19/87
"{3, 6, 8, 11}",9/38
"{3, 6, 8, 12}",3/14
"{3, 6, 8, 13}",1/5
"{3, 6, 8, 14}",5/22
"{3, 6, 8, 15}",3/14
"{3, 6, 8, 16}",3/14
"{3, 6, 8, 17}",9/40
"{3, 6, 8, 18}",3/14
"{3, 6, 8, 19}",9/44
"{3, 6, 8, 20}",7/33
"{3, 6, 9, 10}",1/4
"{3, 6, 9, 11}",1/4
"{3, 6, 9, 13}",1/4
"{3, 6, 9, 14}",1/4
"{3, 6, 9, 16}",1/4
"{3, 6, 9, 17}",1/4
"{3, 6, 9, 19}",1/4
"{3, 6, 9, 20}",1/4
"{3, 6, 10, 11}",7/36
"{3, 6, 10, 12}",3/14
"{3, 6, 10, 13}",7/30
"{3, 6, 10, 14}",1/5
"{3, 6, 10, 15}",3/14
"{3, 6, 10, 16}",5/22
"{3, 6, 10, 17}",1/5
"{3, 6, 10, 18}",3/14
"{3, 6, 10, 19}",13/58
"{3, 6, 10, 20}",7/36
"{3, 6, 11, 12}",3/14
"{3, 6, 11, 13}",7/34
"{3, 6, 11, 14}",11/48
"{3, 6, 11, 15}",3/14
"{3, 6, 11, 16}",7/34
"{3, 6, 11, 17}",25/114
"{3, 6, 11, 18}",3/14
"{3, 6, 11, 19}",5/26
"{3, 6, 11, 20}",5/23
"{3, 6, 12, 13}",3/14
"{3, 6, 12, 14}",3/14
"{3, 6, 12, 16}",3/14
"{3, 6, 12, 17}",3/14
"{3, 6, 12, 19}",3/14
"{3, 6, 12, 20}",3/14
"{3, 6, 13, 14}",145/708
"{3, 6, 13, 15}",3/14
"{3, 6, 13, 16}",13/58
"{3, 6, 13, 17}",17/90
"{3, 6, 13, 18}",3/14
"{3, 6, 13, 19}",11/50
"{3, 6, 13, 20}",5/26
"{3, 6, 14, 15}",3/14
"{3, 6, 14, 16}",3/16
"{3, 6, 14, 17}",7/31
"{3, 6, 14, 18}",3/14
"{3, 6, 14, 19}",1/5
"{3, 6, 14, 20}",7/33
"{3, 6, 15, 16}",3/14
"{3, 6, 15, 17}",3/14
"{3, 6, 15, 19}",3/14
"{3, 6, 15, 20}",3/14
"{3, 6, 16, 17}",9/46
"{3, 6, 16, 18}",3/14
"{3, 6, 16, 19}",8/35
"{3, 6, 16, 20}",9/46
"{3, 6, 17, 18}",3/14
"{3, 6, 17, 19}",467/2370
"{3, 6, 17, 20}",5/22
"{3, 6, 18, 19}",3/14
"{3, 6, 18, 20}",3/14
"{3, 6, 19, 20}",23/126
"{3, 7, 8, 9}",3/16
"{3, 7, 8, 10}",4/17
"{3, 7, 8, 11}",2/9
"{3, 7, 8, 12}",4/19
"{3, 7, 8, 13}",3/14
"{3, 7, 8, 14}",9/46
"{3, 7, 8, 15}",5/22
"{3, 7, 8, 16}",81/446
"{3, 7, 8, 17}",3/16
"{3, 7, 8, 18}",3/14
"{3, 7, 8, 19}",127/682
"{3, 7, 8, 20}",11/54
"{3, 7, 9, 10}",9/38
"{3, 7, 9, 11}",1/5
"{3, 7, 9, 12}",3/14
"{3, 7, 9, 13}",9/40
"{3, 7, 9, 14}",1/5
"{3, 7, 9, 15}",3/16
"{3, 7, 9, 16}",5/23
"{3, 7, 9, 17}",7/40
"{3, 7, 9, 18}",1/6
"{3, 7, 9, 19}",11/52
"{3, 7, 9, 20}",1/6
"{3, 7, 10, 11}",4/17
"{3, 7, 10, 12}",3/13
"{3, 7, 10, 13}",77/291
"{3, 7, 10, 14}",3/13
"{3, 7, 10, 15}",14/65
"{3, 7, 10, 16}",11/46
"{3, 7, 10, 17}",66/251
"{3, 7, 10, 18}",3/13
"{3, 7, 10, 19}",58/277
"{3, 7, 10, 20}",19/82
"{3, 7, 11, 12}",122/601
"{3, 7, 11, 13}",133/622
"{3, 7, 11, 14}",21/94
"{3, 7, 11, 15}",5/24
"{3, 7, 11, 16}",7/36
"{3, 7, 11, 17}",151/766
"{3, 7, 11, 18}",11/50
"{3, 7, 11, 19}",7/36
"{3, 7, 11, 20}",7/36
"{3, 7, 12, 13}",147/695
"{3, 7, 12, 14}",19/94
"{3, 7, 12, 15}",2/9
"{3, 7, 12, 16}",3/14
"{3, 7, 12, 17}",1/5
"{3, 7, 12, 18}",1/5
"{3, 7, 12, 19}",11/52
"{3, 7, 12, 20}",3/16
"{3, 7, 13, 14}",135/682
"{3, 7, 13, 15}",161/846
"{3, 7, 13, 16}",9/38
"{3, 7, 13, 17}",141/710
"{3, 7, 13, 18}",84/451
"{3, 7, 13, 19}",5/26
"{3, 7, 13, 20}",1451/6586
"{3, 7, 14, 15}",1/5
"{3, 7, 14, 16}",6/31
"{3, 7, 14, 17}",29/130
"{3, 7, 14, 18}",11/50
"{3, 7, 14, 19}",27/142
"{3, 7, 14, 20}",99/502
"{3, 7, 15, 16}",182/1017
"{3, 7, 15, 17}",7/39
"{3, 7, 15, 18}",3/14
"{3, 7, 15, 19}",7/34
"{3, 7, 15, 20}",1/6
"{3, 7, 16, 17}",3/16
"{3, 7, 16, 18}",30/181
"{3, 7, 16, 19}",9/44
"{3, 7, 16, 20}",11/54
"{3, 7, 17, 18}",13/70
"{3, 7, 17, 19}",163/862
"{3, 7, 17, 20}",8/37
"{3, 7, 18, 19}",13/74
"{3, 7, 18, 20}",1/6
"{3, 7, 19, 20}",2/11
"{3, 8, 9, 10}",7/38
"{3, 8, 9, 11}",9/38
"{3, 8, 9, 12}",3/14
"{3, 8, 9, 13}",3/16
"{3, 8, 9, 14}",5/22
"{3, 8, 9, 15}",3/16
"{3, 8, 9, 16}",2/11
"{3, 8, 9, 17}",11/50
"{3, 8, 9, 18}",1/6
"{3, 8, 9, 19}",1/6
"{3, 8, 9, 20}",6/29
"{3, 8, 10, 11}",9/38
"{3, 8, 10, 12}",1/5
"{3, 8, 10, 13}",5/23
"{3, 8, 10, 14}",11/53
"{3, 8, 10, 15}",31/150
"{3, 8, 10, 16}",9/46
"{3, 8, 10, 17}",13/67
"{3, 8, 10, 18}",3/14
"{3, 8, 10, 19}",5/27
"{3, 8, 10, 20}",2/11
"{3, 8, 11, 12}",38/167
"{3, 8, 11, 13}",480/2149
"{3, 8, 11, 14}",5/19
"{3, 8, 11, 15}",80/373
"{3, 8, 11, 16}",23/98
"{3, 8, 11, 17}",624/2729
"{3, 8, 11, 18}",104/479
"{3, 8, 11, 19}",4/15
"{3, 8, 11, 20}",135/626
"{3, 8, 12, 13}",1/5
"{3, 8, 12, 14}",17/82
"{3, 8, 12, 15}",2/9
"{3, 8, 12, 16}",1/5
"{3, 8, 12, 17}",103/490
"{3, 8, 12, 18}",1/5
"{3, 8, 12, 19}",6/31
"{3, 8, 12, 20}",3/14
"{3, 8, 13, 14}",3/14
"{3, 8, 13, 15}",3/16
"{3, 8, 13, 16}",11/50
"{3, 8, 13, 17}",601/3151
"{3, 8, 13, 18}",5/26
"{3, 8, 13, 19}",47/233
"{3, 8, 13, 20}",24/131
"{3, 8, 14, 15}",32/167
"{3, 8, 14, 16}",11/58
"{3, 8, 14, 17}",9/40
"{3, 8, 14, 18}",24/127
"{3, 8, 14, 19}",13/66
"{3, 8, 14, 20}",96/487
"{3, 8, 15, 16}",23/126
"{3, 8, 15, 17}",3/16
"{3, 8, 15, 18}",3/14
"{3, 8, 15, 19}",4/23
"{3, 8, 15, 20}",3/14
"{3, 8, 16, 17}",9/50
"{3, 8, 16, 18}",5/26
"{3, 8, 16, 19}",31/146
"{3, 8, 16, 20}",7/38
"{3, 8, 17, 18}",116/701
"{3, 8, 17, 19}",5/27
"{3, 8, 17, 20}",15/74
"{3, 8, 18, 19}",1/6
"{3, 8, 18, 20}",7/38
"{3, 8, 19, 20}",32/173
"{3, 9, 10, 11}",118/629
"{3, 9, 10, 12}",3/14
"{3, 9, 10, 13}",11/46
"{3, 9, 10, 14}",3/17
"{3, 9, 10, 15}",3/16
"{3, 9, 10, 16}",3/13
"{3, 9, 10, 17}",1/6
"{3, 9, 10, 18}",1/6
"{3, 9, 10, 19}",3/14
"{3, 9, 10, 20}",7/38
"{3, 9, 11, 12}",3/14
"{3, 9, 11, 13}",5/28
"{3, 9, 11, 14}",6/25
"{3, 9, 11, 15}",3/16
"{3, 9, 11, 16}",1/6
"{3, 9, 11, 17}",3/13
"{3, 9, 11, 18}",1/6
"{3, 9, 11, 19}",5/28
"{3, 9, 11, 20}",6/29
"{3, 9, 12, 13}",3/14
"{3, 9, 12, 14}",3/14
"{3, 9, 12, 16}",3/14
"{3, 9, 12, 17}",3/14
"{3, 9, 12, 19}",3/14
"{3, 9, 12, 20}",3/14
"{3, 9, 13, 14}",1/6
"{3, 9, 13, 15}",3/16
"{3, 9, 13, 16}",6/25
"{3, 9, 13, 17}",1/6
"{3, 9, 13, 18}",1/6
"{3, 9, 13, 19}",3/14
"{3, 9, 13, 20}",229/1337
"{3, 9, 14, 15}",3/16
"{3, 9, 14, 16}",4/23
"{3, 9, 14, 17}",3/13
"{3, 9, 14, 18}",1/6
"{3, 9, 14, 19}",4/23
"{3, 9, 14, 20}",6/29
"{3, 9, 15, 16}",3/16
"{3, 9, 15, 17}",3/16
"{3, 9, 15, 19}",3/16
"{3, 9, 15, 20}",3/16
"{3, 9, 16, 17}",47/277
"{3, 9, 16, 18}",1/6
"{3, 9, 16, 19}",8/35
"{3, 9, 16, 20}",1/6
"{3, 9, 17, 18}",1/6
"{3, 9, 17, 19}",1/6
"{3, 9, 17, 20}",17/74
"{3, 9, 18, 19}",1/6
"{3, 9, 18, 20}",1/6
"{3, 9, 19, 20}",1/6
"{3, 10, 11, 12}",2/11
"{3, 10, 11, 13}",7/32
"{3, 10, 11, 14}",11/53
"{3, 10, 11, 15}",5/26
"{3, 10, 11, 16}",49/257
"{3, 10, 11, 17}",5/26
"{3, 10, 11, 18}",6/29
"{3, 10, 11, 19}",31/173
"{3, 10, 11, 20}",19/106
"{3, 10, 12, 13}",102/463
"{3, 10, 12, 14}",2/11
"{3, 10, 12, 15}",2/9
"{3, 10, 12, 16}",57/278
"{3, 10, 12, 17}",2/11
"{3, 10, 12, 18}",1/5
"{3, 10, 12, 19}",12/59
"{3, 10, 12, 20}",2/11
"{3, 10, 13, 14}",11/46
"{3, 10, 13, 15}",3/14
"{3, 10, 13, 16}",6/23
"{3, 10, 13, 17}",835/3773
"{3, 10, 13, 18}",15/68
"{3, 10, 13, 19}",965/4171
"{3, 10, 13, 20}",27/118
"{3, 10, 14, 15}",5/29
"{3, 10, 14, 16}",1/5
"{3, 10, 14, 17}",2/9
"{3, 10, 14, 18}",3/17
"{3, 10, 14, 19}",97/554
"{3, 10, 14, 20}",11/58
"{3, 10, 15, 16}",41/222
"{3, 10, 15, 17}",3/16
"{3, 10, 15, 18}",3/14
"{3, 10, 15, 19}",113/630
"{3, 10, 15, 20}",1/5
"{3, 10, 16, 17}",11/54
"{3, 10, 16, 18}",5/26
"{3, 10, 16, 19}",5/22
"{3, 10, 16, 20}",25/131
"{3, 10, 17, 18}",1/6
"{3, 10, 17, 19}",5/26
"{3, 10, 17, 20}",31/142
"{3, 10, 18, 19}",97/554
"{3, 10, 18, 20}",5/28
"{3, 10, 19, 20}",27/154
"{3, 11, 12, 13}",4/23
"{3, 11, 12, 14}",118/535
"{3, 11, 12, 15}",2/9
"{3, 11, 12, 16}",4/23
"{3, 11, 12, 17}",263/1271
"{3, 11, 12, 18}",1/5
"{3, 11, 12, 19}",4/23
"{3, 11, 12, 20}",37/184
"{3, 11, 13, 14}",2/9
"{3, 11, 13, 15}",5/28
"{3, 11, 13, 16}",5/24
"{3, 11, 13, 17}",56/311
"{3, 11, 13, 18}",5/28
"{3, 11, 13, 19}",13/64
"{3, 11, 13, 20}",52/313
"{3, 11, 14, 15}",7/34
"{3, 11, 14, 16}",4/17
"{3, 11, 14, 17}",13/50
"{3, 11, 14, 18}",25/116
"{3, 11, 14, 19}",11/50
"{3, 11, 14, 20}",85/382
"{3, 11, 15, 16}",11/62
"{3, 11, 15, 17}",47/257
"{3, 11, 15, 18}",3/14
"{3, 11, 15, 19}",31/162
"{3, 11, 15, 20}",3/17
"{3, 11, 16, 17}",1/5
"{3, 11, 16, 18}",1/6
"{3, 11, 16, 19}",3/14
"{3, 11, 16, 20}",1/6
"{3, 11, 17, 18}",13/70
"{3, 11, 17, 19}",1/5
"{3, 11, 17, 20}",5/23
"{3, 11, 18, 19}",13/74
"{3, 11, 18, 20}",52/313
"{3, 11, 19, 20}",115/626
"{3, 12, 13, 14}",1/6
"{3, 12, 13, 15}",2/9
"{3, 12, 13, 16}",5/23
"{3, 12, 13, 17}",1/6
"{3, 12, 13, 18}",1/5
"{3, 12, 13, 19}",327/1619
"{3, 12, 13, 20}",1/6
"{3, 12, 14, 15}",2/9
"{3, 12, 14, 16}",1/6
"{3, 12, 14, 17}",9/40
"{3, 12, 14, 18}",1/5
"{3, 12, 14, 19}",1/6
"{3, 12, 14, 20}",23/113
"{3, 12, 15, 16}",2/9
"{3, 12, 15, 17}",2/9
"{3, 12, 15, 19}",2/9
"{3, 12, 15, 20}",2/9
"{3, 12, 16, 17}",1/6
"{3, 12, 16, 18}",1/5
"{3, 12, 16, 19}",21/97
"{3, 12, 16, 20}",1/6
"{3, 12, 17, 18}",1/5
"{3, 12, 17, 19}",1/6
"{3, 12, 17, 20}",5/23
"{3, 12, 18, 19}",1/5
"{3, 12, 18, 20}",1/5
"{3, 12, 19, 20}",1/6
"{3, 13, 14, 15}",17/99
"{3, 13, 14, 16}",6/29
"{3, 13, 14, 17}",13/62
"{3, 13, 14, 18}",1/6
"{3, 13, 14, 19}",11/64
"{3, 13, 14, 20}",5/27
"{3, 13, 15, 16}",6/29
"{3, 13, 15, 17}",5/28
"{3, 13, 15, 18}",3/14
"{3, 13, 15, 19}",181/981
"{3, 13, 15, 20}",5/28
"{3, 13, 16, 17}",4/19
"{3, 13, 16, 18}",6/29
"{3, 13, 16, 19}",15/58
"{3, 13, 16, 20}",5/22
"{3, 13, 17, 18}",1/6
"{3, 13, 17, 19}",157/862
"{3, 13, 17, 20}",72/359
"{3, 13, 18, 19}",11/64
"{3, 13, 18, 20}",11/62
"{3, 13, 19, 20}",5/26
"{3, 14, 15, 16}",5/29
"{3, 14, 15, 17}",13/64
"{3, 14, 15, 18}",3/14
"{3, 14, 15, 19}",5/29
"{3, 14, 15, 20}",27/146
"{3, 14, 16, 17}",613/3005
"{3, 14, 16, 18}",1/6
"{3, 14, 16, 19}",15/73
"{3, 14, 16, 20}",3/17
"{3, 14, 17, 18}",13/62
"{3, 14, 17, 19}",2/9
"{3, 14, 17, 20}",8/31
"{3, 14, 18, 19}",25/151
"{3, 14, 18, 20}",3/17
"{3, 14, 19, 20}",173/994
"{3, 15, 16, 17}",1/6
"{3, 15, 16, 18}",3/14
"{3, 15, 16, 19}",1/5
"{3, 15, 16, 20}",1/6
"{3, 15, 17, 18}",3/14
"{3, 15, 17, 19}",1/6
"{3, 15, 17, 20}",15/74
"{3, 15, 18, 19}",3/14
"{3, 15, 18, 20}",3/14
"{3, 15, 19, 20}",1/6
"{3, 16, 17, 18}",1/6
"{3, 16, 17, 19}",3/14
"{3, 16, 17, 20}",8/37
"{3, 16, 18, 19}",3/14
"{3, 16, 18, 20}",13/79
"{3, 16, 19, 20}",1/5
"{3, 17, 18, 19}",25/151
"{3, 17, 18, 20}",4/19
"{3, 17, 19, 20}",5/24
"{3, 18, 19, 20}",1/6
"{4, 5, 6, 7}",74/319
"{4, 5, 6, 8}",3/14
"{4, 5, 6, 9}",32/131
"{4, 5, 6, 10}",5/22
"{4, 5, 6, 11}",107/467
"{4, 5, 6, 12}",11/54
"{4, 5, 6, 13}",5/22
"{4, 5, 6, 14}",29/146
"{4, 5, 6, 15}",9/38
"{4, 5, 6, 16}",17/82
"{4, 5, 6, 17}",71/346
"{4, 5, 6, 18}",9/46
"{4, 5, 6, 19}",299/1526
"{4, 5, 6, 20}",1/5
"{4, 5, 7, 8}",5/22
"{4, 5, 7, 9}",7/32
"{4, 5, 7, 10}",13/62
"{4, 5, 7, 11}",2/9
"{4, 5, 7, 12}",9/38
"{4, 5, 7, 13}",27/137
"{4, 5, 7, 14}",5/26
"{4, 5, 7, 15}",9/44
"{4, 5, 7, 16}",3/14
"{4, 5, 7, 17}",9/44
"{4, 5, 7, 18}",8/43
"{4, 5, 7, 19}",5/26
"{4, 5, 7, 20}",1/5
"{4, 5, 8, 9}",17/70
"{4, 5, 8, 10}",7/34
"{4, 5, 8, 11}",17/82
"{4, 5, 8, 12}",1/4
"{4, 5, 8, 13}",21/94
"{4, 5, 8, 14}",73/362
"{4, 5, 8, 15}",21/106
"{4, 5, 8, 16}",3/14
"{4, 5, 8, 17}",5/22
"{4, 5, 8, 18}",91/454
"{4, 5, 8, 19}",67/318
"{4, 5, 8, 20}",3/14
"{4, 5, 9, 10}",3/13
"{4, 5, 9, 11}",3/13
"{4, 5, 9, 12}",1/4
"{4, 5, 9, 13}",9/34
"{4, 5, 9, 14}",7/26
"{4, 5, 9, 15}",1/4
"{4, 5, 9, 16}",3/13
"{4, 5, 9, 17}",5/22
"{4, 5, 9, 18}",7/30
"{4, 5, 9, 19}",11/46
"{4, 5, 9, 20}",29/130
"{4, 5, 10, 11}",2/9
"{4, 5, 10, 12}",9/46
"{4, 5, 10, 13}",32/163
"{4, 5, 10, 14}",2/9
"{4, 5, 10, 15}",1/4
"{4, 5, 10, 16}",6/29
"{4, 5, 10, 17}",11/54
"{4, 5, 10, 18}",21/109
"{4, 5, 10, 19}",13/58
"{4, 5, 10, 20}",3/14
"{4, 5, 11, 12}",1/5
"{4, 5, 11, 13}",1/5
"{4, 5, 11, 14}",11/50
"{4, 5, 11, 15}",3/13
"{4, 5, 11, 16}",3/14
"{4, 5, 11, 17}",11/56
"{4, 5, 11, 18}",11/58
"{4, 5, 11, 19}",9/46
"{4, 5, 11, 20}",1/5
"{4, 5, 12, 13}",6/25
"{4, 5, 12, 14}",57/298
"{4, 5, 12, 15}",3/17
"{4, 5, 12, 16}",3/14
"{4, 5, 12, 17}",6/29
"{4, 5, 12, 18}",9/46
"{4, 5, 12, 19}",3/17
"{4, 5, 12, 20}",3/16
"{4, 5, 13, 14}",11/54
"{4, 5, 13, 15}",57/307
"{4, 5, 13, 16}",11/54
"{4, 5, 13, 17}",5/22
"{4, 5, 13, 18}",5/23
"{4, 5, 13, 19}",7/34
"{4, 5, 13, 20}",19/98
"{4, 5, 14, 15}",2/9
"{4, 5, 14, 16}",38/187
"{4, 5, 14, 17}",6/31
"{4, 5, 14, 18}",7/32
"{4, 5, 14, 19}",11/48
"{4, 5, 14, 20}",1/5
"{4, 5, 15, 16}",6/31
"{4, 5, 15, 17}",59/346
"{4, 5, 15, 18}",2/11
"{4, 5, 15, 19}",5/23
"{4, 5, 15, 20}",3/14
"{4, 5, 16, 17}",1/5
"{4, 5, 16, 18}",1/5
"{4, 5, 16, 19}",4/21
"{4, 5, 16, 20}",2/9
"{4, 5, 17, 18}",9/46
"{4, 5, 17, 19}",67/403
"{4, 5, 17, 20}",21/122
"{4, 5, 18, 19}",15/74
"{4, 5, 18, 20}",3/16
"{4, 5, 19, 20}",1/5
"{4, 6, 7, 8}",10/47
"{4, 6, 7, 9}",38/169
"{4, 6, 7, 10}",5/22
"{4, 6, 7, 11}",1/4
"{4, 6, 7, 12}",13/66
"{4, 6, 7, 13}",4/19
"{4, 6, 7, 14}",5/26
"{4, 6, 7, 15}",4/19
"{4, 6, 7, 16}",1/5
"{4, 6, 7, 17}",3/14
"{4, 6, 7, 18}",5/26
"{4, 6, 7, 19}",9/50
"{4, 6, 7, 20}",5/26
"{4, 6, 8, 9}",4/19
"{4, 6, 8, 11}",14/67
"{4, 6, 8, 13}",16/77
"{4, 6, 8, 15}",4/19
"{4, 6, 8, 17}",20/97
"{4, 6, 8, 19}",22/107
"{4, 6, 9, 10}",37/166
"{4, 6, 9, 11}",9/40
"{4, 6, 9, 12}",1/5
"{4, 6, 9, 13}",4/17
"{4, 6, 9, 14}",9/46
"{4, 6, 9, 15}",3/14
"{4, 6, 9, 16}",1/5
"{4, 6, 9, 17}",9/46
"{4, 6, 9, 18}",1/6
"{4, 6, 9, 19}",11/56
"{4, 6, 9, 20}",5/26
"{4, 6, 10, 11}",43/194
"{4, 6, 10, 13}",49/222
"{4, 6, 10, 15}",11/50
"{4, 6, 10, 17}",61/278
"{4, 6, 10, 19}",67/306
"{4, 6, 11, 12}",9/46
"{4, 6, 11, 13}",218/1003
"{4, 6, 11, 14}",47/254
"{4, 6, 11, 15}",11/52
"{4, 6, 11, 16}",11/54
"{4, 6, 11, 17}",5/23
"{4, 6, 11, 18}",3/17
"{4, 6, 11, 19}",11/60
"{4, 6, 11, 20}",8/43
"{4, 6, 12, 13}",19/102
"{4, 6, 12, 15}",7/38
"{4, 6, 12, 17}",11/58
"{4, 6, 12, 19}",25/138
"{4, 6, 13, 14}",53/290
"{4, 6, 13, 15}",94/437
"{4, 6, 13, 16}",7/34
"{4, 6, 13, 17}",13/60
"{4, 6, 13, 18}",25/154
"{4, 6, 13, 19}",7/32
"{4, 6, 13, 20}",9/49
"{4, 6, 14, 15}",7/38
"{4, 6, 14, 17}",65/362
"{4, 6, 14, 19}",9/50
"{4, 6, 15, 16}",14/71
"{4, 6, 15, 17}",120/553
"{4, 6, 15, 18}",31/194
"{4, 6, 15, 19}",5/23
"{4, 6, 15, 20}",7/38
"{4, 6, 16, 17}",46/235
"{4, 6, 16, 19}",50/257
"{4, 6, 17, 18}",1/6
"{4, 6, 17, 19}",440/2047
"{4, 6, 17, 20}",11/61
"{4, 6, 18, 19}",4/25
"{4, 6, 19, 20}",12/67
"{4, 7, 8, 9}",3/14
"{4, 7, 8, 10}",69/346
"{4, 7, 8, 11}",19/82
"{4, 7, 8, 12}",1/4
"{4, 7, 8, 13}",3/14
"{4, 7, 8, 14}",13/66
"{4, 7, 8, 15}",23/106
"{4, 7, 8, 16}",3/14
"{4, 7, 8, 17}",3/14
"{4, 7, 8, 18}",113/578
"{4, 7, 8, 19}",5/23
"{4, 7, 8, 20}",3/14
"{4, 7, 9, 10}",148/761
"{4, 7, 9, 11}",9/40
"{4, 7, 9, 12}",3/14
"{4, 7, 9, 13}",5/22
"{4, 7, 9, 14}",57/290
"{4, 7, 9, 15}",9/44
"{4, 7, 9, 16}",29/122
"{4, 7, 9, 17}",11/52
"{4, 7, 9, 18}",5/26
"{4, 7, 9, 19}",5/26
"{4, 7, 9, 20}",2/9
"{4, 7, 10, 11}",115/514
"{4, 7, 10, 12}",51/274
"{4, 7, 10, 13}",1/5
"{4, 7, 10, 14}",5/22
"{4, 7, 10, 15}",7/34
"{4, 7, 10, 16}",34/171
"{4, 7, 10, 17}",599/2626
"{4, 7, 10, 18}",75/376
"{4, 7, 10, 19}",46/237
"{4, 7, 10, 20}",29/152
"{4, 7, 11, 12}",1/4
"{4, 7, 11, 13}",2/9
"{4, 7, 11, 14}",7/30
"{4, 7, 11, 15}",7/26
"{4, 7, 11, 16}",147/673
"{4, 7, 11, 17}",13/56
"{4, 7, 11, 18}",4/15
"{4, 7, 11, 19}",75/329
"{4, 7, 11, 20}",195/874
"{4, 7, 12, 13}",9/50
"{4, 7, 12, 14}",5/26
"{4, 7, 12, 15}",2/9
"{4, 7, 12, 16}",3/14
"{4, 7, 12, 17}",7/38
"{4, 7, 12, 18}",2/11
"{4, 7, 12, 19}",13/62
"{4, 7, 12, 20}",3/16
"{4, 7, 13, 14}",77/394
"{4, 7, 13, 15}",1085/5858
"{4, 7, 13, 16}",6/29
"{4, 7, 13, 17}",3/14
"{4, 7, 13, 18}",33/179
"{4, 7, 13, 19}",3/17
"{4, 7, 13, 20}",13/66
"{4, 7, 14, 15}",87/446
"{4, 7, 14, 16}",6/31
"{4, 7, 14, 17}",5/22
"{4, 7, 14, 18}",15/68
"{4, 7, 14, 19}",5/26
"{4, 7, 14, 20}",5/26
"{4, 7, 15, 16}",1/5
"{4, 7, 15, 17}",175/958
"{4, 7, 15, 18}",251/1298
"{4, 7, 15, 19}",5/23
"{4, 7, 15, 20}",2/11
"{4, 7, 16, 17}",2/11
"{4, 7, 16, 18}",50/263
"{4, 7, 16, 19}",219/1081
"{4, 7, 16, 20}",2/9
"{4, 7, 17, 18}",2/11
"{4, 7, 17, 19}",91/575
"{4, 7, 17, 20}",15/74
"{4, 7, 18, 19}",7/37
"{4, 7, 18, 20}",3/16
"{4, 7, 19, 20}",7/39
"{4, 8, 9, 10}",7/34
"{4, 8, 9, 11}",17/82
"{4, 8, 9, 12}",1/4
"{4, 8, 9, 13}",5/22
"{4, 8, 9, 14}",109/562
"{4, 8, 9, 15}",4/19
"{4, 8, 9, 16}",3/14
"{4, 8, 9, 17}",56/257
"{4, 8, 9, 18}",1/5
"{4, 8, 9, 19}",5/26
"{4, 8, 9, 20}",3/14
"{4, 8, 10, 11}",1/5
"{4, 8, 10, 13}",9/46
"{4, 8, 10, 15}",21/106
"{4, 8, 10, 17}",23/118
"{4, 8, 10, 19}",5/26
"{4, 8, 11, 12}",1/4
"{4, 8, 11, 13}",7/34
"{4, 8, 11, 14}",127/662
"{4, 8, 11, 15}",3/13
"{4, 8, 11, 16}",3/14
"{4, 8, 11, 17}",23/118
"{4, 8, 11, 18}",5/26
"{4, 8, 11, 19}",13/60
"{4, 8, 11, 20}",3/14
"{4, 8, 12, 13}",1/4
"{4, 8, 12, 15}",1/4
"{4, 8, 12, 17}",1/4
"{4, 8, 12, 19}",1/4
"{4, 8, 13, 14}",145/762
"{4, 8, 13, 15}",21/106
"{4, 8, 13, 16}",3/14
"{4, 8, 13, 17}",27/118
"{4, 8, 13, 18}",5/26
"{4, 8, 13, 19}",11/54
"{4, 8, 13, 20}",3/14
"{4, 8, 14, 15}",11/58
"{4, 8, 14, 17}",6/31
"{4, 8, 14, 19}",9/46
"{4, 8, 15, 16}",3/14
"{4, 8, 15, 17}",9/46
"{4, 8, 15, 18}",13/67
"{4, 8, 15, 19}",29/130
"{4, 8, 15, 20}",3/14
"{4, 8, 16, 17}",3/14
"{4, 8, 16, 19}",3/14
"{4, 8, 17, 18}",5/26
"{4, 8, 17, 19}",9/46
"{4, 8, 17, 20}",3/14
"{4, 8, 18, 19}",47/245
"{4, 8, 19, 20}",3/14
"{4, 9, 10, 11}",4/21
"{4, 9, 10, 12}",7/38
"{4, 9, 10, 13}",4/17
"{4, 9, 10, 14}",2/9
"{4, 9, 10, 15}",1/5
"{4, 9, 10, 16}",38/197
"{4, 9, 10, 17}",4/21
"{4, 9, 10, 18}",1/5
"{4, 9, 10, 19}",3/14
"{4, 9, 10, 20}",3/16
"{4, 9, 11, 12}",9/46
"{4, 9, 11, 13}",105/478
"{4, 9, 11, 14}",519/2902
"{4, 9, 11, 15}",4/19
"{4, 9, 11, 16}",2/9
"{4, 9, 11, 17}",4/21
"{4, 9, 11, 18}",19/102
"{4, 9, 11, 19}",734/3797
"{4, 9, 11, 20}",7/31
"{4, 9, 12, 13}",6/25
"{4, 9, 12, 14}",4/23
"{4, 9, 12, 15}",1/6
"{4, 9, 12, 16}",3/14
"{4, 9, 12, 17}",11/52
"{4, 9, 12, 18}",1/6
"{4, 9, 12, 19}",61/340
"{4, 9, 12, 20}",3/16
"{4, 9, 13, 14}",189/850
"{4, 9, 13, 15}",33/149
"{4, 9, 13, 16}",207/937
"{4, 9, 13, 17}",11/42
"{4, 9, 13, 18}",4/17
"{4, 9, 13, 19}",1845/8726
"{4, 9, 13, 20}",7/34
"{4, 9, 14, 15}",3/16
"{4, 9, 14, 16}",46/247
"{4, 9, 14, 17}",11/52
"{4, 9, 14, 18}",13/60
"{4, 9, 14, 19}",919/4646
"{4, 9, 14, 20}",9/46
"{4, 9, 15, 16}",6/31
"{4, 9, 15, 17}",69/362
"{4, 9, 15, 18}",1/6
"{4, 9, 15, 19}",11/56
"{4, 9, 15, 20}",35/172
"{4, 9, 16, 17}",41/202
"{4, 9, 16, 18}",2/11
"{4, 9, 16, 19}",6/35
"{4, 9, 16, 20}",2/9
"{4, 9, 17, 18}",9/46
"{4, 9, 17, 19}",126/647
"{4, 9, 17, 20}",531/2876
"{4, 9, 18, 19}",29/150
"{4, 9, 18, 20}",7/39
"{4, 9, 19, 20}",5/26
"{4, 10, 11, 12}",4/21
"{4, 10, 11, 13}",74/383
"{4, 10, 11, 14}",2/9
"{4, 10, 11, 15}",4/19
"{4, 10, 11, 16}",4/21
"{4, 10, 11, 17}",11/54
"{4, 10, 11, 18}",1/5
"{4, 10, 11, 19}",3/17
"{4, 10, 11, 20}",3/16
"{4, 10, 12, 13}",9/50
"{4, 10, 12, 15}",1/6
"{4, 10, 12, 17}",83/502
"{4, 10, 12, 19}",46/269
"{4, 10, 13, 14}",25/113
"{4, 10, 13, 15}",57/307
"{4, 10, 13, 16}",9/46
"{4, 10, 13, 17}",1/5
"{4, 10, 13, 18}",210/1129
"{4, 10, 13, 19}",6/29
"{4, 10, 13, 20}",47/248
"{4, 10, 14, 15}",11/50
"{4, 10, 14, 17}",30/137
"{4, 10, 14, 19}",65/298
"{4, 10, 15, 16}",6/31
"{4, 10, 15, 17}",86/485
"{4, 10, 15, 18}",2/11
"{4, 10, 15, 19}",7/34
"{4, 10, 15, 20}",1/5
"{4, 10, 16, 17}",2/11
"{4, 10, 16, 19}",58/327
"{4, 10, 17, 18}",2/11
"{4, 10, 17, 19}",518/2981
"{4, 10, 17, 20}",27/142
"{4, 10, 18, 19}",300/1567
"{4, 10, 19, 20}",3/16
"{4, 11, 12, 13}",9/50
"{4, 11, 12, 14}",9/50
"{4, 11, 12, 15}",3/13
"{4, 11, 12, 16}",3/14
"{4, 11, 12, 17}",11/58
"{4, 11, 12, 18}",5/29
"{4, 11, 12, 19}",13/60
"{4, 11, 12, 20}",3/16
"{4, 11, 13, 14}",9/50
"{4, 11, 13, 15}",3/14
"{4, 11, 13, 16}",7/34
"{4, 11, 13, 17}",223/1102
"{4, 11, 13, 18}",9/50
"{4, 11, 13, 19}",904/5113
"{4, 11, 13, 20}",7/34
"{4, 11, 14, 15}",3/13
"{4, 11, 14, 16}",50/277
"{4, 11, 14, 17}",9/50
"{4, 11, 14, 18}",129/604
"{4, 11, 14, 19}",9/46
"{4, 11, 14, 20}",257/1424
"{4, 11, 15, 16}",267/1241
"{4, 11, 15, 17}",82/383
"{4, 11, 15, 18}",198/917
"{4, 11, 15, 19}",9/34
"{4, 11, 15, 20}",11/52
"{4, 11, 16, 17}",2/11
"{4, 11, 16, 18}",58/331
"{4, 11, 16, 19}",1/5
"{4, 11, 16, 20}",2/9
"{4, 11, 17, 18}",5/29
"{4, 11, 17, 19}",4/21
"{4, 11, 17, 20}",615/3364
"{4, 11, 18, 19}",297/1498
"{4, 11, 18, 20}",31/172
"{4, 11, 19, 20}",49/268
"{4, 12, 13, 14}",53/290
"{4, 12, 13, 15}",7/38
"{4, 12, 13, 16}",3/14
"{4, 12, 13, 17}",7/30
"{4, 12, 13, 18}",11/62
"{4, 12, 13, 19}",4/23
"{4, 12, 13, 20}",3/16
"{4, 12, 14, 15}",17/93
"{4, 12, 14, 17}",233/1324
"{4, 12, 14, 19}",253/1460
"{4, 12, 15, 16}",3/14
"{4, 12, 15, 17}",1/6
"{4, 12, 15, 18}",1/6
"{4, 12, 15, 19}",4/17
"{4, 12, 15, 20}",3/16
"{4, 12, 16, 17}",3/14
"{4, 12, 16, 19}",3/14
"{4, 12, 17, 18}",1/6
"{4, 12, 17, 19}",7/44
"{4, 12, 17, 20}",3/16
"{4, 12, 18, 19}",7/44
"{4, 12, 19, 20}",3/16
"{4, 13, 14, 15}",5/27
"{4, 13, 14, 16}",5/27
"{4, 13, 14, 17}",3/14
"{4, 13, 14, 18}",141/668
"{4, 13, 14, 19}",73/398
"{4, 13, 14, 20}",97/544
"{4, 13, 15, 16}",6/31
"{4, 13, 15, 17}",3/14
"{4, 13, 15, 18}",11/62
"{4, 13, 15, 19}",151/727
"{4, 13, 15, 20}",7/38
"{4, 13, 16, 17}",343/1585
"{4, 13, 16, 18}",11/62
"{4, 13, 16, 19}",6/35
"{4, 13, 16, 20}",2/9
"{4, 13, 17, 18}",351/1522
"{4, 13, 17, 19}",1/5
"{4, 13, 17, 20}",1/5
"{4, 13, 18, 19}",13/74
"{4, 13, 18, 20}",33/196
"{4, 13, 19, 20}",33/196
"{4, 14, 15, 16}",11/58
"{4, 14, 15, 17}",560/3191
"{4, 14, 15, 18}",51/244
"{4, 14, 15, 19}",7/34
"{4, 14, 15, 20}",65/368
"{4, 14, 16, 17}",2/11
"{4, 14, 16, 19}",6/35
"{4, 14, 17, 18}",165/796
"{4, 14, 17, 19}",273/1654
"{4, 14, 17, 20}",359/2048
"{4, 14, 18, 19}",177/860
"{4, 14, 19, 20}",2/11
"{4, 15, 16, 17}",2/11
"{4, 15, 16, 18}",2/11
"{4, 15, 16, 19}",5/23
"{4, 15, 16, 20}",2/9
"{4, 15, 17, 18}",2/11
"{4, 15, 17, 19}",5/24
"{4, 15, 17, 20}",21/122
"{4, 15, 18, 19}",5/23
"{4, 15, 18, 20}",1/6
"{4, 15, 19, 20}",8/39
"{4, 16, 17, 18}",2/11
"{4, 16, 17, 19}",6/35
"{4, 16, 17, 20}",2/9
"{4, 16, 18, 19}",6/35
"{4, 16, 19, 20}",2/9
"{4, 17, 18, 19}",13/74
"{4, 17, 18, 20}",1/6
"{4, 17, 19, 20}",1/6
"{4, 18, 19, 20}",12/67
"{5, 6, 7, 8}",3/14
"{5, 6, 7, 9}",11/53
"{5, 6, 7, 10}",13/62
"{5, 6, 7, 11}",4/17
"{5, 6, 7, 12}",5/22
"{5, 6, 7, 13}",9/38
"{5, 6, 7, 14}",12/61
"{5, 6, 7, 15}",9/44
"{5, 6, 7, 16}",3/14
"{5, 6, 7, 17}",419/2029
"{5, 6, 7, 18}",6/25
"{5, 6, 7, 19}",111/578
"{5, 6, 7, 20}",11/54
"{5, 6, 8, 9}",13/62
"{5, 6, 8, 10}",7/34
"{5, 6, 8, 11}",23/101
"{5, 6, 8, 12}",7/34
"{5, 6, 8, 13}",5/21
"{5, 6, 8, 14}",5/22
"{5, 6, 8, 15}",9/46
"{5, 6, 8, 16}",7/34
"{5, 6, 8, 17}",409/2246
"{5, 6, 8, 18}",9/46
"{5, 6, 8, 19}",11/50
"{5, 6, 8, 20}",1/5
"{5, 6, 9, 10}",5/22
"{5, 6, 9, 11}",9/40
"{5, 6, 9, 12}",1/5
"{5, 6, 9, 13}",1/5
"{5, 6, 9, 14}",5/23
"{5, 6, 9, 15}",3/14
"{5, 6, 9, 16}",2/11
"{5, 6, 9, 17}",1/5
"{5, 6, 9, 18}",1/6
"{5, 6, 9, 19}",11/56
"{5, 6, 9, 20}",1/5
"{5, 6, 10, 11}",4/17
"{5, 6, 10, 12}",7/34
"{5, 6, 10, 13}",19/98
"{5, 6, 10, 14}",11/52
"{5, 6, 10, 15}",1/4
"{5, 6, 10, 16}",13/58
"{5, 6, 10, 17}",103/536
"{5, 6, 10, 18}",9/46
"{5, 6, 10, 19}",27/134
"{5, 6, 10, 20}",3/14
"{5, 6, 11, 12}",7/30
"{5, 6, 11, 13}",7/32
"{5, 6, 11, 14}",64/279
"{5, 6, 11, 15}",4/17
"{5, 6, 11, 16}",11/42
"{5, 6, 11, 17}",6/23
"{5, 6, 11, 18}",1/4
"{5, 6, 11, 19}",11/50
"{5, 6, 11, 20}",74/335
"{5, 6, 12, 13}",61/274
"{5, 6, 12, 14}",11/54
"{5, 6, 12, 15}",7/38
"{5, 6, 12, 16}",1/5
"{5, 6, 12, 17}",3/14
"{5, 6, 12, 18}",1/4
"{5, 6, 12, 19}",11/54
"{5, 6, 12, 20}",7/36
"{5, 6, 13, 14}",11/54
"{5, 6, 13, 15}",1/6
"{5, 6, 13, 16}",289/1579
"{5, 6, 13, 17}",9/44
"{5, 6, 13, 18}",13/62
"{5, 6, 13, 19}",13/64
"{5, 6, 13, 20}",2/11
"{5, 6, 14, 15}",6/29
"{5, 6, 14, 16}",4/19
"{5, 6, 14, 17}",1/5
"{5, 6, 14, 18}",3/16
"{5, 6, 14, 19}",11/50
"{5, 6, 14, 20}",7/34
"{5, 6, 15, 16}",5/22
"{5, 6, 15, 17}",26/149
"{5, 6, 15, 18}",7/44
"{5, 6, 15, 19}",3/17
"{5, 6, 15, 20}",3/14
"{5, 6, 16, 17}",13/66
"{5, 6, 16, 18}",3/17
"{5, 6, 16, 19}",89/479
"{5, 6, 16, 20}",1/5
"{5, 6, 17, 18}",3/14
"{5, 6, 17, 19}",1/5
"{5, 6, 17, 20}",52/281
"{5, 6, 18, 19}",9/46
"{5, 6, 18, 20}",8/49
"{5, 6, 19, 20}",8/39
"{5, 7, 8, 9}",1/5
"{5, 7, 8, 10}",73/318
"{5, 7, 8, 11}",1/5
"{5, 7, 8, 12}",4/19
"{5, 7, 8, 13}",3/14
"{5, 7, 8, 14}",59/302
"{5, 7, 8, 15}",191/898
"{5, 7, 8, 16}",107/594
"{5, 7, 8, 17}",3/16
"{5, 7, 8, 18}",5/26
"{5, 7, 8, 19}",3/16
"{5, 7, 8, 20}",11/54
"{5, 7, 9, 10}",15/74
"{5, 7, 9, 11}",3/14
"{5, 7, 9, 12}",19/85
"{5, 7, 9, 13}",3/16
"{5, 7, 9, 14}",13/58
"{5, 7, 9, 15}",39/202
"{5, 7, 9, 16}",99/454
"{5, 7, 9, 17}",9/44
"{5, 7, 9, 18}",5/26
"{5, 7, 9, 19}",591/3032
"{5, 7, 9, 20}",6/29
"{5, 7, 10, 11}",7/34
"{5, 7, 10, 12}",9/38
"{5, 7, 10, 13}",13/62
"{5, 7, 10, 14}",7/36
"{5, 7, 10, 15}",1/4
"{5, 7, 10, 16}",109/566
"{5, 7, 10, 17}",27/122
"{5, 7, 10, 18}",7/34
"{5, 7, 10, 19}",251/1318
"{5, 7, 10, 20}",3/14
"{5, 7, 11, 12}",507/2389
"{5, 7, 11, 13}",5/24
"{5, 7, 11, 14}",151/778
"{5, 7, 11, 15}",29/167
"{5, 7, 11, 16}",3/14
"{5, 7, 11, 17}",7/36
"{5, 7, 11, 18}",1/5
"{5, 7, 11, 19}",11/60
"{5, 7, 11, 20}",6/31
"{5, 7, 12, 13}",63/281
"{5, 7, 12, 14}",4/17
"{5, 7, 12, 15}",9/38
"{5, 7, 12, 16}",3/14
"{5, 7, 12, 17}",213/814
"{5, 7, 12, 18}",13/61
"{5, 7, 12, 19}",9/34
"{5, 7, 12, 20}",89/400
"{5, 7, 13, 14}",7/36
"{5, 7, 13, 15}",9/44
"{5, 7, 13, 16}",11/58
"{5, 7, 13, 17}",9/44
"{5, 7, 13, 18}",55/251
"{5, 7, 13, 19}",1/5
"{5, 7, 13, 20}",11/54
"{5, 7, 14, 15}",11/58
"{5, 7, 14, 16}",5/23
"{5, 7, 14, 17}",217/1126
"{5, 7, 14, 18}",11/58
"{5, 7, 14, 19}",31/142
"{5, 7, 14, 20}",7/37
"{5, 7, 15, 16}",77/457
"{5, 7, 15, 17}",11/48
"{5, 7, 15, 18}",2/11
"{5, 7, 15, 19}",9/52
"{5, 7, 15, 20}",3/14
"{5, 7, 16, 17}",81/437
"{5, 7, 16, 18}",7/34
"{5, 7, 16, 19}",3/16
"{5, 7, 16, 20}",1/6
"{5, 7, 17, 18}",88/481
"{5, 7, 17, 19}",7/36
"{5, 7, 17, 20}",1/5
"{5, 7, 18, 19}",101/527
"{5, 7, 18, 20}",4/19
"{5, 7, 19, 20}",118/653
"{5, 8, 9, 10}",15/74
"{5, 8, 9, 11}",5/26
"{5, 8, 9, 12}",40/187
"{5, 8, 9, 13}",5/22
"{5, 8, 9, 14}",9/38
"{5, 8, 9, 15}",3/16
"{5, 8, 9, 16}",129/718
"{5, 8, 9, 17}",1/5
"{5, 8, 9, 18}",13/66
"{5, 8, 9, 19}",3/16
"{5, 8, 9, 20}",1/5
"{5, 8, 10, 11}",45/227
"{5, 8, 10, 12}",7/34
"{5, 8, 10, 13}",23/98
"{5, 8, 10, 14}",43/222
"{5, 8, 10, 15}",1/4
"{5, 8, 10, 16}",9/46
"{5, 8, 10, 17}",25/122
"{5, 8, 10, 18}",7/32
"{5, 8, 10, 19}",3/16
"{5, 8, 10, 20}",3/14
"{5, 8, 11, 12}",9/46
"{5, 8, 11, 13}",1279/5638
"{5, 8, 11, 14}",300/1501
"{5, 8, 11, 15}",69/373
"{5, 8, 11, 16}",3/14
"{5, 8, 11, 17}",3/16
"{5, 8, 11, 18}",87/430
"{5, 8, 11, 19}",2/9
"{5, 8, 11, 20}",23/117
"{5, 8, 12, 13}",4/17
"{5, 8, 12, 14}",5/26
"{5, 8, 12, 15}",9/46
"{5, 8, 12, 16}",1/5
"{5, 8, 12, 17}",13/58
"{5, 8, 12, 18}",9/46
"{5, 8, 12, 19}",11/62
"{5, 8, 12, 20}",3/14
"{5, 8, 13, 14}",3/14
"{5, 8, 13, 15}",5/21
"{5, 8, 13, 16}",5/22
"{5, 8, 13, 17}",3/14
"{5, 8, 13, 18}",11/42
"{5, 8, 13, 19}",2/9
"{5, 8, 13, 20}",37/170
"{5, 8, 14, 15}",2/11
"{5, 8, 14, 16}",11/58
"{5, 8, 14, 17}",81/394
"{5, 8, 14, 18}",24/127
"{5, 8, 14, 19}",13/66
"{5, 8, 14, 20}",3/17
"{5, 8, 15, 16}",11/62
"{5, 8, 15, 17}",3/16
"{5, 8, 15, 18}",5/22
"{5, 8, 15, 19}",169/1013
"{5, 8, 15, 20}",3/14
"{5, 8, 16, 17}",217/1214
"{5, 8, 16, 18}",119/638
"{5, 8, 16, 19}",99/446
"{5, 8, 16, 20}",7/38
"{5, 8, 17, 18}",492/2689
"{5, 8, 17, 19}",3/16
"{5, 8, 17, 20}",3/14
"{5, 8, 18, 19}",3/16
"{5, 8, 18, 20}",1/5
"{5, 8, 19, 20}",27/173
"{5, 9, 10, 11}",15/74
"{5, 9, 10, 12}",7/34
"{5, 9, 10, 13}",223/1142
"{5, 9, 10, 14}",3/13
"{5, 9, 10, 15}",1/4
"{5, 9, 10, 16}",15/74
"{5, 9, 10, 17}",23/122
"{5, 9, 10, 18}",13/66
"{5, 9, 10, 19}",29/134
"{5, 9, 10, 20}",3/14
"{5, 9, 11, 12}",1/5
"{5, 9, 11, 13}",1/5
"{5, 9, 11, 14}",11/50
"{5, 9, 11, 15}",3/16
"{5, 9, 11, 16}",2/9
"{5, 9, 11, 17}",3/16
"{5, 9, 11, 18}",11/58
"{5, 9, 11, 19}",11/56
"{5, 9, 11, 20}",6/29
"{5, 9, 12, 13}",200/1103
"{5, 9, 12, 14}",5/23
"{5, 9, 12, 15}",1/6
"{5, 9, 12, 16}",3/14
"{5, 9, 12, 17}",11/52
"{5, 9, 12, 18}",1/6
"{5, 9, 12, 19}",7/34
"{5, 9, 12, 20}",3/16
"{5, 9, 13, 14}",5/23
"{5, 9, 13, 15}",2/11
"{5, 9, 13, 16}",11/58
"{5, 9, 13, 17}",5/26
"{5, 9, 13, 18}",25/114
"{5, 9, 13, 19}",9/44
"{5, 9, 13, 20}",106/557
"{5, 9, 14, 15}",11/46
"{5, 9, 14, 16}",4/19
"{5, 9, 14, 17}",5/23
"{5, 9, 14, 18}",7/30
"{5, 9, 14, 19}",6/23
"{5, 9, 14, 20}",117/545
"{5, 9, 15, 16}",3/16
"{5, 9, 15, 17}",28/167
"{5, 9, 15, 18}",1/6
"{5, 9, 15, 19}",15/68
"{5, 9, 15, 20}",3/14
"{5, 9, 16, 17}",103/566
"{5, 9, 16, 18}",2/11
"{5, 9, 16, 19}",3/16
"{5, 9, 16, 20}",6/29
"{5, 9, 17, 18}",9/46
"{5, 9, 17, 19}",193/1006
"{5, 9, 17, 20}",6/37
"{5, 9, 18, 19}",29/150
"{5, 9, 18, 20}",7/39
"{5, 9, 19, 20}",1/5
"{5, 10, 11, 12}",123/626
"{5, 10, 11, 13}",7/36
"{5, 10, 11, 14}",5/24
"{5, 10, 11, 15}",1/4
"{5, 10, 11, 16}",13/58
"{5, 10, 11, 17}",321/1682
"{5, 10, 11, 18}",3/16
"{5, 10, 11, 19}",5/24
"{5, 10, 11, 20}",3/14
"{5, 10, 12, 13}",9/46
"{5, 10, 12, 14}",37/191
"{5, 10, 12, 15}",1/4
"{5, 10, 12, 16}",11/58
"{5, 10, 12, 17}",13/58
"{5, 10, 12, 18}",7/34
"{5, 10, 12, 19}",94/497
"{5, 10, 12, 20}",3/14
"{5, 10, 13, 14}",89/452
"{5, 10, 13, 15}",1/4
"{5, 10, 13, 16}",5/26
"{5, 10, 13, 17}",9/44
"{5, 10, 13, 18}",7/31
"{5, 10, 13, 19}",11/58
"{5, 10, 13, 20}",3/14
"{5, 10, 14, 15}",1/4
"{5, 10, 14, 16}",5/24
"{5, 10, 14, 17}",23/122
"{5, 10, 14, 18}",51/269
"{5, 10, 14, 19}",5/22
"{5, 10, 14, 20}",3/14
"{5, 10, 15, 16}",1/4
"{5, 10, 15, 17}",1/4
"{5, 10, 15, 18}",1/4
"{5, 10, 15, 19}",1/4
"{5, 10, 16, 17}",4/21
"{5, 10, 16, 18}",3/16
"{5, 10, 16, 19}",11/58
"{5, 10, 16, 20}",3/14
"{5, 10, 17, 18}",23/122
"{5, 10, 17, 19}",263/1366
"{5, 10, 17, 20}",3/14
"{5, 10, 18, 19}",25/134
"{5, 10, 18, 20}",3/14
"{5, 10, 19, 20}",3/14
"{5, 11, 12, 13}",45/247
"{5, 11, 12, 14}",9/50
"{5, 11, 12, 15}",17/97
"{5, 11, 12, 16}",29/125
"{5, 11, 12, 17}",3/14
"{5, 11, 12, 18}",1/5
"{5, 11, 12, 19}",205/1138
"{5, 11, 12, 20}",6/31
"{5, 11, 13, 14}",50/263
"{5, 11, 13, 15}",5/28
"{5, 11, 13, 16}",76/353
"{5, 11, 13, 17}",5/28
"{5, 11, 13, 18}",5/23
"{5, 11, 13, 19}",13/64
"{5, 11, 13, 20}",2/11
"{5, 11, 14, 15}",9/52
"{5, 11, 14, 16}",3/14
"{5, 11, 14, 17}",3/16
"{5, 11, 14, 18}",123/724
"{5, 11, 14, 19}",5/24
"{5, 11, 14, 20}",6/31
"{5, 11, 15, 16}",13/54
"{5, 11, 15, 17}",9/52
"{5, 11, 15, 18}",8/49
"{5, 11, 15, 19}",9/52
"{5, 11, 15, 20}",3/14
"{5, 11, 16, 17}",1364/6167
"{5, 11, 16, 18}",2/9
"{5, 11, 16, 19}",11/53
"{5, 11, 16, 20}",77/355
"{5, 11, 17, 18}",247/1382
"{5, 11, 17, 19}",1359/7148
"{5, 11, 17, 20}",134/747
"{5, 11, 18, 19}",1284/7507
"{5, 11, 18, 20}",3/19
"{5, 11, 19, 20}",6/31
"{5, 12, 13, 14}",50/281
"{5, 12, 13, 15}",1/6
"{5, 12, 13, 16}",239/1319
"{5, 12, 13, 17}",2299/11114
"{5, 12, 13, 18}",5/23
"{5, 12, 13, 19}",3/17
"{5, 12, 13, 20}",3/16
"{5, 12, 14, 15}",25/149
"{5, 12, 14, 16}",25/149
"{5, 12, 14, 17}",3/13
"{5, 12, 14, 18}",3/16
"{5, 12, 14, 19}",7/33
"{5, 12, 14, 20}",3/16
"{5, 12, 15, 16}",1/6
"{5, 12, 15, 17}",15/64
"{5, 12, 15, 18}",1/6
"{5, 12, 15, 19}",13/77
"{5, 12, 15, 20}",3/14
"{5, 12, 16, 17}",179/874
"{5, 12, 16, 18}",3/17
"{5, 12, 16, 19}",6/35
"{5, 12, 16, 20}",1/6
"{5, 12, 17, 18}",6/29
"{5, 12, 17, 19}",162/755
"{5, 12, 17, 20}",3/14
"{5, 12, 18, 19}",9/46
"{5, 12, 18, 20}",3/16
"{5, 12, 19, 20}",11/62
"{5, 13, 14, 15}",55/317
"{5, 13, 14, 16}",1/6
"{5, 13, 14, 17}",11/60
"{5, 13, 14, 18}",83/412
"{5, 13, 14, 19}",5/24
"{5, 13, 14, 20}",3/17
"{5, 13, 15, 16}",11/67
"{5, 13, 15, 17}",11/64
"{5, 13, 15, 18}",5/22
"{5, 13, 15, 19}",2/13
"{5, 13, 15, 20}",3/14
"{5, 13, 16, 17}",11/60
"{5, 13, 16, 18}",7/31
"{5, 13, 16, 19}",6/35
"{5, 13, 16, 20}",2/11
"{5, 13, 17, 18}",9/46
"{5, 13, 17, 19}",293/1812
"{5, 13, 17, 20}",2/11
"{5, 13, 18, 19}",8/37
"{5, 13, 18, 20}",38/179
"{5, 13, 19, 20}",2/13
"{5, 14, 15, 16}",23/142
"{5, 14, 15, 17}",5/31
"{5, 14, 15, 18}",23/142
"{5, 14, 15, 19}",5/22
"{5, 14, 15, 20}",3/14
"{5, 14, 16, 17}",1/6
"{5, 14, 16, 18}",1/6
"{5, 14, 16, 19}",13/66
"{5, 14, 16, 20}",3/17
"{5, 14, 17, 18}",11/70
"{5, 14, 17, 19}",13/66
"{5, 14, 17, 20}",6/37
"{5, 14, 18, 19}",5/22
"{5, 14, 18, 20}",3/17
"{5, 14, 19, 20}",212/995
"{5, 15, 16, 17}",5/31
"{5, 15, 16, 18}",4/23
"{5, 15, 16, 19}",619/3482
"{5, 15, 16, 20}",3/14
"{5, 15, 17, 18}",207/1166
"{5, 15, 17, 19}",11/64
"{5, 15, 17, 20}",3/14
"{5, 15, 18, 19}",1/6
"{5, 15, 18, 20}",3/14
"{5, 15, 19, 20}",3/14
"{5, 16, 17, 18}",11/70
"{5, 16, 17, 19}",6/35
"{5, 16, 17, 20}",1/6
"{5, 16, 18, 19}",6/35
"{5, 16, 18, 20}",3/19
"{5, 16, 19, 20}",1/6
"{5, 17, 18, 19}",11/70
"{5, 17, 18, 20}",6/37
"{5, 17, 19, 20}",6/37
"{5, 18, 19, 20}",2/13
"{6, 7, 8, 9}",3/14
"{6, 7, 8, 10}",41/206
"{6, 7, 8, 11}",45/221
"{6, 7, 8, 12}",13/66
"{6, 7, 8, 13}",9/40
"{6, 7, 8, 14}",7/32
"{6, 7, 8, 15}",5/22
"{6, 7, 8, 16}",15/74
"{6, 7, 8, 17}",103/526
"{6, 7, 8, 18}",9/50
"{6, 7, 8, 19}",1/5
"{6, 7, 8, 20}",29/151
"{6, 7, 9, 10}",4/19
"{6, 7, 9, 11}",3/16
"{6, 7, 9, 12}",1/5
"{6, 7, 9, 13}",9/40
"{6, 7, 9, 14}",5/26
"{6, 7, 9, 15}",3/14
"{6, 7, 9, 16}",11/50
"{6, 7, 9, 17}",5/26
"{6, 7, 9, 18}",1/6
"{6, 7, 9, 19}",23/113
"{6, 7, 9, 20}",1/6
"{6, 7, 10, 11}",3/14
"{6, 7, 10, 12}",13/66
"{6, 7, 10, 13}",5/23
"{6, 7, 10, 14}",39/202
"{6, 7, 10, 15}",1/5
"{6, 7, 10, 16}",25/114
"{6, 7, 10, 17}",11/46
"{6, 7, 10, 18}",3/16
"{6, 7, 10, 19}",73/393
"{6, 7, 10, 20}",7/38
"{6, 7, 11, 12}",3/13
"{6, 7, 11, 13}",9/40
"{6, 7, 11, 14}",3/16
"{6, 7, 11, 15}",18/107
"{6, 7, 11, 16}",5/27
"{6, 7, 11, 17}",3/14
"{6, 7, 11, 18}",6/29
"{6, 7, 11, 19}",11/60
"{6, 7, 11, 20}",5/26
"{6, 7, 12, 13}",23/102
"{6, 7, 12, 14}",13/66
"{6, 7, 12, 15}",7/38
"{6, 7, 12, 16}",13/66
"{6, 7, 12, 17}",25/126
"{6, 7, 12, 18}",1/4
"{6, 7, 12, 19}",11/52
"{6, 7, 12, 20}",7/36
"{6, 7, 13, 14}",25/106
"{6, 7, 13, 15}",4/19
"{6, 7, 13, 16}",41/191
"{6, 7, 13, 17}",9/40
"{6, 7, 13, 18}",15/62
"{6, 7, 13, 19}",17/64
"{6, 7, 13, 20}",7/27
"{6, 7, 14, 15}",5/22
"{6, 7, 14, 16}",3/16
"{6, 7, 14, 17}",5/26
"{6, 7, 14, 18}",5/26
"{6, 7, 14, 19}",33/173
"{6, 7, 14, 20}",8/37
"{6, 7, 15, 16}",13/62
"{6, 7, 15, 17}",11/64
"{6, 7, 15, 18}",43/272
"{6, 7, 15, 19}",303/1711
"{6, 7, 15, 20}",5/26
"{6, 7, 16, 17}",1013/4922
"{6, 7, 16, 18}",3/17
"{6, 7, 16, 19}",2/11
"{6, 7, 16, 20}",13/67
"{6, 7, 17, 18}",5/26
"{6, 7, 17, 19}",1/5
"{6, 7, 17, 20}",108/599
"{6, 7, 18, 19}",11/52
"{6, 7, 18, 20}",1/6
"{6, 7, 19, 20}",1263/6578
"{6, 8, 9, 10}",7/34
"{6, 8, 9, 11}",83/391
"{6, 8, 9, 12}",1/5
"{6, 8, 9, 13}",7/38
"{6, 8, 9, 14}",19/88
"{6, 8, 9, 15}",3/14
"{6, 8, 9, 16}",7/34
"{6, 8, 9, 17}",3/14
"{6, 8, 9, 18}",1/6
"{6, 8, 9, 19}",1/6
"{6, 8, 9, 20}",1/5
"{6, 8, 10, 11}",53/278
"{6, 8, 10, 13}",59/314
"{6, 8, 10, 15}",9/46
"{6, 8, 10, 17}",71/386
"{6, 8, 10, 19}",77/422
"{6, 8, 11, 12}",9/46
"{6, 8, 11, 13}",7/34
"{6, 8, 11, 14}",65/304
"{6, 8, 11, 15}",109/593
"{6, 8, 11, 16}",19/98
"{6, 8, 11, 17}",3/14
"{6, 8, 11, 18}",113/694
"{6, 8, 11, 19}",7/30
"{6, 8, 11, 20}",37/203
"{6, 8, 12, 13}",19/102
"{6, 8, 12, 15}",7/38
"{6, 8, 12, 17}",23/126
"{6, 8, 12, 19}",25/138
"{6, 8, 13, 14}",73/344
"{6, 8, 13, 15}",4/19
"{6, 8, 13, 16}",21/110
"{6, 8, 13, 17}",395/2267
"{6, 8, 13, 18}",1/6
"{6, 8, 13, 19}",11/50
"{6, 8, 13, 20}",4/21
"{6, 8, 14, 15}",3/14
"{6, 8, 14, 17}",89/424
"{6, 8, 14, 19}",97/464
"{6, 8, 15, 16}",9/46
"{6, 8, 15, 17}",1/5
"{6, 8, 15, 18}",47/298
"{6, 8, 15, 19}",165/937
"{6, 8, 15, 20}",3/17
"{6, 8, 16, 17}",25/134
"{6, 8, 16, 19}",27/146
"{6, 8, 17, 18}",23/143
"{6, 8, 17, 19}",581/3125
"{6, 8, 17, 20}",49/281
"{6, 8, 18, 19}",31/188
"{6, 8, 19, 20}",53/307
"{6, 9, 10, 11}",3/16
"{6, 9, 10, 12}",1/5
"{6, 9, 10, 13}",223/1064
"{6, 9, 10, 14}",107/566
"{6, 9, 10, 15}",3/14
"{6, 9, 10, 16}",85/394
"{6, 9, 10, 17}",1/6
"{6, 9, 10, 18}",1/6
"{6, 9, 10, 19}",13/64
"{6, 9, 10, 20}",3/16
"{6, 9, 11, 12}",1/5
"{6, 9, 11, 13}",2/11
"{6, 9, 11, 14}",259/1220
"{6, 9, 11, 15}",3/14
"{6, 9, 11, 16}",1/6
"{6, 9, 11, 17}",5/23
"{6, 9, 11, 18}",1/6
"{6, 9, 11, 19}",569/3170
"{6, 9, 11, 20}",13/62
"{6, 9, 12, 13}",1/5
"{6, 9, 12, 14}",1/5
"{6, 9, 12, 16}",1/5
"{6, 9, 12, 17}",1/5
"{6, 9, 12, 19}",1/5
"{6, 9, 12, 20}",1/5
"{6, 9, 13, 14}",1/6
"{6, 9, 13, 15}",3/14
"{6, 9, 13, 16}",164/781
"{6, 9, 13, 17}",2/11
"{6, 9, 13, 18}",1/6
"{6, 9, 13, 19}",23/113
"{6, 9, 13, 20}",5/29
"{6, 9, 14, 15}",3/14
"{6, 9, 14, 16}",73/415
"{6, 9, 14, 17}",19/92
"{6, 9, 14, 18}",1/6
"{6, 9, 14, 19}",1/6
"{6, 9, 14, 20}",6/29
"{6, 9, 15, 16}",3/14
"{6, 9, 15, 17}",3/14
"{6, 9, 15, 19}",3/14
"{6, 9, 15, 20}",3/14
"{6, 9, 16, 17}",1/6
"{6, 9, 16, 18}",1/6
"{6, 9, 16, 19}",221/1075
"{6, 9, 16, 20}",1/6
"{6, 9, 17, 18}",1/6
"{6, 9, 17, 19}",1/6
"{6, 9, 17, 20}",35/169
"{6, 9, 18, 19}",1/6
"{6, 9, 18, 20}",1/6
"{6, 9, 19, 20}",37/226
"{6, 10, 11, 12}",17/90
"{6, 10, 11, 13}",107/574
"{6, 10, 11, 14}",192/991
"{6, 10, 11, 15}",1/5
"{6, 10, 11, 16}",95/446
"{6, 10, 11, 17}",13/56
"{6, 10, 11, 18}",1/6
"{6, 10, 11, 19}",131/778
"{6, 10, 11, 20}",7/38
"{6, 10, 12, 13}",19/102
"{6, 10, 12, 15}",7/38
"{6, 10, 12, 17}",23/126
"{6, 10, 12, 19}",25/138
"{6, 10, 13, 14}",51/268
"{6, 10, 13, 15}",57/320
"{6, 10, 13, 16}",5/23
"{6, 10, 13, 17}",1/5
"{6, 10, 13, 18}",89/544
"{6, 10, 13, 19}",1/5
"{6, 10, 13, 20}",115/614
"{6, 10, 14, 15}",1/5
"{6, 10, 14, 17}",3/16
"{6, 10, 14, 19}",111/596
"{6, 10, 15, 16}",23/110
"{6, 10, 15, 17}",26/149
"{6, 10, 15, 18}",11/70
"{6, 10, 15, 19}",11/58
"{6, 10, 15, 20}",1/5
"{6, 10, 16, 17}",125/602
"{6, 10, 16, 19}",45/218
"{6, 10, 17, 18}",1/6
"{6, 10, 17, 19}",1231/7328
"{6, 10, 17, 20}",7/38
"{6, 10, 18, 19}",59/364
"{6, 10, 19, 20}",7/38
"{6, 11, 12, 13}",7/34
"{6, 11, 12, 14}",9/46
"{6, 11, 12, 15}",7/38
"{6, 11, 12, 16}",17/90
"{6, 11, 12, 17}",29/126
"{6, 11, 12, 18}",1/4
"{6, 11, 12, 19}",9/46
"{6, 11, 12, 20}",17/90
"{6, 11, 13, 14}",1/5
"{6, 11, 13, 15}",1/6
"{6, 11, 13, 16}",5/27
"{6, 11, 13, 17}",13/60
"{6, 11, 13, 18}",6/31
"{6, 11, 13, 19}",7/32
"{6, 11, 13, 20}",2/11
"{6, 11, 14, 15}",329/1828
"{6, 11, 14, 16}",5/27
"{6, 11, 14, 17}",45/212
"{6, 11, 14, 18}",173/1066
"{6, 11, 14, 19}",1/5
"{6, 11, 14, 20}",7/34
"{6, 11, 15, 16}",365/2042
"{6, 11, 15, 17}",3/14
"{6, 11, 15, 18}",59/376
"{6, 11, 15, 19}",3/17
"{6, 11, 15, 20}",13/62
"{6, 11, 16, 17}",1489/6802
"{6, 11, 16, 18}",1/6
"{6, 11, 16, 19}",3/17
"{6, 11, 16, 20}",5/27
"{6, 11, 17, 18}",13/56
"{6, 11, 17, 19}",3333/15734
"{6, 11, 17, 20}",319/1494
"{6, 11, 18, 19}",31/188
"{6, 11, 18, 20}",3/17
"{6, 11, 19, 20}",3/17
"{6, 12, 13, 14}",19/102
"{6, 12, 13, 15}",7/38
"{6, 12, 13, 16}",19/102
"{6, 12, 13, 17}",25/126
"{6, 12, 13, 18}",1/4
"{6, 12, 13, 19}",31/138
"{6, 12, 13, 20}",19/102
"{6, 12, 14, 15}",7/38
"{6, 12, 14, 17}",11/58
"{6, 12, 14, 19}",25/138
"{6, 12, 15, 16}",7/38
"{6, 12, 15, 17}",7/38
"{6, 12, 15, 19}",7/38
"{6, 12, 15, 20}",7/38
"{6, 12, 16, 17}",11/58
"{6, 12, 16, 19}",25/138
"{6, 12, 17, 18}",1/4
"{6, 12, 17, 19}",1/5
"{6, 12, 17, 20}",11/58
"{6, 12, 18, 19}",1/4
"{6, 12, 19, 20}",25/138
"{6, 13, 14, 15}",185/1042
"{6, 13, 14, 16}",15/86
"{6, 13, 14, 17}",288/1735
"{6, 13, 14, 18}",1/6
"{6, 13, 14, 19}",15/64
"{6, 13, 14, 20}",7/33
"{6, 13, 15, 16}",204/1163
"{6, 13, 15, 17}",11/64
"{6, 13, 15, 18}",3/19
"{6, 13, 15, 19}",1/5
"{6, 13, 15, 20}",1/6
"{6, 13, 16, 17}",2/11
"{6, 13, 16, 18}",119/730
"{6, 13, 16, 19}",3/14
"{6, 13, 16, 20}",33/191
"{6, 13, 17, 18}",6/35
"{6, 13, 17, 19}",1834/8945
"{6, 13, 17, 20}",795/4673
"{6, 13, 18, 19}",15/64
"{6, 13, 18, 20}",1/6
"{6, 13, 19, 20}",7/32
"{6, 14, 15, 16}",5/29
"{6, 14, 15, 17}",11/64
"{6, 14, 15, 18}",71/454
"{6, 14, 15, 19}",1/6
"{6, 14, 15, 20}",7/34
"{6, 14, 16, 17}",1/6
"{6, 14, 16, 19}",1/6
"{6, 14, 17, 18}",33/212
"{6, 14, 17, 19}",13/72
"{6, 14, 17, 20}",13/62
"{6, 14, 18, 19}",31/188
"{6, 14, 19, 20}",125/614
"{6, 15, 16, 17}",1/6
"{6, 15, 16, 18}",79/506
"{6, 15, 16, 19}",549/3178
"{6, 15, 16, 20}",7/43
"{6, 15, 17, 18}",83/532
"{6, 15, 17, 19}",1/6
"{6, 15, 17, 20}",59/349
"{6, 15, 18, 19}",91/584
"{6, 15, 18, 20}",19/122
"{6, 15, 19, 20}",1/6
"{6, 16, 17, 18}",1/6
"{6, 16, 17, 19}",11/72
"{6, 16, 17, 20}",15/94
"{6, 16, 18, 19}",281/1846
"{6, 16, 19, 20}",81/514
"{6, 17, 18, 19}",31/188
"{6, 17, 18, 20}",2/13
"{6, 17, 19, 20}",97/614
"{6, 18, 19, 20}",1/6
"{7, 8, 9, 10}",501/2414
"{7, 8, 9, 11}",1/5
"{7, 8, 9, 12}",1/5
"{7, 8, 9, 13}",7/34
"{7, 8, 9, 14}",87/454
"{7, 8, 9, 15}",5/23
"{7, 8, 9, 16}",19/86
"{7, 8, 9, 17}",11/50
"{7, 8, 9, 18}",4/21
"{7, 8, 9, 19}",1/5
"{7, 8, 9, 20}",16/89
"{7, 8, 10, 11}",3/14
"{7, 8, 10, 12}",51/274
"{7, 8, 10, 13}",289/1619
"{7, 8, 10, 14}",7/38
"{7, 8, 10, 15}",5/23
"{7, 8, 10, 16}",9/46
"{7, 8, 10, 17}",11/54
"{7, 8, 10, 18}",3/14
"{7, 8, 10, 19}",127/682
"{7, 8, 10, 20}",2/11
"{7, 8, 11, 12}",170/817
"{7, 8, 11, 13}",3/16
"{7, 8, 11, 14}",101/530
"{7, 8, 11, 15}",5/23
"{7, 8, 11, 16}",185/1038
"{7, 8, 11, 17}",3/16
"{7, 8, 11, 18}",9/38
"{7, 8, 11, 19}",86/419
"{7, 8, 11, 20}",232/1259
"{7, 8, 12, 13}",3/14
"{7, 8, 12, 14}",7/38
"{7, 8, 12, 15}",5/23
"{7, 8, 12, 16}",1/5
"{7, 8, 12, 17}",5/29
"{7, 8, 12, 18}",9/50
"{7, 8, 12, 19}",11/52
"{7, 8, 12, 20}",3/14
"{7, 8, 13, 14}",9/40
"{7, 8, 13, 15}",5/23
"{7, 8, 13, 16}",211/1186
"{7, 8, 13, 17}",31/185
"{7, 8, 13, 18}",11/62
"{7, 8, 13, 19}",3/16
"{7, 8, 13, 20}",7/33
"{7, 8, 14, 15}",27/118
"{7, 8, 14, 16}",11/58
"{7, 8, 14, 17}",3/16
"{7, 8, 14, 18}",13/68
"{7, 8, 14, 19}",7/38
"{7, 8, 14, 20}",15/74
"{7, 8, 15, 16}",5/22
"{7, 8, 15, 17}",9/44
"{7, 8, 15, 18}",9/44
"{7, 8, 15, 19}",227/1046
"{7, 8, 15, 20}",5/23
"{7, 8, 16, 17}",11/50
"{7, 8, 16, 18}",13/70
"{7, 8, 16, 19}",289/1630
"{7, 8, 16, 20}",7/38
"{7, 8, 17, 18}",3/16
"{7, 8, 17, 19}",13/72
"{7, 8, 17, 20}",26/159
"{7, 8, 18, 19}",107/554
"{7, 8, 18, 20}",16/89
"{7, 8, 19, 20}",11/52
"{7, 9, 10, 11}",85/446
"{7, 9, 10, 12}",3/14
"{7, 9, 10, 13}",1255/7058
"{7, 9, 10, 14}",15/82
"{7, 9, 10, 15}",39/202
"{7, 9, 10, 16}",1/5
"{7, 9, 10, 17}",2/9
"{7, 9, 10, 18}",3/16
"{7, 9, 10, 19}",3/14
"{7, 9, 10, 20}",17/94
"{7, 9, 11, 12}",1/5
"{7, 9, 11, 13}",379/1900
"{7, 9, 11, 14}",219/1154
"{7, 9, 11, 15}",5/26
"{7, 9, 11, 16}",11/50
"{7, 9, 11, 17}",13/67
"{7, 9, 11, 18}",17/78
"{7, 9, 11, 19}",65/367
"{7, 9, 11, 20}",1218/5473
"{7, 9, 12, 13}",241/1357
"{7, 9, 12, 14}",7/32
"{7, 9, 12, 15}",1/6
"{7, 9, 12, 16}",3/14
"{7, 9, 12, 17}",11/58
"{7, 9, 12, 18}",1/6
"{7, 9, 12, 19}",13/62
"{7, 9, 12, 20}",1/6
"{7, 9, 13, 14}",15/82
"{7, 9, 13, 15}",3/14
"{7, 9, 13, 16}",1076/5155
"{7, 9, 13, 17}",11/60
"{7, 9, 13, 18}",5/26
"{7, 9, 13, 19}",37/214
"{7, 9, 13, 20}",7/33
"{7, 9, 14, 15}",39/202
"{7, 9, 14, 16}",7/31
"{7, 9, 14, 17}",15/82
"{7, 9, 14, 18}",5/26
"{7, 9, 14, 19}",29/142
"{7, 9, 14, 20}",15/82
"{7, 9, 15, 16}",92/457
"{7, 9, 15, 17}",9/44
"{7, 9, 15, 18}",1/6
"{7, 9, 15, 19}",65/367
"{7, 9, 15, 20}",1/6
"{7, 9, 16, 17}",108/503
"{7, 9, 16, 18}",5/22
"{7, 9, 16, 19}",11/50
"{7, 9, 16, 20}",5/23
"{7, 9, 17, 18}",13/70
"{7, 9, 17, 19}",3/14
"{7, 9, 17, 20}",101/599
"{7, 9, 18, 19}",9/50
"{7, 9, 18, 20}",7/32
"{7, 9, 19, 20}",116/731
"{7, 10, 11, 12}",52/293
"{7, 10, 11, 13}",9/46
"{7, 10, 11, 14}",2/9
"{7, 10, 11, 15}",5/26
"{7, 10, 11, 16}",438/2441
"{7, 10, 11, 17}",5/24
"{7, 10, 11, 18}",6/29
"{7, 10, 11, 19}",9/52
"{7, 10, 11, 20}",19/106
"{7, 10, 12, 13}",9/46
"{7, 10, 12, 14}",63/334
"{7, 10, 12, 15}",1/5
"{7, 10, 12, 16}",9/46
"{7, 10, 12, 17}",2/9
"{7, 10, 12, 18}",9/50
"{7, 10, 12, 19}",5/22
"{7, 10, 12, 20}",5/28
"{7, 10, 13, 14}",67/356
"{7, 10, 13, 15}",1/5
"{7, 10, 13, 16}",5/26
"{7, 10, 13, 17}",2581/11714
"{7, 10, 13, 18}",1143/6148
"{7, 10, 13, 19}",3/16
"{7, 10, 13, 20}",25/118
"{7, 10, 14, 15}",2/11
"{7, 10, 14, 16}",79/422
"{7, 10, 14, 17}",29/130
"{7, 10, 14, 18}",9/44
"{7, 10, 14, 19}",11/58
"{7, 10, 14, 20}",19/102
"{7, 10, 15, 16}",11/62
"{7, 10, 15, 17}",2/9
"{7, 10, 15, 18}",7/34
"{7, 10, 15, 19}",9/52
"{7, 10, 15, 20}",1/5
"{7, 10, 16, 17}",123/602
"{7, 10, 16, 18}",26/157
"{7, 10, 16, 19}",1/5
"{7, 10, 16, 20}",37/199
"{7, 10, 17, 18}",2/9
"{7, 10, 17, 19}",11/54
"{7, 10, 17, 20}",11/48
"{7, 10, 18, 19}",13/74
"{7, 10, 18, 20}",13/74
"{7, 10, 19, 20}",27/154
"{7, 11, 12, 13}",52/293
"{7, 11, 12, 14}",17/94
"{7, 11, 12, 15}",19/106
"{7, 11, 12, 16}",287/1403
"{7, 11, 12, 17}",92/523
"{7, 11, 12, 18}",11/50
"{7, 11, 12, 19}",13/62
"{7, 11, 12, 20}",619/3392
"{7, 11, 13, 14}",17/94
"{7, 11, 13, 15}",3/16
"{7, 11, 13, 16}",68/365
"{7, 11, 13, 17}",2513/12576
"{7, 11, 13, 18}",13/62
"{7, 11, 13, 19}",11/64
"{7, 11, 13, 20}",11/54
"{7, 11, 14, 15}",321/1718
"{7, 11, 14, 16}",169/906
"{7, 11, 14, 17}",19/94
"{7, 11, 14, 18}",13/58
"{7, 11, 14, 19}",17/94
"{7, 11, 14, 20}",203/1094
"{7, 11, 15, 16}",5/26
"{7, 11, 15, 17}",673/3527
"{7, 11, 15, 18}",93/422
"{7, 11, 15, 19}",763/3874
"{7, 11, 15, 20}",155/874
"{7, 11, 16, 17}",2/11
"{7, 11, 16, 18}",6/29
"{7, 11, 16, 19}",9/52
"{7, 11, 16, 20}",13/62
"{7, 11, 17, 18}",243/1102
"{7, 11, 17, 19}",229/1438
"{7, 11, 17, 20}",7/36
"{7, 11, 18, 19}",6/29
"{7, 11, 18, 20}",1/5
"{7, 11, 19, 20}",9/52
"{7, 12, 13, 14}",153/818
"{7, 12, 13, 15}",63/331
"{7, 12, 13, 16}",11/58
"{7, 12, 13, 17}",11/58
"{7, 12, 13, 18}",1/5
"{7, 12, 13, 19}",7/32
"{7, 12, 13, 20}",5/22
"{7, 12, 14, 15}",7/38
"{7, 12, 14, 16}",1/5
"{7, 12, 14, 17}",189/1018
"{7, 12, 14, 18}",7/38
"{7, 12, 14, 19}",7/31
"{7, 12, 14, 20}",3/16
"{7, 12, 15, 16}",1/6
"{7, 12, 15, 17}",5/29
"{7, 12, 15, 18}",1/6
"{7, 12, 15, 19}",11/52
"{7, 12, 15, 20}",7/36
"{7, 12, 16, 17}",7/38
"{7, 12, 16, 18}",7/38
"{7, 12, 16, 19}",239/1098
"{7, 12, 16, 20}",1/6
"{7, 12, 17, 18}",9/50
"{7, 12, 17, 19}",3959/18322
"{7, 12, 17, 20}",7/38
"{7, 12, 18, 19}",334/1601
"{7, 12, 18, 20}",1/6
"{7, 12, 19, 20}",13/62
"{7, 13, 14, 15}",21/106
"{7, 13, 14, 16}",191/1030
"{7, 13, 14, 17}",3/16
"{7, 13, 14, 18}",19/106
"{7, 13, 14, 19}",439/2378
"{7, 13, 14, 20}",5/22
"{7, 13, 15, 16}",1393/7621
"{7, 13, 15, 17}",11/64
"{7, 13, 15, 18}",454/2801
"{7, 13, 15, 19}",70/391
"{7, 13, 15, 20}",3/14
"{7, 13, 16, 17}",261/1402
"{7, 13, 16, 18}",3/17
"{7, 13, 16, 19}",11/58
"{7, 13, 16, 20}",11/54
"{7, 13, 17, 18}",7/40
"{7, 13, 17, 19}",3437/19472
"{7, 13, 17, 20}",125/599
"{7, 13, 18, 19}",7/40
"{7, 13, 18, 20}",7/33
"{7, 13, 19, 20}",7/33
"{7, 14, 15, 16}",213/1154
"{7, 14, 15, 17}",21/118
"{7, 14, 15, 18}",63/334
"{7, 14, 15, 19}",21/118
"{7, 14, 15, 20}",23/118
"{7, 14, 16, 17}",11/62
"{7, 14, 16, 18}",123/670
"{7, 14, 16, 19}",13/66
"{7, 14, 16, 20}",11/62
"{7, 14, 17, 18}",5/26
"{7, 14, 17, 19}",539/2946
"{7, 14, 17, 20}",281/1538
"{7, 14, 18, 19}",3/17
"{7, 14, 18, 20}",3/17
"{7, 14, 19, 20}",5/27
"{7, 15, 16, 17}",11/62
"{7, 15, 16, 18}",77/457
"{7, 15, 16, 19}",9/52
"{7, 15, 16, 20}",77/457
"{7, 15, 17, 18}",28/167
"{7, 15, 17, 19}",11/64
"{7, 15, 17, 20}",11/64
"{7, 15, 18, 19}",56/299
"{7, 15, 18, 20}",1/6
"{7, 15, 19, 20}",9/52
"{7, 16, 17, 18}",91/503
"{7, 16, 17, 19}",4/23
"{7, 16, 17, 20}",79/466
"{7, 16, 18, 19}",42/263
"{7, 16, 18, 20}",91/526
"{7, 16, 19, 20}",1/6
"{7, 17, 18, 19}",13/74
"{7, 17, 18, 20}",2107/13162
"{7, 17, 19, 20}",91/575
"{7, 18, 19, 20}",203/1202
"{8, 9, 10, 11}",1/5
"{8, 9, 10, 12}",7/38
"{8, 9, 10, 13}",55/293
"{8, 9, 10, 14}",11/62
"{8, 9, 10, 15}",3/16
"{8, 9, 10, 16}",9/46
"{8, 9, 10, 17}",13/59
"{8, 9, 10, 18}",3/14
"{8, 9, 10, 19}",3/14
"{8, 9, 10, 20}",26/139
"{8, 9, 11, 12}",7/34
"{8, 9, 11, 13}",3/16
"{8, 9, 11, 14}",2/11
"{8, 9, 11, 15}",283/1559
"{8, 9, 11, 16}",15/86
"{8, 9, 11, 17}",11/52
"{8, 9, 11, 18}",5/26
"{8, 9, 11, 19}",13/60
"{8, 9, 11, 20}",13/62
"{8, 9, 12, 13}",76/371
"{8, 9, 12, 14}",11/62
"{8, 9, 12, 15}",1/6
"{8, 9, 12, 16}",1/5
"{8, 9, 12, 17}",11/52
"{8, 9, 12, 18}",1/6
"{8, 9, 12, 19}",1/6
"{8, 9, 12, 20}",3/14
"{8, 9, 13, 14}",3/14
"{8, 9, 13, 15}",3/16
"{8, 9, 13, 16}",249/1406
"{8, 9, 13, 17}",13/60
"{8, 9, 13, 18}",7/38
"{8, 9, 13, 19}",173/1006
"{8, 9, 13, 20}",302/1699
"{8, 9, 14, 15}",11/58
"{8, 9, 14, 16}",11/58
"{8, 9, 14, 17}",11/52
"{8, 9, 14, 18}",11/60
"{8, 9, 14, 19}",4/23
"{8, 9, 14, 20}",3/17
"{8, 9, 15, 16}",5/23
"{8, 9, 15, 17}",11/52
"{8, 9, 15, 18}",1/6
"{8, 9, 15, 19}",1/6
"{8, 9, 15, 20}",17/103
"{8, 9, 16, 17}",3/13
"{8, 9, 16, 18}",5/26
"{8, 9, 16, 19}",15/86
"{8, 9, 16, 20}",7/38
"{8, 9, 17, 18}",31/138
"{8, 9, 17, 19}",271/1294
"{8, 9, 17, 20}",1/5
"{8, 9, 18, 19}",3/14
"{8, 9, 18, 20}",4/21
"{8, 9, 19, 20}",5/26
"{8, 10, 11, 12}",4/21
"{8, 10, 11, 13}",9/46
"{8, 10, 11, 14}",213/1193
"{8, 10, 11, 15}",69/373
"{8, 10, 11, 16}",19/98
"{8, 10, 11, 17}",4/21
"{8, 10, 11, 18}",91/430
"{8, 10, 11, 19}",1/5
"{8, 10, 11, 20}",30/161
"{8, 10, 12, 13}",59/314
"{8, 10, 12, 15}",9/46
"{8, 10, 12, 17}",71/386
"{8, 10, 12, 19}",2/11
"{8, 10, 13, 14}",67/398
"{8, 10, 13, 15}",1/5
"{8, 10, 13, 16}",21/110
"{8, 10, 13, 17}",177/1063
"{8, 10, 13, 18}",3/14
"{8, 10, 13, 19}",5/27
"{8, 10, 13, 20}",2/11
"{8, 10, 14, 15}",73/442
"{8, 10, 14, 17}",291/1691
"{8, 10, 14, 19}",17/106
"{8, 10, 15, 16}",23/122
"{8, 10, 15, 17}",11/54
"{8, 10, 15, 18}",37/178
"{8, 10, 15, 19}",131/785
"{8, 10, 15, 20}",1/5
"{8, 10, 16, 17}",5/26
"{8, 10, 16, 19}",5/27
"{8, 10, 17, 18}",121/586
"{8, 10, 17, 19}",1/5
"{8, 10, 17, 20}",2/11
"{8, 10, 18, 19}",131/638
"{8, 10, 19, 20}",5/27
"{8, 11, 12, 13}",9/50
"{8, 11, 12, 14}",7/38
"{8, 11, 12, 15}",14/69
"{8, 11, 12, 16}",1/5
"{8, 11, 12, 17}",9/50
"{8, 11, 12, 18}",5/29
"{8, 11, 12, 19}",13/60
"{8, 11, 12, 20}",3/14
"{8, 11, 13, 14}",3/16
"{8, 11, 13, 15}",155/838
"{8, 11, 13, 16}",3/14
"{8, 11, 13, 17}",9/50
"{8, 11, 13, 18}",3/16
"{8, 11, 13, 19}",11/54
"{8, 11, 13, 20}",2/13
"{8, 11, 14, 15}",65/373
"{8, 11, 14, 16}",11/58
"{8, 11, 14, 17}",277/1450
"{8, 11, 14, 18}",107/604
"{8, 11, 14, 19}",13/60
"{8, 11, 14, 20}",9/50
"{8, 11, 15, 16}",321/1822
"{8, 11, 15, 17}",9/50
"{8, 11, 15, 18}",9/46
"{8, 11, 15, 19}",5/23
"{8, 11, 15, 20}",76/439
"{8, 11, 16, 17}",355/2018
"{8, 11, 16, 18}",13/70
"{8, 11, 16, 19}",33/146
"{8, 11, 16, 20}",7/38
"{8, 11, 17, 18}",95/586
"{8, 11, 17, 19}",773/3722
"{8, 11, 17, 20}",15/74
"{8, 11, 18, 19}",13/60
"{8, 11, 18, 20}",14/83
"{8, 11, 19, 20}",1/5
"{8, 12, 13, 14}",9/50
"{8, 12, 13, 15}",1/6
"{8, 12, 13, 16}",1/5
"{8, 12, 13, 17}",368/1825
"{8, 12, 13, 18}",11/62
"{8, 12, 13, 19}",11/62
"{8, 12, 13, 20}",3/14
"{8, 12, 14, 15}",1/6
"{8, 12, 14, 17}",11/62
"{8, 12, 14, 19}",17/106
"{8, 12, 15, 16}",1/5
"{8, 12, 15, 17}",5/29
"{8, 12, 15, 18}",1/6
"{8, 12, 15, 19}",50/249
"{8, 12, 15, 20}",3/14
"{8, 12, 16, 17}",1/5
"{8, 12, 16, 19}",1/5
"{8, 12, 17, 18}",35/218
"{8, 12, 17, 19}",37/238
"{8, 12, 17, 20}",3/14
"{8, 12, 18, 19}",1/6
"{8, 12, 19, 20}",3/14
"{8, 13, 14, 15}",81/442
"{8, 13, 14, 16}",11/58
"{8, 13, 14, 17}",9/50
"{8, 13, 14, 18}",115/668
"{8, 13, 14, 19}",13/66
"{8, 13, 14, 20}",2/11
"{8, 13, 15, 16}",19/110
"{8, 13, 15, 17}",3/16
"{8, 13, 15, 18}",1/6
"{8, 13, 15, 19}",5/28
"{8, 13, 15, 20}",14/71
"{8, 13, 16, 17}",401/2286
"{8, 13, 16, 18}",223/1198
"{8, 13, 16, 19}",29/146
"{8, 13, 16, 20}",7/38
"{8, 13, 17, 18}",261/1522
"{8, 13, 17, 19}",144/791
"{8, 13, 17, 20}",466/2747
"{8, 13, 18, 19}",11/62
"{8, 13, 18, 20}",155/854
"{8, 13, 19, 20}",2/13
"{8, 14, 15, 16}",23/122
"{8, 14, 15, 17}",2/11
"{8, 14, 15, 18}",41/244
"{8, 14, 15, 19}",9/58
"{8, 14, 15, 20}",2/11
"{8, 14, 16, 17}",25/134
"{8, 14, 16, 19}",5/27
"{8, 14, 17, 18}",131/796
"{8, 14, 17, 19}",97/530
"{8, 14, 17, 20}",2/11
"{8, 14, 18, 19}",139/860
"{8, 14, 19, 20}",2/11
"{8, 15, 16, 17}",27/134
"{8, 15, 16, 18}",5/26
"{8, 15, 16, 19}",489/2798
"{8, 15, 16, 20}",7/38
"{8, 15, 17, 18}",3/16
"{8, 15, 17, 19}",13/72
"{8, 15, 17, 20}",11/74
"{8, 15, 18, 19}",1/6
"{8, 15, 18, 20}",18/107
"{8, 15, 19, 20}",112/671
"{8, 16, 17, 18}",275/1478
"{8, 16, 17, 19}",539/3090
"{8, 16, 17, 20}",7/38
"{8, 16, 18, 19}",27/146
"{8, 16, 19, 20}",7/38
"{8, 17, 18, 19}",6/37
"{8, 17, 18, 20}",42/253
"{8, 17, 19, 20}",630/3701
"{8, 18, 19, 20}",318/1937
"{9, 10, 11, 12}",1/5
"{9, 10, 11, 13}",4/21
"{9, 10, 11, 14}",67/356
"{9, 10, 11, 15}",3/16
"{9, 10, 11, 16}",516/2887
"{9, 10, 11, 17}",4/21
"{9, 10, 11, 18}",3/16
"{9, 10, 11, 19}",1479/6671
"{9, 10, 11, 20}",23/106
"{9, 10, 12, 13}",16/79
"{9, 10, 12, 14}",5/26
"{9, 10, 12, 15}",1/6
"{9, 10, 12, 16}",91/514
"{9, 10, 12, 17}",1/6
"{9, 10, 12, 18}",1/6
"{9, 10, 12, 19}",6/29
"{9, 10, 12, 20}",7/38
"{9, 10, 13, 14}",5/24
"{9, 10, 13, 15}",2/11
"{9, 10, 13, 16}",4/23
"{9, 10, 13, 17}",115/674
"{9, 10, 13, 18}",7/38
"{9, 10, 13, 19}",6/29
"{9, 10, 13, 20}",21/118
"{9, 10, 14, 15}",1/5
"{9, 10, 14, 16}",302/1739
"{9, 10, 14, 17}",1257/7312
"{9, 10, 14, 18}",11/60
"{9, 10, 14, 19}",7/33
"{9, 10, 14, 20}",11/62
"{9, 10, 15, 16}",5/26
"{9, 10, 15, 17}",1/6
"{9, 10, 15, 18}",1/6
"{9, 10, 15, 19}",26/125
"{9, 10, 15, 20}",1/5
"{9, 10, 16, 17}",13/66
"{9, 10, 16, 18}",3/16
"{9, 10, 16, 19}",6/29
"{9, 10, 16, 20}",3/17
"{9, 10, 17, 18}",11/52
"{9, 10, 17, 19}",6/29
"{9, 10, 17, 20}",25/142
"{9, 10, 18, 19}",13/58
"{9, 10, 18, 20}",3/16
"{9, 10, 19, 20}",5/22
"{9, 11, 12, 13}",9/46
"{9, 11, 12, 14}",191/989
"{9, 11, 12, 15}",1/6
"{9, 11, 12, 16}",1/6
"{9, 11, 12, 17}",397/2317
"{9, 11, 12, 18}",1/6
"{9, 11, 12, 19}",5/28
"{9, 11, 12, 20}",29/148
"{9, 11, 13, 14}",7/40
"{9, 11, 13, 15}",5/26
"{9, 11, 13, 16}",3/16
"{9, 11, 13, 17}",3/16
"{9, 11, 13, 18}",19/102
"{9, 11, 13, 19}",169/958
"{9, 11, 13, 20}",3633/16934
"{9, 11, 14, 15}",833/4714
"{9, 11, 14, 16}",1/5
"{9, 11, 14, 17}",175/1034
"{9, 11, 14, 18}",19/102
"{9, 11, 14, 19}",133/758
"{9, 11, 14, 20}",7/34
"{9, 11, 15, 16}",1/6
"{9, 11, 15, 17}",13/64
"{9, 11, 15, 18}",1/6
"{9, 11, 15, 19}",7/40
"{9, 11, 15, 20}",13/62
"{9, 11, 16, 17}",70/439
"{9, 11, 16, 18}",11/50
"{9, 11, 16, 19}",79/479
"{9, 11, 16, 20}",13/62
"{9, 11, 17, 18}",25/138
"{9, 11, 17, 19}",283/1432
"{9, 11, 17, 20}",2095/10463
"{9, 11, 18, 19}",9/50
"{9, 11, 18, 20}",7/31
"{9, 11, 19, 20}",145/731
"{9, 12, 13, 14}",1/6
"{9, 12, 13, 15}",1/6
"{9, 12, 13, 16}",121/625
"{9, 12, 13, 17}",1/6
"{9, 12, 13, 18}",1/6
"{9, 12, 13, 19}",505/2881
"{9, 12, 13, 20}",263/1504
"{9, 12, 14, 15}",1/6
"{9, 12, 14, 16}",4/23
"{9, 12, 14, 17}",11/58
"{9, 12, 14, 18}",1/6
"{9, 12, 14, 19}",4/23
"{9, 12, 14, 20}",34/199
"{9, 12, 15, 16}",1/6
"{9, 12, 15, 17}",1/6
"{9, 12, 15, 19}",1/6
"{9, 12, 15, 20}",1/6
"{9, 12, 16, 17}",133/773
"{9, 12, 16, 18}",1/6
"{9, 12, 16, 19}",317/1694
"{9, 12, 16, 20}",1/6
"{9, 12, 17, 18}",1/6
"{9, 12, 17, 19}",1/6
"{9, 12, 17, 20}",3/16
"{9, 12, 18, 19}",1/6
"{9, 12, 18, 20}",1/6
"{9, 12, 19, 20}",1/6
"{9, 13, 14, 15}",1/6
"{9, 13, 14, 16}",9/58
"{9, 13, 14, 17}",11/60
"{9, 13, 14, 18}",5/23
"{9, 13, 14, 19}",2/11
"{9, 13, 14, 20}",86/557
"{9, 13, 15, 16}",508/2969
"{9, 13, 15, 17}",2/11
"{9, 13, 15, 18}",1/6
"{9, 13, 15, 19}",3/16
"{9, 13, 15, 20}",5/28
"{9, 13, 16, 17}",2/11
"{9, 13, 16, 18}",2/11
"{9, 13, 16, 19}",6/35
"{9, 13, 16, 20}",1/5
"{9, 13, 17, 18}",7/38
"{9, 13, 17, 19}",275/1582
"{9, 13, 17, 20}",185/1114
"{9, 13, 18, 19}",7/38
"{9, 13, 18, 20}",7/38
"{9, 13, 19, 20}",167/1070
"{9, 14, 15, 16}",281/1571
"{9, 14, 15, 17}",568/3299
"{9, 14, 15, 18}",1/6
"{9, 14, 15, 19}",5/29
"{9, 14, 15, 20}",75/377
"{9, 14, 16, 17}",83/517
"{9, 14, 16, 18}",2/11
"{9, 14, 16, 19}",137/794
"{9, 14, 16, 20}",541/2974
"{9, 14, 17, 18}",11/60
"{9, 14, 17, 19}",141/827
"{9, 14, 17, 20}",6/37
"{9, 14, 18, 19}",11/60
"{9, 14, 18, 20}",7/38
"{9, 14, 19, 20}",167/926
"{9, 15, 16, 17}",1/6
"{9, 15, 16, 18}",1/6
"{9, 15, 16, 19}",1343/8014
"{9, 15, 16, 20}",1/6
"{9, 15, 17, 18}",1/6
"{9, 15, 17, 19}",1/6
"{9, 15, 17, 20}",295/1754
"{9, 15, 18, 19}",1/6
"{9, 15, 18, 20}",1/6
"{9, 15, 19, 20}",155/959
"{9, 16, 17, 18}",25/138
"{9, 16, 17, 19}",233/1294
"{9, 16, 17, 20}",79/466
"{9, 16, 18, 19}",9/50
"{9, 16, 18, 20}",13/66
"{9, 16, 19, 20}",11/70
"{9, 17, 18, 19}",9/46
"{9, 17, 18, 20}",13/70
"{9, 17, 19, 20}",11/58
"{9, 18, 19, 20}",9/50
"{10, 11, 12, 13}",592/3013
"{10, 11, 12, 14}",4/21
"{10, 11, 12, 15}",9/52
"{10, 11, 12, 16}",4/23
"{10, 11, 12, 17}",98/523
"{10, 11, 12, 18}",1/6
"{10, 11, 12, 19}",9/46
"{10, 11, 12, 20}",79/428
"{10, 11, 13, 14}",11/54
"{10, 11, 13, 15}",135/766
"{10, 11, 13, 16}",667/3779
"{10, 11, 13, 17}",9/56
"{10, 11, 13, 18}",5/28
"{10, 11, 13, 19}",1432/8707
"{10, 11, 13, 20}",21/118
"{10, 11, 14, 15}",151/760
"{10, 11, 14, 16}",17/101
"{10, 11, 14, 17}",24/137
"{10, 11, 14, 18}",1/6
"{10, 11, 14, 19}",1447/9216
"{10, 11, 14, 20}",11/62
"{10, 11, 15, 16}",1/5
"{10, 11, 15, 17}",9/52
"{10, 11, 15, 18}",5/28
"{10, 11, 15, 19}",9/52
"{10, 11, 15, 20}",1/5
"{10, 11, 16, 17}",5/26
"{10, 11, 16, 18}",867/4894
"{10, 11, 16, 19}",7/43
"{10, 11, 16, 20}",3/17
"{10, 11, 17, 18}",72/367
"{10, 11, 17, 19}",106/683
"{10, 11, 17, 20}",25/142
"{10, 11, 18, 19}",1/5
"{10, 11, 18, 20}",19/106
"{10, 11, 19, 20}",3/14
"{10, 12, 13, 14}",2/11
"{10, 12, 13, 15}",9/46
"{10, 12, 13, 16}",25/139
"{10, 12, 13, 17}",2/13
"{10, 12, 13, 18}",233/1478
"{10, 12, 13, 19}",11/62
"{10, 12, 13, 20}",5/28
"{10, 12, 14, 15}",2/11
"{10, 12, 14, 17}",11/61
"{10, 12, 14, 19}",59/331
"{10, 12, 15, 16}",1/6
"{10, 12, 15, 17}",1/5
"{10, 12, 15, 18}",1/6
"{10, 12, 15, 19}",46/269
"{10, 12, 15, 20}",1/5
"{10, 12, 16, 17}",409/2486
"{10, 12, 16, 19}",58/327
"{10, 12, 17, 18}",1/6
"{10, 12, 17, 19}",11/54
"{10, 12, 17, 20}",5/28
"{10, 12, 18, 19}",14/89
"{10, 12, 19, 20}",5/28
"{10, 13, 14, 15}",5/29
"{10, 13, 14, 16}",787/4526
"{10, 13, 14, 17}",1/5
"{10, 13, 14, 18}",883/4978
"{10, 13, 14, 19}",11/64
"{10, 13, 14, 20}",21/118
"{10, 13, 15, 16}",31/190
"{10, 13, 15, 17}",31/190
"{10, 13, 15, 18}",1/5
"{10, 13, 15, 19}",11/68
"{10, 13, 15, 20}",1/5
"{10, 13, 16, 17}",11/58
"{10, 13, 16, 18}",129/730
"{10, 13, 16, 19}",3/16
"{10, 13, 16, 20}",55/301
"{10, 13, 17, 18}",89/544
"{10, 13, 17, 19}",3829/24218
"{10, 13, 17, 20}",5/23
"{10, 13, 18, 19}",111/712
"{10, 13, 18, 20}",13/74
"{10, 13, 19, 20}",27/154
"{10, 14, 15, 16}",5/29
"{10, 14, 15, 17}",7/46
"{10, 14, 15, 18}",1/6
"{10, 14, 15, 19}",1/5
"{10, 14, 15, 20}",1/5
"{10, 14, 16, 17}",43/274
"{10, 14, 16, 19}",9/58
"{10, 14, 17, 18}",541/3061
"{10, 14, 17, 19}",177/1066
"{10, 14, 17, 20}",243/1334
"{10, 14, 18, 19}",53/298
"{10, 14, 19, 20}",11/62
"{10, 15, 16, 17}",53/301
"{10, 15, 16, 18}",33/205
"{10, 15, 16, 19}",9/58
"{10, 15, 16, 20}",1/5
"{10, 15, 17, 18}",1/6
"{10, 15, 17, 19}",5/32
"{10, 15, 17, 20}",1/5
"{10, 15, 18, 19}",93/598
"{10, 15, 18, 20}",1/5
"{10, 15, 19, 20}",1/5
"{10, 16, 17, 18}",6/35
"{10, 16, 17, 19}",1152/7079
"{10, 16, 17, 20}",3/17
"{10, 16, 18, 19}",1203/7406
"{10, 16, 19, 20}",3/17
"{10, 17, 18, 19}",6/35
"{10, 17, 18, 20}",13/74
"{10, 17, 19, 20}",27/154
"{10, 18, 19, 20}",319/1766
"{11, 12, 13, 14}",5/26
"{11, 12, 13, 15}",9/50
"{11, 12, 13, 16}",4/23
"{11, 12, 13, 17}",9/50
"{11, 12, 13, 18}",6/31
"{11, 12, 13, 19}",118/631
"{11, 12, 13, 20}",895/5168
"{11, 12, 14, 15}",6/29
"{11, 12, 14, 16}",9/50
"{11, 12, 14, 17}",11/58
"{11, 12, 14, 18}",269/1670
"{11, 12, 14, 19}",86/569
"{11, 12, 14, 20}",3/16
"{11, 12, 15, 16}",157/801
"{11, 12, 15, 17}",189/1121
"{11, 12, 15, 18}",1/6
"{11, 12, 15, 19}",9/52
"{11, 12, 15, 20}",65/384
"{11, 12, 16, 17}",11/58
"{11, 12, 16, 18}",1/6
"{11, 12, 16, 19}",59/362
"{11, 12, 16, 20}",1/6
"{11, 12, 17, 18}",1/5
"{11, 12, 17, 19}",81/523
"{11, 12, 17, 20}",3/16
"{11, 12, 18, 19}",163/850
"{11, 12, 18, 20}",5/31
"{11, 12, 19, 20}",333/1736
"{11, 13, 14, 15}",5/27
"{11, 13, 14, 16}",3/16
"{11, 13, 14, 17}",114/641
"{11, 13, 14, 18}",53/332
"{11, 13, 14, 19}",11/64
"{11, 13, 14, 20}",1759/11582
"{11, 13, 15, 16}",235/1286
"{11, 13, 15, 17}",5/26
"{11, 13, 15, 18}",1/6
"{11, 13, 15, 19}",5/28
"{11, 13, 15, 20}",2/11
"{11, 13, 16, 17}",84/527
"{11, 13, 16, 18}",317/1682
"{11, 13, 16, 19}",5/29
"{11, 13, 16, 20}",1/6
"{11, 13, 17, 18}",5/28
"{11, 13, 17, 19}",5/24
"{11, 13, 17, 20}",9/56
"{11, 13, 18, 19}",4545/26998
"{11, 13, 18, 20}",7/38
"{11, 13, 19, 20}",4441/29394
"{11, 14, 15, 16}",9/52
"{11, 14, 15, 17}",175/1058
"{11, 14, 15, 18}",3/16
"{11, 14, 15, 19}",2120/12361
"{11, 14, 15, 20}",5/34
"{11, 14, 16, 17}",984/5941
"{11, 14, 16, 18}",3/17
"{11, 14, 16, 19}",13/70
"{11, 14, 16, 20}",577/3386
"{11, 14, 17, 18}",11/62
"{11, 14, 17, 19}",2/11
"{11, 14, 17, 20}",2641/14198
"{11, 14, 18, 19}",5/32
"{11, 14, 18, 20}",1257/7426
"{11, 14, 19, 20}",2495/15506
"{11, 15, 16, 17}",100/581
"{11, 15, 16, 18}",50/331
"{11, 15, 16, 19}",13/70
"{11, 15, 16, 20}",271/1426
"{11, 15, 17, 18}",1431/9154
"{11, 15, 17, 19}",3/16
"{11, 15, 17, 20}",9/56
"{11, 15, 18, 19}",2/11
"{11, 15, 18, 20}",125/778
"{11, 15, 19, 20}",524/3263
"{11, 16, 17, 18}",229/1382
"{11, 16, 17, 19}",529/3346
"{11, 16, 17, 20}",9/62
"{11, 16, 18, 19}",2395/15746
"{11, 16, 18, 20}",68/389
"{11, 16, 19, 20}",679/4281
"{11, 17, 18, 19}",6/37
"{11, 17, 18, 20}",3/19
"{11, 17, 19, 20}",5701/35866
"{11, 18, 19, 20}",1614/9371
"{12, 13, 14, 15}",5/26
"{12, 13, 14, 16}",5/27
"{12, 13, 14, 17}",9/50
"{12, 13, 14, 18}",1/6
"{12, 13, 14, 19}",112/631
"{12, 13, 14, 20}",61/361
"{12, 13, 15, 16}",1/5
"{12, 13, 15, 17}",11/64
"{12, 13, 15, 18}",1/6
"{12, 13, 15, 19}",11/68
"{12, 13, 15, 20}",1/6
"{12, 13, 16, 17}",563/2987
"{12, 13, 16, 18}",163/1042
"{12, 13, 16, 19}",13/70
"{12, 13, 16, 20}",1/6
"{12, 13, 17, 18}",11/58
"{12, 13, 17, 19}",2127/13691
"{12, 13, 17, 20}",5/29
"{12, 13, 18, 19}",1/5
"{12, 13, 18, 20}",1/6
"{12, 13, 19, 20}",5/26
"{12, 14, 15, 16}",11/58
"{12, 14, 15, 17}",5/26
"{12, 14, 15, 18}",1/6
"{12, 14, 15, 19}",1/6
"{12, 14, 15, 20}",13/79
"{12, 14, 16, 17}",2/11
"{12, 14, 16, 19}",613/3446
"{12, 14, 17, 18}",9/58
"{12, 14, 17, 19}",13/66
"{12, 14, 17, 20}",11/62
"{12, 14, 18, 19}",43/262
"{12, 14, 19, 20}",73/463
"{12, 15, 16, 17}",1/6
"{12, 15, 16, 18}",1/6
"{12, 15, 16, 19}",13/70
"{12, 15, 16, 20}",1/6
"{12, 15, 17, 18}",1/6
"{12, 15, 17, 19}",1/6
"{12, 15, 17, 20}",101/528
"{12, 15, 18, 19}",1/6
"{12, 15, 18, 20}",1/6
"{12, 15, 19, 20}",97/576
"{12, 16, 17, 18}",1/6
"{12, 16, 17, 19}",49/334
"{12, 16, 17, 20}",1/6
"{12, 16, 18, 19}",41/278
"{12, 16, 19, 20}",1/6
"{12, 17, 18, 19}",43/262
"{12, 17, 18, 20}",113/758
"{12, 17, 19, 20}",59/424
"{12, 18, 19, 20}",43/262
"{13, 14, 15, 16}",2305/12122
"{13, 14, 15, 17}",3/16
"{13, 14, 15, 18}",1/6
"{13, 14, 15, 19}",5/29
"{13, 14, 15, 20}",129/722
"{13, 14, 16, 17}",177/890
"{13, 14, 16, 18}",3/17
"{13, 14, 16, 19}",1/6
"{13, 14, 16, 20}",631/3798
"{13, 14, 17, 18}",2729/14632
"{13, 14, 17, 19}",4781/30546
"{13, 14, 17, 20}",1336/7957
"{13, 14, 18, 19}",2/11
"{13, 14, 18, 20}",71/427
"{13, 14, 19, 20}",5/26
"{13, 15, 16, 17}",5/28
"{13, 15, 16, 18}",2/11
"{13, 15, 16, 19}",11/70
"{13, 15, 16, 20}",9/58
"{13, 15, 17, 18}",6/35
"{13, 15, 17, 19}",1503/8032
"{13, 15, 17, 20}",11/64
"{13, 15, 18, 19}",2/13
"{13, 15, 18, 20}",7/38
"{13, 15, 19, 20}",1091/7298
"{13, 16, 17, 18}",6/35
"{13, 16, 17, 19}",6/35
"{13, 16, 17, 20}",7/37
"{13, 16, 18, 19}",6/35
"{13, 16, 18, 20}",3/17
"{13, 16, 19, 20}",785/4783
"{13, 17, 18, 19}",6/35
"{13, 17, 18, 20}",3/20
"{13, 17, 19, 20}",3/20
"{13, 18, 19, 20}",5/32
"{14, 15, 16, 17}",3/16
"{14, 15, 16, 18}",11/62
"{14, 15, 16, 19}",5/29
"{14, 15, 16, 20}",1/6
"{14, 15, 17, 18}",1/5
"{14, 15, 17, 19}",245/1406
"{14, 15, 17, 20}",5/31
"{14, 15, 18, 19}",1123/5896
"{14, 15, 18, 20}",99/614
"{14, 15, 19, 20}",355/1921
"{14, 16, 17, 18}",2/11
"{14, 16, 17, 19}",13/72
"{14, 16, 17, 20}",5/31
"{14, 16, 18, 19}",6/35
"{14, 16, 19, 20}",39/251
"{14, 17, 18, 19}",6/37
"{14, 17, 18, 20}",6/37
"{14, 17, 19, 20}",13/74
"{14, 18, 19, 20}",6/37
"{15, 16, 17, 18}",3/16
"{15, 16, 17, 19}",2/11
"{15, 16, 17, 20}",1/6
"{15, 16, 18, 19}",15/74
"{15, 16, 18, 20}",3/17
"{15, 16, 19, 20}",391/2114
"{15, 17, 18, 19}",13/70
"{15, 17, 18, 20}",2/11
"{15, 17, 19, 20}",11/64
"{15, 18, 19, 20}",1/6
"{16, 17, 18, 19}",1986/10675
"{16, 17, 18, 20}",7/38
"{16, 17, 19, 20}",13/66
"{16, 18, 19, 20}",3/17
"{17, 18, 19, 20}",7/38
"{18, 19, 20, 21}",7/38